ICST 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland

This program is tentative and subject to change.

Mon 17 Apr 2023 11:40 - 12:00 at Room 2 - Session 2

Mutation testing is an established software quality assurance technique for the assessment of test suites. While it is well-suited to estimate the general fault-revealing capability of a test suite, it is not practical and informative when the software under test must be validated against specific requirements. This is often the case for embedded software, where the software is typically validated against rigorously-specified safety properties. In such a scenario (i) a mutant is relevant only if it can impact the satisfaction of the tested properties, and (ii) a mutant is meaningfully-killed with respect to a property only if it causes the violation of that property. To address these limitations of mutation testing, we introduce property-based mutation testing, a method for assessing the capability of a test suite to exercise the software with respect to a given property. We evaluate our property-based mutation testing framework on Simulink models of safety-critical Cyber-Physical Systems (CPS) from the automotive and avionic domains and demonstrate how property-based mutation testing is more informative than regular mutation testing. These results open new perspectives in both mutation testing and test case generation of CPS.

This program is tentative and subject to change.

Mon 17 Apr

Displayed time zone: Dublin change

11:00 - 12:30
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