Concurrency analysis in the presence of procedures using a data-flow framework (1991)

by Evelyn Duesterwald, Mary Lou Soffa
Venue:In Symposium on Testing, Analysis, and Verification