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

by T J Ostrand, M J Balcer
Venue:Commun. ACM