{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:16:04Z","timestamp":1755998164563,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,7]],"date-time":"2012-10-07T00:00:00Z","timestamp":1349568000000},"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":[[2012,10,7]]},"DOI":"10.1145\/2380356.2380368","type":"proceedings-article","created":{"date-parts":[[2012,10,9]],"date-time":"2012-10-09T12:20:46Z","timestamp":1349785246000},"page":"33-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["XEMU"],"prefix":"10.1145","author":[{"given":"Markus","family":"Becker","sequence":"first","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]},{"given":"Daniel","family":"Baldin","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]},{"given":"Christoph","family":"Kuznik","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]},{"given":"Mabel Mary","family":"Joy","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]},{"given":"Wolfgang","family":"Mueller","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]}],"member":"320","published-online":{"date-parts":[[2012,10,7]]},"reference":[{"unstructured":"ARM Architecture Ref. Manuals. http:\/\/infocenter.arm.com.  ARM Architecture Ref. Manuals. http:\/\/infocenter.arm.com.","key":"e_1_3_2_1_1_1"},{"unstructured":"QEMU - Open Source Processor Emulator. http:\/\/www.qemu.org.  QEMU - Open Source Processor Emulator. http:\/\/www.qemu.org.","key":"e_1_3_2_1_2_1"},{"unstructured":"TargetLink dSPACE GmbH. http:\/\/www.dspace.com.  TargetLink dSPACE GmbH. http:\/\/www.dspace.com.","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1109\/TSE.2006.113"},{"key":"e_1_3_2_1_5_1","volume-title":"ELF for the ARM Architecture","author":"Ltd ARM","year":"2009","unstructured":"ARM Ltd . ELF for the ARM Architecture , 2009 . ARM Ltd. ELF for the ARM Architecture, 2009."},{"key":"e_1_3_2_1_6_1","first-page":"41","volume-title":"Fast and Portable Dynamic Translator. In ATEC '05: Proceedings of the Annual Conference on USENIX Annual Technical Conference","author":"Bellard F.","year":"2005","unstructured":"F. Bellard . QEMU , a Fast and Portable Dynamic Translator. In ATEC '05: Proceedings of the Annual Conference on USENIX Annual Technical Conference , pages 41 -- 41 , Berkeley, CA, USA , 2005 . USENIX Association. F. Bellard. QEMU, a Fast and Portable Dynamic Translator. In ATEC '05: Proceedings of the Annual Conference on USENIX Annual Technical Conference, pages 41--41, Berkeley, CA, USA, 2005. USENIX Association."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-0-387-39388-9_26","volume-title":"Software Engineering Techniques: Design for Quality","volume":"227","author":"Bogacki B.","year":"2007","unstructured":"B. Bogacki and B. Walter . Aspect-Oriented Response Injection: An Alternative to Classical Mutation Testing. In K. Sacha, editor , Software Engineering Techniques: Design for Quality , volume 227 , pages 273 -- 282 . 2007 . B. Bogacki and B. Walter. Aspect-Oriented Response Injection: An Alternative to Classical Mutation Testing. In K. Sacha, editor, Software Engineering Techniques: Design for Quality, volume 227, pages 273--282. 2007."},{"key":"e_1_3_2_1_8_1","first-page":"77","article-title":"Interprocedural Ddata Flow Decompilation","volume":"4","author":"Cifuentes C.","year":"1996","unstructured":"C. Cifuentes . Interprocedural Ddata Flow Decompilation . Journal of Programming Languages , 4 : 77 -- 99 , 1996 . C. Cifuentes. Interprocedural Ddata Flow Decompilation. Journal of Programming Languages, 4:77--99, 1996.","journal-title":"Journal of Programming Languages"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.5555\/850947.853321"},{"key":"e_1_3_2_1_10_1","first-page":"351","volume-title":"Compiler-Integrated Program Mutation. In Computer Software and Applications Conference, 1991. COMPSAC '91, Proceedings of the Fifteenth Annual International","author":"DeMillo R.","year":"1991","unstructured":"R. DeMillo , E. Krauser , and A. Mathur . Compiler-Integrated Program Mutation. In Computer Software and Applications Conference, 1991. COMPSAC '91, Proceedings of the Fifteenth Annual International , pages 351 -- 356 , sep 1991 . R. DeMillo, E. Krauser, and A. Mathur. Compiler-Integrated Program Mutation. In Computer Software and Applications Conference, 1991. COMPSAC '91, Proceedings of the Fifteenth Annual International, pages 351--356, sep 1991."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.5555\/1770351.1770421"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/LATW.2011.5985925"},{"key":"e_1_3_2_1_13_1","volume-title":"Program Instrumentation with QEMU. In DATE '11: Proceedings of the Conference on Design, Automation and Test in Europe","author":"Guillon C.","year":"2011","unstructured":"C. Guillon . Program Instrumentation with QEMU. In DATE '11: Proceedings of the Conference on Design, Automation and Test in Europe , Grenoble, France , 2011 . C. Guillon. Program Instrumentation with QEMU. In DATE '11: Proceedings of the Conference on Design, Automation and Test in Europe, Grenoble, France, 2011."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1109\/TSE.2010.62"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/1837274.1837333"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/1368088.1368136"},{"key":"e_1_3_2_1_17_1","volume-title":"et al. Design of Mutant Operators for the C Programming Language. Technical report","author":"Richard H. A.","year":"1989","unstructured":"H. A. Richard , R. A. Demillo , and B. H. et al. Design of Mutant Operators for the C Programming Language. Technical report , 1989 . H. A. Richard, R. A. Demillo, and B. H. et al. Design of Mutant Operators for the C Programming Language. Technical report, 1989."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1109\/32.92910"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1002\/stvr.v15:2"},{"key":"e_1_3_2_1_20_1","volume-title":"ARM System Developer's Guide: Designing and Optimizing System Software","author":"Sloss A.","year":"2004","unstructured":"A. Sloss , D. Symes , and C. Wright . ARM System Developer's Guide: Designing and Optimizing System Software . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 2004 . A. Sloss, D. Symes, and C. Wright. ARM System Developer's Guide: Designing and Optimizing System Software. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2004."},{"key":"e_1_3_2_1_21_1","volume-title":"CERTITUDE Functional Qualification System","author":"SpringSoft Inc.","year":"2011","unstructured":"SpringSoft Inc. CERTITUDE Functional Qualification System . 2011 . SpringSoft Inc. CERTITUDE Functional Qualification System. 2011."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1109\/HLDVT.2011.6114167"},{"key":"e_1_3_2_1_23_1","volume-title":"International Journal on Computing (JoC)","author":"Baldin D.","year":"2011","unstructured":"D. Baldin , S. Groesbrink , and S. Oberthuer . Enabling Constraint-Based Binary Reconfiguration by Binary Analysis . In International Journal on Computing (JoC) , 2011 . D. Baldin, S. Groesbrink, and S. Oberthuer. Enabling Constraint-Based Binary Reconfiguration by Binary Analysis. In International Journal on Computing (JoC), 2011."}],"event":{"sponsor":["CEDA","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"acronym":"ESWEEK'12","name":"ESWEEK'12: Eighth Embedded System Week","location":"Tampere Finland"},"container-title":["Proceedings of the tenth ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2380356.2380368","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2380356.2380368","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:14Z","timestamp":1750238474000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2380356.2380368"}},"subtitle":["an efficient QEMU based binary mutation testing framework for embedded software"],"short-title":[],"issued":{"date-parts":[[2012,10,7]]},"references-count":23,"alternative-id":["10.1145\/2380356.2380368","10.1145\/2380356"],"URL":"https:\/\/doi.org\/10.1145\/2380356.2380368","relation":{},"subject":[],"published":{"date-parts":[[2012,10,7]]},"assertion":[{"value":"2012-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}