tingsu / DroidDefectsLinks
A database of crash (exception) bugs for Android apps
☆21Updated last year
Alternatives and similar repositories for DroidDefects
Users that are interested in DroidDefects are comparing it to the libraries listed below
Sorting:
- ☆38Updated last year
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆152Updated 2 years ago
- The Themis Benchmark for evaluating automated GUI testing☆154Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- Property-based Testing for Mobile GUI Apps☆73Updated 4 months ago
- Fair Android Explorer☆21Updated 2 years ago
- ☆58Updated last year
- ☆25Updated 4 years ago
- An android bug reproduce tool☆23Updated 3 years ago
- ☆55Updated 4 years ago
- Mobile App Analysis and Testing Literature☆96Updated 3 weeks ago
- ☆74Updated 2 years ago
- ☆20Updated 2 years ago
- ☆23Updated 2 years ago
- An automatic API misuse checker for C programs!☆19Updated 6 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆92Updated last year
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆39Updated 2 years ago
- EHBDroid is an effective and efficient Android Testing tool based on the idea of "event-handler-based" testing. Please cite the followi…☆19Updated 6 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆80Updated this week
- Defect Library for LLM-enabled Software☆22Updated 2 weeks ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆73Updated 2 months ago
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- ☆42Updated 2 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Updated 6 years ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆39Updated last year
- ☆88Updated 2 years ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆33Updated 6 months ago
- ☆26Updated last week
- Practical Program Repair via Bytecode Mutation☆64Updated 3 years ago
- tool of llm-based indirect-call analyzer☆31Updated 7 months ago