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 21 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 7 1

Repositories

Showing 10 of 22 repositories
  • .github Public

    SQUARE Research Group

    SQUARE-RG/.github’s past year of commit activity
    0 2 0 0 Updated Apr 11, 2025
  • confirmCVE Public
    SQUARE-RG/confirmCVE’s past year of commit activity
    Python 0 0 0 0 Updated Feb 27, 2025
  • dnfC Public
    SQUARE-RG/dnfC’s past year of commit activity
    Python 0 0 0 0 Updated Feb 27, 2025
  • aptC Public
    SQUARE-RG/aptC’s past year of commit activity
    Python 0 0 0 0 Updated Feb 27, 2025
  • ICTDroid Public

    Parameter-Aware Combinatorial Testing for Components of Android Apps

    SQUARE-RG/ICTDroid’s past year of commit activity
    Java 3 AGPL-3.0 0 0 0 Updated Jan 23, 2025
  • panda Public

    A parallel tooling driver based on compilation database

    SQUARE-RG/panda’s past year of commit activity
    Python 3 MIT 2 3 2 Updated Dec 18, 2024
  • JStringChecker Public

    transform java bytecode into C-like path, and smtlib form strings

    SQUARE-RG/JStringChecker’s past year of commit activity
    Kotlin 1 0 0 0 Updated Dec 17, 2024
  • SynTeR Public

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

    SQUARE-RG/SynTeR’s past year of commit activity
    Python 7 1 0 0 Updated Aug 25, 2024
  • CrashTracker Public

    Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization

    SQUARE-RG/CrashTracker’s past year of commit activity
    Java 6 MIT 4 0 0 Updated Aug 23, 2024
  • Scasa Public
    SQUARE-RG/Scasa’s past year of commit activity
    HTML 1 0 0 0 Updated Aug 20, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…