%0 Conference Paper %1 conf/spin/MarinescuC12 %A Marinescu, Paul Dan %A Cadar, Cristian %B SPIN %D 2012 %E Donaldson, Alastair F. %E Parker, David %I Springer %K dblp %P 7-21 %T High-Coverage Symbolic Patch Testing. %U http://dblp.uni-trier.de/db/conf/spin/spin2012.html#MarinescuC12 %V 7385 %@ 978-3-642-31758-3

@inproceedings{conf/spin/MarinescuC12, added-at = {2017-06-05T00:00:00.000+0200}, author = {Marinescu, Paul Dan and Cadar, Cristian}, biburl = {https://www.bibsonomy.org/bibtex/2b79645a3287ac7449dbff4b373d55aca/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2012}, editor = {Donaldson, Alastair F. and Parker, David}, ee = {https://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 = {2019-05-15T12:05:31.000+0200}, title = {High-Coverage Symbolic Patch Testing.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2012.html#MarinescuC12}, volume = 7385, year = 2012 }