ecnusse / KeaLinks
Property-based Testing for Mobile GUI Apps
☆63Updated last month
Alternatives and similar repositories for Kea
Users that are interested in Kea are comparing it to the libraries listed below
Sorting:
- The Themis Benchmark for evaluating automated GUI testing☆154Updated last year
- Defect Library for LLM-enabled Software☆15Updated 3 months ago
- A lightweight HarmonyOS NEXT app tester.☆28Updated last month
- Lab sessions for the software analysis course at East China Normal University.☆124Updated 3 months ago
- ☆37Updated last year
- Mobile App Analysis and Testing Literature☆93Updated 3 months ago
- A python library for supporting, customizing and improving automated UI testing for mobile apps☆37Updated this week
- ☆15Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 4 months ago
- ☆29Updated 7 months ago
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆148Updated 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 3 months ago
- ☆85Updated last year
- A database of crash (exception) bugs for Android apps☆21Updated last year
- Automated Accessibility Issue Detection for Android Apps☆24Updated 7 months ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆36Updated 2 years ago
- ☆55Updated 4 years ago
- This repository holds the data and code for the AndroR2 dataset of manually-reproduced bug reports for Android apps☆24Updated 4 years ago
- ☆74Updated 2 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆71Updated 7 months ago
- AUSERA: Automated Security Vulnerability Detection for Android Apps☆32Updated 7 months ago
- A Reproducible Benchmark of Recent Java Bugs☆38Updated last month
- Automated Storyboard Generation for Android Apps☆34Updated 7 months ago
- Two-Level Collaborative Fuzzing for Python Runtimes☆19Updated last year
- ☆12Updated last year
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆61Updated 7 months ago
- ☆25Updated 4 years ago
- ☆34Updated 7 months ago
- ☆58Updated last year
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆54Updated last year