Validity frame-enabled model-based engineering processes
Source
Simulation - ISSN 0037-5497- (2023) p. 1-42
MUT4SLX : fast mutant generation for Simulink
Source
- ISSN 2643-1572- (2023) p. 2086-2089
Analyzing variant forks of software repositories from social coding platforms
Source
Software ecosystems : tooling and analytics-p. 131-152
Mutation testing optimisations using the Clang front‐end
Source
Software: testing, verification and reliability - ISSN 0960-0833- (2023) p. 1-34
Bi-objective lexicographic optimization in Markov decision processes with related objectives
Source
Lecture notes in computer science- () p. 203-223