Sasa Misailovic Aleksandar Milicevic Nemanja Petrovic Sarfraz Khurshid Darko Marinov Parallel test generation and execution with Korat. 135-144 2007 conf/sigsoft/2007 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1287624.1287645 db/conf/sigsoft/fse2007.html#MisailovicMPKM07