English
Related papers

Related papers: OpenSBT: A Modular Framework for Search-based Test…

200 papers

We introduce OpenCAMS (Open-Source Connected and Automated Mobility Co-Simulation Platform), an open-source, synchronized, and extensible co-simulation framework that tightly couples three best-in-class simulation tools: (i) SUMO, (ii)…

Software Engineering · Computer Science 2025-07-25 Minhaj Uddin Ahmad , Akid Abrar , Sagar Dasgupta , Mizanur Rahman

Augmenting automated vehicles to wirelessly detect and respond to external events before they are detectable by onboard sensors is crucial for developing context-aware driving strategies. To this end, we present an automated vehicle…

In the automotive security sector, the absence of a testing platform that is configurable, practical, and user-friendly presents considerable challenges. These difficulties are compounded by the intricate design of vehicle systems, the…

Cryptography and Security · Computer Science 2024-04-04 Sekar Kulandaivel , Wenjuan Lu , Brandon Barry , Jorge Guajardo

In this position paper, a novel approach to testing complex autonomous transportation systems (ATS) in the automotive, avionic, and railway domains is described. It is intended to mitigate some of the most critical problems regarding…

Software Engineering · Computer Science 2021-10-26 Kerstin I. Eder , Wen-ling Huang , Jan Peleska

Autonomous driving systems (ADSs) rely on real-time sensor data, such as cameras and LiDARs, for time-critical decisions using deep neural networks. The accuracy of these decisions is crucial for the widespread adoption of ADSs, as errors…

Software Engineering · Computer Science 2025-10-15 Tri Minh Triet Pham , Bo Yang , Jinqiu Yang

Scanning probe microscopy (SPM) is a valuable technique by which one can investigate the physical characteristics of the surfaces of materials. However, its widespread use is hampered by the time-consuming nature of running an experiment…

Instrumentation and Detectors · Physics 2025-09-03 Nicholas J. Sullivan , Julio J. Valdés , Kirk H. Bevan , Peter Grutter

Autonomous driving in an unregulated urban crowd is an outstanding challenge, especially, in the presence of many aggressive, high-speed traffic participants. This paper presents SUMMIT, a high-fidelity simulator that facilitates the…

Robotics · Computer Science 2020-03-16 Panpan Cai , Yiyuan Lee , Yuanfu Luo , David Hsu

Automated driving technologies promise substantial improvements in transportation safety, efficiency, and accessibility. However, ensuring the reliability and safety of Autonomous Vehicles in complex, real-world environments remains a…

Software Engineering · Computer Science 2025-03-03 João-Vitor Zacchi , Edoardo Clementi , Núria Mata

Simulation platforms facilitate the development of emerging Cyber-Physical Systems (CPS) like self-driving cars (SDC) because they are more efficient and less dangerous than field operational test cases. Despite this, thoroughly testing…

Software Engineering · Computer Science 2022-12-12 Christian Birchler , Sajad Khatiri , Bill Bosshard , Alessio Gambi , Sebastiano Panichella

Ensuring the safety of autonomous vehicles (AVs) is paramount in their development and deployment. Safety-critical scenarios pose more severe challenges, necessitating efficient testing methods to validate AVs safety. This study focuses on…

Robotics · Computer Science 2025-08-12 Rui Zhou

Simulators are widely used to test Autonomous Driving Systems (ADS), but their potential flakiness can lead to inconsistent test results. We investigate test flakiness in simulation-based testing of ADS by addressing two key questions: (1)…

Software Engineering · Computer Science 2023-12-01 Mohammad Hossein Amini , Shervin Naseri , Shiva Nejati

Designing, assuring and releasing safe automated vehicles is a highly interdisciplinary process. As complex systems, automated driving systems will inevitably be subject to emergent properties, i. e., the properties of the overall system…

Systems and Control · Electrical Eng. & Systems 2025-02-11 Marcus Nolte , Markus Maurer

We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in…

Systems and Control · Electrical Eng. & Systems 2020-07-14 Daniel J. Fremont , Edward Kim , Yash Vardhan Pant , Sanjit A. Seshia , Atul Acharya , Xantha Bruso , Paul Wells , Steve Lemke , Qiang Lu , Shalin Mehta

Context: Search-based software testing promises to provide users with the ability to generate high-quality test cases, and hence increase product quality, with a minimal increase in the time and effort required. One result that emerged out…

Software Engineering · Computer Science 2015-12-16 Bogdan Marculescu , Simon Poulding , Robert Feldt , Kai Petersen , Richard Torkar

We present a novel method for testing the safety of self-driving vehicles in simulation. We propose an alternative to sensor simulation, as sensor simulation is expensive and has large domain gaps. Instead, we directly simulate the outputs…

Computer Vision and Pattern Recognition · Computer Science 2020-08-14 Kelvin Wong , Qiang Zhang , Ming Liang , Bin Yang , Renjie Liao , Abbas Sadat , Raquel Urtasun

Urban transportation of next decade is expected to be disrupted by Autonomous Mobility on Demand (AMoD): AMoD providers will collect ride requests from users and will dispatch a fleet of autonomous vehicles to satisfy requests in the most…

Multiagent Systems · Computer Science 2018-11-07 Andrea Di Maria , Andrea Araldo , Giovanni Morana , Antonella Di Stefano

The Satisfiability (SAT) problem is a core challenge with significant applications in software engineering, including automated testing, configuration management, and program verification. This paper presents SolSearch, a novel framework…

Software Engineering · Computer Science 2025-02-21 Junjie Sheng , Yanqiu Lin , Jiehao Wu , Yanhong Huang , Jianqi Shi , Min Zhang , Xiangfeng Wang

Owing to the merits of early safety and reliability guarantee, autonomous driving virtual testing has recently gains increasing attention compared with closed-loop testing in real scenarios. Although the availability and quality of…

Robotics · Computer Science 2021-07-01 Pengliang Ji , Li Ruan , Yunzhi Xue , Limin Xiao , Qian Dong

Future mobility systems and their components are increasingly defined by their software. The complexity of these cooperative intelligent transport systems (C-ITS) and the everchanging requirements posed at the software require continual…

Control systems on unmanned vehicles are safety-critical systems whose requirements on reliability and safety are ever-increasing. Currently, testing a complex autonomous control system is an expensive and time-consuming process, which…

Systems and Control · Electrical Eng. & Systems 2019-08-08 Xunhua Dai , Chenxu Ke , Quan Quan , Kai-Yuan Cai