Xavier Devroey
Open Menu
Close Menu
Home
Publications
Courses
SNAIL team
Model-Based Testing
A Decade of Featured Transition Systems
Oct 1, 2019
AbsCon : A Test Concretizer for Model-based Testing
Jan 1, 2019
Model-based mutant equivalence detection using automata language equivalence and simulations
Jul 1, 2018
Statistical prioritization for software product line testing: an experience report
Feb 1, 2017
On Featured Transition Systems
Jan 1, 2017
Behavioural model-based testing of software product lines
Jan 1, 2017
Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
Jan 1, 2017
Featured model-based mutation analysis
May 1, 2016
Search-based Similarity-driven Behavioural SPL Testing
Jan 1, 2016
Poster : VIBeS , Transition System Mutation Made Easy
Jan 1, 2015
Next »