@inproceedings{SymReAssert10,
  author = {Brett Daniel and Tihomir Gvero and Darko Marinov},
  title = {On Test Repair Using Symbolic Execution},
  booktitle = {ISSTA 2010: 2010 International Symposium on Software Testing and Analysis},
  pages = {207--218},
  month = {July},
  year = {2010},
  note = {\url{http://mir.cs.illinois.edu/reassert/}},
}