@inproceedings{DBLP:conf/issta/SullivanYCKJ04,
  author    = {Kevin J. Sullivan and
               Jinlin Yang and
               David Coppit and
               Sarfraz Khurshid and
               Daniel Jackson},
  title     = {Software assurance by bounded exhaustive testing},
  booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on
               Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts,
               USA, July 11-14, 2004},
  year      = {2004},
  pages     = {133-142},
}

{"_id":"v4nbWkDnLx4s3Qvqd","bibbaseid":"sullivan-yang-coppit-khurshid-jackson-softwareassurancebyboundedexhaustivetesting-2004","author_short":["Sullivan, K. J.","Yang, J.","Coppit, D.","Khurshid, S.","Jackson, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Kevin","J."],"propositions":[],"lastnames":["Sullivan"],"suffixes":[]},{"firstnames":["Jinlin"],"propositions":[],"lastnames":["Yang"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Coppit"],"suffixes":[]},{"firstnames":["Sarfraz"],"propositions":[],"lastnames":["Khurshid"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Software assurance by bounded exhaustive testing","booktitle":"Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004","year":"2004","pages":"133-142","bibtex":"@inproceedings{DBLP:conf/issta/SullivanYCKJ04,\n author = {Kevin J. Sullivan and\n Jinlin Yang and\n David Coppit and\n Sarfraz Khurshid and\n Daniel Jackson},\n title = {Software assurance by bounded exhaustive testing},\n booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on\n Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts,\n USA, July 11-14, 2004},\n year = {2004},\n pages = {133-142},\n}\n\n","author_short":["Sullivan, K. J.","Yang, J.","Coppit, D.","Khurshid, S.","Jackson, D."],"key":"DBLP:conf/issta/SullivanYCKJ04","id":"DBLP:conf/issta/SullivanYCKJ04","bibbaseid":"sullivan-yang-coppit-khurshid-jackson-softwareassurancebyboundedexhaustivetesting-2004","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://groups.csail.mit.edu/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb"],"keywords":[],"search_terms":["software","assurance","bounded","exhaustive","testing","sullivan","yang","coppit","khurshid","jackson"],"title":"Software assurance by bounded exhaustive testing","year":2004}