Using Function Abstraction to Understand Program Behavior (1990)

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