{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T22:38:11Z","timestamp":1730327891017,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["957254-COSMOS"],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,14]]},"DOI":"10.1145\/3639478.3640031","type":"proceedings-article","created":{"date-parts":[[2024,5,23]],"date-time":"2024-05-23T10:49:26Z","timestamp":1716461366000},"page":"134-138","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist"],"prefix":"10.1145","author":[{"ORCID":"http:\/\/orcid.org\/0000-0003-0354-9747","authenticated-orcid":false,"given":"Sajad","family":"Khatiri","sequence":"first","affiliation":[{"name":"Universita della Svizzera italiana, Lugano, Switzerland"},{"name":"Zurich University of Applied Sciences, Winterthur, Switzerland"}]},{"ORCID":"http:\/\/orcid.org\/0000-0003-4120-626X","authenticated-orcid":false,"given":"Sebastiano","family":"Panichella","sequence":"additional","affiliation":[{"name":"Zurich University of Applied Sciences, Winterthur, Switzerland"}]},{"ORCID":"http:\/\/orcid.org\/0000-0003-3088-0339","authenticated-orcid":false,"given":"Paolo","family":"Tonella","sequence":"additional","affiliation":[{"name":"Universita\u00a0 della Svizzera italiana, Lugano, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2024,5,23]]},"reference":[{"key":"e_1_3_2_1_1_1","author":"Zhang X.","year":"2018","unstructured":"X. Zhang, Y. Liu, Y. Zhang, X. Guan, D. Delahaye, and L. Tang, \"Safety assessment and risk estimation for unmanned aerial vehicles operating in national airspace system,\" Journal of Advanced Transportation, 2018.","journal-title":"\"Safety assessment and risk estimation for unmanned aerial vehicles operating in national airspace system,\" Journal of Advanced Transportation"},{"volume-title":"trusted, open","year":"2007","key":"e_1_3_2_1_2_1","unstructured":"Ardupilot.org, \"Ardupilot - versatile, trusted, open,\" 2007, accessed: 07.02.2022. [Online]. Available: https:\/\/ardupilot.org\/"},{"key":"e_1_3_2_1_3_1","first-page":"6235","volume-title":"IEEE","author":"Meier L.","year":"2015","unstructured":"L. Meier, D. Honegger, and M. Pollefeys, \"Px4: A node-based multithreaded open source robotics framework for deeply embedded platforms,\" in international conference on robotics and automation. IEEE, 2015, pp. 6235--6240."},{"key":"e_1_3_2_1_4_1","volume-title":"Single and multi-objective test cases prioritization for self-driving cars in virtual environments,\" ACM Transactions on Software Engineering and Methodology (TOSEM)","author":"Birchler C.","year":"2022","unstructured":"C. Birchler, S. Khatiri, P. Derakhshanfar, S. Panichella, and A. Panichella, \"Single and multi-objective test cases prioritization for self-driving cars in virtual environments,\" ACM Transactions on Software Engineering and Methodology (TOSEM), 2022."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD53832.2021.00071"},{"key":"e_1_3_2_1_6_1","first-page":"331","volume-title":"Verification and Validation (ICST). IEEE","author":"Timperley C. S.","year":"2018","unstructured":"C. S. Timperley, A. Afzal, D. S. Katz, J. M. Hernandez, and C. Le Goues, \"Crashing simulated planes is cheap: Can simulation detect robotics bugs early?\" in 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2018, pp. 331--342."},{"key":"e_1_3_2_1_7_1","volume-title":"Automated identification and qualitative characterization of safety concerns reported in uav software platforms,\" Transactions on Software Engineering and Methodology","author":"Sorbo A. D.","year":"2022","unstructured":"A. D. Sorbo, F. Zampetti, C. A. Visaggio, M. D. Penta, and S. Panichella, \"Automated identification and qualitative characterization of safety concerns reported in uav software platforms,\" Transactions on Software Engineering and Methodology, 2022."},{"key":"e_1_3_2_1_8_1","first-page":"111425","volume":"192","author":"Zampetti F.","year":"2022","unstructured":"F. Zampetti, R. Kapur, M. Di Penta, and S. Panichella, \"An empirical characterization of software bugs in open-source cyber-physical systems,\" Journal of Systems and Software, vol. 192, p. 111425, 2022. [Online]. Available: https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121222001315","journal-title":"\"An empirical characterization of software bugs in open-source cyber-physical systems,\" Journal of Systems and Software"},{"key":"e_1_3_2_1_9_1","volume-title":"Verification and Validation (ICST)","author":"Khatiri S.","year":"2023","unstructured":"S. Khatiri, S. Panichella, and P. Tonella, \"Simulation-based test case generation for unmanned aerial vehicles in the neighborhood of real flights,\" in 16th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023."},{"key":"e_1_3_2_1_10_1","first-page":"96","volume-title":"Validation and Verification. IEEE","author":"Afzal A.","year":"2020","unstructured":"A. Afzal, C. Le Goues, M. Hilton, and C. S. Timperley, \"A study on challenges of testing robotic systems,\" in International Conference on Software Testing, Validation and Verification. IEEE, 2020, pp. 96--107."},{"key":"e_1_3_2_1_11_1","volume-title":"dissertation","author":"Afzal A.","year":"2021","unstructured":"A. Afzal, \"Automated testing of robotic and cyberphysical systems,\" Ph.D. dissertation, Carnegie Mellon University, 2021."},{"key":"e_1_3_2_1_12_1","first-page":"20","volume-title":"An exploratory study of autopilot software bugs in unmanned aerial vehicles,\" in ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","author":"Wang D.","year":"2021","unstructured":"D. Wang, S. Li, G. Xiao, Y. Liu, and Y. Sui, \"An exploratory study of autopilot software bugs in unmanned aerial vehicles,\" in ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021, pp. 20--31."},{"key":"e_1_3_2_1_13_1","first-page":"263","volume-title":"Verification and Validation. IEEE","author":"Afzal A.","year":"2021","unstructured":"A. Afzal, D. S. Katz, C. Le Goues, and C. S. Timperley, \"Simulation for robotics test automation: Developer perspectives,\" in Conference on Software Testing, Verification and Validation. IEEE, 2021, pp. 263--274."},{"key":"e_1_3_2_1_14_1","volume-title":"SBFT@ICSE","author":"Khatiri S.","year":"2024","unstructured":"S. Khatiri, P. Saurabh, T. Zimmermann, C. Munasinghe, C. Birchler, and S. Panichella, \"SBFT tool competition 2024 - cps-uav test case generation track,\" in IEEE\/ACM International Workshop on Search-Based and Fuzz Testing, SBFT@ICSE 2024, 2024."},{"key":"e_1_3_2_1_15_1","volume-title":"workshop on search-based and fuzz testing\",\"","author":"S.","year":"2023","unstructured":"S. organizers, \"\"the 17th intl. workshop on search-based and fuzz testing\",\" 2023. [Online]. Available: https:\/\/sbft24.github.io"},{"key":"e_1_3_2_1_16_1","volume-title":"aerialist: Uav test bench","author":"Khatiri S.","year":"2023","unstructured":"S. Khatiri, S. Panichella, and P. Tonella, \"\"aerialist: Uav test bench\",\" 2023. [Online]. Available: https:\/\/github.com\/skhatiri\/Aerialist"},{"key":"e_1_3_2_1_17_1","unstructured":"PX4 \"Px4 simulation \" https:\/\/docs.px4.io\/v1.12\/en\/simulation\/ 2021."}],"event":{"name":"ICSE-Companion '24: 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"],"location":"Lisbon Portugal","acronym":"ICSE-Companion '24"},"container-title":["Proceedings of the 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3639478.3640031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,23]],"date-time":"2024-05-23T10:57:28Z","timestamp":1716461848000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639478.3640031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":17,"alternative-id":["10.1145\/3639478.3640031","10.1145\/3639478"],"URL":"https:\/\/doi.org\/10.1145\/3639478.3640031","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}