Survey on test case generation, selection and prioritization for cyber-physical systems. - Zahra Sadri-Moshkenani; Justin M. Bradley; Gregg Rothermel (Softw. Test. Verification Reliab., 2022)

Test Case Generation and Test Oracle Support for Testing CPSs using Hybrid Models. - Zahra Sadri-Moshkenani; Justin M. Bradley; Gregg Rothermel (CoRR, 2023)