Towards Certification of Autonomous Driving: Systematic Test Case Generation for a Comprehensive but Economically-Feasible Assessment of Lane Keeping Assist Algorithms Topics: Autonomous Vehicles and Automated Driving; Road Safety and Transport Security; Security and Safety In Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems VEHITS - Volume 1, 333-342, 2019 , Heraklion, Crete, Greece