Testing programs with the aid of a compiler (1977)

by R Hamlet
Venue:IEEE Trans. Software Engineering