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.


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


  • 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

(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

(2022). JUGE: An infrastructure for benchmarking Java unit test generators. Software Testing, Verification and Reliability.

PDF Project Project DOI

(2022). Towards Automated Testing for Simple Programming Exercises. Proceedings of the 4th International Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI ‘22).

PDF Code Project Video DOI

(2022). Generating Class-Level Integration Tests Using Call Site Information. IEEE Transactions on Software Engineering.

PDF Project DOI

(2022). Basic block coverage for search-based unit testing and crash reproduction. Empirical Software Engineering.

PDF Project DOI


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