CDN (Diego) Damasceno

Model-Based Methodologies | Software Engineering | Testing | Variability


According to a recent report by Gartner, the future of software development is predicted to rely heavily on model-based methodologies, with over 65% of all software development functions adopting this approach. Despite this exciting potential, much work must be done before software engineering becomes truly “model-based”.

I am a software engineer at ASML working on developing model-based tools and methodologies for testing semiconductor manufacturing processes. I invite you to explore my website and learn more about my career, stories, and publications.

Main Interests

  • Model-Based Testing (MBT) and Model-Driven Engineering (MDE)
  • Software Product Lines, Variability and Configurability
  • Software and System Modeling Methodologies
  • Test Case Generation and Prioritization

selected publications

  1. An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning
    Bharat Garhewal, and Carlos Diego Nascimento Damasceno
    In 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2023
  2. Adaptive Behavioral Model Learning for Software Product Lines
    Shaghayegh Tavassoli, Carlos Diego N. Damasceno, Ramtin Khosravi, and 1 more author
    In Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A, Oct 2022
    (Best Paper Award - Research Track)
  3. Quality Guidelines for Research Artifacts in Model-Driven Engineering
    Carlos Diego Nascimento Damasceno, and Daniel Strüber
    In 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2021
  4. Learning by sampling: learning behavioral family models from software product lines
    Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, and Adenilso da Silva Simao
    Empirical Software Engineering, Jan 2021
  5. Evaluating Test Characteristics and Effectiveness of FSM-Based Testing Methods on RBAC Systems
    Carlos Diego Nascimento Damasceno, Paulo Cesar Masiero, and Adenilso Simao
    In Proceedings of the 30th Brazilian Symposium on Software Engineering, Jan 2016
    (3rd Best Paper Award)