Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs (1998)

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