@inproceedings{conf/issta/SullivanYCKJ04,
title = {Software assurance by bounded exhaustive testing.},
author = {Kevin J. Sullivan and Jinlin Yang and David Coppit and Sarfraz Khurshid and Daniel Jackson},
booktitle = {ISSTA},
crossref = {conf/issta/2004},
editor = {George S. Avrunin and Gregg Rothermel},
pages = {133-142},
publisher = {ACM},
url = {http://dblp.uni-trier.de/db/conf/issta/issta2004.html#SullivanYCKJ04},
year = {2004},
description = {dblp},
ee = {http://doi.acm.org/10.1145/1007512.1007531}, isbn = {1-58113-820-2}, date = {2006-02-13},
keywords = {dblp }
}