{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:06:28Z","timestamp":1755907588406,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T00:00:00Z","timestamp":1665360000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,10]]},"DOI":"10.1145\/3551349.3556915","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2765-6961","authenticated-orcid":false,"given":"Tomasz","family":"Kuchta","sequence":"first","affiliation":[{"name":"Samsung Electronics, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9348-5948","authenticated-orcid":false,"given":"Bartosz","family":"Zator","sequence":"additional","affiliation":[{"name":"Samsung Electronics, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Retrieved","author":"Bellard Fabrice","year":"2022","unstructured":"Fabrice Bellard. 2022. QEMU website. Retrieved August 23, 2022 from https:\/\/www.qemu.org\/"},{"key":"e_1_3_2_1_2_1","unstructured":"Cristian Cadar Daniel Dunbar Dawson\u00a0R Engler 2008. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs.. In OSDI Vol.\u00a08. 209\u2013224."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961296.1950396"},{"volume-title":"29th {USENIX} Security Symposium ({USENIX} Security 20). 1201\u20131218.","author":"Clements A","key":"e_1_3_2_1_5_1","unstructured":"Abraham\u00a0A Clements, Eric Gustafson, Tobias Scharnowski, Paul Grosen, David Fritz, Christopher Kruegel, Giovanni Vigna, Saurabh Bagchi, and Mathias Payer. 2020. HALucinator: Firmware re-hosting through abstraction layer emulation. In 29th {USENIX} Security Symposium ({USENIX} Security 20). 1201\u20131218."},{"key":"e_1_3_2_1_6_1","volume-title":"Retrieved","author":"Danial Albert","year":"2022","unstructured":"Albert Danial. 2022. cloc. Retrieved August 23, 2022 from https:\/\/github.com\/AlDanial\/cloc"},{"key":"e_1_3_2_1_7_1","volume-title":"Retrieved","author":"Denk Wolfgang","year":"2022","unstructured":"Wolfgang Denk. 2022. Das U-Boot\u2014the Universal Boot Loader. Retrieved August 23, 2022 from https:\/\/www.denx.de\/wiki\/U-Boot\/"},{"key":"e_1_3_2_1_8_1","volume-title":"Retrieved","author":"Electronics Samsung","year":"2022","unstructured":"Samsung Electronics. 2022. AoT GitHub project. Retrieved August 23, 2022 from https:\/\/github.com\/Samsung\/auto_off_target"},{"key":"e_1_3_2_1_9_1","volume-title":"Retrieved","author":"Electronics Samsung","year":"2022","unstructured":"Samsung Electronics. 2022. CAS GitHub project. Retrieved August 23, 2022 from https:\/\/github.com\/Samsung\/CAS"},{"key":"e_1_3_2_1_10_1","volume-title":"Retrieved","author":"Electronics Samsung","year":"2022","unstructured":"Samsung Electronics. 2022. kflat GitHub project. Retrieved August 23, 2022 from https:\/\/github.com\/samsung\/kflat"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3433210.3453093"},{"volume-title":"29th {USENIX} Security Symposium ({USENIX} Security 20). 1237\u20131254.","author":"Feng Bo","key":"e_1_3_2_1_12_1","unstructured":"Bo Feng, Alejandro Mera, and Long Lu. 2020. P2im: Scalable and hardware-independent firmware testing via automatic peripheral interface modeling. In 29th {USENIX} Security Symposium ({USENIX} Security 20). 1237\u20131254."},{"key":"e_1_3_2_1_13_1","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT 20)","author":"Fioraldi Andrea","year":"2020","unstructured":"Andrea Fioraldi, Dominik Maier, Heiko Ei\u00dffeldt, and Marc Heuse. 2020. AFL++: Combining Incremental Steps of Fuzzing Research. In 14th USENIX Workshop on Offensive Technologies (WOOT 20). USENIX Association."},{"key":"e_1_3_2_1_14_1","volume-title":"Retrieved","author":"Woboq","year":"2022","unstructured":"Woboq GmbH. 2022. Code Browser by Woboq for C and C++. Retrieved August 23, 2022 from https:\/\/woboq.com\/codebrowser.html"},{"volume-title":"Retrieved","year":"2022","key":"e_1_3_2_1_15_1","unstructured":"Google. 2022. Android Oriole branch used. Retrieved August 23, 2022 from https:\/\/android.googlesource.com\/kernel\/gs\/+\/refs\/heads\/android-gs-raviole-5.10-android12-qpr1-d"},{"volume-title":"Retrieved","year":"2022","key":"e_1_3_2_1_16_1","unstructured":"Google. 2022. Google Sanitizers. Retrieved August 23, 2022 from https:\/\/github.com\/google\/sanitizers"},{"key":"e_1_3_2_1_17_1","volume-title":"22nd International Symposium on Research in Attacks, Intrusions and Defenses ({RAID}","author":"Gustafson Eric","year":"2019","unstructured":"Eric Gustafson, Marius Muench, Chad Spensky, Nilo Redini, Aravind Machiry, Yanick Fratantonio, Davide Balzarotti, Aur\u00e9lien Francillon, Yung\u00a0Ryn Choe, Christophe Kruegel, 2019. Toward the analysis of embedded firmware through automated re-hosting. In 22nd International Symposium on Research in Attacks, Intrusions and Defenses ({RAID} 2019). 135\u2013150."},{"volume-title":"29th {USENIX} Security Symposium ({USENIX} Security 20). 789\u2013806.","author":"Harrison Lee","key":"e_1_3_2_1_18_1","unstructured":"Lee Harrison, Hayawardh Vijayakumar, Rohan Padhye, Koushik Sen, and Michael Grace. 2020. {PARTEMU}: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation. In 29th {USENIX} Security Symposium ({USENIX} Security 20). 789\u2013806."},{"key":"e_1_3_2_1_19_1","volume-title":"Retrieved","author":"GitHub Inc.","year":"2019","unstructured":"GitHub Inc. 2019. Semmle - Code Analysis Platform for Securing Software. Retrieved August 23, 2022 from https:\/\/semmle.com\/"},{"key":"e_1_3_2_1_20_1","volume-title":"Retrieved","author":"Kitware Inc.","year":"2022","unstructured":"Kitware Inc. 2022. CMake. Retrieved August 23, 2022 from https:\/\/cmake.org\/"},{"key":"e_1_3_2_1_21_1","unstructured":"MongoDB Inc.2022. MongoDB. Retrieved August 23 2022 from https:\/\/www.mongodb.com\/"},{"key":"e_1_3_2_1_22_1","volume-title":"Retrieved","author":"Kelly Stephen","year":"2018","unstructured":"Stephen Kelly. 2018. Exploring Clang Tooling Part 2: Examining the Clang AST with clang-query. Retrieved August 23, 2022 from https:\/\/devblogs.microsoft.com\/cppblog\/exploring-clang-tooling-part-2-examining-the-clang-ast-with-clang-query\/"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2009.5277458"},{"key":"e_1_3_2_1_24_1","volume-title":"Retrieved","author":"Levin Dmitry","year":"2022","unstructured":"Dmitry Levin. 2022. strace \u2013 trace system calls and signals. Retrieved August 23, 2022 from https:\/\/strace.io\/"},{"volume-title":"Retrieved","year":"2022","key":"e_1_3_2_1_25_1","unstructured":"littlekernel. 2022. The Little Kernel Embedded Operating System. Retrieved August 23, 2022 from https:\/\/github.com\/littlekernel\/lk"},{"key":"e_1_3_2_1_26_1","volume-title":"Retrieved","author":"LLVM.","year":"2022","unstructured":"LLVM. 2022. Clang Static Analyzer. Retrieved August 23, 2022 from https:\/\/clang-analyzer.llvm.org\/"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187836.2187947"},{"key":"e_1_3_2_1_28_1","volume-title":"Retrieved","author":"Martin Evan","year":"2022","unstructured":"Evan Martin. 2022. Ninja. Retrieved August 23, 2022 from https:\/\/ninja-build.org\/"},{"key":"e_1_3_2_1_29_1","volume-title":"Retrieved","author":"McCutchan John","year":"2021","unstructured":"John McCutchan. 2021. inotify \u2013 monitoring filesystem events. Retrieved August 23, 2022 from https:\/\/man7.org\/linux\/man-pages\/man7\/inotify.7.html"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_31_1","volume-title":"Retrieved","author":"Nagy L\u00e1szl\u00f3","year":"2022","unstructured":"L\u00e1szl\u00f3 Nagy. 2022. Build EAR (BEAR). Retrieved August 23, 2022 from https:\/\/github.com\/rizsotto\/Bear"},{"volume-title":"Retrieved","year":"2022","key":"e_1_3_2_1_32_1","unstructured":"Osmocom. 2022. Open Source Mobile Communications. Retrieved August 23, 2022 from http:\/\/osmocom.org\/"},{"volume-title":"Retrieved","year":"2022","key":"e_1_3_2_1_33_1","unstructured":"Osmocom. 2022. Osmocom Iuh and HNB-GW implementation. Retrieved August 23, 2022 from https:\/\/github.com\/osmocom\/osmo-iuh"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"e_1_3_2_1_35_1","volume-title":"Addresssanitizer: A fast address sanity checker. In 2012 {USENIX} Annual Technical Conference ({USENIX}{ATC} 12). 309\u2013318.","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitriy Vyukov. 2012. Addresssanitizer: A fast address sanity checker. In 2012 {USENIX} Annual Technical Conference ({USENIX}{ATC} 12). 309\u2013318."},{"key":"e_1_3_2_1_36_1","volume-title":"Driller: Augmenting fuzzing through selective symbolic execution.. In NDSS, Vol.\u00a016. 1\u201316.","author":"Stephens Nick","year":"2016","unstructured":"Nick Stephens, John Grosen, Christopher Salls, Andrew Dutcher, Ruoyu Wang, Jacopo Corbetta, Yan Shoshitaishvili, Christopher Kruegel, and Giovanni Vigna. 2016. Driller: Augmenting fuzzing through selective symbolic execution.. In NDSS, Vol.\u00a016. 1\u201316."},{"key":"e_1_3_2_1_37_1","first-page":"42","article-title":"Gnu parallel-the command-line power tool","volume":"36","author":"Tange Ole","year":"2011","unstructured":"Ole Tange 2011. Gnu parallel-the command-line power tool. The USENIX Magazine 36, 1 (2011), 42\u201347.","journal-title":"The USENIX Magazine"},{"key":"e_1_3_2_1_38_1","volume-title":"Retrieved","author":"Vyukov Dmitry","year":"2022","unstructured":"Dmitry Vyukov. 2022. Syzkaller. Retrieved August 23, 2022 from https:\/\/github.com\/google\/syzkaller"},{"key":"e_1_3_2_1_39_1","volume-title":"Retrieved","author":"Yamaguchi Fabian","year":"2022","unstructured":"Fabian Yamaguchi. 2022. Joern \u2013 Open-Source Code Querying Engine for C\/C++. Retrieved August 23, 2022 from https:\/\/joern.io\/"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.44"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_42_1","volume-title":"Retrieved","author":"Zalewski Michal","year":"2022","unstructured":"Michal Zalewski. 2022. AFL website. Retrieved August 23, 2022 from https:\/\/lcamtuf.coredump.cx\/afl\/"},{"key":"e_1_3_2_1_43_1","unstructured":"Bartosz Zator Adrian Nie\u0107 and Seungyoon Baek. 2018. Build Awareness Service. In Unpublished."}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","acronym":"ASE '22","location":"Rochester MI USA"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556915","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3556915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T08:37:30Z","timestamp":1755851850000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556915"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":43,"alternative-id":["10.1145\/3551349.3556915","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3556915","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}