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. Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. In Satish Chandra 0001, Kelly Blincoe, Paolo Tonella, editors, Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023. pages 1949-1960, ACM, 2023. [doi]

@inproceedings{FormicaPBPLM23,
  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},
  doi = {10.1145/3611643.3613894},
  url = {https://doi.org/10.1145/3611643.3613894},
  researchr = {https://researchr.org/publication/FormicaPBPLM23},
  cites = {0},
  citedby = {0},
  pages = {1949-1960},
  booktitle = {Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023},
  editor = {Satish Chandra 0001 and Kelly Blincoe and Paolo Tonella},
  publisher = {ACM},
}