Basic Operations for Generating Behavioral Mutants

Authors:
Fevzi Belli;Christof J. Budnik;W. Eric Wong
Affiliations:
University of Paderborn, Germany;University of Paderborn, Germany;University of Texas at Dallas, Richardson, TX
Venue:
MUTATION '06 Proceedings of the Second Workshop on Mutation Analysis
Year:
2006

Citing 0
Cited 3

Protocol-Based Testing of Firewalls

SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
On the Reuse of TLM Mutation Analysis at RTL

Journal of Electronic Testing: Theory and Applications
Using regular grammars for event-based testing

CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper attempts to subsume the existing great variety of mutation operations to two basic operations, insertion and omission and their combinations. These basic operations are applied to different elements of graph-based models of increasing representation power. A case study applies the approach to these models for generating mutants of different features and compares the fault detection capacity of the mutants generated.