TY  - JOUR
SN  - 0020-0190
UR  - https://doi.org/10.1016/j.ipl.2019.04.001
A1  - Clark, D
A1  - Hierons, RM
A1  - Patel, K
JF  - Information Processing Letters
VL  - 149
SP  - 6
N1  - This version is the author accepted manuscript. For information on re-use, please refer to the publisher?s terms and conditions.
PB  - ELSEVIER SCIENCE BV
ID  - discovery10079131
N2  - Failed Error Propagation (FEP) can reduce test effectiveness and recent work proposed an information theoretic measure, Squeeziness, as the theoretical basis for avoiding FEP. This paper demonstrates that Squeeziness is not suitable for comparing programs with different input domains. We then extend Squeeziness to Normalised Squeeziness and demonstrate that this is more generally useful.
KW  - Software engineering
KW  -  Formal methods
KW  -  Software testing
KW  -  Fault masking
EP  - 9
Y1  - 2019/09//
AV  - public
TI  - Normalised Squeeziness and Failed Error Propagation
ER  -