2 results found Sort:

SpoonLabs
astor SpoonLabs
106
207
gpl-2.0
12
Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
kth inria patch repair program-repair dynamic-analysis patch-generation
Created 2014-10-01
1,800 commits to master branch, last one 3 months ago
SpoonLabs
nopol SpoonLabs
40
97
gpl-2.0
9
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
smt program-repair patch-generation
Created 2015-05-15
842 commits to master branch, last one 3 months ago