Using shape analysis to reduce models of concurrent Java programs (2000)

by James C Corbett
Venue:ACM Transactions on Software Engingeering and Methodology