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

(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

(2022). GitDelver Enterprise Dataset (GDED): An Industrial Closed-source Dataset for Socio-Technical Research. 19th International Conference on Mining Software Repositories (MSR ‘22).

PDF Code 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