Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Txt2Sce: Scenario Generation for Autonomous Driving System Testing Based on Textual Reports
Pin Ji, Yang Feng, Zongtai Li +4
With the rapid advancement of deep learning and related technologies, Autonomous Driving Systems (ADSs) have made significant progress and are gradually being widely applied in saf…
cs.SE2021
Verifying Verified Code
Siddharth Priya, Xiang Zhou, Yusen Su +3
A recent case study from AWS by Chong et al. proposes an effective methodology for Bounded Model Checking in industry. In this paper, we report on a follow up case study that explo…