Using Function Abstraction to Understand Program Behaviour (1990)

by P A Haulser, M G Pleszkoch, R C Linger, A R Hevner
Venue:IEEE Software