ecnusse / KeaLinks
Property-based Testing for Mobile GUI Apps
☆62Updated last week
Alternatives and similar repositories for Kea
Users that are interested in Kea are comparing it to the libraries listed below
Sorting:
- Defect Library for LLM-enabled Software☆14Updated 2 months ago
- A lightweight HarmonyOS NEXT app tester.☆28Updated last month
- A python library for supporting, customizing and improving automated UI testing for mobile apps☆24Updated this week
- ☆37Updated last year
- Lab sessions for the software analysis course at East China Normal University.☆125Updated 2 months ago
- Mobile App Analysis and Testing Literature☆93Updated 3 months ago
- The Themis Benchmark for evaluating automated GUI testing☆151Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 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…☆33Updated 2 months ago
- ☆15Updated last year
- 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
- A database of crash (exception) bugs for Android apps☆21Updated last year
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆147Updated 2 years ago
- ☆25Updated last month
- A Reproducible Benchmark of Recent Java Bugs☆38Updated 3 weeks ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆37Updated 2 years ago
- ☆83Updated last year
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆43Updated 4 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆61Updated 6 months ago
- An android bug reproduce tool☆23Updated 3 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated 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
- ☆74Updated 2 years ago
- A unification-based alias analysis and related tools☆34Updated 7 months ago
- ☆18Updated 3 weeks ago
- ☆33Updated 7 months ago
- ☆55Updated 4 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆66Updated last year
- A practical fuzzing tool for SMT solvers☆11Updated 9 months ago
- This repository holds the data and code for the AndroR2 dataset of manually-reproduced bug reports for Android apps☆23Updated 3 years ago