Popular repositories Loading

1. Themis Themis Public

   Themis™ is a software fairness tester.

   Java 109 22

2. TacTok TacTok Public

   The TacTok automated Coq proof script synthesis tool

   Coq 17 4

3. AutomatedRepairApplicabilityData AutomatedRepairApplicabilityData Public

   Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.

   Python 16 9

4. SBIR-ReplicationPackage SBIR-ReplicationPackage Public

   This repository contains the source code, data, and results described in the paper titled: Better Automatic Program Repair by Using Bug Reports and Tests Together, in Proceedings of the 45th Intern…

   HTML 11 1

5. Swami Swami Public

   Swami is a tool to automatically extract test oracles and generate executable tests from structured natural language specifications.

   HTML 9 4

6. Diva Diva Public

   DIversity in VerificAtion

   Coq 8 3