{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T19:49:32Z","timestamp":1773344972813,"version":"3.50.1"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606558","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T18:38:03Z","timestamp":1380652683000},"page":"122-131","source":"Crossref","is-referenced-by-count":74,"title":["Billions and billions of constraints: Whitebox fuzz testing in production"],"prefix":"10.1109","author":[{"given":"Ella","family":"Bounimova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrice","family":"Godefroid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Molnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"22","article-title":"Automatically classifying benign and harmful data races using replay analysis","author":"narayanasamy","year":"2007","journal-title":"Programming Languages Design and Implementation (PLDI)"},{"key":"17","first-page":"151","article-title":"Automated whitebox fuzz testing","author":"godefroid","year":"2008","journal-title":"Proceedings of NDSS'2008 (Network and Distributed Systems Security)"},{"key":"23","first-page":"134","article-title":"Pex-white box test generation for net","author":"tillmann","year":"2008","journal-title":"Proceedings of TAP'2008 (2nd International Conference on Tests and Proofs) 4966 of Lecture Notes in Computer Science"},{"key":"18","author":"howard","year":"2006","journal-title":"The Security Development Lifecycle"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23702-7_12"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993529"},{"key":"11","article-title":"An empirical study of the robustness of windows nt applications using random testing","author":"forrester","year":"2000","journal-title":"Proceedings of the 4th USENIX Windows System Symposium"},{"key":"12","article-title":"Under the kimono of office security engineering","author":"gallagher","year":"2010","journal-title":"CanSecWest"},{"key":"21","article-title":"Finding microsoft vulnerabilities by fuzzing binary files with ruby-A new fuzzing framework","author":"nagy","year":"2009","journal-title":"SyScan05"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"20","article-title":"Dynamic test generation to find integer bugs in x86 binary linux programs","author":"molnar","year":"2009","journal-title":"USENIX Security Symposium"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68768-1_4"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1220164"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/90.298431"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985995"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"4","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"9","author":"evans","year":"2011","journal-title":"Fuzzing at Scale"},{"key":"8","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Proceedings of TACAS'2008 4963 of Lecture Notes in Computer Science"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","location":"San Francisco, CA, USA","start":{"date-parts":[[2013,5,18]]},"end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606558.pdf?arnumber=6606558","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T22:55:46Z","timestamp":1498085746000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6606558\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606558","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}