Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review. - ARAUJO, HUGO; MOUSAVI, MOHAMMAD REZA; VARSHOSAZ, MAHSA (ACM Transactions on Software Engineering & Methodology, 2023)