![](/project/bsr/featured.png)
BSR aims at developing novel techniques and tools to analyse software systems in vivo - making it possible to visualize behaviour, create models, check conformance, predict problems, and recommend corrective actions.
More information are available on the BSR website.
![Xavier Devroey](/author/xavier-devroey/avatar_hudaf67c4a3d137a555edfadfc0d5adee1_286963_270x270_fill_q90_lanczos_center.jpeg)
Xavier Devroey
Assistant Professor
My research interests include search-based and model-based software testing, test suite augmentation, DevOps, and variability-intensive systems engineering.
Related
Publications
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 …
Model-based mutant equivalence detection using automata language equivalence and simulations
Mutation analysis is a popular technique for assessing the strength of test suites. It relies on the mutation score, which indicates …
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