tingsu / DroidDefects
A database of crash (exception) bugs for Android apps
☆20Updated last year
Alternatives and similar repositories for DroidDefects:
Users that are interested in DroidDefects are comparing it to the libraries listed below
- ☆37Updated last year
- Property-based Testing for Mobile GUI Apps☆46Updated last week
- Fair Android Explorer☆20Updated last year
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated last year
- ☆54Updated 4 years ago
- Mobile App Analysis and Testing Literature☆75Updated 3 months ago
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 5 years ago
- ☆55Updated last year
- ☆11Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- Mutation-guided mutation-based fuzz testing☆41Updated 7 months ago
- ☆74Updated last year
- An android bug reproduce tool☆19Updated 3 years ago
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆144Updated last year
- Symbolic PathFinder☆135Updated 4 months ago
- ☆23Updated 4 years ago
- ☆28Updated 3 months ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆34Updated 2 years ago
- Flow analysis using Soot☆51Updated 4 years ago
- ☆39Updated 2 years ago
- ☆20Updated last year
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- This repository holds the data and code for the AndroR2 dataset of manually-reproduced bug reports for Android apps☆19Updated 3 years ago
- DBGBench Website:☆18Updated 3 years ago
- ☆15Updated 2 years ago
- Program Vulnerability Repair via Inductive Inference☆18Updated last year
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆25Updated 5 months ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆33Updated 4 months ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆30Updated 2 years ago
- Binary Instrumentation of Android Apps☆69Updated 8 years ago