@inproceedings{majzik-models-2019, 
author={I. {Majzik} and O. {Semeráth} and C. {Hajdu} and K. {Marussy} and Z. {Szatmári} and Z. {Micskei} and A. {Vörös} and A. A. {Babikian} and D. {Varró}}, 
booktitle={ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)}, 
title={Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles}, 
year={2019}, 
pages={89-94}, 
keywords={Model-based testing, Autonomous vehicles, Cyber-Physical Systems, System-level testing, Test coverage}, 
doi={10.1109/MODELS.2019.00-12},
}