{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:57:02Z","timestamp":1760029022828,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,15]],"date-time":"2013-07-15T00:00:00Z","timestamp":1373846400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,7,15]]},"DOI":"10.1145\/2483760.2483787","type":"proceedings-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T18:06:58Z","timestamp":1373998018000},"page":"56-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Semi-valid input coverage for fuzz testing"],"prefix":"10.1145","author":[{"given":"Petar","family":"Tsankov","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad Torabi","family":"Dashti","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Basin","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume":"15","author":"Alrahem T.","year":"2007","journal-title":"INTERSTATE: A Stateful Protocol Fuzzer for SIP. In Defcon"},{"volume-title":"University of California","year":"2007","author":"Alrahem T.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11836810_25"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/NSS.2010.81"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2209249.2209266"},{"key":"e_1_3_2_1_6_1","first-page":"224","volume-title":"Proceedings of the 8th USENIX conference on Operating systems design and implementation, OSDI\u201908","author":"Cadar C.","year":"2008"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.41326"},{"key":"e_1_3_2_1_8_1","first-page":"9","volume-title":"Proceedings of the first USENIX workshop on Offensive Technologies, WOOT \u201907","author":"Drewry W.","year":"2007"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070546"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090147.2094081"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"D. Harkins and D. Carrel. The Internet Key Exchange (IKE). RFC 2409 (Proposed Standard) Nov. 1998. Obsoleted by RFC 4306 updated by RFC 4109.   D. Harkins and D. Carrel. The Internet Key Exchange (IKE). RFC 2409 (Proposed Standard) Nov. 1998. Obsoleted by RFC 4306 updated by RFC 4109.","DOI":"10.17487\/rfc2409"},{"key":"e_1_3_2_1_14_1","unstructured":"IEEE Standards Board. IEEE standard glossary of software engineering terminology September 1990. Std 610.12-1990.  IEEE Standards Board. IEEE standard glossary of software engineering terminology September 1990. Std 610.12-1990."},{"volume-title":"Model-based User Conference, Tallinn, Estonia.","author":"Kaksonen R.","key":"e_1_3_2_1_15_1"},{"volume-title":"Proceedings of the IFIP TC6\/TC11 International Conference on Communications and Multimedia Security Issues of the New Century","year":"2001","author":"Kaksonen R.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"D. Maughan M. Schertler M. Schneider and J. Turner. Internet Security Association and Key Management Protocol (ISAKMP). RFC 2408 (Proposed Standard) Nov. 1998. Obsoleted by RFC 4306.   D. Maughan M. Schertler M. Schneider and J. Turner. Internet Security Association and Key Management Protocol (ISAKMP). RFC 2408 (Proposed Standard) Nov. 1998. Obsoleted by RFC 4306.","DOI":"10.17487\/rfc2408"},{"key":"e_1_3_2_1_18_1","unstructured":"Memcheck: A Memory Error Detector. http:\/\/valgrind.org.  Memcheck: A Memory Error Detector. http:\/\/valgrind.org."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"volume-title":"Wiley","year":"2011","author":"Myers G.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250746"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2005.55"},{"key":"e_1_3_2_1_23_1","unstructured":"OpenSwan. https:\/\/www.openswan.org.  OpenSwan. https:\/\/www.openswan.org."},{"key":"e_1_3_2_1_24_1","unstructured":"L. Opstad J. Shirk and D. Weinstein. Fuzzed Enough? When It\u2019s OK to Put the Shears Down 2008. Presented at BlueHat v8 Redmond WA USA.  L. Opstad J. Shirk and D. Weinstein. Fuzzed Enough? When It\u2019s OK to Put the Shears Down 2008. Presented at BlueHat v8 Redmond WA USA."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"D. Piper. The Internet IP Security Domain of Interpretation for ISAKMP. RFC 2407 (Proposed Standard) Nov. 1998. Obsoleted by RFC 4306.   D. Piper. The Internet IP Security Domain of Interpretation for ISAKMP. RFC 2407 (Proposed Standard) Nov. 1998. Obsoleted by RFC 4306.","DOI":"10.17487\/rfc2407"},{"key":"e_1_3_2_1_26_1","unstructured":"RTCA\/DO-178B. Software Considerations in Airborne Systems and Equipment Certification December 1992.  RTCA\/DO-178B. Software Considerations in Airborne Systems and Equipment Certification December 1992."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69149-5_18"},{"key":"e_1_3_2_1_28_1","unstructured":"Scapy. http:\/\/www.secdev.org\/projects\/scapy\/.  Scapy. http:\/\/www.secdev.org\/projects\/scapy\/."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm043"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_28"},{"key":"e_1_3_2_1_31_1","unstructured":"M. Sutton A. Greene and P. Amini. Fuzzing: Brute Force Vulnerability Discovery. Addison-Wesley 1 edition July 2007.   M. Sutton A. Greene and P. Amini. Fuzzing: Brute Force Vulnerability Discovery. Addison-Wesley 1 edition July 2007."},{"key":"e_1_3_2_1_32_1","unstructured":"A. Takanen J. DeMott and C. Miller. Fuzzing for Software Security Testing and Quality Assurance. Artech House Inc. Norwood MA USA 1 edition 2008.   A. Takanen J. DeMott and C. Miller. Fuzzing for Software Security Testing and Quality Assurance. Artech House Inc. Norwood MA USA 1 edition 2008."},{"key":"e_1_3_2_1_33_1","unstructured":"The MITRE Corporation. CWE-List (2.1) Sept. 2011.  The MITRE Corporation. CWE-List (2.1) Sept. 2011."},{"first-page":"7","volume-title":"SecFuzz: Fuzz-testing Security Protocols. In 7th International Workshop on Automation of Software Test (AST \u201912)","author":"Tsankov P.","key":"e_1_3_2_1_34_1"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"E. J. Weyuker. Axiomatizing Software Test Data Adequacy. IEEE Trans. Softw. Eng. 12(12):1128\u20131138 Dec. 1986.   E. J. Weyuker. Axiomatizing Software Test Data Adequacy. IEEE Trans. Softw. Eng. 12(12):1128\u20131138 Dec. 1986.","DOI":"10.1109\/TSE.1986.6313008"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"}],"event":{"name":"ISSTA '13: Iitsnternational Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Lugano Switzerland","acronym":"ISSTA '13"},"container-title":["Proceedings of the 2013 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2483760.2483787","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2483760.2483787","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:32Z","timestamp":1750235972000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2483760.2483787"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,15]]},"references-count":36,"alternative-id":["10.1145\/2483760.2483787","10.1145\/2483760"],"URL":"https:\/\/doi.org\/10.1145\/2483760.2483787","relation":{},"subject":[],"published":{"date-parts":[[2013,7,15]]},"assertion":[{"value":"2013-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}