Detecting Software Errors Before Execution (1981)

by Paul Richard Eggert