Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework.
Evelyn Duesterwald, Mary Lou Soffa
VenueAISSTA
Year1991
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/DuesterwaldS91 ↗
Browse the full ISSTA paper archive.