8000 SQUARE Research Group · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@SQUARE-RG

SQUARE Research Group

SQUARE: Software QUality and Automated REasoning
README.md

Hi there 👋

SQUARE Research Group (Software QUality and Automated REasoning)

🙋‍♀️Repositories:

LLM:

  • SynTeR: An LLM-based approach to repair obsolete test cases caused by syntactic BCs

Android:

  • ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications
  • ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps
  • Fax: An automated Android GUI Explorer tool
  • CrashTracker: Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
  • ExaDroid: Variable-Strength Combinatorial Testing of Exported Activities Based on Misexposure Prediction
  • ICC-Resolution-Evaluation: A Comprehensive Evaluation of Android ICC Resolution Techniques
  • InsDal: A Safe and Extensible Instrumentation Tool on Dalvik Byte-Code for Android Applications
  • Mist: Characterizing and identifying misexposed activities in Android applications

Java

  • JavaExP: Java Exception-aware API Lifecycle Model analyzer
  • JStringChecker: Java method to SMT-LIB converter with its dataset (an artefact for SANER'25)

C/C++:

  • panda: A parallel tooling driver based on compilation database
  • PyRefcon: Python native code reference counting bug detection tool
  • SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
  • csa-eh: A Static Checker for Finding Exception Handling Bugs in C++ Programs
  • Scasa: A Static Checker For Detecting Element Accessing Bugs in C++ Sequence Containers

Popular repositories Loading

  1. ICCBot ICCBot Public

    ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications

    Java 38 11

  2. Fax Fax Public

    Fair Android Explorer

    HTML 20 8

  3. InsDal InsDal Public

    Instrument Dalvik

    Shell 9 1

  4. LAND LAND Public

    LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps

    Python 8 3

  5. SPrinter SPrinter Public

    ASE 2019 Tool Demonstration

    8

  6. SynTeR SynTeR Public

    The repository of data and codes for SynTeR, an LLM-based approach to repair obsolete test cases caused by syntactic BCs.

    Python 8 1

Repositories

Showing 10 of 24 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
0