@inproceedings{EJ13,
title = {Program Repair without Regret },
author = {Essen, Christian von and Jobstmann, Barbara},
year = {2013},
booktitle = {Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
pages = {896-911},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8044},
team = {DCS},
}
