
Test-Adequacy Assessment Using Program Mutation
Mutant M2 of Program P7.2
FOVN EBOHFS-FWFM \OPOF NPEFSBUF IJHI WFSZ)JHI^E
QSPDFEVSF DIFDL5FNQ DVSSFOU5FNQ NBY5FNQ\
GMPB DVSSFOU5FNQ<> NBY5FNQ JOU IJHI$PVOU
FOVN EBOHFS-FWFM EBOHFS
EBOHFS OPOF
JG DVSSFOU5FNQ<>>NBY5FNQ
IJHI$PVOU
JG DVSSFOU5FNQ<>>NBY5FNQ
IJHI$PVOUIJHI$PVOU
JG DVSSFOU5FNQ<>>NBY5FNQ
IJHI$PVOUIJHI$PVOU
JG IJHI$PVOU ≥ EBOHFSmoderate ← Mutated statement
JG IJHI$PVOU EBOHFShigh
JG IJHI$PVOU EBOHFSveryHigh
SFUVSOEBOHFS
^
It is easy to check that for all triples of input temperature values and
the maximum allowa ...