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