Research team
Expertise
Areas of his interest are model-based verification & validation of both software & hardware systems, model-based testing, and mutation testing. He is currently working on model-based ideal testing methods to show both the presence and absence of specific faults in software & hardware systems based on holistic testing (positive and negative testing (aka fuzz testing)) and mutation testing. He is also a scientific researcher at the EFFECTS project to integrate mutation testing of Simulink models in the industrial setting and at the EU-funded INNO2MARE project to model and test digital twins for maritime systems.