A formal notion of program-based test data adequacy (1983)

by M D Davis, E J Weyuker
Venue:Information and Control