The category-partition method for specifying and generating functional tests (1988)

by T J Ostrand, M J Balcer
Venue:Communications ACM