ICST 2021
Mon 12 - Fri 16 April 2021
Wed 14 Apr 2021 16:00 - 16:30 at Porto de Galinhas - Faults and Fault Injection Chair(s): André T. Endo

Assessing operating system dependability remains a challenging problem, particularly in monolithic systems. Component interfaces are not well-defined and boundaries are not enforced at runtime. This allows faults in individual components to arbitrarily affect other parts of the system. Software fault injection (SFI) can be used to experimentally assess the resilience of such systems in the presence of faulty components. However, applying SFI to complex, monolithic operating systems poses challenges due to long test latencies and the difficulty of detecting corruptions in the internal state of the operating system.

In this paper, we present a novel approach that leverages static and dynamic analysis alongside modern operating system and virtual machine features to reduce SFI test latencies for operating system kernel components while enabling efficient and accurate detection of internal state corruptions.

We demonstrate the feasibility of our approach by applying it to multiple widely used Linux file systems.

Wed 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

15:30 - 17:00
Faults and Fault InjectionResearch Papers at Porto de Galinhas
Chair(s): André T. Endo Federal University of Technology - Paraná (UTFPR)
15:30
30m
Paper
An Empirical Study of Flaky Tests in Python
Research Papers
Martin Gruber BMW Group, Stephan Lukasczyk University of Passau, Florian Kroiß , Gordon Fraser University of Passau
Pre-print
16:00
30m
Paper
Fast Kernel Error Propagation Analysis in Virtualized Environments
Research Papers
Nicolas Coppik TU Darmstadt, Oliver Schwahn TU Darmstadt, Neeraj Suri
16:30
30m
Paper
Dissecting Strongly Subsuming Second-Order Mutants
Research Papers
João Paulo Diniz Federal University of Minas Gerais, Brazil, Chu-Pan Wong Carnegie Mellon University, USA, Christian Kästner Carnegie Mellon University, Eduardo Figueiredo Federal University of Minas Gerais, Brazil