Towards Security-aware Mutation Testing
Jan 1, 2017
On Featured Transition Systems
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
State machine flattening, a mapping study and tools assessment
Jan 1, 2015
Poster : VIBeS , Transition System Mutation Made Easy
Jan 1, 2015
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment
Jan 1, 2015
Towards Statistical Prioritization for Software Product Lines Testing
Jan 1, 2014
Coverage Criteria for Behavioural Testing of Software Product Lines
Jan 1, 2014