7 citations · 12 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023★ 2 cited
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems
Lev Sorokin, Tiziano Munaro, Damir Safin +2
Search-based software testing (SBT) is an effective and efficient approach for testing automated driving systems (ADS). However, testing pipelines for ADS testing are particularly…
math.OC2023★ 7 cited
Specification-Guided Critical Scenario Identification for Automated Driving
Adam Molin, Edgar A. Aguilar, Dejan Ničković +3
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framewor…