Pinned

1. coverage-gaps coverage-gaps Public

   Forked from agroce/coverage-gaps

   analysis of coverage gap data from ASE paper

   Python

2. deepstate deepstate Public

   Forked from trailofbits/deepstate

   A unit test-like interface for fuzzing and symbolic execution

   C

3. hddRASS hddRASS Public

   Forked from amchristi/hddRASS

   Java

4. testfs testfs Public

   Forked from agroce/testfs

   DeepState testing for TestFS, a user level toy file system that is similar to ext3

   C

5. tstl tstl Public

   Forked from agroce/tstl

   Template Scripting Testing Language tool: automated test generation for Python

   Python

6. universalmutator universalmutator Public

   Forked from agroce/universalmutator

   Regexp based tool for mutating generic source code across numerous languages

   Python