Xavier Devroey, Ph.D.

Hi, welcome to my homepage!


Xavier Devroey

Xavier Devroey

Assistant Professor

University of Namur

About me

My name is Xavier Devroey. I am an assistant professor of software engineering at the University of Namur, where, together with Benoît Vanderose, we co-lead the SNAIL Team. My research goal is to ease software testing by exploring new paths to achieve a high level of automation for test case design, generation, selection, and prioritization. My main research interests include search-based and model-based software testing, test suite augmentation, DevOps, and variability-intensive systems.

Interests

  • Search-Based Software Testing
  • Model-Based Testing
  • Mutation Testing
  • Variability Modeling
  • Software Product Line Testing

Education

  • Ph.D. in Computer Science, 2017

    University of Namur, Belgium

  • Master in Computer Science, 2010

    University of Namur, Belgium

  • Bachelor Analyst Programmer, 2007

    Haute Ecole de Bruxelles, Belgium

Recent Publications

(2024). Towards LLM-Generated Code Tours for Onboarding. Proceedings of the 2024 ACM/IEEE International Workshop on NL-based Software Engineering (NLBSE ‘24).

PDF Dataset Project DOI

(2024). Debt Stories: Capturing Social and Technical Debt in the Industry. International Conference on Technical Debt (TechDebt ‘24).

PDF Dataset Project DOI

(2024). VaryMinions: Leveraging RNNs to Identify Variants in Variability-intensive Systems' Logs. Empirical Software Engineering.

PDF

(2024). Towards Feature-based ML-enabled Behaviour Location. Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2024).

PDF Project DOI

(2023). An Empirical Evaluation of Regular and Extreme Mutation Testing for Teaching Software Testing. Proceedings of the 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘23).

PDF Dataset Project DOI

Courses

Bachelor in Computer Science

  • INFOB302 - Introduction to Scientific Research
  • INFCB112/LSINC1103 - Introduction to Algorithms
  • INFCB313/LSINC1509 - Software Project 4

Master in Computer Science

  • INFOM124 - Software Verification and Validation
  • INFOM125 - Software Testing and Quality
  • INFOM126 - Automated Software Engineering
  • INFOM227 - Program Analysis for Cybersecurity