A recursion theoretic approach to program testing (1987)

by J C Cherniavsky, C H Smith
Venue:IEEE Trans. Software Engineering