{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:47:26Z","timestamp":1759333646600},"reference-count":26,"publisher":"International Academy Publishing (IAP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.8.3.645-651","type":"journal-article","created":{"date-parts":[[2013,3,6]],"date-time":"2013-03-06T18:03:26Z","timestamp":1362593006000},"source":"Crossref","is-referenced-by-count":5,"title":["Efficient Model-based Fuzz Testing Using Higher-order Attribute Grammars"],"prefix":"10.17706","volume":"8","author":[{"given":"Fan","family":"Pan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Hou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zheng","family":"Hong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lifa","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haiguang","family":"Lai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2013,3,1]]},"reference":[{"key":"ref1","volume-title":"Fuzzing Brute Force Vulnerability Discovery","author":"Sutton","year":"2007","unstructured":"[1] Michael Sutton, Adam Greene, Pedram Amini: Fuzzing: Brute Force Vulnerability Discovery. Addison-Wesley, USA, 2007."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.5.881-888"},{"issue":"no.4","key":"ref3","first-page":"773","article-title":"Test Model for Security Vulnerability in Web Controls based on Fuzzing","volume":"7","author":"Yao","year":"2012","unstructured":"[9] Guoxiang Yao, Quanlong Guan, Kaibin Ni, \"Test Model for Security Vulnerability in Web Controls based on Fuzzing\", Journal of Computers, vol.7, no.4, pp.773\u2013778, Apr, 2012.","journal-title":"Journal of Computers"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88140-7_3"},{"key":"ref5","first-page":"149","article-title":"A Model-Based Fuzz Framework to the Security Testing of TCG Software Stack Implementations","volume-title":"IEEE MINES 09","author":"Yang","year":"2009","unstructured":"[11] Yang Yang, Huanguo Zhang, Mi Pan, Jian Yang, Fan He, Zhide Li, \"A Model-Based Fuzz Framework to the Security Testing of TCG Software Stack Implementations\", In IEEE MINES 09, IEEE Press, New York, 2009, pp.149\u2013152."},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1455518.1455522"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2010.03.002"},{"issue":"no.6","key":"ref9","first-page":"206","article-title":"\"Grammar-based Whitebox Fuzzing\", In PLDI '08, ACM SIGPLAN Notices","volume":"43","author":"Godefroid","year":"2008","unstructured":"[16] Patrice Godefroid, Adam Kiezun, Michael Y. Levin, \"Grammar-based Whitebox Fuzzing\", In PLDI '08, ACM SIGPLAN Notices, ACM, New York, Vol 43, no.6, 2008, pp.206\u2013215.","journal-title":"ACM New York"},{"key":"ref10","first-page":"477","article-title":"Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting","volume-title":"23rd Annual Computer Security Softwares Conference(ACSAC)","author":"Sparks","year":"2007","unstructured":"[17] Sherri Sparks, Ryan Cunningham, Shawn Embleton, Cliff C. Zou, \"Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting\", In 23rd Annual Computer Security Softwares Conference(ACSAC), IEEE Press, New York, 2007, pp.477\u2013486."},{"key":"ref11","first-page":"1","article-title":"Flayer: Exposing Application Internals","volume-title":"Proceedings of the first USENIX workshop on Offensive Technologies","author":"Drewry","year":"2007","unstructured":"[18] Will Drewry, Tavis Ormandy, \"Flayer: Exposing Application Internals\", In Proceedings of the first USENIX workshop on Offensive Technologies, USENIX Association, Boston, 2007, pp.1\u20139"},{"key":"ref12","first-page":"427","article-title":"Finding Software Vulnerabilities by Smart Fuzzing","volume-title":"Fourth International Conference on Verification and Validation","author":"Bekrar","year":"2011","unstructured":"[19] Bekrar S., Bekrar C., Groz R., Mounier L, \"Finding Software Vulnerabilities by Smart Fuzzing\", In Fourth International Conference on Verification and Validation, IEEE Press, New York, 2011, pp 427\u2013430."},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/210376.197409"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54572-7_10"},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"[3] Oulu University Secure Programming Group, PROTOS, http:\/\/www.ee.oulu.fi\/research\/ouspg\/protos\/index.html, visited on March 2012.","DOI":"10.1007\/3-540-54572-7_10"},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"[4] Dave Aitel, The advantages of block-based protocol analysis for security testing, http:\/\/www.netsecurity.org\/dl\/articles\/advantages_of_block_based_analysis.pdf, visited on March 2012.","DOI":"10.1007\/3-540-54572-7_10"},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"[5] Pedram Amini, Sulley, http:\/\/code.google.com\/p\/sulley, visited on March 2012.","DOI":"10.1007\/3-540-54572-7_10"},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"[6] Michael Eddington, Peach, http:\/\/www.peachFuzz.com, visited on March 2012.","DOI":"10.1007\/3-540-54572-7_10"},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"[7] G. Banks, M. Cova, V. Felmetsger, K. Almeroth, R. Kemmerer, G. Vigna, \"SNOOZE: toward a Stateful NetwOrk prOtocol fuzZEr\", In Information Security Conference (ISC). LNCS, vol. 4176, Springer, Heidelberg, 2006, pp.343\u2013358.","DOI":"10.1007\/3-540-54572-7_10"},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"[8] Humberto J. Abdelnur, Radu State, Olivier Festor, \"KiF: a stateful SIP fuzzer\", In Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications, ACM, New York, 2007, pp.47\u201356","DOI":"10.1007\/3-540-54572-7_10"},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"[14] Cristian Cadar, Daniel Dunbar, Dawson Engler, \"Klee: Unassisted andAutomatic Generation of High-coverage Tests for Complex Systems Programs\", In Proceedings of the 8th USENIX conference on Operating systems design and implementation, ACM, New York, 2008, pp 209\u2013224.","DOI":"10.1007\/3-540-54572-7_10"},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"[22] Petar Tsankov, Mohammad Torabi Dashti, David Basin, In-depth fuzz testing of IKE implementations, ftp:\/\/ftp.inf.ethz.ch\/pub\/publications\/techreports\/7xx\/747.pdf, visited on March 2012.","DOI":"10.1007\/3-540-54572-7_10"},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"[23] Greg Roelofs, libpng, http:\/\/www.libpng.org\/pub\/png\/, visited on March 2012.","DOI":"10.1007\/3-540-54572-7_10"},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"[24] Michael Sutton, FileFuzz, http:\/\/www.fileguru.com\/FileFuzz\/info, visited on March 2012.","DOI":"10.1007\/3-540-54572-7_10"},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"[25] Willem Van Schaik, visualPNG, ttp:\/\/www.schaik.compng\/visualpng.html, visited on March 2012.","DOI":"10.1007\/3-540-54572-7_10"},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"[26] Pedram Amini, Paimei, htp:\/\/code.google.com\/p\/paimei, visited on March 2012.","DOI":"10.1007\/3-540-54572-7_10"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T04:54:17Z","timestamp":1498020857000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/9316"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,1]]},"references-count":26,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2013,3,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.8.3.645-651","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2013,3,1]]}}}