@inproceedings{272d41d037284fa1baf2dcc6c9d90a2f,
title = "On the relationships of faults for Boolean specification based testing",
abstract = "Various methods of generating test cases based on Boolean specifications have previously been proposed. These methods are fault-based in the sense that test cases are aimed at detecting particular types of faults. Empirical results suggest that these methods are good at detecting particular types of faults. However, there is no information on the ability of these test cases in detecting other types of faults. This paper summarizes the relationships of faults in a Boolean expression in the form of a hierarchy. A test case that detects the faults at the lower level of the hierarchy will always detect the faults at the upper level of the hierarchy. The hierarchy helps us to better understand the relationships of faults in a Boolean expression, and hence to select fault-detecting test cases in a more systematic and efficient manner.",
keywords = "Boolean expression, Fault class analysis, Specification based testing, Verification",
author = "Lau, \{M. F.\} and Yu, \{Y. T.\}",
year = "2001",
doi = "10.1109/ASWEC.2001.948494",
language = "English",
isbn = "769512542",
volume = "2001-January",
publisher = "IEEE Computer Society",
pages = "21--28",
booktitle = "Proceedings of the Australian Software Engineering Conference, ASWEC",
address = "United States",
note = "Australian Software Engineering Conference, ASWEC 2001 ; Conference date: 27-08-2001 Through 28-08-2001",
}