Elaine J. Weyuker Tarak Goradia Ashutosh Singh Automatically Generating Test Data from a Boolean Specification. 353-363 http://www.computer.org/tse/ts1994/e0353abs.htm 1994 20 IEEE Trans. Software Eng. 5 db/journals/tse/tse20.html#WeyukerGS94