Clark, D;
Hierons, RM;
Patel, K;
(2019)
Normalised Squeeziness and Failed Error Propagation.
Information Processing Letters
, 149
pp. 6-9.
10.1016/j.ipl.2019.04.001.
Preview |
Text
Clark_Normalised Squeeziness and Failed Error Propagation_AAM.pdf - Accepted Version Download (305kB) | Preview |
Abstract
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.
| Type: | Article |
|---|---|
| Title: | Normalised Squeeziness and Failed Error Propagation |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1016/j.ipl.2019.04.001 |
| Publisher version: | https://doi.org/10.1016/j.ipl.2019.04.001 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| Keywords: | Software engineering, Formal methods, Software testing, Fault masking |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10079131 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
