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