Shmuel Ur Scott D. Stoller Eitan Farchi 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). 309-310 2008 ISSTA http://doi.acm.org/10.1145/1390630.1390669 conf/issta/2008 db/conf/issta/issta2008.html#UrSF08