ngocpq

AgxFaults

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.

mipi

MIPI: Source code's Meaning based Incorrect Patches Identifier

defects4j-repair

Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs

ACS

Accurate Condition Synthesis

adasim

Automatically exported from code.google.com/p/adasim

aiortc

WebRTC and ORTC implementation for Python using asyncio

astor

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

AutoUpdate

DiffSnippetsExtractor

Extracting diff code snippets from different code versions

HCMUTE-Online-Judge

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

angelix

Automated program repair tool based on symbolic execution and program synthesis

arja

Multi-Objective GP for Automated Repair of Java

awesome-machine-learning-on-source-code

Cool links & research papers related to Machine Learning applied to source code (MLonCode)

batis_jpetstore6

batis_jpetstore6 with monitoring injected

code2vec

TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"

codis

Inductive program synthesizer

defects4j

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

jconstraints-orig

A constraint solver abstraction layer for Java

jconstraints-z3-orig

jConstraints abstraction layer for Z3

jdart

A dynamic symbolic analysis tool for Java

jpf-core-orig

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

MHX2

SPKT2 mới

quixbugs-experiment

Open-science repository on KTH's program repair experiment on the Quixbugs benchmark

repair-synthesis

Component-based Program Repair

RepairThemAll

Automatic Repair Framework that abstract repair tools and bug benchmarks

symexbib

A bibliography of papers related to symbolic execution