BIBLIOGRAPHIC NOTES
completeness of tests can be cast in
mutation framework.
Woodward has proposed mutating
algebraic specifications and generating
mutation-adequate test expressions
[527, 530]. The objective is to discover
errors in algebraic specifications.
Woodward has also developed a prototype
tool named OBJTEST to automate
portions of the proposed test process [529].
Murnane and Reed used a different
approach to test generation using
specification mutation. They considered
the elements of a specification as terminal
symbol sets of a language [336, 337].
Mutation operators then replace a terminal
by another terminal, as for example in
variable replacement. In one of the two
case studies reported by Murnane and
Reed, a mutation-adequate test set was able
to disco ...