CDN (Diego) Damasceno

Postdoctoral Researcher @ Radboud University.


Radboud University

Faculty of Science

Institute for Computing and Information Sciences

Toernooiveld 212

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.

Research Interests

  • 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

selected publications

  1. Quality Guidelines for Research Artifacts in Model-Driven Engineering
    Damasceno, Carlos Diego Nascimento, and Strüber, Daniel
    In 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Oct 2021
  2. Learning by sampling: learning behavioral family models from software product lines
    Damasceno, Carlos Diego Nascimento, Mousavi, Mohammad Reza, and Simao, Adenilso da Silva
    Empirical Software Engineering Jan 2021
  3. Evaluating Test Characteristics and Effectiveness of FSM-Based Testing Methods on RBAC Systems
    Damasceno, Carlos Diego Nascimento, Masiero, Paulo Cesar, and Simao, Adenilso
    In Proceedings of the 30th Brazilian Symposium on Software Engineering Jan 2016