ecnusse / KeaLinks
Property-based Testing for Mobile GUI Apps
☆66Updated 2 months ago
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☆153Updated last year
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆150Updated 2 years ago
- ☆38Updated last year
- A lightweight HarmonyOS NEXT app tester.☆30Updated 3 months ago
- Mobile App Analysis and Testing Literature☆94Updated last month
- Lab sessions for the software analysis course at East China Normal University.☆125Updated 4 months ago
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 6 years ago
- Defect Library for LLM-enabled Software☆20Updated last month
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated last month
- Fusing automated UI testing with scripts for effectively fuzzing Android apps☆76Updated last week
- A database of crash (exception) bugs for Android apps☆21Updated last year
- ☆16Updated 2 years ago
- An android bug reproduce tool☆23Updated 3 years ago
- ☆25Updated 4 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
- ☆26Updated last week
- Fair Android Explorer☆20Updated 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…☆34Updated 4 months ago
- Automated Storyboard Generation for Android Apps☆34Updated 9 months ago
- Symbolic PathFinder☆153Updated 3 weeks ago
- ☆11Updated last month
- ☆23Updated 2 years ago
- ☆12Updated last year
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated last year
- ☆14Updated 2 years ago
- ☆10Updated 9 months ago
- ☆58Updated last year
- A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue☆503Updated this week
- A program slicer for Java, based on the system dependence graph (SDG).☆67Updated 3 weeks ago