1. Testing vision-based control systems using learnable evolutionary algorithms
2. Automated repair of feature interaction failures in automated driving systems
3. Shaukat Ali and Tao Yue . 2015 . U-test: evolving, modelling and testing realistic uncertain behaviours of cyber-physical systems . In 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST). 1–2. Shaukat Ali and Tao Yue. 2015. U-test: evolving, modelling and testing realistic uncertain behaviours of cyber-physical systems. In 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST). 1–2.
4. Rajeev Alur . 2015. Principles of cyber-physical systems . MIT press . Rajeev Alur. 2015. Principles of cyber-physical systems. MIT press.
5. Paolo Arcaini , Alessandro Calò , Fuyuki Ishikawa , Thomas Laurent , Xiao-Yi Zhang , Shaukat Ali , Florian Hauer , and Anthony Ventresque . 2021 . Parameter-Based Testing and Debugging of Autonomous Driving Systems. In 2021 IEEE Intelligent Vehicles Symposium Workshops (IV Workshops). 197–202 . Paolo Arcaini, Alessandro Calò, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, and Anthony Ventresque. 2021. Parameter-Based Testing and Debugging of Autonomous Driving Systems. In 2021 IEEE Intelligent Vehicles Symposium Workshops (IV Workshops). 197–202.