ICST 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland
Mon 17 Apr 2023 11:00 - 11:20 at Pearse suite - Session 2: Autonomous & Cyberphysical Systems I Chair(s): Shaukat Ali

Verification of hybrid systems is very challenging, if not impossible, due to their continuous dynamics that leads to infinite state space. As a countermeasure, falsification is usually applied to show that a specification does not hold, by searching for a falsifying input as a counterexample that refutes the specification. A falsification algorithm exploits the quantitative robust semantics of temporal specifications, which provides a numerical robustness that tells how robustly a specification holds or not, and uses it as a guide to explore the input space towards the direction of robustness descent—once negative robustness is observed, it indicates that a falsifying input is found. However, if a falsification algorithm does not return any falsifying input, a user is not sure whether the specification does indeed hold, or there exist counterexamples that the algorithm did not manage to reach. In this case, a measurement on how likely there indeed exists no counterexample in the input space is necessary for better understanding the safety of the system and deciding whether more budget should be allocated for the falsification. To this end, we propose a confidence measure that assesses the likelihood that the system is not falsifiable, i.e., how confident a user should be that a specification holds, given the fact that an algorithm has sampled a set of inputs but did not find any falsifying one. The confidence measure is defined in terms of a coverage criterion of the input space that assesses to which extent the whole input space is explored and a local area is exploited where low robustness is observed. Experiments on commonly-used falsification benchmarks show that our proposed confidence measure is reasonable and can distinguish different specifications.

Mon 17 Apr

Displayed time zone: Dublin change

11:00 - 12:30
Session 2: Autonomous & Cyberphysical Systems IResearch Papers / Journal-First Papers at Pearse suite
Chair(s): Shaukat Ali Simula Research Laboratory
11:00
20m
Talk
A Robustness-Based Confidence Measure for Hybrid System Falsification
Journal-First Papers
Toru Takisaka University of Electronic Science and Technology of China, Zhenya Zhang Kyushu University, Paolo Arcaini National Institute of Informatics , Ichiro Hasuo National Institute of Informatics, Japan
Link to publication DOI
11:20
20m
Talk
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping
Research Papers
Philip Tasche University of Twente, Paula Herber University of Munster, Germany
11:40
20m
Talk
Property-Based Mutation Testing
Research Papers
Ezio Bartocci Technische Universität Wien, Leonardo Mariani University of Milano-Bicocca, Dejan Nickovic Austrian Institute of Technology, Drishti Yadav Technische Universität Wien
12:00
20m
Talk
Constraint-Guided Automatic Side Object Placement for Steering Control Testing in Virtual Environment
Research Papers