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
Mutation testing optimisations using the Clang front‐end
Source
Software: testing, verification and reliability - ISSN 0960-0833-34:1 (2024) p. 1-34
Indoor air quality for heritage objects and human health : just a different interpretation of the same measurements?
Source
Air quality, atmosphere & health - ISSN 1873-9318-17:1 (2024) p. 19-34
A digital twin description framework and its mapping to asset administration shell
Source
Model-Driven Engineering and Software Development / Luís Ferreira Pires [edit.], et al. [edit.]- () p. 1-24