1 | T. Britton et al. Reversible Debugging Software. |
2 | B. Liblit et al. Bug isolation via remote program sampling. In PLDI. 2003. |
3 | Weimer et al. Automatically Finding Patches using Genetic Programming. In ICSE. 2009. |
4 | Nguyen et al. SemFix: program repair via semantics analysis. In ICSE. 2013. |
5 | Fan Long and Martin Rinard. Automatic Patch Geneartion by Learning Correct Code. In POPL. 2016 |