cs-au-dk / thor
☆14Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for thor
- A Prototype of Sapienz (Out-of-date and no longer supported)☆81Updated 7 years ago
- Binary Instrumentation of Android Apps☆70Updated 8 years ago
- Automated Testing Tool for Android Applications.☆60Updated 9 years ago
- Automatic Input Generation System for Android Apps☆36Updated 4 years ago
- Programmable UI-Automation Framework for Dynamic App Analysis☆47Updated 10 years ago
- Automatic Android App Explorer☆42Updated 8 years ago
- ☆54Updated 3 years ago
- Dynamic Symbolic Execution of Android Apps☆22Updated 8 years ago
- EHBDroid is an effective and efficient Android Testing tool based on the idea of "event-handler-based" testing. Please cite the followi…☆17Updated 5 years ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆13Updated 5 years ago
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- An android bug reproduce tool☆18Updated 2 years ago
- Symbolic PathFinder☆130Updated last month
- A database of crash (exception) bugs for Android apps☆20Updated 10 months ago
- ☆20Updated last year
- A micro-benchmark suite to assess the stability of taint-analysis tools for Android☆269Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆20Updated last month
- ☆21Updated 7 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆88Updated 5 months ago
- ☆25Updated this week
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆143Updated last year
- Fair Android Explorer☆20Updated last year
- DroidMate-2: A Platform for Android Test Generation☆28Updated 3 years ago
- IC3: Inter-Component Communication Analysis in Android☆36Updated 4 years ago
- ☆35Updated 10 months ago
- A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.☆58Updated 6 years ago
- Time-travel Testing☆106Updated 2 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- automated testing for JavaScript☆36Updated 6 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆97Updated last month