Kevin J. Sullivan Jinlin Yang David Coppit Sarfraz Khurshid Daniel Jackson Software assurance by bounded exhaustive testing. 133-142 2004 conf/issta/2004 ISSTA http://doi.acm.org/10.1145/1007512.1007531 db/conf/issta/issta2004.html#SullivanYCKJ04