TS (@tingsu)
github

tingsu

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    184
  • Global Rank 131,465 (Top 5 %)
  • Followers 94
  • Following 35
  • Registered almost 12 years ago
  • Most used languages
    C
         33.3 %
    Python
         16.7 %
    OCaml
         16.7 %
    HTML
         16.7 %
    Java
         16.7 %
  • Location 🇨🇭 Switzerland
  • Country Total Rank 1,476
  • Country Ranking
    OCaml
         23
    C
         239
    Python
         371
    HTML
         669
    Java
         1,838

Top repositories

1

Stoat

Stoat (STochastic model App Tester) - an automatic testing tool for android apps
Python
141
star
2

DroidDefects

A database of crash (exception) bugs for Android apps
C
20
star
3

caut-lib

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

tingsu.github.io

HTML
4
star
5

hybrid_dft

hybrid data-flow testing framework based on KLEE, BLAST, CPAchecker and CBMC
OCaml
3
star
6

AppRepo

an android app repo
Java
1
star