Theories of program testing and the application of revealing subdomains (1980)

by E Weyuker, T Ostrand
Venue:IEEE TSE