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

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