Prophet

MaRDI QIDQ29307swMATHFDO

Official website http://dl.acm.org/citation.cfm?doid=2837614.2837617

Cited in

(23)

• PARAM
• Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
• KLOVER
• SemFix
• Connecting program synthesis and reachability: automatic program repair using test-input generation
• Sequential convex programming for the efficient verification of parametric MDPs
• GenProg
• ARJA
• Defects4J
• ASTOR
• Nopol
• GZoltar
• Angelix
• Qlose
• Codeflaws
• QuixBugs
• DeepFix
• PRISM-PSY
• PROPhESY
• iscasMc
• FACT
• DLFix
• RobustFill

This page was built for software: Prophet