As the era of autonomous cyber-physical systems (ACPSs), such as unmanned aerial
vehicles and self-driving cars, unfolds, the demand for robust testing methodologies is key to …