Assessing test data adequacy through program inference (1983)

by E J Weyuker
Venue:ACM Transactions on Program- ming Languages and Systems (TOPLAS