Automatic program repair for Java with generate-and-validate techniques ✌️✌️: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
-
Updated
Aug 7, 2024 - Java
Automatic program repair for Java with generate-and-validate techniques ✌️✌️: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
Add a description, image, and links to the patch-generation topic page so that developers can more easily learn about it.
To associate your repository with the patch-generation topic, visit your repo's landing page and select "manage topics."