Brett Daniel, Tihomir Gvero, Darko Marinov. On test repair using symbolic execution. In Paolo Tonella, Alessandro Orso, editors, Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010. pages 207-218, ACM, 2010. [doi]
@inproceedings{DanielGM10,
title = {On test repair using symbolic execution},
author = {Brett Daniel and Tihomir Gvero and Darko Marinov},
year = {2010},
doi = {10.1145/1831708.1831734},
url = {http://doi.acm.org/10.1145/1831708.1831734},
tags = {testing},
researchr = {https://researchr.org/publication/DanielGM10},
cites = {0},
citedby = {0},
pages = {207-218},
booktitle = {Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010},
editor = {Paolo Tonella and Alessandro Orso},
publisher = {ACM},
isbn = {978-1-60558-823-0},
}