Dmytro Humeniuk, Foutse Khomh, Giuliano Antoniol: A search-based framework for automatic generation of testing environments for cyber-physical systems. Inf. Softw. Technol. 149: 106936 (2022)