@inproceedings{conf/spin/MarinescuC12,
  added-at = {2012-07-20T00:00:00.000+0200},
  author = {Marinescu, Paul Dan and Cadar, Cristian},
  biburl = {http://www.bibsonomy.org/bibtex/2b79645a3287ac7449dbff4b373d55aca/dblp},
  booktitle = {SPIN},
  crossref = {conf/spin/2012},
  editor = {Donaldson, Alastair F. and Parker, David},
  ee = {http://dx.doi.org/10.1007/978-3-642-31759-0_2},
  interhash = {fbf02fbe61697b1f843523f741016a51},
  intrahash = {b79645a3287ac7449dbff4b373d55aca},
  isbn = {978-3-642-31758-3},
  keywords = {dblp},
  pages = {7-21},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2012-07-20T00:00:00.000+0200},
  title = {High-Coverage Symbolic Patch Testing.},
  url = {http://dblp.uni-trier.de/db/conf/spin/spin2012.html#MarinescuC12},
  volume = 7385,
  year = 2012
}