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). Exploiting Semantic Search and Object-Oriented Programming to Ease Multimodal Interface Development. Companion of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS Companion ‘24).

PDF DOI

(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

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