MUT4SLX : extensions for mutation testing of stateflow models
Source
IEEE International Conference on Software Analysis, Evolution and, Reengineering - Companion (SANER-C), MAR 12-15, 2024, Rovaniemi, Finland- (2024) p. 215-218
Threats to instrument validity within “in Silico” research : software engineering to the rescue
Source
Lecture notes in computer science-15222 () p. 82-96
MUT4SLX : fast mutant generation for Simulink
Source
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 11-15 September 2023, Luxembourg, Luxembourg- (2023) p. 2086-2089