Tools
Discover tools developed by our research group
Showing 11 tools
Android
CrashTracker (opens in a new window)
Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
DMMPP (opens in a new window)
Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates.
ExaDroid (opens in a new window)
Variable-Strength Combinatorial Testing of Exported Activities Based on Misexposure Prediction
Fax (opens in a new window)
An automated Android GUI Explorer tool
FlowSlicer (opens in a new window)
An Efficient Android App Debloating Approach based on Multi-layer Dependence Graph
HACMony (opens in a new window)
An LLM-based Harmony-OS App Testing Tool that supports Hopping-related Audio-stream Conflict Issue Detection
ICC-Resolution-Evaluation (opens in a new window)
A Comprehensive Evaluation of Android ICC Resolution Techniques
ICCBot (opens in a new window)
A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications
ICTDroid (opens in a new window)
Parameter-Aware Combinatorial Testing for Components of Android Apps
InsDal (opens in a new window)
A Safe and Extensible Instrumentation Tool on Dalvik Byte-Code for Android Applications
Mist (opens in a new window)
Characterizing and Identifying Misexposed Activities in Android Applications