On test repair using symbolic execution.

Brett Daniel, Tihomir Gvero, Darko Marinov

Browse the full ISSTA paper archive.