
STAMP aims at bringing test automation and amplification to the DevOps world. During my postdoc at TU Delft, I assumed the daily supervision and coordination of the scientific work package runtime amplification and the edition of the TU Delft deliverables.
More information are available on the STAMP website.

Xavier Devroey
Postdoctoral Researcher
My research interests include search-based and model-based software testing, test suite augmentation, DevOps, and variability-intensive systems engineering.
Related
Posts
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.
Publications
An Application of Model Seeding to Search-based Unit Test Generation for Gson
Model seeding is a strategy for injecting additional information in a search-based test generation process in the form of models, …
Commonality-Driven Unit Test Generation
Various search-based test generation techniques have been proposed to automate the generation of unit tests fulfilling different …
Botsing, a Search-based Crash Reproduction Framework for Java
Approaches for automatic crash reproduction aim to generate test cases that reproduce crashes starting from the crash stack traces. …
Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives
Writing a test case reproducing a reported software crash is a common practice to identify the root cause of an anomaly in the software …
Search-based Crash Reproduction using Behavioral Model Seeding
Search-based crash reproduction approaches assist developers during debugging by generating a test case, which reproduces a crash given …
A benchmark-based evaluation of search-based crash reproduction
Crash reproduction approaches help developers during debugging by generating a test case that reproduces a given crash. Several …
Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack
Many approaches for testing configurable software systems start from the same assumption: it is impossible to test all configurations. …
Uniform Sampling of SAT Solutions for Configurable Systems : Are We There Yet ?
Uniform or near-uniform generation of solutions for large satisfiability formulas is a problem of theoretical and practical interest …
Single-objective Versus Multi-objectivized Optimization for Evolutionary Crash Reproduction
EvoCrash is a recent search-based approach to generate a test case that reproduces reported crashes. The search is guided by a fitness …
Mozhan Soltani, Pouria Derakhshanfar, Annibale Panichella, Xavier Devroey, Andy Zaidman, Arie van Deursen
Talks
Accurate API Misuse Detection via Exception Propagation and Search-based Testing
Jan 30, 2019 11:00 — 11:30
INRIA Sophia Antipolis