4TSAI W T, VOLOVIK D, TKEEFE T F. Automated test case genera- tion for programs specified by relational algebra queries [ J]. IEEE Trans on Software Engineering, 1990,16 ( 3 ) :316- 324.
5WEYUKER E, GORADIA T, SINGH A. Automatically generating test case data from boolean specification [ J ]. IEEE Trans on Software Enginnering, 1994,20 ( 4 ) :353-363.