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
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
Analyzing variant forks of software repositories from social coding platforms
Source
Software ecosystems : tooling and analytics-p. 131-152