An error-based testing strategy (1981)

by E J WEYUKER