2 results found Sort:

SpoonLabs
astor SpoonLabs
107
208
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,801 commits to master branch, last one 25 days ago
SpoonLabs
nopol SpoonLabs
40
98
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 4 months ago