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

by T Ostrand, M Balcer
Venue:Comm. ACM