Matthew B. Dwyer Sebastian G. Elbaum Suzette Person Rahul Purandare Parallel Randomized State-Space Search. 3-12 2007 conf/icse/2007 ICSE http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.62 db/conf/icse/icse2007.html#DwyerEPP07