PROMA, Nawshin Mannan; ALEXANDER, Rob. Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation. In: WORKSHOP ON SAFETY, SECURITY, AND PRIVACY IN COMPLEX ARTIFICIAL INTELLIGENCE BASED SYSTEMS (SAFELIFE), 3. , 2023, La Paz/Bolívia. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2023 . p. 208–213.