We report on the organization and results of the third edition of the Cyber-Physical Systems tool competition, held as part of the SBFT workshop. Six tools (ie, CRAG, EvoMBT, RIGAA …
Engineering knowledge-based (or expert) systems require extensive manual effort and domain knowledge. As Large Language Models (LLMs) are trained using an enormous …
Simulation-based testing of automated driving systems (ADS) is the industry standard, being a controlled, safe, and cost-effective alternative to real-world testing. Despite these …
R Maier, L Grabinger, D Urlhart… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
In modern vehicles, system complexity and technical capabilities are constantly growing. As a result, manufacturers and regulators are both increasingly challenged to ensure the …
M Biagiola, P Tonella - IEEE Transactions on Software …, 2024 - ieeexplore.ieee.org
Recent advances in Deep Neural Networks (DNNs) and sensor technologies are enabling autonomous driving systems (ADSs) with an ever-increasing level of autonomy. However …
C Birchler, TK Mohammed, P Rani, T Nechita… - arXiv preprint arXiv …, 2024 - arxiv.org
Software metrics such as coverage and mutation scores have been extensively explored for the automated quality assessment of test suites. While traditional tools rely on such …
J Zhou, S Tang, Y Guo, YF Li… - 2023 IEEE 34th …, 2023 - ieeexplore.ieee.org
Autonomous driving systems (ADS) are safety-critical systems that require thorough testing to ensure their safety. Current testing methods for ADS primarily focus on finding crash …
S Tang, Z Zhang, J Zhou, Y Zhou… - 2023 IEEE 34th …, 2023 - ieeexplore.ieee.org
Autonomous Driving Systems (ADS) are safety-critical and require comprehensive testing before their deployment on public roads. Most existing testing approaches consist in …
C Li, J Sifakis, Q Wang, R Yan, J Zhang - Proceedings of the 32nd ACM …, 2023 - dl.acm.org
We investigate a rigorous simulation and testing-based validation method for autonomous driving systems that integrates an existing industrial simulator and a formally defined testing …