@inproceedings{10662423e2a9476ab6b4f4400caaf3be,
title = "MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications",
abstract = "In this paper we study the MUMCUT strategy that integrates the MUTP, MNFP and CUTPNFP strategies previously proposed separately for testing Boolean specifications. The MUMCUT strategy guarantees to detect seven types of faults found in Boolean expressions. We describe an implementation of generating test sets that satisfy the MUMCUT strategy, and empirically evaluate its cost effectiveness. With respect to a previously published set of Boolean expressions derived from a real specification, we find that on average the MUMCUT strategy requires only about one quarter the size of an exhaustive test set. Moreover, the MUMCUT strategy proves to be a substantial improvement to the MAX-A and MAX-B strategies which detect the same types of faults.",
keywords = "Black-box testing, specification-based testing, test case selection strategy",
author = "Chen, \{T. Y.\} and Lau, \{M. F.\} and Yu, \{Y. T.\}",
year = "1999",
month = dec,
doi = "10.1109/APSEC.1999.809656",
language = "English",
isbn = "0769505090",
series = "Proceedings ... Asia Pacific Software Engineering Conference",
publisher = "IEEE",
pages = "606--613",
booktitle = "Proceedings Sixth Asia Pacific Software Engineering Conference (APSEC'99)",
address = "United States",
note = "6th Asia Pacific Software Engineering Conference (APSEC'99), APSEC'99 ; Conference date: 07-12-1999 Through 10-12-1999",
}