ICTSS 2023
Mon 18 - Wed 20 September 2023 Bergamo, Italy
Tue 19 Sep 2023 11:30 - 12:30 at Room 5 - Conference room - Keynote

This talk discusses failure analysis and mutation testing in CPS Simulink models. Due to the data-flow oriented nature of the computations, test cases can easily exercise every element in a CPS Simulink model, on one hand complicating failure analysis, and on the other hand dramatically simplifying coverage of the injected faults. This talk will discuss how to obtain and leverage information about the behavior of the components present in Simulink models to effectively determine the causes of failures. Further, it will present the notion of property-based mutation testing, as a better alternative to mutation testing in CPS Simulink models.

Tue 19 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:30 - 12:30
Failure Analysis in CPS Simulink Models
IFIP-ICTSS 35th International Conference on Testing Software and Systems
Leonardo Mariani University of Milano-Bicocca