Software Testing AMPlification (EU H2020 STAMP)
Xavier Devroey
Postdoctoral Researcher
My research interests include search-based and model-based software testing, test suite augmentation, DevOps, and variability-intensive systems engineering.
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 …
It is not Only About Control Dependent Nodes: Basic Block Coverage for Search-Based Crash Reproduction
Search-based techniques have been widely used for white-box test generation. Many of these approaches rely on the approach level and …
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 …
Crash Reproduction Using Helper Objectives
Evolutionary-based crash reproduction techniques aid developers in their debugging practices by generating a test case that reproduces …
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. …
Effective and efficient API misuse detection via exception propagation and search-based testing
Application Programming Interfaces (APIs) typically come with (implicit) usage constraints. The violations of these constraints (API …
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 …
Talks
Commonality-Driven Unit Test Generation
Various search-based test generation techniques have been proposed to automate the generation of unit tests fulfilling different …
