- 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)
- 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)
- 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)
- 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)
