Automatically Generating Test Data from a Boolean Specification

Elaine J. Weyuker, Tarak Goradia, Ashutosh Singh. Automatically Generating Test Data from a Boolean Specification. IEEE Trans. Software Eng., 20(5):353-363, 1994. [doi]