| 1 | Kalpesh Kapoor
Formal Analysis of Coupling Hypothesis for Logical Faults
Innovations in Systems and Software Engineering, 2(2), July 2006. |
|
| | Abstract: Fault-based testing focuses on detecting faults in a software. Test data is typically generated considering the presence of a single fault at a time, under the assumption of coupling hypothesis. Fault-based testing approach, in particular mutation testing, assumes that the coupling hypothesis holds. According to the hypothesis, a test set that can detect presence of single faults in an implementation, is also likely to detect presence of multiple faults. In this paper it is formally shown that the hypothesis is guaranteed to hold for a large number of logical fault classes. |
| | @ARTICLE{Kapoor06,
author = {Kalpesh Kapoor},
title = {Formal Analysis of Coupling Hypothesis for Logical Faults},
journal = {Innovations in Systems and Software Engineering},
year = {2006},
month = {July},
volume = {2},
number = {2},
pages = {80-87}
} |
| 2 | Kalpesh Kapoor and Jonathan P. Bowen
Ordering Mutants to Minimise Test Effort in Mutation Testing
Proceedings of the 4th International Workshop on Formal Approaches to Software Testing (FATES'04)Linz, Austria, 21 September 2005. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KapoorB05,
author = {Kalpesh Kapoor and Jonathan P. Bowen},
title = {Ordering Mutants to Minimise Test Effort in Mutation Testing},
booktitle = {Proceedings of the 4th International Workshop on Formal Approaches to Software Testing (FATES'04)},
year = {2005},
address = {Linz, Austria},
month = {21 September},
pages = {195-209}
} |
