Mutation Testing Approach to Negative Testing

Box 12

An outline of mutants execution procedure.

INPUT: ,

OUTPUT: OT

for each   ∈   do

 reset()

 OT = run(, )

OT = OT OT