An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation That Avoids the Unreliable Clean Program Assumption
- Submitting institution
-
University College London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 14308
- Type
- E - Conference contribution
- DOI
-
10.1109/ICSE.2017.61
- Title of conference / published proceedings
- Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017
- First page
- 597
- Volume
- -
- Issue
- -
- ISSN
- 0270-5257
- Open access status
- Not compliant
- Month of publication
- July
- Year of publication
- 2017
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
-
- Citation count
- 42
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Does covering more code find more faults? If so, how much and what should be covered? These simple questions have been tackled many times over three decades of software engineering research by many of the leaders of the field. This paper showed that there is an assumption – the clean program assumption – implicit in all this previous work, and that the assumption is unreliable. The paper thereby corrects the scientific record with regard to a foundational cornerstone of software testing. It has already proved hugely influential as the citation growth demonstrates.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -