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
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