{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:46Z","timestamp":1772164006167,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,3,14]],"date-time":"2015-03-14T00:00:00Z","timestamp":1426291200000},"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":[[2015,3,14]]},"DOI":"10.1145\/2731186.2731198","type":"proceedings-article","created":{"date-parts":[[2015,3,17]],"date-time":"2015-03-17T08:27:54Z","timestamp":1426580874000},"page":"121-132","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Application of Domain-aware Binary Fuzzing to Aid Android Virtual Machine Testing"],"prefix":"10.1145","author":[{"given":"Stephen","family":"Kyle","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"given":"Hugh","family":"Leather","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"given":"Bj\u00f6rn","family":"Franke","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"given":"Dave","family":"Butcher","sequence":"additional","affiliation":[{"name":"Arm Ltd., Cambridge, United Kingdom"}]},{"given":"Stuart","family":"Monteith","sequence":"additional","affiliation":[{"name":"ARM Ltd., Cambridge, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2015,3,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"american-fuzzy-lop on Google Code. https:\/\/code.google.com\/p\/american-fuzzy-lop\/. Accessed: 2014-11-12.  american-fuzzy-lop on Google Code. https:\/\/code.google.com\/p\/american-fuzzy-lop\/. Accessed: 2014-11-12."},{"key":"e_1_3_2_1_2_1","unstructured":"Alien Dalvik. http:\/\/www.myriadgroup.com\/products\/device-solutions\/mobile-software\/alien-dalvik\/. Accessed: 2014-11-25.  Alien Dalvik. http:\/\/www.myriadgroup.com\/products\/device-solutions\/mobile-software\/alien-dalvik\/. Accessed: 2014-11-25."},{"key":"e_1_3_2_1_3_1","unstructured":"BlueStacks AppPlayer. http:\/\/www.bluestacks.com\/app-player.html. Accessed: 2014-11-25.  BlueStacks AppPlayer. http:\/\/www.bluestacks.com\/app-player.html. Accessed: 2014-11-25."},{"key":"e_1_3_2_1_4_1","unstructured":"HITB2014AMS - Day 1 - State of the ART: Exploring the new Android KitKat Runtime. https:\/\/www.corelan.be\/index.php\/2014\/05\/29\/hitb2014ams-day-1-state-of-the-art-exploring-the-new-android-kitkat-runtime\/. Accessed: 2014-11-20.  HITB2014AMS - Day 1 - State of the ART: Exploring the new Android KitKat Runtime. https:\/\/www.corelan.be\/index.php\/2014\/05\/29\/hitb2014ams-day-1-state-of-the-art-exploring-the-new-android-kitkat-runtime\/. Accessed: 2014-11-20."},{"key":"e_1_3_2_1_5_1","unstructured":"Peachfuzzer. http:\/\/peachfuzzer.com\/. Accessed: 2014-11-20.  Peachfuzzer. http:\/\/peachfuzzer.com\/. Accessed: 2014-11-20."},{"key":"e_1_3_2_1_6_1","unstructured":"smali - an assembler\/disassembler for android's dex format on Google Code. https:\/\/code.google.com\/p\/smali\/. Accessed: 2014-11-19.  smali - an assembler\/disassembler for android's dex format on Google Code. https:\/\/code.google.com\/p\/smali\/. Accessed: 2014-11-19."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642963"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2362793.2362831"},{"key":"e_1_3_2_1_10_1","first-page":"121","volume-title":"NASA Formal Methods","author":"Jayaraman K.","year":"2009","unstructured":"K. Jayaraman , D. Harvison , V. Ganesh , and A. Kiezun . jfuzz: A concolic whitebox fuzzer for java . In NASA Formal Methods , pages 121 -- 125 , 2009 . K. Jayaraman, D. Harvison, V. Ganesh, and A. Kiezun. jfuzz: A concolic whitebox fuzzer for java. In NASA Formal Methods, pages 121--125, 2009."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SESS.2007.1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01932308"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2484313.2484372"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"}],"event":{"name":"VEE '15: 11th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments","location":"Istanbul Turkey","acronym":"VEE '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 11th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2731186.2731198","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2731186.2731198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:48:17Z","timestamp":1750211297000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2731186.2731198"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,14]]},"references-count":16,"alternative-id":["10.1145\/2731186.2731198","10.1145\/2731186"],"URL":"https:\/\/doi.org\/10.1145\/2731186.2731198","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2817817.2731198","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,3,14]]},"assertion":[{"value":"2015-03-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}