工具
发现我们研究小组开发的工具
显示 29 个工具
LLM
AutoChecker (在新窗口中打开)
A tool that codes checker automatically with rule description and test case set input
SynTeR (在新窗口中打开)
An LLM-based Approach to Repair Obsolete Test Cases caused by Syntactic BCs
C/C++
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
Spelton (在新窗口中打开)
A Static Checker for Memory-Related Bugs Triggered with C++ Smart Pointers.
Java
JustinSTR (在新窗口中打开)
JustinStr is a tool for automatically generating string test data.
Leopard (在新窗口中打开)
A lightweight tool to detect thread related misuses causing resource leaks in Java.
Android
CrashTracker (在新窗口中打开)
Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
DMMPP (在新窗口中打开)
Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates.
ExaDroid (在新窗口中打开)
Variable-Strength Combinatorial Testing of Exported Activities Based on Misexposure Prediction
FlowSlicer (在新窗口中打开)
An Efficient Android App Debloating Approach based on Multi-layer Dependence Graph
HACMony (在新窗口中打开)
An LLM-based Harmony-OS App Testing Tool that supports Hopping-related Audio-stream Conflict Issue Detection
ICC-Resolution-Evaluation (在新窗口中打开)
A Comprehensive Evaluation of Android ICC Resolution Techniques
ICCBot (在新窗口中打开)
A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications
ICTDroid (在新窗口中打开)
Parameter-Aware Combinatorial Testing for Components of Android Apps
InsDal (在新窗口中打开)
A Safe and Extensible Instrumentation Tool on Dalvik Byte-Code for Android Applications
Mist (在新窗口中打开)
Characterizing and Identifying Misexposed Activities in Android Applications
SMT
AllDiff-LS (在新窗口中打开)
A tool for solving All-Different combinatorial constraints via local search
CDCL(OCAC) (在新窗口中打开)
CDCL(OCAC): A complete algorithm for optimization modulo nonlinear real arithmetic.
Prob-SMT (在新窗口中打开)
A tool that integrates probabilistic reasoning into SMT solving to handle logical constraints involving randomness or uncertainty
SMTParser (在新窗口中打开)
A frontend for parsing and processing SMT-LIB / OMT format formulas, supporting C++ interfaces.