Featured Model-based Mutation Analysis

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

137 Downloads (Pure)


Model-based mutation analysis is a powerful but expensive testing technique. We tackle this problem by proposing an optimization technique that drastically speeds up the mutant execution process. Central to this approach is the Featured Mutant Model, a modeling framework for mutation analysis inspired by the software product line paradigm. It uses behavioral variability models, viz., Featured Transition Systems, which enable the optimized generation, configuration and execution of mutants. We provide results, based on models with thousands of transitions, suggesting that our technique is fast and scalable. We found that it outperforms previous approaches by several orders of magnitude and that it makes higher-order mutation practically applicable.
Original languageEnglish
Title of host publicationProceedings of the 38th international conference on Software Engineering
Place of PublicationAustin, TX, USA
PublisherACM Press
Number of pages12
ISBN (Print)978-1-4503-3900-1
Publication statusPublished - May 2016

Publication series

NameICSE '16


  • featured transition systems
  • mutation analysis
  • variability


Dive into the research topics of 'Featured Model-based Mutation Analysis'. Together they form a unique fingerprint.

Cite this