swMATH17448MaRDI QIDQ29307FDOQ29307
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?doid=2837614.2837617
Cited In (23)
- DLFix
- Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
- RobustFill
- Sequential convex programming for the efficient verification of parametric MDPs
- PARAM
- KLOVER
- SemFix
- GenProg
- ARJA
- Angelix
- ASTOR
- Codeflaws
- Defects4J
- GZoltar
- Nopol
- Qlose
- QuixBugs
- DeepFix
- PRISM-PSY
- PROPhESY
- iscasMc
- FACT
- Connecting program synthesis and reachability: automatic program repair using test-input generation
This page was built for software: Prophet
