Title :
Basic Operations for Generating Behavioral Mutants
Author :
Belli, Fevzi ; Budnik, Christof J. ; Wong, W. Eric
Author_Institution :
Dept. of Comput. Sci., Univ. of Paderborn, Paderborn
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.
Keywords :
graph theory; program testing; behavioral mutant generation; graph-based models; insertion operation; omission operation; Automata; Computer science; Fault detection; Flow graphs; Genetic mutations; Graphics; Mathematics; Performance evaluation; Power system modeling; System testing;
Conference_Titel :
Mutation Analysis, 2006. Second Workshop on
Conference_Location :
Raleigh, NC
Print_ISBN :
0-7695-2897-X
DOI :
10.1109/MUTATION.2006.2
