TY  - RPRT
TI  - Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator
AU  - Federico Formica
AU  - Nicholas Petrunti
AU  - Lucas Bruck
AU  - Vera Pantelic
AU  - Mark Lawford
AU  - Claudio Menghi
PY  - 2023
UR  - https://arxiv.org/abs/2305.18608
ID  - 2305.18608
ER  -