{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T21:01:29Z","timestamp":1792962089648,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,10,30]]},"DOI":"10.1145\/1180405.1180445","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"322-335","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":512,"title":["EXE"],"prefix":"10.1145","author":[{"given":"Cristian","family":"Cadar","sequence":"first","affiliation":[{"name":"Stanford University, Stanford, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vijay","family":"Ganesh","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter M.","family":"Pawlowski","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David L.","family":"Dill","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dawson R.","family":"Engler","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561163_1"},{"key":"e_1_3_2_1_2_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/11817963","volume-title":"CAV","author":"Ball T.","year":"2006","unstructured":"T. Ball and R. B. Jones , editors . Computer Aided Verification, 18th International Conference , CAV 2006 , Seattle, WA , USA, August 17-20, 2006, Proceedings, volume 4144 of Lecture Notes in Computer Science . Springer , 2006. T. Ball and R. B. Jones, editors. Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, volume 4144 of Lecture Notes in Computer Science. Springer, 2006."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/380921.380932"},{"key":"e_1_3_2_1_5_1","volume-title":"CVC Lite: A new implementation of the cooperating validity checker","author":"Barrett C.","year":"2004","unstructured":"C. Barrett and S. Berezin . CVC Lite: A new implementation of the cooperating validity checker . In R. Alur and D. A. Peled, editors, CAV, Lecture Notes in Computer Science. Springer , 2004 . C. Barrett and S. Berezin. CVC Lite: A new implementation of the cooperating validity checker. In R. Alur and D. A. Peled, editors, CAV, Lecture Notes in Computer Science. Springer, 2004."},{"key":"e_1_3_2_1_6_1","volume-title":"PDPAR'04 Workshop","author":"Barrett C.","year":"2004","unstructured":"C. Barrett , S. Berezin , I. Shikanian , M. Chechik , A. Gurfinkel , and D. L. Dill . A practical approach to partial functions in CVC Lite . In PDPAR'04 Workshop , Cork, Ireland , July 2004 . C. Barrett, S. Berezin, I. Shikanian, M. Chechik, A. Gurfinkel, and D. L. Dill. A practical approach to partial functions in CVC Lite. In PDPAR'04 Workshop, Cork, Ireland, July 2004."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/390016.808445"},{"key":"e_1_3_2_1_8_1","volume-title":"IEEE International Conference on Automated Software Engineering (ASE)","author":"Brat G.","year":"2000","unstructured":"G. Brat , K. Havelund , S. Park , and W. Visser . Model checking programs . In IEEE International Conference on Automated Software Engineering (ASE) , 2000 . G. Brat, K. Havelund, S. Park, and W. Visser. Model checking programs. In IEEE International Conference on Automated Software Engineering (ASE), 2000."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.41"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734437"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7%3C775::AID-SPE309%3E3.0.CO;2-H"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11537328_2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119772.1119831"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_30"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"e_1_3_2_1_16_1","series-title":"The MIT Electrical Engineering and Computer Science Series","volume-title":"Introduction to Algorithms","author":"Cormen T. H.","year":"2001","unstructured":"T. H. Cormen , C. E. Leiserson , R. L. Rivest , and C. Stein . Introduction to Algorithms . The MIT Electrical Engineering and Computer Science Series . MIT Press\/McGraw Hill , 2001 . T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. The MIT Electrical Engineering and Computer Science Series. MIT Press\/McGraw Hill, 2001."},{"key":"e_1_3_2_1_17_1","unstructured":"SWAT\n  : the Coverity software analysis toolset. http:\/\/coverity.com.  SWAT: the Coverity software analysis toolset. http:\/\/coverity.com."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_20_1","first-page":"78","volume-title":"Proc. of the Sixth International Conference on Theory and Applications of Satisfiability Testing","author":"Een N.","year":"2003","unstructured":"N. Een and N. Sorensson . An extensible SAT-solver . In Proc. of the Sixth International Conference on Theory and Applications of Satisfiability Testing , pages 78 -- 92 , May 2003 . N. Een and N. Sorensson. An extensible SAT-solver. In Proc. of the Sixth International Conference on Theory and Applications of Satisfiability Testing, pages 78--92, May 2003."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/226155.226158"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512531"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271790"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288321"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the Winter USENIX Conference","author":"Hastings R.","year":"1992","unstructured":"R. Hastings and B. Joyce . Purify: Fast detection of memory leaks and access errors . In Proceedings of the Winter USENIX Conference , Dec. 1992 . R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proceedings of the Winter USENIX Conference, Dec. 1992."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/784820.784841"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765924"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 12th USENIX Security Symposium","author":"Larson E.","year":"2003","unstructured":"E. Larson and T. Austin . High coverage detection of input-related security faults . In Proceedings of the 12th USENIX Security Symposium , August 2003 . E. Larson and T. Austin. High coverage detection of input-related security faults. In Proceedings of the 12th USENIX Security Symposium, August 2003."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/357073.357079"},{"key":"e_1_3_2_1_37_1","volume-title":"Valgrind: A program supervision framework. Electronic Notes in Theoretical Computer Science, 89(2)","author":"Nethercote N.","year":"2003","unstructured":"N. Nethercote and J. Seward . Valgrind: A program supervision framework. Electronic Notes in Theoretical Computer Science, 89(2) , 2003 . N. Nethercote and J. Seward. Valgrind: A program supervision framework. Electronic Notes in Theoretical Computer Science, 89(2), 2003."},{"key":"e_1_3_2_1_38_1","unstructured":"PCRE - Perl Compatible Regular Expressions. http:\/\/www.pcre.org\/.  PCRE - Perl Compatible Regular Expressions. http:\/\/www.pcre.org\/."},{"key":"e_1_3_2_1_39_1","unstructured":"PCRE Regular Expression Heap Overflow. US-CERT Cyber Security Bulletin SB05-334. http:\/\/www.us-cert.gov\/cas\/bulletins\/SB05-334.html#pcre.  PCRE Regular Expression Heap Overflow. US-CERT Cyber Security Bulletin SB05-334. http:\/\/www.us-cert.gov\/cas\/bulletins\/SB05-334.html#pcre."},{"key":"e_1_3_2_1_40_1","first-page":"159","volume-title":"Proceedings of the 11th Annual Network and Distributed System Security Symposium","author":"Ruwase O.","year":"2004","unstructured":"O. Ruwase and M. S. Lam . A practical dynamic buffer overflow detector . In Proceedings of the 11th Annual Network and Distributed System Security Symposium , pages 159 -- 169 , 2004 . O. Ruwase and M. S. Lam. A practical dynamic buffer overflow detector. In Proceedings of the 11th Annual Network and Distributed System Security Symposium, pages 159--169, 2004."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_42_1","volume-title":"The 2000 Network and Distributed Systems Security Conference","author":"Wagner D.","year":"2000","unstructured":"D. Wagner , J. Foster , E. Brewer , and A. Aiken . A first step towards automated detection of buffer overrun vulnerabilities . In The 2000 Network and Distributed Systems Security Conference . San Diego, CA , Feb. 2000 . D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step towards automated detection of buffer overrun vulnerabilities. In The 2000 Network and Distributed Systems Security Conference. San Diego, CA, Feb. 2000."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040334"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_13"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.7"},{"key":"e_1_3_2_1_46_1","volume-title":"Symposium on Operating Systems Design and Implementation","author":"Yang J.","year":"2004","unstructured":"J. Yang , P. Twohey , D. Engler , and M. Musuvathi . Using model checking to find serious file system errors . In Symposium on Operating Systems Design and Implementation , December 2004 . J. Yang, P. Twohey, D. Engler, and M. Musuvathi. Using model checking to find serious file system errors. In Symposium on Operating Systems Design and Implementation, December 2004."}],"event":{"name":"CCS06: 13th ACM Conference on Computer and Communications Security 2006","location":"Alexandria Virginia USA","acronym":"CCS06","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 13th ACM conference on Computer and communications security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1180405.1180445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T09:12:44Z","timestamp":1673082764000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1180405.1180445"}},"subtitle":["automatically generating inputs of death"],"short-title":[],"issued":{"date-parts":[[2006,10,30]]},"references-count":46,"alternative-id":["10.1145\/1180405.1180445","10.1145\/1180405"],"URL":"https:\/\/doi.org\/10.1145\/1180405.1180445","relation":{},"subject":[],"published":{"date-parts":[[2006,10,30]]},"assertion":[{"value":"2006-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}