Software Testing AMPlification (EU H2020 STAMP)
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.
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
Crash reproduction difficulty, an initial assessment
This study presents the initial step towards a thorough analysis of the difficulty to reproduce a crash using search-based crash …
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 …
