Experiments in Automated Analysis of Concurrent Software Systems.
George S. Avrunin, Jack C. Wileden, Laura K. Dillon
VenueAISSTA
Year1989
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/AvruninWD89 ↗
Browse the full ISSTA paper archive.