"On test repair using symbolic execution."

Brett Daniel, Tihomir Gvero, Darko Marinov (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics