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 |
| Citations: | 34 - 0 self |
Document Versions
| Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs –James Corbett — 1998 — In Proceedings of the International Symposium on Software Testing and Analysis |
