setting-defect-fuzzing / home
☆37Updated last year
Alternatives and similar repositories for home:
Users that are interested in home are comparing it to the libraries listed below
- Mobile App Analysis and Testing Literature☆75Updated 3 months ago
- Property-based Testing for Mobile GUI Apps☆46Updated last week
- ☆11Updated last year
- A database of crash (exception) bugs for Android apps☆20Updated last year
- Fair Android Explorer☆20Updated last year
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆144Updated last year
- ☆15Updated last year
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated last year
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 5 years ago
- The Themis Benchmark for evaluating automated GUI testing☆146Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- ☆23Updated 4 years ago
- ☆74Updated last year
- ☆50Updated 2 years ago
- An android bug reproduce tool☆19Updated 3 years ago
- ☆54Updated 4 years ago
- A tool to instrument Android APKs based on Soot☆15Updated 4 years ago
- ☆28Updated 3 months ago
- A practical fuzzing tool for SMT solvers☆11Updated 6 months ago
- Time-travel Testing☆106Updated 2 years ago
- ☆23Updated last year
- ☆10Updated 3 years ago
- ☆20Updated last year
- 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
- ☆22Updated 2 years ago
- This repository holds the data and code for the AndroR2 dataset of manually-reproduced bug reports for Android apps☆19Updated 3 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆41Updated 7 months ago
- Automatic Input Generation System for Android Apps☆36Updated 5 years ago
- ☆78Updated last year