@misc{indiciae683675fb2de1,
  title = {Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator},
  author = {Federico Formica and Nicholas Petrunti and Lucas Bruck and Vera Pantelic and Mark Lawford and Claudio Menghi},
  year = {2023},
  url = {https://arxiv.org/abs/2305.18608},
  note = {Source identifier: 2305.18608}
}