{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:34:34Z","timestamp":1791459274288,"version":"4.3.4"},"reference-count":63,"publisher":"Association for Computing Machinery (ACM)","issue":"ISSTA","license":[{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/publication-rights-and-licensing-policy"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62132020, 62032004, 62432010, 62072068"],"award-info":[{"award-number":["62132020, 62032004, 62432010, 62072068"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Foundational Research Funds for the Central Universities","award":["DUT24LAB126"],"award-info":[{"award-number":["DUT24LAB126"]}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2018YF-B1003900"],"award-info":[{"award-number":["2018YF-B1003900"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. ACM Softw. Eng."],"published-print":{"date-parts":[[2025,6,22]]},"abstract":"<jats:p>\n                    <jats:monospace>Gazebo<\/jats:monospace>\n                    , being the most widely utilized simulator in robotics, plays a pivotal role in developing and testing robotic systems. Given its impact on the safety and reliability of robotic operations, early bug detection is critical. However, due to the challenges of strict input structures and vast state space, it is not effective to directly use existing fuzz testing approach to\n                    <jats:monospace>Gazebo<\/jats:monospace>\n                    .\n                  <\/jats:p>\n                  <jats:p>\n                    In this paper, we present GzFuzz, the first fuzz testing framework designed for\n                    <jats:monospace>Gazebo<\/jats:monospace>\n                    . GzFuzz addresses these challenges through a syntax-aware feasible command generation mechanism to handle strict input requirements, and a reinforcement learning-based command generator selection mechanism to efficiently explore the state space. By combining the two mechanisms under a unified framework, GzFuzz is able to detect bugs in\n                    <jats:monospace>Gazebo<\/jats:monospace>\n                    effectively. In extensive experiments, GzFuzz is able to detect an average of 9.6 unique bugs in 12 hours, and exhibits a substantial increase in code coverage than existing fuzzers AFL++ and Fuzzotron, with a proportionate improvement of approximately 239%-363%. In less than six months, GzFuzz uncovered 25 unique crashes in\n                    <jats:monospace>Gazebo<\/jats:monospace>\n                    , 24 of which have been fixed or confirmed. Our results highlight the importance of directly fuzzing\n                    <jats:monospace>Gazebo<\/jats:monospace>\n                    , thereby presenting a novel and potent methodology that serves as an inspiration for enhancing testing across a broader range of simulators.\n                  <\/jats:p>","DOI":"10.1145\/3728942","type":"journal-article","created":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T10:52:56Z","timestamp":1750589576000},"page":"1467-1488","source":"Crossref","is-referenced-by-count":4,"title":["Reinforcement Learning-Based Fuzz Testing for the Gazebo Robotic Simulator"],"prefix":"10.1145","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1511-2158","authenticated-orcid":false,"given":"Zhilei","family":"Ren","sequence":"first","affiliation":[{"name":"Dalian University of Technology, School of Software, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-0832-9406","authenticated-orcid":false,"given":"Yitao","family":"Li","sequence":"additional","affiliation":[{"name":"Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5068-1938","authenticated-orcid":false,"given":"Xiaochen","family":"Li","sequence":"additional","affiliation":[{"name":"Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-6838-6308","authenticated-orcid":false,"given":"Guanxiao","family":"Qi","sequence":"additional","affiliation":[{"name":"Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2968-3496","authenticated-orcid":false,"given":"Jifeng","family":"Xuan","sequence":"additional","affiliation":[{"name":"Wuhan University, Wuhan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8674-4948","authenticated-orcid":false,"given":"He","family":"Jiang","sequence":"additional","affiliation":[{"name":"Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,6,22]]},"reference":[{"key":"e_1_3_1_2_2","first-page":"1","volume-title":"2020 IEEE International IOT, Electronics and Mechatronics Conference (IEMTRONICS)","author":"AbdelHamed Ahmed","year":"2020","unstructured":"Ahmed AbdelHamed, Girma Tewolde, and Jaerock Kwon. 2020. Simulation Framework for Development and Testing of Autonomous Vehicles. In 2020 IEEE International IOT, Electronics and Mechatronics Conference (IEMTRONICS). IEEE, 1\u20136."},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3616394.3618266"},{"key":"e_1_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Afsoon Afzal Deborah S Katz Claire Le Goues and Christopher S Timperley. 2021. Simulation for Robotics Test Automation: Developer Perspectives. In 2021 14th IEEE Conference on Software Testing Verification and Validation (ICST). 263\u2013274.","DOI":"10.1109\/ICST49551.2021.00036"},{"key":"e_1_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Afsoon Afzal Claire Le Goues Michael Hilton and Christopher Steven Timperley. 2020. A Study on Challenges of Testing Robotic Systems. In 2020 IEEE 13th International Conference on Software Testing Validation and Verification (ICST). 96\u2013107.","DOI":"10.1109\/ICST46399.2020.00020"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2368997"},{"key":"e_1_3_1_7_2","doi-asserted-by":"crossref","first-page":"0305","DOI":"10.1109\/EIT.2018.8500101","volume-title":"2018 IEEE International Conference on Electro\/Information Technology (EIT)","author":"Ahamed Mohamed Fasil Syed","year":"2018","unstructured":"Mohamed Fasil Syed Ahamed, Girma Tewolde, and Jaerock Kwon. 2018. Software-in-the-Loop Modeling and Simulation Framework for Autonomous Vehicles. In 2018 IEEE International Conference on Electro\/Information Technology (EIT). IEEE, 0305\u20130310."},{"issue":"2023","key":"e_1_3_1_8_2","doi-asserted-by":"crossref","first-page":"111574","DOI":"10.1016\/j.jss.2022.111574","article-title":"Software Engineering Research on the Robot Operating System: A Systematic Mapping Study.","volume":"197","author":"Albonico Michel","year":"2023","unstructured":"Michel Albonico, Milica \u00d0or\u0111evi\u0107, Engel Hamer, and Ivano Malavolta. 2023. Software Engineering Research on the Robot Operating System: A Systematic Mapping Study. Journal of Systems and Software 197 (2023), 111574.","journal-title":"Journal of Systems and Software"},{"key":"e_1_3_1_9_2","first-page":"1","volume-title":"2019 IEEE Aerospace Conference","author":"Allan Mark","year":"2019","unstructured":"Mark Allan, Uland Wong, P Michael Furlong, Arno Rogg, Scott McMichael, Terry Welsh, Ian Chen, Steven Peters, Brian Gerkey, Moraan Quigley, . 2019. Planetary Rover Simulation for Lunar Exploration Missions. In 2019 IEEE Aerospace Conference. IEEE, 1\u201319."},{"key":"e_1_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Anastasios Andronidis and Cristian Cadar. 2022. Snapfuzz: High-Throughput Fuzzing of Network Applications. In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). 340\u2013351.","DOI":"10.1145\/3533767.3534376"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.5555\/3298483.3298491"},{"key":"e_1_3_1_12_2","doi-asserted-by":"crossref","unstructured":"Jia-Ju Bai Hao-Xuan Song and Shi-Min Hu. 2024. Multi-Dimensional and Message-Guided Fuzzing for Robotic Programs in Robot Operating System. In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). 763\u2013778.","DOI":"10.1145\/3620665.3640425"},{"issue":"2014","key":"e_1_3_1_13_2","first-page":"1","article-title":"JVenn: an Interactive Venn Diagram Viewer.","volume":"15","author":"Bardou Philippe","year":"2014","unstructured":"Philippe Bardou, J\u00e9r\u00f4me Mariette, Fr\u00e9d\u00e9ric Escudi\u00e9, Christophe Djemiel, and Christophe Klopp. 2014. JVenn: an Interactive Venn Diagram Viewer. BMC bioinformatics 15 (2014), 1\u20137.","journal-title":"BMC bioinformatics"},{"key":"e_1_3_1_14_2","volume-title":"Measurement of Association.","author":"Johnston Janis E","year":"2018","unstructured":"Janis E Johnston Kenneth J Berry, Paul W Mielke, Jr Berry, and Hiripi. 2018. Measurement of Association. Springer."},{"key":"e_1_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Brian Bingham Carlos Ag\u00fcero Michael McCarrin Joseph Klamo Joshua Malia Kevin Allen Tyler Lum Marshall Rawson and Rumman Waqar. 2019. Toward Maritime Robotic Simulation in Gazebo. In OCEANS 2019 MTS\/IEEE SEATTLE. 1\u201310.","DOI":"10.23919\/OCEANS40490.2019.8962724"},{"key":"e_1_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Junjie Chen Haoyang Ma and Lingming Zhang. 2020. Enhanced Compiler Bug Isolation via Memoized Search. In Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 78\u201389.","DOI":"10.1145\/3324884.3416570"},{"key":"e_1_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Junjie Chen Chenyao Suo Jiajun Jiang Peiqi Chen and Xingjian Li. 2023. Compiler Test-Program Generation via Memoized Configuration Search. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 2035\u20132047.","DOI":"10.1109\/ICSE48619.2023.00172"},{"issue":"1","key":"e_1_3_1_18_2","first-page":"4:1","article-title":"Metamorphic Testing: A Review of Challenges and Opportunities.","volume":"51","author":"Chen Tsong Yueh","year":"2018","unstructured":"Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Pak-Lok Poon, Dave Towey, T. H. Tse, and Zhi Quan Zhou. 2018. Metamorphic Testing: A Review of Challenges and Opportunities. ACM Comput. Surv. 51, 1 (2018), 4:1\u20134:27.","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"e_1_3_1_19_2","first-page":"1","article-title":"Deep Learning-Based Software Engineering: Progress, Challenges, and Opportunities.","volume":"68","author":"Chen Xiangping","year":"2025","unstructured":"Xiangping Chen, Xing Hu, Yuan Huang, He Jiang, Weixing Ji, Yanjie Jiang, Yanyan Jiang, Bo Liu, Hui Liu, Xiaochen Li, . 2025. Deep Learning-Based Software Engineering: Progress, Challenges, and Opportunities. Science China Information Sciences 68, 1 (2025), 1\u201388.","journal-title":"Science China Information Sciences"},{"key":"e_1_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Yuting Chen Ting Su Chengnian Sun Zhendong Su and Jianjun Zhao. 2016. Coverage-Directed Differential Testing of JVM Implementations. In proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 85\u201399.","DOI":"10.1145\/2908080.2908095"},{"issue":"1","key":"e_1_3_1_21_2","doi-asserted-by":"crossref","first-page":"e1907856118","DOI":"10.1073\/pnas.1907856118","article-title":"On the Use of Simulation in Robotics: Opportunities, Challenges, and Suggestions for Moving Forward.","volume":"118","author":"Choi HeeSun","year":"2021","unstructured":"HeeSun Choi, Cindy Crump, Christian Duriez, Asher Elmquist, Gregory Hager, David Han, Frank Hearl, Jessica Hodgins, Abhinandan Jain, Frederick Leve, . 2021. On the Use of Simulation in Robotics: Opportunities, Challenges, and Suggestions for Moving Forward. Proceedings of the National Academy of Sciences 118, 1 (2021), e1907856118.","journal-title":"Proceedings of the National Academy of Sciences"},{"issue":"1","key":"e_1_3_1_22_2","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1146\/annurev-control-062722-100728","article-title":"Into the Robotic Depths: Analysis and Insights from the DARPA Subterranean Challenge.","volume":"6","author":"Chung Timothy H","year":"2023","unstructured":"Timothy H Chung, Viktor Orekhov, and Angela Maio. 2023. Into the Robotic Depths: Analysis and Insights from the DARPA Subterranean Challenge. Annual Review of Control, Robotics, and Autonomous Systems 6, 1 (2023), 477\u2013502.","journal-title":"Annual Review of Control, Robotics, and Autonomous Systems"},{"key":"e_1_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Danielle Dauphinais Michael Zylka Harris Spahic Farhan Shaik Jingda Yang Isabella Cruz Jakob Gibson and Ying Wang. 2023. Automated Vulnerability Testing and Detection Digital Twin Framework for 5G Systems. In 2023 IEEE 9th International Conference on Network Softwarization (NetSoft). 308\u2013310.","DOI":"10.1109\/NetSoft57336.2023.10175496"},{"key":"e_1_3_1_24_2","first-page":"70:1","volume-title":"Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering (ICSE)","author":"Deng Yinlin","year":"2024","unstructured":"Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Dylan Zhang, Shujing Yang, and Lingming Zhang. 2024. Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries. In Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering (ICSE). ACM, 70:1\u201370:13."},{"key":"e_1_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Marcela G Dos Santos Bianca M Napole\u00e3o Fabio Petrillo Darine Ameyed and Fehmi Jaafar. 2020. A Preliminary Systematic Mapping on Software Engineering for Robotic Systems: A Software Quality Perspective. In Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops. 647\u2013654.","DOI":"10.1145\/3387940.3392197"},{"issue":"2024","key":"e_1_3_1_26_2","doi-asserted-by":"crossref","first-page":"936","DOI":"10.1109\/TRO.2023.3323938","article-title":"Present and Future of SLAM in Extreme Environments: The DARPA SubT Challenge.","volume":"40","author":"Ebadi Kamak","year":"2024","unstructured":"Kamak Ebadi, Lukas Bernreiter, Harel Biggie, Gavin Catt, Yun Chang, Arghya Chatterjee, Christopher E Denniston, Simon-Pierre Desch\u00eanes, Kyle Harlow, Shehryar Khattak, . 2024. Present and Future of SLAM in Extreme Environments: The DARPA SubT Challenge. IEEE Transactions on Robotics 40 (2024), 936\u2013955.","journal-title":"IEEE Transactions on Robotics"},{"key":"e_1_3_1_27_2","doi-asserted-by":"crossref","unstructured":"Gilberto Echeverria Nicolas Lassabe Arnaud Degroote and S\u00e9verin Lemaignan. 2011. Modular Open Robots Simulation Engine: MORSE. In 2011 IEEE International Conference on Robotics and Automation (ICRA). 46\u201351.","DOI":"10.1109\/ICRA.2011.5980252"},{"key":"e_1_3_1_28_2","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)."},{"key":"e_1_3_1_29_2","doi-asserted-by":"crossref","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 Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). 593\u2013604.","DOI":"10.1145\/3368089.3409743"},{"key":"e_1_3_1_30_2","unstructured":"Emre G\u00fcler Sergej Schumilo Moritz Schloegel Nils Bars Philipp G\u00f6rz Xinyi Xu Cemal Kaygusuz and Thorsten Holz. 2024. Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities. In USENIX Security Symposium."},{"key":"e_1_3_1_31_2","doi-asserted-by":"crossref","unstructured":"Muhammad Ali Gulzar Yongkang Zhu and Xiaofeng Han. 2019. Perception and Practices of Differential Testing. In 2019 IEEE\/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP). 71\u201380.","DOI":"10.1109\/ICSE-SEIP.2019.00016"},{"key":"e_1_3_1_32_2","doi-asserted-by":"crossref","unstructured":"Kimberly A Hambuchen Monsi C Roman Amy Sivak Angela Herblet Nathan Koenig Daniel Newmyer and Robert Ambrose. 2017. NASA\u2019s Space Robotics Challenge: Advancing Robotics for Future Exploration Missions. In AIAA SPACE and Astronautics Forum and Exposition. 5120.","DOI":"10.2514\/6.2017-5120"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCE.2023.3269528"},{"key":"e_1_3_1_34_2","doi-asserted-by":"crossref","unstructured":"Seulbae Kim and Taesoo Kim. 2022. RoboFuzz: Fuzzing Robotic Systems over Robot Operating System (ROS) for Finding Correctness Bugs. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE). 447\u2013458.","DOI":"10.1145\/3540250.3549164"},{"key":"e_1_3_1_35_2","unstructured":"Diederik P. Kingma and Jimmy Ba. 2015. Adam: A Method for Stochastic Optimization. In 3rd International Conference on Learning Representations ICLR 2015 San Diego CA USA May 7-9 2015 Conference Track Proceedings Yoshua Bengio and Yann LeCun (Eds.)."},{"key":"e_1_3_1_36_2","first-page":"2149","article-title":"Design and Use Paradigms for Gazebo, an Open-Source Multi-Robot Simulator.","volume":"3","author":"Koenig Nathan","year":"2004","unstructured":"Nathan Koenig and Andrew Howard. 2004. Design and Use Paradigms for Gazebo, an Open-Source Multi-Robot Simulator. In 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), Vol. 3. 2149\u20132154.","journal-title":"2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"},{"issue":"66","key":"e_1_3_1_37_2","doi-asserted-by":"crossref","first-page":"eabm6074","DOI":"10.1126\/scirobotics.abm6074","article-title":"Robot Operating System 2: Design, architecture, and uses in the wild.","volume":"7","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.","journal-title":"Science Robotics"},{"key":"e_1_3_1_38_2","doi-asserted-by":"crossref","unstructured":"Musa Morena Marcusso Manh\u00e3es Sebastian A Scherer Martin Voss Luiz Ricardo Douat and Thomas Rauschenbach. 2016. UUV simulator: A Gazebo-Based Package for Underwater Intervention and Multi-Robot Simulation. In Oceans 2016 Mts\/IEEE Monterey. 1\u20138.","DOI":"10.1109\/OCEANS.2016.7761080"},{"key":"e_1_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598052"},{"key":"e_1_3_1_40_2","doi-asserted-by":"crossref","unstructured":"Patrick E McKnight and Julius Najab. 2010. Mann-Whitney U Test. The Corsini Encyclopedia of Psychology (2010) 1\u20131.","DOI":"10.1002\/9780470479216.corpsy0524"},{"key":"e_1_3_1_41_2","doi-asserted-by":"crossref","unstructured":"Ruijie Meng Martin Mirchev Marcel B\u00f6hme and Abhik Roychoudhury. 2024. Large Language Model Guided Protocol Fuzzing. In Proceedings of the 31st Annual Network and Distributed System Security Symposium (NDSS).","DOI":"10.14722\/ndss.2024.24556"},{"issue":"1","key":"e_1_3_1_42_2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.5772\/5618","article-title":"Cyberbotics ltd. Webots\u2122: Professional Mobile Robot Simulation.","volume":"1","author":"Michel Olivier","year":"2004","unstructured":"Olivier Michel. 2004. Cyberbotics ltd. Webots\u2122: Professional Mobile Robot Simulation. International Journal of Advanced Robotic Systems 1, 1 (2004), 5.","journal-title":"International Journal of Advanced Robotic Systems"},{"issue":"2021","key":"e_1_3_1_43_2","doi-asserted-by":"crossref","first-page":"106625","DOI":"10.1016\/j.infsof.2021.106625","article-title":"Why Many Challenges with GUI Test Automation (Will) Remain.","volume":"138","author":"Nass Michel","year":"2021","unstructured":"Michel Nass, Emil Al\u00e9groth, and Robert Feldt. 2021. Why Many Challenges with GUI Test Automation (Will) Remain. Information and Software Technology 138 (2021), 106625.","journal-title":"Information and Software Technology"},{"issue":"7","key":"e_1_3_1_44_2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s10664-022-10233-3","article-title":"StateAFL: Greybox Fuzzing for Stateful Network Servers.","volume":"27","author":"Natella Roberto","year":"2022","unstructured":"Roberto Natella. 2022. StateAFL: Greybox Fuzzing for Stateful Network Servers. Empirical Software Engineering 27, 7 (2022), 191.","journal-title":"Empirical Software Engineering"},{"issue":"2014","key":"e_1_3_1_45_2","first-page":"2","article-title":"Comparative Analysis Between Gazebo and V-REP Robotic Simulators.","volume":"5","author":"Nogueira Lucas","year":"2014","unstructured":"Lucas Nogueira. 2014. Comparative Analysis Between Gazebo and V-REP Robotic Simulators. Seminario Interno de Cognicao Artificial-SICA 2014, 5 (2014), 2.","journal-title":"Seminario Interno de Cognicao Artificial-SICA 2014"},{"key":"e_1_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2850315"},{"key":"e_1_3_1_47_2","doi-asserted-by":"crossref","first-page":"151","DOI":"10.5220\/0012121900003538","volume-title":"Proceedings of the 18th International Conference on Software Technologies (ICSOFT)","author":"Paduraru. Ciprian","year":"2023","unstructured":"Ciprian Paduraru., Rares Cristea., and Alin Stefanescu. 2023. Automatic Fuzz Testing and Tuning Tools for Software Blueprints. In Proceedings of the 18th International Conference on Software Technologies (ICSOFT). SciTePress, 151\u2013162."},{"issue":"2019","key":"e_1_3_1_48_2","article-title":"PyTorch: An Imperative Style, High-Performance Deep Learning Library.","volume":"32","author":"Paszke Adam","year":"2019","unstructured":"Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, . 2019. PyTorch: An Imperative Style, High-Performance Deep Learning Library. Advances in neural information processing systems 32 (2019).","journal-title":"Advances in neural information processing systems"},{"issue":"5","key":"e_1_3_1_49_2","first-page":"109:1","article-title":"Hierarchical Reinforcement Learning: A Comprehensive Survey.","volume":"54","author":"Pateria Shubham","year":"2022","unstructured":"Shubham Pateria, Budhitama Subagdja, Ah-Hwee Tan, and Chai Quek. 2022. Hierarchical Reinforcement Learning: A Comprehensive Survey. Comput. Surveys 54, 5 (2022), 109:1\u2013109:35.","journal-title":"Comput. Surveys"},{"key":"e_1_3_1_50_2","unstructured":"Van-Thuan Pham Marcel B\u00f6hme and Abhik Roychoudhury. 2020. AFLNet: A Greybox Fuzzer for Network Protocols. In Proceedings of the 13rd IEEE International Conference on Software Testing Verification and Validation: Testing Tools Track."},{"key":"e_1_3_1_51_2","doi-asserted-by":"crossref","unstructured":"Eric Rohmer Surya PN Singh and Marc Freese. 2013. V-REP: A Versatile and Scalable Robot Simulation Framework. In 2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems. 1321\u20131326.","DOI":"10.1109\/IROS.2013.6696520"},{"key":"e_1_3_1_52_2","doi-asserted-by":"crossref","unstructured":"Mayank Sharma Pingshi Yu and Alastair F Donaldson. 2023. Rustsmith: Random Differential Compiler Testing for Rust. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). 1483\u20131486.","DOI":"10.1145\/3597926.3604919"},{"key":"e_1_3_1_53_2","doi-asserted-by":"crossref","unstructured":"Alexander Smirnov and Nikolay Teslya. 2020. Modeling of Robot Interaction in Coalition Through Smart Space and Blockchain: Precision Agriculture Scenario. In International Conference on Enterprise Information Systems (ICEIS). 481\u2013497.","DOI":"10.1007\/978-3-030-75418-1_22"},{"key":"e_1_3_1_54_2","volume-title":"Proceedings of the International Astronautical Congress, IAC","author":"Sopegno L","year":"2022","unstructured":"L Sopegno, P Livreri, Kp Valavanis, . 2022. Using UAVs for Future Mission on Mars. In Proceedings of the International Astronautical Congress, IAC, Vol. 2022. International Astronautical Federation, IAF."},{"issue":"9","key":"e_1_3_1_55_2","first-page":"1764","article-title":"METRIC++: A Metamorphic Relation Identification Technique Based on Input Plus Output Domains.","volume":"47","author":"Sun Chang-Ai","year":"2021","unstructured":"Chang-Ai Sun, An Fu, Pak-Lok Poon, Xiaoyuan Xie, Huai Liu, and Tsong Yueh Chen. 2021. METRIC++: A Metamorphic Relation Identification Technique Based on Input Plus Output Domains. IEEE Transactions on Software Engineering 47, 9 (2021), 1764\u20131785.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2024","key":"e_1_3_1_56_2","first-page":"111963","article-title":"Coverage-Guided Fuzzing for Deep Reinforcement Learning Systems.","volume":"210","author":"Wan Xiaohui","year":"2024","unstructured":"Xiaohui Wan, Tiancheng Li, Weibin Lin, Yi Cai, and Zheng Zheng. 2024. Coverage-Guided Fuzzing for Deep Reinforcement Learning Systems. Journal of Systems and Software 210 (2024), 111963.","journal-title":"Journal of Systems and Software"},{"key":"e_1_3_1_57_2","doi-asserted-by":"crossref","unstructured":"Thomas Wetzlmaier Rudolf Ramler and Werner Putsch\u00f6gl. 2016. A Framework for Monkey GUI Testing. In 2016 IEEE International Conference on Software Testing Verification and Validation (ICST). 416\u2013423.","DOI":"10.1109\/ICST.2016.51"},{"key":"e_1_3_1_58_2","doi-asserted-by":"crossref","unstructured":"Chunqiu Steven Xia Matteo Paltenghi Jia Le Tian Michael Pradel and Lingming Zhang. 2024. Fuzz4all: Universal Fuzzing with Large Language Models. In Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering (ICSE). 1\u201313.","DOI":"10.1145\/3597503.3639121"},{"key":"e_1_3_1_59_2","doi-asserted-by":"crossref","unstructured":"Dongwei Xiao Zhibo Liu and Shuai Wang. 2023. PhyFu: Fuzzing Modern Physics Simulation Engines. In 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1579\u20131591.","DOI":"10.1109\/ASE56229.2023.00054"},{"key":"e_1_3_1_60_2","doi-asserted-by":"crossref","unstructured":"Kai-Tao Xie Jia-Ju Bai Yong-Hao Zou and Yu-Ping Wang. 2022. ROZZ: Property-Based Fuzzing for Robotic Programs in ROS. In 2022 International Conference on Robotics and Automation (ICRA). 6786\u20136792.","DOI":"10.1109\/ICRA46639.2022.9811701"},{"key":"e_1_3_1_61_2","first-page":"27","article-title":"WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models.","volume":"8","author":"Yang Chenyuan","year":"2024","unstructured":"Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, and Lingming Zhang. 2024. WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models. Proc. ACM Program. Lang. 8, OOPSLA2, Article 296 (Oct. 2024), 27 pages.","journal-title":"Proc. ACM Program. Lang."},{"issue":"2","key":"e_1_3_1_62_2","first-page":"1879","article-title":"MarsSim: a High-Fidelity Physical and Visual Simulation for Mars Rovers.","volume":"59","author":"Zhou Ruyi","year":"2022","unstructured":"Ruyi Zhou, Wenhao Feng, Liang Ding, Huaiguang Yang, Haibo Gao, Guangjun Liu, and Zongquan Deng. 2022. MarsSim: a High-Fidelity Physical and Visual Simulation for Mars Rovers. IEEE Trans. Aerospace Electron. Systems 59, 2 (2022), 1879\u20131892.","journal-title":"IEEE Trans. Aerospace Electron. Systems"},{"issue":"11","key":"e_1_3_1_63_2","first-page":"36","article-title":"Fuzzing: A Survey for Roadmap.","volume":"54","author":"Zhu Xiaogang","year":"2022","unstructured":"Xiaogang Zhu, Sheng Wen, Seyit Camtepe, and Yang Xiang. 2022. Fuzzing: A Survey for Roadmap. ACM Comput. Surv. 54, 11s, Article 230 (Sept. 2022), 36 pages.","journal-title":"ACM Comput. Surv."},{"key":"e_1_3_1_64_2","unstructured":"Yong-Hao Zou Jia-Ju Bai Jielong Zhou Jianfeng Tan Chenggang Qin and Shi-Min Hu. 2021. TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with Fuzzing. In 2021 USENIX Annual Technical Conference (USENIX ATC). 489\u2013503."}],"container-title":["Proceedings of the ACM on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3728942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T13:48:01Z","timestamp":1787492881000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3728942"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":63,"journal-issue":{"issue":"ISSTA","published-print":{"date-parts":[[2025,6,22]]}},"alternative-id":["10.1145\/3728942"],"URL":"https:\/\/doi.org\/10.1145\/3728942","relation":{},"ISSN":["2994-970X"],"issn-type":[{"value":"2994-970X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,22]]}}}