ICTSS 2025
Wed 17 - Fri 19 September 2025 Limassol, Cyprus
co-located with ECSA 2025
Thu 18 Sep 2025 16:00 - 16:25 at Atrium C - Foundations and Advanced Testing Techniques Chair(s): Bertrand Meyer

Assertions are a classical and typical software development technique. These are extensively used also in operating systems and their kernels, including the Linux kernel. The paper patches a gap in existing knowledge by empirically examining the longitudinal evolution of assertion use in the Linux kernel. According to the results, the use of assertions that cause a kernel panic has slightly but not substantially decreased from the kernel’s third to the sixth release series. At the same time, however, the use of softer assertion variants has increased; these do not cause a panic by default but instead produce warnings. With these time series results, the paper contributes to the existing but limited empirical knowledge base about operating system kernels and their long-term evolution.

Thu 18 Sep

Displayed time zone: Athens change

16:00 - 17:40
Foundations and Advanced Testing TechniquesGeneral Track at Atrium C
Chair(s): Bertrand Meyer Constructor Institute Schaffhausen
16:00
25m
Talk
A Time Series Analysis of Assertions in the Linux Kernel
General Track
Jukka Ruohonen University of Southern Denmark
16:25
25m
Talk
Loop unrolling: formal definition and application to testing
General Track
Li Huang Constructor Institute Schaffhausen, Reto Weber PhD Student of Constructor Institute of Technology, Bertrand Meyer Constructor Institute Schaffhausen
16:50
25m
Talk
On using Homing Sequences instead of Distinguishing in FSM-based Testing
General Track
Natalia Kushik SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Nina Yevtushenko Ivannikov Institute for System Programming of the RussianAcademy of Sciences
17:15
25m
Talk
Testability Indicators for Refactoring
General Track
Tom Holvoet imec-DistriNet KU Leuven