{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:43Z","timestamp":1750306723125,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"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":[[2014,10,12]]},"DOI":"10.1145\/2656075.2656080","type":"proceedings-article","created":{"date-parts":[[2014,10,7]],"date-time":"2014-10-07T12:57:59Z","timestamp":1412686679000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Automated firmware testing using firmware-hardware interaction patterns"],"prefix":"10.1145","author":[{"given":"Sunha","family":"Ahn","sequence":"first","affiliation":[{"name":"Princeton University"}]},{"given":"Sharad","family":"Malik","sequence":"additional","affiliation":[{"name":"Princeton University"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Rockbox - Free Music Player Firmware. http:\/\/www.rockbox.org.  Rockbox - Free Music Player Firmware. http:\/\/www.rockbox.org."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-3-319-03077-7_5","volume-title":"Hardware and Software: Verification and Testing","author":"Ahn S.","year":"2013"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1754405.1754406"},{"key":"e_1_3_2_1_4_1","first-page":"209","volume-title":"Proceedings of the 8th USENIX conference on Operating systems design and implementation","author":"Cadar C.","year":"2008"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/157485.164585"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"e_1_3_2_1_7_1","unstructured":"J. Corbet A. Rubini and G. Kroah-Hartman. Linux device drivers. O'reilly 2009.   J. Corbet A. Rubini and G. Kroah-Hartman. Linux device drivers . O'reilly 2009."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_16"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"volume-title":"Springer","year":"1996","author":"Godefroid P.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679400"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_7"},{"key":"e_1_3_2_1_14_1","unstructured":"A. Liguori. QEMU emulator user documentation. 2010. http:\/\/wiki.qemu.org\/download\/qemu-doc.html.  A. Liguori. QEMU emulator user documentation. 2010. http:\/\/wiki.qemu.org\/download\/qemu-doc.html."},{"key":"e_1_3_2_1_15_1","unstructured":"I. Mohor. Ethernet MAC 10\/100 mbps. 2011. http:\/\/opencores.org\/project ethmac.  I. Mohor. Ethernet MAC 10\/100 mbps. 2011. http:\/\/opencores.org\/project ethmac."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1759187.1759190"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/996893.996845"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/368434.368712"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146937"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945466"},{"key":"e_1_3_2_1_22_1","unstructured":"Texas Instruments. Digital Temperature Sensor with 2-Wire Interface. 2011.  Texas Instruments. Digital Temperature Sensor with 2-Wire Interface. 2011."},{"volume-title":"Wiley","year":"2006","author":"Vahid F.","key":"e_1_3_2_1_23_1"}],"event":{"name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"New Delhi India","acronym":"ESWEEK'14"},"container-title":["Proceedings of the 2014 International Conference on Hardware\/Software Codesign and System Synthesis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656075.2656080","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2656075.2656080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:34Z","timestamp":1750231174000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656075.2656080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":23,"alternative-id":["10.1145\/2656075.2656080","10.1145\/2656075"],"URL":"https:\/\/doi.org\/10.1145\/2656075.2656080","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}