Assessing test data adequacy through program inference (1983)

by Elaine J. Weyuker
Venue:ACM Transactions on Programming Languages and Systems