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

by James C Corbett
Venue:In Proceedings of the International Symposium on Software Testing and Analysis