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

Martin Balfroid, Pierre Luycx, Benoît Vanderose, Xavier Devroey (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

Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Kifetew, Annibale Panichella, Sebastiano Panichella (2022). JUGE: An infrastructure for benchmarking Java unit test generators. Software Testing, Verification and Reliability.

PDF Project Project DOI

Pierre Ortegat, Benoit Vanderose, Xavier Devroey (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

Pouria Derakhshanfar, Xavier Devroey, Annibale Panichella, Andy Zaidman, Arie van Deursen (2022). Generating Class-Level Integration Tests Using Call Site Information. IEEE Transactions on Software Engineering.

PDF Project DOI

Pouria Derakhshanfar, Xavier Devroey, Andy Zaidman (2022). Basic block coverage for search-based unit testing and crash reproduction. Empirical Software Engineering.

PDF Project DOI

See all publications

Projects

CyberExcellence

The CyberExcellence project started in January 2022 under the umbrella of the CyberWal initiative and is funded by the Walloon region. It aims to position Wallonia as a major player in cybersecurity on the national and international map by developing a core framework allowing the implementation of solutions based on practical and thoughtful cybersecurity with a competitive advantage.
Website
CyberExcellence

JUnit Testing Tool Competition

The JUnit Testing Tool Competition is held at the SBST workshop co-located with ICSE. The contest’s infrastructure (JUGE) has been developed and used in testing contests during yearly events since 2013.
Code
JUnit Testing Tool Competition

ARIAC

ARIAC by DigitalWallonia4.ai is a research project funded by the Wallonia region bringing together the five French-speaking universities and four Walloon research centres with the primary objective to accelerate the development of artificial intelligence technologies in Wallonia.
Website
ARIAC
See all

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

Recent Posts

SSBSE 2021 Program co-chair

Last Monday and Tuesday 11 and 12 October 2021 took place the 13th edition of the Symposium on Search-Based Software Engineering (SSBSE ’21). This symposium is held every year and brings together specialists in evolutionary computation applied to software engineering (SBSE).
Oct 15, 2021 3 min read
SSBSE 2021 Program co-chair

TestEd 2020

Last Wednesday (28/10/2020), I attended the first edition of the Software Testing Education Workshop, co-located with ICST 2020. The workshop was initially supposed to be held in Porto. Unfortunately, with the COVID-19 pandemic and the travel restrictions, ICST and all the workshops had to be held over Zoom.
Oct 31, 2020 2 min read Tips
TestEd 2020

SSBSE 2020 Best Paper Award

Last Thursday (08/10/2020), we received a best paper award for our paper entitled It is not Only About Control Dependent Nodes: Basic Block Coverage for Search-Based Crash Reproduction. In this paper, we revisit the approach level and branch distance heuristics widely used for white-box test generation.
Oct 11, 2020 1 min read Research results
SSBSE 2020 Best Paper Award
See all posts

Popular Topics

Artificial Intelligence Case Study Crash Reproduction Education Event-B Feature Model Featured Transition Systems KAOS Model-Based Testing Model-Checking Mutation Testing Pandemic Programming Prioritization Requirements Engineering Search-Based Software Testing Software Engineering Software Product Line Software Testing Statistical Testing Variability-Intensive System