{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T17:59:08Z","timestamp":1769277548801,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":62,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"LASIGE - FCT","award":["UIDB\\\/00408\\\/2020"],"award-info":[{"award-number":["UIDB\\\/00408\\\/2020"]}]},{"name":"Resource Aware Programming - FCT","award":["EXPL\\\/CCI-COM\\\/1306\\\/2021"],"award-info":[{"award-number":["EXPL\\\/CCI-COM\\\/1306\\\/2021"]}]},{"name":"CMU Portugal Dual PhD Scholarship - FCT","award":["FRH\\\/BD\\\/151469\\\/2021"],"award-info":[{"award-number":["FRH\\\/BD\\\/151469\\\/2021"]}]},{"name":"NSF-USDA- NIFA","award":["#2021-67021-3345"],"award-info":[{"award-number":["#2021-67021-3345"]}]},{"name":"LASIGE Research","award":["UIDP\\\/00408\\\/2020"],"award-info":[{"award-number":["UIDP\\\/00408\\\/2020"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3680350","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"1161-1173","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0154-8989","authenticated-orcid":false,"given":"Paulo","family":"Canelas","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7828-622X","authenticated-orcid":false,"given":"Bradley","family":"Schmerl","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0879-4015","authenticated-orcid":false,"given":"Alcides","family":"Fonseca","sequence":"additional","affiliation":[{"name":"LASIGE, Lisbon, Portugal \/ University of Lisbon, Lisbon, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9785-324X","authenticated-orcid":false,"given":"Christopher S.","family":"Timperley","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"International Conference on Software Testing, Validation and Verification. 96\u2013107","author":"Afzal Afsoon","year":"2020","unstructured":"Afsoon Afzal, Claire Le Goues, Michael Hilton, and Christopher Steven Timperley. 2020. A Study on Challenges of Testing Robotic Systems. In International Conference on Software Testing, Validation and Verification. 96\u2013107."},{"key":"e_1_3_2_2_2_1","volume-title":"Understanding Xacro Misunderstandings. In International Conference on Robotics and Automation. 6247\u20136252","author":"Albergo Nicholas","year":"2022","unstructured":"Nicholas Albergo, Vivek Rathi, and John-Paul Ore. 2022. Understanding Xacro Misunderstandings. In International Conference on Robotics and Automation. 6247\u20136252."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111574"},{"key":"e_1_3_2_2_4_1","volume-title":"International Conference on Mining Software Repositories. 483\u2013494","author":"Albonico Michel","year":"2021","unstructured":"Michel Albonico, Ivano Malavolta, Gustavo Pinto, Emitza Guzman, Katerina Chinnappan, and Patricia Lago. 2021. Mining energy-related practices in robotics software. In International Conference on Mining Software Repositories. 483\u2013494."},{"key":"e_1_3_2_2_5_1","volume-title":"International Workshop on Robotics Software Engineering. 23\u201328","author":"Burgue\u00f1o Loli","year":"2018","unstructured":"Loli Burgue\u00f1o, Tanja Mayerhofer, Manuel Wimmer, and Antonio Vallecillo. 2018. Using physical quantities in robot software models. In International Workshop on Robotics Software Engineering. 23\u201328."},{"key":"e_1_3_2_2_6_1","volume-title":"Understanding Physical Unit Mismatches in Robot Software. In International Conference on Robotics and Automation. 1\u20137.","author":"Canelas Paulo","year":"2024","unstructured":"Paulo Canelas, Trenton Tabor, John-Paul Ore, Alcides Fonseca, Claire Le Goues, and Christopher Steven Timperley. 2024. Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. In International Conference on Robotics and Automation. 1\u20137."},{"key":"e_1_3_2_2_7_1","volume-title":"International Conference on Intelligent Robots and Systems. 7249\u20137254","author":"Carvalho Renato","year":"2020","unstructured":"Renato Carvalho, Alcino Cunha, Nuno Macedo, and Andr\u00e9 Santos. 2020. Verification of system-wide safety properties of ROS applications. In International Conference on Intelligent Robots and Systems. 7249\u20137254."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.21105\/joss.00456"},{"key":"e_1_3_2_2_9_1","first-page":"3","article-title":"Reducing the Barrier to Entry of Complex Robotic Software: a MoveIt! Case Study","volume":"5","author":"Coleman David","year":"2014","unstructured":"David Coleman, Ioan A. \u0218ucan, Sachin Chitta, and Nikolaus Correll. 2014. Reducing the Barrier to Entry of Complex Robotic Software: a MoveIt! Case Study. Journal of Software Engineering for Robotics, 5, 1 (2014), May, 3\u201316.","journal-title":"Journal of Software Engineering for Robotics"},{"key":"e_1_3_2_2_10_1","volume-title":"Learning Camera Miscalibration Detection. In International Conference on Robotics and Automation. 4997\u20135003","author":"Cramariuc Andrei","year":"2020","unstructured":"Andrei Cramariuc, Aleksandar Petrov, Rohit Suri, Mayank Mittal, Roland Siegwart, and Cesar Cadena. 2020. Learning Camera Miscalibration Detection. In International Conference on Robotics and Automation. 4997\u20135003."},{"key":"e_1_3_2_2_11_1","volume-title":"Extrinsic Calibration and Verification of Multiple Non-overlapping Field of View Lidar Sensors. In International Conference on Robotics and Automation. 919\u2013925","author":"Das Sandipan","unstructured":"Sandipan Das, Navid Mahabadi, Addi Djikic, Cesar Nassir, Saikat Chatterjee, and Maurice F. Fallon. 2022. Extrinsic Calibration and Verification of Multiple Non-overlapping Field of View Lidar Sensors. In International Conference on Robotics and Automation. 919\u2013925."},{"key":"e_1_3_2_2_12_1","volume-title":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 11\u201317","author":"DeVries Byron","unstructured":"Byron DeVries, Erik M. Fredericks, and Betty H. C. Cheng. 2021. Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling. In International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 11\u201317."},{"key":"e_1_3_2_2_13_1","volume-title":"ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. In International Conference on Software Engineering.","author":"D\u00fcrschmid Tobias","year":"2024","unstructured":"Tobias D\u00fcrschmid, Christopher S. Timperley, David Garlan, and Claire Le Goues. 2024. ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. In International Conference on Software Engineering."},{"key":"e_1_3_2_2_14_1","volume-title":"Early Detection of Security Misconfiguration Vulnerabilities in Web Applications. In International Conference on Availability, Reliability and Security. 169\u2013174","author":"Eshete Birhanu","year":"2011","unstructured":"Birhanu Eshete, Adolfo Villafiorita, and Komminist Weldemariam. 2011. Early Detection of Security Misconfiguration Vulnerabilities in Web Applications. In International Conference on Availability, Reliability and Security. 169\u2013174."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1016\/j.jss.2019.02.024","article-title":"The Robot Operating System: Package reuse and community dynamics","author":"Estefo Pablo","year":"2019","unstructured":"Pablo Estefo, Jocelyn Simmonds, Romain Robbes, and Johan Fabry. 2019. The Robot Operating System: Package reuse and community dynamics. Journal of Systems and Software, 226\u2013242.","journal-title":"Journal of Systems and Software"},{"key":"e_1_3_2_2_16_1","volume-title":"The many faces of publish\/subscribe. Computing Surveys, 35, 2","author":"Eugster Patrick Th.","year":"2003","unstructured":"Patrick Th. Eugster, Pascal A. Felber, Rachid Guerraoui, and Anne-Marie Kermarrec. 2003. The many faces of publish\/subscribe. Computing Surveys, 35, 2 (2003), jun, 114\u2013131. issn:0360-0300"},{"key":"e_1_3_2_2_17_1","volume-title":"Qualitative Analysis","author":"Ezzy Douglas","unstructured":"Douglas Ezzy. 2013. Qualitative Analysis. Routledge."},{"key":"e_1_3_2_2_18_1","volume-title":"International Conference on Software Engineering, Software Engineering in Practice. 21\u201330","author":"Fischer-Nielsen Anders","year":"2020","unstructured":"Anders Fischer-Nielsen, Zhoulai Fu, Ting Su, and Andrzej Wasowski. 2020. The forgotten case of the dependency bugs: on the example of the robot operating system. In International Conference on Software Engineering, Software Engineering in Practice. 21\u201330."},{"key":"e_1_3_2_2_19_1","volume-title":"International Conference on Software Engineering. 385\u2013396","author":"Garcia Joshua","year":"2020","unstructured":"Joshua Garcia, Yang Feng, Junjie Shen, Sumaya Almanee, Yuan Xia, and Qi Alfred Chen. 2020. A comprehensive study of autonomous vehicle bugs. In International Conference on Software Engineering. 385\u2013396."},{"key":"e_1_3_2_2_20_1","volume-title":"European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 593\u2013604","author":"Garc\u00eda Sergio","year":"2020","unstructured":"Sergio Garc\u00eda, Daniel Str\u00fcber, Davide Brugali, Thorsten Berger, and Patrizio Pelliccione. 2020. Robotics software engineering: a perspective from the service robotics domain. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 593\u2013604."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.86"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"crossref","unstructured":"Barney G Glaser and Anselm L Strauss. 2017. Discovery of grounded theory: Strategies for qualitative research. Aldine.","DOI":"10.4324\/9780203793206"},{"key":"e_1_3_2_2_23_1","volume-title":"International Conference on Software Engineering. 462\u2013473","author":"Han Ruidong","year":"2022","unstructured":"Ruidong Han, Chao Yang, Siqi Ma, Jianfeng Ma, Cong Sun, Juanru Li, and Elisa Bertino. 2022. Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search. In International Conference on Software Engineering. 462\u2013473."},{"key":"e_1_3_2_2_24_1","volume-title":"International Conference on Robotics and Automation. 3638\u20133645","author":"Heiden Eric","unstructured":"Eric Heiden, Christopher E. Denniston, David Millard, Fabio Ramos, and Gaurav S. Sukhatme. 2022. Probabilistic Inference of Simulation Parameters via Parallel Differentiable Simulation. In International Conference on Robotics and Automation. 3638\u20133645."},{"key":"e_1_3_2_2_25_1","volume-title":"European Conference on Computer Systems. 19:1\u201319:16","author":"Huang Peng","year":"2015","unstructured":"Peng Huang, William J. Bolosky, Abhishek Singh, and Yuanyuan Zhou. 2015. ConfValley: a systematic configuration validation framework for cloud services. In European Conference on Computer Systems. 19:1\u201319:16."},{"key":"e_1_3_2_2_26_1","volume-title":"International Conference on Mining Software Repositories. 25\u201336","author":"Jha Ajay Kumar","year":"2017","unstructured":"Ajay Kumar Jha, Sunghee Lee, and Woo Jin Lee. 2017. Developer mistakes in writing Android manifests: an empirical study of configuration errors. In International Conference on Mining Software Repositories. 25\u201336."},{"key":"e_1_3_2_2_27_1","volume-title":"European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 868\u2013880","author":"Jung Chijung","year":"2021","unstructured":"Chijung Jung, Ali Ahad, Jinho Jung, Sebastian G. Elbaum, and Yonghwi Kwon. 2021. Swarmbug: debugging configuration bugs in swarm robotics. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 868\u2013880."},{"key":"e_1_3_2_2_28_1","volume-title":"European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 45\u201356","author":"Kate Sayali","unstructured":"Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, and Sebastian G. Elbaum. 2021. PHYSFRAME: type checking physical frames of reference for robotic systems. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 45\u201356."},{"key":"e_1_3_2_2_29_1","volume-title":"European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 563\u2013573","author":"Kate Sayali","year":"2018","unstructured":"Sayali Kate, John-Paul Ore, Xiangyu Zhang, Sebastian G. Elbaum, and Zhaogui Xu. 2018. Phys: probabilistic physical unit assignment and inconsistency detection. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 563\u2013573."},{"key":"e_1_3_2_2_30_1","volume-title":"Proceedings of the ACM on Programming Languages, 8, PLDI","author":"Ketkar Ameya","year":"2024","unstructured":"Ameya Ketkar, Daniel Ramos, Lazaro Clapp, Raj Barik, and Murali Krishna Ramanathan. 2024. A Lightweight Polyglot Code Transformation Language. Proceedings of the ACM on Programming Languages, 8, PLDI (2024), 1288\u20131312."},{"key":"e_1_3_2_2_31_1","volume-title":"European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 447\u2013458","author":"Kim Seulbae","year":"2022","unstructured":"Seulbae Kim and Taesoo Kim. 2022. RoboFuzz: fuzzing robotic systems over robot operating system (ROS) for finding correctness bugs. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 447\u2013458."},{"key":"e_1_3_2_2_32_1","volume-title":"International Conference on Software Maintenance and Evolution. 430\u2013440","author":"Kolak Sophia","year":"2020","unstructured":"Sophia Kolak, Afsoon Afzal, Michael Hilton, Claire Le Goues, and Christopher S Timperley. 2020. It Takes a Village To Build a Robot: An Empirical Study of the ROS Ecosystem. In International Conference on Software Maintenance and Evolution. 430\u2013440."},{"key":"e_1_3_2_2_33_1","volume-title":"International Conference on Robotics and Automation. 9368\u20139374","author":"Kortik Sitar","year":"2021","unstructured":"Sitar Kortik and Tejas Kumar Shastha. 2021. Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover. In International Conference on Robotics and Automation. 9368\u20139374."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.11.001"},{"key":"e_1_3_2_2_35_1","article-title":"Undecidability of static analysis","volume":"1","author":"Landi William","year":"1992","unstructured":"William Landi. 1992. Undecidability of static analysis. Letters Programming Language Systems, 1, 4 (1992), dec, 323\u2013337. issn:1057-4514","journal-title":"Letters Programming Language Systems"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2834419"},{"key":"e_1_3_2_2_37_1","volume-title":"Robot Operating System 2: Design, architecture, and uses in the wild. Science Robotics, 7, 66","author":"Macenski Steven","year":"2022","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."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2023.104493"},{"key":"e_1_3_2_2_39_1","volume-title":"Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication. 3\u201316","author":"Mahajan Ratul","unstructured":"Ratul Mahajan, David Wetherall, and Thomas E. Anderson. 2002. Understanding BGP misconfiguration. In Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication. 3\u201316."},{"key":"e_1_3_2_2_40_1","volume-title":"International Conference on Intelligent Autonomous Systems. 335\u2013348","author":"Moore T.","unstructured":"T. Moore and D. Stouch. 2014. A Generalized Extended Kalman Filter Implementation for the Robot Operating System. In International Conference on Intelligent Autonomous Systems. 335\u2013348."},{"key":"e_1_3_2_2_41_1","volume-title":"International Conference on Intelligent Robots and Systems. 712\u2013718","author":"Ore John-Paul","year":"2017","unstructured":"John-Paul Ore, Sebastian G. Elbaum, and Carrick Detweiler. 2017. Dimensional inconsistencies in code and ROS messages: A study of 5.9M lines of code. In International Conference on Intelligent Robots and Systems. 712\u2013718."},{"key":"e_1_3_2_2_42_1","volume-title":"ICRA Workshop on Open Source Software, 3, 3.2","author":"Quigley Morgan","year":"2009","unstructured":"Morgan Quigley, Ken Conle, Brian Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Ng. 2009. ROS: an open-source Robot Operating System. ICRA Workshop on Open Source Software, 3, 3.2 (2009), 01, 1\u20136."},{"key":"e_1_3_2_2_43_1","article-title":"Security Misconfigurations in Open Source Kubernetes Manifests: An Empirical Study","volume":"32","author":"Rahman Akond","year":"2023","unstructured":"Akond Rahman, Shazibul Islam Shamim, Dibyendu Brinto Bose, and Rahul Pandita. 2023. Security Misconfigurations in Open Source Kubernetes Manifests: An Empirical Study. Transactions on Software Engineering and Methodology, 32, 4 (2023), 99:1\u201399:36.","journal-title":"Transactions on Software Engineering and Methodology"},{"key":"e_1_3_2_2_44_1","volume-title":"International Workshop on Automating TEST Case Design, Selection, and Evaluation. 56\u201362","author":"Santos Andr\u00e9","year":"2018","unstructured":"Andr\u00e9 Santos, Alcino Cunha, and Nuno Macedo. 2018. Property-based testing for the robot operating system. In International Workshop on Automating TEST Case Design, Selection, and Evaluation. 56\u201362."},{"key":"e_1_3_2_2_45_1","volume-title":"The High-Assurance ROS Framework. In International Workshop on Robotics Software Engineering. 37\u201340","author":"Santos Andr\u00e9","year":"2021","unstructured":"Andr\u00e9 Santos, Alcino Cunha, and Nuno Macedo. 2021. The High-Assurance ROS Framework. In International Workshop on Robotics Software Engineering. 37\u201340."},{"key":"e_1_3_2_2_46_1","volume-title":"International Conference on Intelligent Robots and Systems. 3855\u20133860","author":"Santos Andr\u00e9","year":"2017","unstructured":"Andr\u00e9 Santos, Alcino Cunha, Nuno Macedo, Rafael Arrais, and Filipe Neves dos Santos. 2017. Mining the usage patterns of ROS primitives. In International Conference on Intelligent Robots and Systems. 3855\u20133860."},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbusres.2019.07.039"},{"key":"e_1_3_2_2_48_1","volume-title":"International Conference on Automated Software Engineering. isbn:9781450394758","author":"Taylor Max","year":"2023","unstructured":"Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, and Xiangyu Zhang. 2023. SA4U: Practical Static Analysis for Unit Type Error Detection. In International Conference on Automated Software Engineering. isbn:9781450394758"},{"key":"e_1_3_2_2_49_1","volume-title":"An Exploratory Study on Stack Overflow. In International Conference on Software Architecture. 91\u2013100","author":"Tian Fangchao","year":"2019","unstructured":"Fangchao Tian, Peng Liang, and Muhammad Ali Babar. 2019. How Developers Discuss Architecture Smells? An Exploratory Study on Stack Overflow. In International Conference on Software Architecture. 91\u2013100."},{"key":"e_1_3_2_2_50_1","volume-title":"188 ROS bugs later: Where do we go from here? ROSCON","author":"Timperley Christopher","year":"2019","unstructured":"Christopher Timperley and A W\u0105sowski. 2019. 188 ROS bugs later: Where do we go from here? ROSCON\u2019 19, https:\/\/roscon.ros.org\/2019\/talks\/roscon2019_188_bugs_later.pdf"},{"key":"e_1_3_2_2_51_1","volume-title":"ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. In International Conference on Software Architecture. 112\u2013123","author":"Timperley Christopher Steven","year":"2022","unstructured":"Christopher Steven Timperley, Tobias D\u00fcrschmid, Bradley R. Schmerl, David Garlan, and Claire Le Goues. 2022. ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. In International Conference on Software Architecture. 112\u2013123."},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/s10664-024-10440-0","article-title":"ROBUST: 221 bugs in the Robot Operating System","volume":"29","author":"Timperley Christopher S.","year":"2024","unstructured":"Christopher S. Timperley, Gijs van der Hoorn, Andr\u00e9 Santos, Harshavardhan Deshpande, and Andrzej W\u0105sowski. 2024. ROBUST: 221 bugs in the Robot Operating System. Empirical Software Engineering, 29, 3 (2024), 57.","journal-title":"Empirical Software Engineering"},{"key":"e_1_3_2_2_53_1","volume-title":"Asia-Pacific Network Operations and Management Symposium. 1\u20134.","author":"Uchiumi Tetsuya","year":"2012","unstructured":"Tetsuya Uchiumi, Shinji Kikuchi, and Yasuhide Matsumoto. 2012. Misconfiguration detection for cloud datacenters using decision tree analysis. In Asia-Pacific Network Operations and Management Symposium. 1\u20134."},{"key":"e_1_3_2_2_54_1","volume-title":"European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 20\u201331","author":"Wang Dinghua","year":"2021","unstructured":"Dinghua Wang, Shuqing Li, Guanping Xiao, Yepang Liu, and Yulei Sui. 2021. An exploratory study of autopilot software bugs in unmanned aerial vehicles. In European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 20\u201331."},{"key":"e_1_3_2_2_55_1","volume-title":"Model-Based Specification of Control Architectures for Compliant Interaction with the Environment. In International Conference on Intelligent Robots and Systems. 7241\u20137248","author":"Wigand Dennis Leroy","year":"2020","unstructured":"Dennis Leroy Wigand, Niels Dehio, and Sebastian Wrede. 2020. Model-Based Specification of Control Architectures for Compliant Interaction with the Environment. In International Conference on Intelligent Robots and Systems. 7241\u20137248."},{"key":"e_1_3_2_2_56_1","volume-title":"Workshop on Robotics Software Engineering. 1\u20138.","author":"Witte Thomas","year":"2018","unstructured":"Thomas Witte and Matthias Tichy. 2018. Checking consistency of robot software architectures in ROS. In Workshop on Robotics Software Engineering. 1\u20138."},{"key":"e_1_3_2_2_57_1","volume-title":"Online Estimation of Geometric and Inertia Parameters for Multirotor Aerial Vehicles. In International Conference on Robotics and Automation. 1884\u20131890","author":"W\u00fcest Valentin","year":"2019","unstructured":"Valentin W\u00fcest, Vijay Kumar, and Giuseppe Loianno. 2019. Online Estimation of Geometric and Inertia Parameters for Multirotor Aerial Vehicles. In International Conference on Robotics and Automation. 1884\u20131890."},{"key":"e_1_3_2_2_58_1","volume-title":"Symposium on Operating Systems Principles. 244\u2013259","author":"Xu Tianyin","year":"2013","unstructured":"Tianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng and\u2020 Tianwei Sheng, Ding Yuan, Yuanyuan Zhou, and Shankar Pasupathy. 2013. Do not blame users for misconfigurations. In Symposium on Operating Systems Principles. 244\u2013259."},{"key":"e_1_3_2_2_59_1","volume-title":"Systems Approaches to Tackling Configuration Errors: A Survey. Computing Surveys, 47, 4","author":"Xu Tianyin","year":"2015","unstructured":"Tianyin Xu and Yuanyuan Zhou. 2015. Systems Approaches to Tackling Configuration Errors: A Survey. Computing Surveys, 47, 4 (2015), 70:1\u201370:41."},{"key":"e_1_3_2_2_60_1","volume-title":"Symposium on Operating Systems Principles. 159\u2013172","author":"Yin Zuoning","year":"2011","unstructured":"Zuoning Yin, Xiao Ma, Jing Zheng, Yuanyuan Zhou, Lakshmi N. Bairavasundaram, and Shankar Pasupathy. 2011. An empirical study on configuration errors in commercial and open source systems. In Symposium on Operating Systems Principles. 159\u2013172."},{"key":"e_1_3_2_2_61_1","volume-title":"Symposium on Operating Systems Principles. 159\u2013172","author":"Yin Zuoning","year":"2011","unstructured":"Zuoning Yin, Xiao Ma, Jing Zheng, Yuanyuan Zhou, Lakshmi N. Bairavasundaram, and Shankar Pasupathy. 2011. An empirical study on configuration errors in commercial and open source systems. In Symposium on Operating Systems Principles. 159\u2013172."},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"crossref","unstructured":"Jiaqi Zhang Lakshminarayanan Renganarayana Xiaolan Zhang Niyu Ge Vasanth Bala Tianyin Xu and Yuanyuan Zhou. 2014. EnCore: exploiting system environment and correlation information for misconfiguration detection. In Architectural Support for Programming Languages and Operating Systems. 687\u2013700.","DOI":"10.1145\/2644865.2541983"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Vienna Austria","acronym":"ISSTA '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680350","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3680350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:07Z","timestamp":1750287007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680350"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":62,"alternative-id":["10.1145\/3650212.3680350","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3680350","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}