Christian von Essen, Barbara Jobstmann
Program Repair without Regret
CAV, 2013.
@inproceedings{CAV-2013-EssenJ, author = "Christian von Essen and Barbara Jobstmann", booktitle = "{Proceedings of the 25th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-642-39799-8_64", isbn = "978-3-642-39798-1", pages = "896--911", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Program Repair without Regret}", volume = 8044, year = 2013, }