On test repair using symbolic execution

Brett Daniel, Tihomir Gvero, Darko Marinov
2010 Proceedings of the 19th international symposium on Software testing and analysis - ISSTA '10  
doi:10.1145/1831708.1831734 dblp:conf/issta/DanielGM10 fatcat:7kc4r6eibzecze6ztrfwkenhk4