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☆58Updated last week
- ☆56Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 weeks ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated last year
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- ☆23Updated last week
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆35Updated 5 months ago
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆144Updated last year
- ☆74Updated 2 years ago
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 6 years ago
- Fair Android Explorer☆21Updated last year
- ☆20Updated last year
- ☆15Updated 3 years 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
- ☆80Updated last year
- ☆54Updated 4 years ago
- ☆23Updated 4 years ago
- Automated Storyboard Generation for Android Apps☆32Updated 4 months 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…☆28Updated last week
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆54Updated 4 months ago
- An android bug reproduce tool☆20Updated 3 years ago
- Mobile App Analysis and Testing Literature☆83Updated 3 weeks ago
- Mutation-guided mutation-based fuzz testing☆44Updated 8 months ago
- ☆15Updated last year
- Time-travel Testing☆105Updated 2 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆73Updated this week
- ☆32Updated 4 months ago
- Program Vulnerability Repair via Inductive Inference☆18Updated last year