{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T08:47:56Z","timestamp":1782377276021,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T00:00:00Z","timestamp":1776038400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"National Science Foundation","award":["OSE-2449200"],"award-info":[{"award-number":["OSE-2449200"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["OIA-1946391"],"award-info":[{"award-number":["OIA-1946391"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["OIA-2445877"],"award-info":[{"award-number":["OIA-2445877"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,13]]},"DOI":"10.1145\/3793654.3793741","type":"proceedings-article","created":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T08:05:18Z","timestamp":1782374718000},"page":"158-162","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["ACT: Automated CPS Testing for Open-Source Robotic Platforms"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-9149-4144","authenticated-orcid":false,"given":"Aditya A.","family":"Krishnan","sequence":"first","affiliation":[{"name":"Arizona State University, Tempe, Arizona, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4642-4231","authenticated-orcid":false,"given":"Donghoon","family":"Kim","sequence":"additional","affiliation":[{"name":"Arkansas State University, Jonesboro, Arkansas, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1450-5248","authenticated-orcid":false,"given":"Hokeun","family":"Kim","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, Arizona, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,25]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25945-1_12"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Norhafizan Ahmad Raja Ariffin\u00a0Raja Ghazilla Nazirah\u00a0M Khairi and Vijayabaskar Kasi. 2013. Reviews on various inertial measurement unit (IMU) sensor applications. International Journal of Signal Processing Systems 1 2 (2013) 256\u2013262.","DOI":"10.12720\/ijsps.1.2.256-262"},{"key":"e_1_3_3_2_4_2","unstructured":"Autoware Foundation. 2020. Autoware: Open Software for Autonomous Driving. https:\/\/github.com\/autowarefoundation\/autoware. https:\/\/www.autoware.org Version 1.0.0."},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"crossref","unstructured":"Christian Birchler Sajad Khatiri Pooja Rani Timo Kehrer and Sebastiano Panichella. 2025. A roadmap for simulation-based testing of autonomous cyber-physical systems: Challenges and future direction. ACM Transactions on Software Engineering and Methodology 34 5 (2025) 1\u20139.","DOI":"10.1145\/3711906"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889212"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","unstructured":"Enric Cervera Philippe Martinet Raul Marin Amine\u00a0A. Moughlbay Angel\u00a0P. del Pobil Jaime Alemany Roger Esteller and Gustavo Casa\u00f1. 2016. The Robot Programming Network. Journal of Intelligent & Robotic Systems 81 1 (2016) 77\u201395. 10.1007\/s10846-015-0201-7","DOI":"10.1007\/s10846-015-0201-7"},{"key":"e_1_3_3_2_8_2","unstructured":"Pololu Corporation. Accessed on November 9 2025. Pololu 3pi+ 2040 Robot. https:\/\/www.pololu.com\/category\/300\/3pi-plus-2040-robot."},{"key":"e_1_3_3_2_9_2","unstructured":"Pololu Corporation. Accessed on November 9 2025. Pololu 3pi+ 2040 Robot \u2013 30:1 Micro Metal Gearmotor MP 6V with Extended Motor Shaft. https:\/\/www.pololu.com\/product\/2378."},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME55016.2022.00029"},{"key":"e_1_3_3_2_11_2","unstructured":"GitHub Docs. Accessed on November 9 2025. Self-hosted runners. https:\/\/docs.github.com\/en\/actions\/concepts\/runners\/self-hosted-runners."},{"key":"e_1_3_3_2_12_2","unstructured":"Abhi Gundrala Hokeun Kim Aditya Krishnan Edward\u00a0A. Lee and Marten Lohstroh. Accessed on November 9 2025. Embedded Systems Labs. https:\/\/www.lf-lang.org\/embedded-lab\/index.html."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.5555\/1703775.1703856"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2014.42"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC58415.2024.10920216"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-49425-3_17"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416623"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","unstructured":"Steven Macenski Tully Foote Brian Gerkey Chris Lalancette and William Woodall. 2022. Robot Operating System 2: Design architecture and uses in the wild. Science Robotics 7 66 (2022) eabm6074. 10.1126\/scirobotics.abm6074","DOI":"10.1126\/scirobotics.abm6074"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"crossref","unstructured":"Claudio Mandrioli Max Nyberg\u00a0Carlsson and Martina Maggio. 2024. Testing Abstractions for Cyber-Physical Control Systems-RCR Report. ACM Transactions on Software Engineering and Methodology (2024).","DOI":"10.1145\/3617170"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942668"},{"key":"e_1_3_3_2_21_2","unstructured":"Ravina Mithe Supriya Indalkar and Nilam Divekar. 2013. Optical character recognition. International journal of recent technology and engineering (IJRTE) 2 1 (2013) 72\u201375."},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"Armin Mokhtarian Jianye Xu Patrick Scheffe Maximilian Kloock Simon Sch\u00e4fer Heeseung Bang Viet-Anh Le Sangeet Ulhas Johannes Betz Sean Wilson et\u00a0al. 2024. A survey on small-scale testbeds for connected and automated vehicles and robot swarms: A guide for creating a new testbed. IEEE Robotics & Automation Magazine (2024).","DOI":"10.1109\/MRA.2024.3505772"},{"key":"e_1_3_3_2_23_2","unstructured":"National Institute of Standards and Technology. 2016. Cyber-Physical Systems\/Internet of Things Testbed. Available at: https:\/\/www.nist.gov\/programs-projects\/cyber-physical-systemsinternet-things-testbed. Last reviewed on March 9 2016. Accessed on November 8 2025."},{"key":"e_1_3_3_2_24_2","unstructured":"Lingua\u00a0Franca Organization. Accessed on November 9 2025. Lingua Franca: Build predictable concurrent time-sensitive and distributed systems. https:\/\/www.lf-lang.org\/."},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"crossref","unstructured":"Owain Parry Gregory\u00a0M Kapfhammer Michael Hilton and Phil McMinn. 2021. A survey of flaky tests. ACM Transactions on Software Engineering and Methodology (TOSEM) 31 1 (2021) 1\u201374.","DOI":"10.1145\/3476105"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"crossref","unstructured":"Zahra Sadri-Moshkenani Justin Bradley and Gregg Rothermel. 2022. Survey on test case generation selection and prioritization for cyber-physical systems. Software Testing Verification and Reliability 32 1 (2022) e1794.","DOI":"10.1002\/stvr.1794"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3072955"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/CONFLUENCE.2019.8776985"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"crossref","unstructured":"Janos Sztipanovits Xenofon Koutsoukos Gabor Karsai Nicholas Kottenstette Panos Antsaklis Vijay Gupta Bill Goodwine John Baras and Shige Wang. 2011. Toward a science of cyber\u2013physical system integration. Proc. IEEE 100 1 (2011) 29\u201344.","DOI":"10.1109\/JPROC.2011.2161529"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/3524842.3527948"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"crossref","unstructured":"Fiorella Zampetti Damian Tamburri Sebastiano Panichella Annibale Panichella Gerardo Canfora and Massimiliano Di\u00a0Penta. 2023. Continuous integration and delivery practices for cyber-physical systems: An interview-based study. ACM Transactions on Software Engineering and Methodology 32 3 (2023) 1\u201344.","DOI":"10.1145\/3571854"}],"event":{"name":"AST '26: 7th ACM\/IEEE International Conference on Automation of Software Test","location":"Rio de Janeiro Brazil","acronym":"AST '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE TCSE"]},"container-title":["Proceedings of the 7th ACM\/IEEE International Conference on Automation of Software Test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3793654.3793741","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T08:07:26Z","timestamp":1782374846000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3793654.3793741"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,13]]},"references-count":30,"alternative-id":["10.1145\/3793654.3793741","10.1145\/3793654"],"URL":"https:\/\/doi.org\/10.1145\/3793654.3793741","relation":{},"subject":[],"published":{"date-parts":[[2026,4,13]]},"assertion":[{"value":"2026-06-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}