Multi-solver Support in Symbolic Execution Hristina Palikareva and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {h.palikareva, c.cadar - Solver - Document - PDFSEARCH.IO

First Page	Meta Content
	Multi-solver Support in Symbolic Execution Hristina Palikareva and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {h.palikareva, c.cadar}@imperial.ac.uk Add to Reading List Document Date: 2013-05-01 10:35:53 Open Document File Size: 380,90 KB Share Result on Facebook

Multi-solver Support in Symbolic Execution Hristina Palikareva and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {h.palikareva, c.cadar}@imperial.ac.ukAdd to Reading List