Popular repositories

1. NonDex NonDex Public

   A tool for finding assumptions on APIs with under-determined specifications.

   Java 38 34

2. idoft idoft Public

   Python 31 222

3. starts starts Public

   STARTS - A tool for STAtic Regression Test Selection

   Java 27 37

4. iFixFlakies iFixFlakies Public

   Java 16 10

5. srciror srciror Public

   A mutation tool for source and IR

   C++ 13 3

6. testrunner testrunner Public

   Java 4 10