134 citations · 979 across the 64 of their papers we have counts for
Showing 2022 · cs.SEShow all
2 papers · 2 filters
cs.SE2022★ 1 cited
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process
Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves +3
Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provi…
cs.SE2022
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure
Xuan Zheng, Kerstin Eder, Tim Blackmore
Novel test selectors used in simulation-based verification have been shown to significantly accelerate coverage closure regardless of the number of coverage holes. This paper prese…