Popular repositories Loading

1. Stoat Stoat Public

   Stoat (STochastic model App Tester) - an automatic testing tool for android apps

   Python 142 37

2. DroidDefects DroidDefects Public

   A database of crash (exception) bugs for Android apps

   C 20 2

3. caut-lib caut-lib Public

   a CIL-based dynamic symbolic execution (DSE) engine for C language

   C 10 3

4. tingsu.github.io tingsu.github.io Public

   HTML 4

5. hybrid_dft hybrid_dft Public

   hybrid data-flow testing framework based on KLEE, BLAST, CPAchecker and CBMC

   OCaml 3 3

6. UI2code UI2code Public

   Forked from ccywch/UI2code

   Covert the UI design image into the skeleton code with deep learning

   Lua 2