Angelix

MaRDI QIDQ38609swMATHFDO

Official website http://angelix.io/

Cited in

(16)

• Connecting program synthesis and reachability: automatic program repair using test-input generation
• JFLAP
• KLOVER
• Prophet
• SemFix
• GenProg
• ARJA
• ASTOR
• Codeflaws
• Defects4J
• GZoltar
• Nopol
• Qlose
• QuixBugs
• DeepFix
• DLFix

This page was built for software: Angelix