Using shape analysis to reduce nite-state models of concurrent java programs (1998)

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