Pinned Loading

1. mipi mipi Public

   MIPI: Source code's Meaning based Incorrect Patches Identifier

   Python 2

2. AgxFaults AgxFaults Public

   An automatic fault localization tool for Java programs. It combines dynamic symbolic execution with incremental Max-SMT solver to identify program locations at which a manifested error can be fixed.

   Java 2

3. DiffSnippetsExtractor DiffSnippetsExtractor Public

   Extracting diff code snippets from different code versions

   Java

4. HCMUTE-Online-Judge HCMUTE-Online-Judge Public

   An online judge system for the Introduction to programming language C, C++, and Java courses.

   JavaScript

5. astor astor Public

   Forked from SpoonLabs/astor

   automatic program repair for Java with generate-and-validate techniques - jGenProg (GenProg for Java) - jMutRepair - jKali - DeepRepair - Cardumen

   Java

6. AutoUpdate AutoUpdate Public

   C#