Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
STADA: Specification-based Testing for Autonomous Driving Agents
Joy Saha, Trey Woodlief, Sebastian Elbaum +1
Simulation-based testing has become a standard approach to validating autonomous driving agents prior to real-world deployment. A high-quality validation campaign will exercise an…
cs.SE2025
RBT4DNN: Requirements-based Testing of Neural Networks
Nusrat Jahan Mozumder, Felipe Toledo, Swaroopa Dola +1
Testing allows developers to determine whether a system functions as expected. When such systems include deep neural networks (DNNs), Testing becomes challenging, as DNNs approxima…