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:

  • AutoChecker: An LLM-based Approach to Automatically Generate Static Code Checkers with Given Programming Rules (ICSE'26)
  • SynTeR: An LLM-based Approach to Repair Obsolete Test Cases caused by Syntactic BCs (ISSRE'25)

Android:

  • FlowSlicer: An Efficient Android App Debloating Approach based on Multi-layer Dependence Graph (ICSME'25)
  • HACMony: An LLM-based Harmony-OS App Testing Tool that supports Hopping-related Audio-stream Conflict (HAC) Issue Detection.
  • CrashTracker: Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization (ICSE'23)
  • ExaDroid: Variable-Strength Combinatorial Testing of Exported Activities Based on Misexposure Prediction (JSS'23)
  • ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps (ASE'23)
  • ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications (ICSE'22)
  • ICC-Resolution-Evaluation: A Comprehensive Evaluation of Android ICC Resolution Techniques (ASE'22)
  • Fax: An automated Android GUI Explorer tool (ICSE'20)
  • Mist: Characterizing and Identifying Misexposed Activities in Android Applications (ASE'18)
  • InsDal: A Safe and Extensible Instrumentation Tool on Dalvik Byte-Code for Android Applications (SANER'17)

Java

  • JStringChecker: Java Method to SMT-LIB Converter with its Dataset (SANER'25)
  • JavaExP: Java Exception-aware API Lifecycle Model analyzer (Chinese Journal of Computers'24)

C/C++:

  • Scasa: A Static Checker for Detecting Element Accessing Bugs in C++ Sequence Containers (ASE'24)
  • panda: A Parallel Tooling Driver based on Compilation Database (ISSTA'24)
  • PyRefcon: A Tool for Python Native Code Reference Counting Bug Detection (ASE'23)
  • csa-eh: A Static Checker for Finding Exception Handling Bugs in C++ Programs (ICSE'23)
  • SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs (ASE'19)

Popular repositories Loading

  1. ICCBot ICCBot Public

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

    Java 38 13

  2. Fax Fax Public

    Fair Android Explorer

    HTML 20 9

  3. 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 10 1

  4. InsDal InsDal Public

    Instrument Dalvik

    Shell 9 1

  5. LAND LAND Public

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

    Python 8 3

  6. SPrinter SPrinter Public

    ASE 2019 Tool Demonstration

    8

Repositories

Showing 10 of 26 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…