High-Coverage Symbolic Patch Testing Paul Dan Marinescu and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {p.marinescu, c.cadar - Symbolic - Document - PDFSEARCH.IO

First Page	Meta Content
	High-Coverage Symbolic Patch Testing Paul Dan Marinescu and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {p.marinescu, c.cadar}@imperial.ac.uk Add to Reading List Document Date: 2014-09-17 17:10:55 Open Document File Size: 270,26 KB Share Result on Facebook

High-Coverage Symbolic Patch Testing Paul Dan Marinescu and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {p.marinescu, c.cadar}@imperial.ac.ukAdd to Reading List