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☆56Updated this week
- ☆54Updated 4 years ago
- ☆56Updated last year
- Mobile App Analysis and Testing Literature☆81Updated last week
- ☆11Updated last year
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 6 years ago
- Fair Android Explorer☆21Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 weeks ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated last year
- ☆74Updated 2 years ago
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆144Updated last year
- ☆23Updated 4 years ago
- This repository holds the data and code for the AndroR2 dataset of manually-reproduced bug reports for Android apps☆21Updated 3 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…☆28Updated this week
- ☆23Updated 2 years ago
- ☆15Updated last year
- Time-travel Testing☆105Updated 2 years ago
- Flow analysis using Soot☆51Updated 4 years ago
- ☆20Updated last year
- An android bug reproduce tool☆20Updated 3 years ago
- Automated Storyboard Generation for Android Apps☆32Updated 4 months ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆35Updated 5 months ago
- Mutation-guided mutation-based fuzz testing☆44Updated 8 months ago
- Symbolic PathFinder☆136Updated 5 months ago
- DBGBench Website:☆18Updated 4 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- ☆10Updated 3 years ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆13Updated 5 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆89Updated 9 months ago