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

Cached

Download Links

by James Corbett
Venue:In Proceedings of the International Symposium on Software Testing and Analysis
Citations:32 - 0 self