ISSTA 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
Fri 20 Sep 2024 13:50 - 14:10 at EI 3 Sahulka - Safety-Critical Systems Chair(s): Lingming Zhang

Critical software systems require stringent testing to identify possible failure cases, which can be difficult to find using manual testing. In this study, we report our industrial experience in testing a realistic R&D flight control system using a heuristic based testing method. Our approach utilizes evolutionary strategies augmented with intrinsic motivation to yield a diverse range of test cases, each revealing different potential failure scenarios within the system. This diversity allows for a more comprehensive identification and understanding of the system's vulnerabilities. We analyze the test cases found by evolution to identify the system’s weaknesses. The results of our study show that our approach can be used to improve the reliability and robustness of avionics systems by providing high-quality test cases in an efficient and cost-effective manner.

Fri 20 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 14:50
Safety-Critical SystemsTechnical Papers at EI 3 Sahulka
Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign
13:30
20m
Talk
VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Technical Papers
Zhongrui Li Fudan University, Jiarun Dai Fudan University, Zongan Huang Fudan University, Nianhao You Fudan University, Yuan Zhang Fudan University, Min Yang Fudan University
DOI
13:50
20m
Talk
Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)ACM SIGSOFT Distinguished Paper Award
Technical Papers
DOI
14:10
20m
Talk
DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing
Technical Papers
You Lu Fudan University, Yifan Tian Fudan University, Yuyang Bi Fudan University, Bihuan Chen Fudan University, Xin Peng Fudan University
DOI
14:30
20m
Talk
CooTest: An Automated Testing Approach for V2X Communication Systems
Technical Papers
An Guo Nanjing University, Xinyu Gao Nanjing University, Zhenyu Chen Nanjing University, Yuan Xiao Nanjing University, Jiakai Liu Nanjing University, Xiuting Ge Nanjing University, Weisong Sun Nanjing University, Chunrong Fang Nanjing University
DOI Pre-print

Information for Participants
Fri 20 Sep 2024 13:30 - 14:50 at EI 3 Sahulka - Safety-Critical Systems Chair(s): Lingming Zhang
Info for room EI 3 Sahulka:

Map: https://tuw-maps.tuwien.ac.at/?q=CF0205

Room tech: https://raumkatalog.tiss.tuwien.ac.at/room/15663