Faculty of Science
Institute for Computing and Information Sciences
6525 EC Nijmegen, NL
In a recent report, Gartner has predicted that by 2024 more than 65% of all software development functions will rely on some kind of model-based software engineering (MBSE) technology. Nevertheless, there is still a long road before software engineering becomes a “model-based” discipline.
In practice, software models are often managed as tacit knowledge, paper sketches, or outdated artifacts. This lack of explicit documentation constitutes a technical debt and has been the cornerstone of my research work.
I am a postdoctoral researcher at Radboud University, working primarily on MBSE, Formal Methods, Software Product Lines (SPL), and Artificial Intelligence (AI).
With my research work, I aim to inform researchers and practitioners on the effectiveness and efficiency of existing MBSE techniques through empirical studies; and develop the next generation of MBSE concepts and tools for designing and analyzing complex software systems.
- Software Engineering (particularly, modeling, analysis, and testing)
- Model-Based Testing (MBT) and Model-Driven Engineering (MDE)
- Test Case Generation and Prioritization
- Search-Based Software Engineering (SBSE)
- Empirical Software Engineering
- Software Product Lines (SPL)
- Active Model learning
- Project Management
- Open Science and Research Data Management
Quality Guidelines for Research Artifacts in Model-Driven EngineeringIn 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Oct 2021
Learning by sampling: learning behavioral family models from software product linesEmpirical Software Engineering Jan 2021
Evaluating Test Characteristics and Effectiveness of FSM-Based Testing Methods on RBAC SystemsIn Proceedings of the 30th Brazilian Symposium on Software Engineering Jan 2016