1

{BEIZ83} Boris Beizer, "Software Testing Techniques", Van Nostrand Reinhold Company, Inc., 135 West 50th Street, New York, 1983.

2

Richard D. Eldred, Test Routines Based on Symbolic Logical Statements, Journal of the ACM (JACM), v.6 n.1, p.33-37, Jan. 1959  [doi>10.1145/320954.320957]

3

Kenneth A. Foster, Comment on "The application of error-sensitive testing strategies to debugging", ACM SIGSOFT Software Engineering Notes, v.8 n.5, p.40-42, October 1983  [doi>10.1145/1010914.1010921]

4

{HAYE71} John P. Hayes, "On Realizations of Boolean Functions Requiring a Minimal or Near-Minimal Number of Tests", IEEE Transactions on Computers, Vol C-20, No. 12, Dec 1971, pp 1506--1513.

5

William E. Howden, Validation of Scientific Programs, ACM Computing Surveys (CSUR), v.14 n.2, p.193-227, June 1982  [doi>10.1145/356876.356880]

6

Glenford J. Myers, Art of Software Testing, John Wiley & Sons, Inc., New York, NY, 1979

Juei Chang , Debra J. Richardson , Sriram Sankar, Structural specification-based testing with ADL, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.62-70, May 1996

D. Richard Kuhn, Fault classes and error detection capability of specification-based testing, ACM Transactions on Software Engineering and Methodology (TOSEM), v.8 n.4, p.411-424, Oct. 1999

W. Howden, Validating programs without specifications, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.2-9, Dec. 1989

Nigel Daley , Daniel Hoffman , Paul Strooper, A framework for table driven testing of Java classes, Software—Practice & Experience, v.32 n.5, p.465-493, 25 April 2002

K. A. Foster, Revision of an error sensitive test rule, ACM SIGSOFT Software Engineering Notes, v.10 n.1, p.62-67, January 1985

Amit Paradkar, A new solution to test generation for Boolean expressions, Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research, p.48, November 07-09, 1995, Toronto, Ontario, Canada

Ioannis Stamelos, Detecting associative shift faults in predicate testing, Journal of Systems and Software, v.66 n.1, p.57-63, 15 April 2003

Juei Chang , Debra J. Richardson, Structural specification-based testing: automated support and experimental evaluation, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.285-302, Nov. 1999

E. Weyuker , T. Goradia , A. Singh, Automatically Generating Test Data from a Boolean Specification, IEEE Transactions on Software Engineering, v.20 n.5, p.353-363, May 1994

Debra J. Richardson , Margaret C. Thompson, An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection, IEEE Transactions on Software Engineering, v.19 n.6, p.533-553, June 1993

Kuo-Chung Tai, Theory of Fault-Based Predicate Testing for Computer Programs, IEEE Transactions on Software Engineering, v.22 n.8, p.552-562, August 1996

Man F. Lau , Yuen T. Yu, An extended fault class hierarchy for specification-based testing, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.3, p.247-276, July 2005

William E. Howden, Comments Analysis and Programming Errors, IEEE Transactions on Software Engineering, v.16 n.1, p.72-81, January 1990

Yuen Tak Yu , Man Fai Lau , Tsong Yueh Chen, Automatic generation of test cases from boolean specifications using the MUMCUT strategy, Journal of Systems and Software, v.79 n.6, p.820-840, June 2006

Yuen Tak Yu , Man Fai Lau, A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions, Journal of Systems and Software, v.79 n.5, p.577-590, May 2006

Zhenyu Chen , Baowen Xu , Changhai Nie, A detectability analysis of fault classes for Boolean specifications, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil

K. A. Foster, Testing by identifying, ACM SIGSOFT Software Engineering Notes, v.14 n.5, p.64-65, July 1989

K. C. Tai, What to do beyond branch testing, ACM SIGSOFT Software Engineering Notes, v.14 n.2, p.58-61, April 1989

T. Y. Chen , M. F. Lau , K. Y. Sim , C. A. Sun, On detecting faults for Boolean expressions, Software Quality Control, v.17 n.3, p.245-261, September 2009