Variability Intensive system Behavioural teSting (VIBeS)
This projects aims at providing model-driven testing tools working on Transition Systems, Featured Transition Systems and Usage Models in order to perform various testing tasks: test case selection, prioritization, mutation testing, etc.
Xavier Devroey
Assistant Professor
My research interests include search-based and model-based software testing, test suite augmentation, DevOps, and variability-intensive systems engineering.
Publications
A Decade of Featured Transition Systems
Variability-intensive systems (VIS) form a large and heterogeneous class of systems whose behaviour can be modified by enabling or …
AbsCon : A Test Concretizer for Model-based Testing
Test definition and execution is an essential but time-consuming task during system development. To speed up the process, model-based …
Model-based mutant equivalence detection using automata language equivalence and simulations
Mutation analysis is a popular technique for assessing the strength of test suites. It relies on the mutation score, which indicates …
Statistical prioritization for software product line testing: an experience report
Software product lines (SPLs) are families of software systems sharing common assets and exhibiting variabilities specific to each …
Behavioural model-based testing of software product lines
SPL engineering is a sub-discipline of software engineering based on the idea that products of the same family can be built by …
On Featured Transition Systems
Software Product Lines (SPLs) are families of similar software products built from a common set of features. As the number of products …
Featured model-based mutation analysis
Model-based mutation analysis is a powerful but expensive testing technique. We tackle this problem by proposing an optimization …
Search-based Similarity-driven Behavioural SPL Testing
Dissimilar test cases have been proven to be effective to reveal faults in software systems. In the Software Product Line (SPL) …
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment
Structural approaches to Software Product Lines (SPL) testing (such as pairwise testing) have gained momentum as they are able to scale …
Poster : VIBeS , Transition System Mutation Made Easy
Mutation testing is an established technique used to evaluate the quality of a set of test cases. As model-based testing took momentum, …
State machine flattening, a mapping study and tools assessment
State machine formalisms equipped with hierarchy and parallelism allow to compactly model complex system behaviours. Such models can …
A Variability Perspective of Mutation Analysis
Mutation testing is an effective technique for either improving or generating fault-finding test suites. It creates defective or …
Abstract Test Case Generation for Behavioural Testing of Software Product Lines
In Model Based Testing (MBT), test cases are generated automatically from a partial representation of expected behaviour of the System …
Coverage Criteria for Behavioural Testing of Software Product Lines
Featured Transition Systems (FTS) is a mathematical structure to represent the behaviour of software product line in a concise way. The …