Poster: VIBeS, Transition System Mutation Made Easy

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

68 Downloads (Pure)


Mutation testing is an established technique used to evaluate the quality of a set of test cases. As model-based testing took momentum, mutation techniques were lifted to the model level. However, as for code mutation analysis, assessing test cases on a large set of mutants can be costly. In this paper, we introduce the Variability-Intensive Behavioural teSting (VIBeS) framework. Relying on Featured Transition Systems (FTSs), we represent all possible mutants in a single model constrained by a feature model for mutant (in)activation. This allow to assess all mutants in a single test case execution. We present VIBeS implementation steps and the DSL we defined to ease model-based mutation analysis.

Original languageEnglish
Title of host publicationProceedings - International Conference on Software Engineering
Place of PublicationFlorence, Italy
PublisherIEEE Computer Society Press
Number of pages2
ISBN (Print)9781479919345
Publication statusPublished - 12 Aug 2015
Event37th IEEE/ACM International Conference on Software Engineering, ICSE 2015 - Florence, Italy
Duration: 16 May 201524 May 2015


Conference37th IEEE/ACM International Conference on Software Engineering, ICSE 2015


  • Featured Transition Systems
  • Model-Based Mutation Testing
  • VIBeS


Dive into the research topics of 'Poster: VIBeS, Transition System Mutation Made Easy'. Together they form a unique fingerprint.

Cite this