Crash Reproduction

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.

Behavioral Model Seeding for Search-based Crash Reproduction

Big Software on the Run (3TU BSR)

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.

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 function that uses a weighted sum scalarization to combine three different heuristics: (i) code coverage, (ii) …