ICST 2024
Mon 27 - Fri 31 May 2024 Canada
Tue 28 May 2024 11:30 - 12:00 at Room 4 - Session 1

This paper enhances Model-in-the-Loop (MIL) test- ing for real-time systems using model-based mutation analysis. We introduce mutation operators for Simulink models based on AUTOSAR, addressing temporal correctness in Simulink-to-OS task mapping. Our framework reveals task interference issues in implicit clock Simulink models, supporting automated mutation testing. Our proposed Timed mutation operators for ML/SL models are used to evaluate tool with a timed task model for enhanced MIL simulation.

Tue 28 May

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Session 1Mutation at Room 4
11:00
30m
Talk
Mutant-Kraken: A Mutation Testing Tool for Kotlin
Mutation
Josue Morales Towson University, Lin Deng Towson University, Josh Dehlinger Towson University, Suranjan Chakraborty Towson University
11:30
30m
Talk
Timed Model-Based Mutation Operators for Simulink Models
Mutation
Jian Chen Queen's University, Manar Alalfi Toronto Metropolitan University, Thomas Dean
12:00
30m
Talk
Improving the Efficacy of Testing Scientific Software: Insights from Mutation Testing
Mutation
Kris Roker University of North Florida, Upulee Kanewala University of North Florida