Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. - Federico Formica; Nicholas Petrunti; Lucas Bruck; Vera Pantelic; Mark Lawford; Claudio Menghi (ESEC/SIGSOFT FSE, 2023)