MUT4SLX : extensions for mutation testing of stateflow models

Bron
IEEE International Conference on Software Analysis, Evolution and, Reengineering - Companion (SANER-C), MAR 12-15, 2024, Rovaniemi, Finland- (2024) p. 215-218