publication venue for Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator 2023