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

Active Bibliography

27 Constructing Compact Models of Concurrent Java Programs – James C. Corbett - 1998
17 Data Flow Analysis For Verifying Correctness Properties Of Concurrent Programs – Matthew B. Dwyer - 1995
135 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
40 Using Integer Programming to Verify General Safety and Liveness Properties – James C. Corbett, George S. Avrunin - 1993
46 Detecting Deadlocks In Concurrent Systems – Lisbeth Fajstrup , Eric Goubault, Martin Raussen - 1998
16 Comparing Finite-State Verification Techniques for Concurrent Software – George S. Avrunin , James C. Corbett, Matthew B. Dwyer, Corina S. Pasareanu, Stephen F. Siegel - 1999
567 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
88 Slicing Software for Model Construction – John Hatcliff, Matthew B. Dwyer, Hongjun Zheng - 1999
10 A Compact Petri Net Representation for Concurrent Programs – Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies - 1994
122 Evaluating Deadlock Detection Methods for Concurrent Software – James C. Corbett - 1996
5 Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification – James C. Corbett - 1993
9 An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs – James C. Corbett - 1994
31 An Empirical Comparison of Static Concurrency Analysis Techniques – A. T. Chamillard, Lori A. Clarke, George S. Avrunin - 1996
369 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
6 Using Partial Evaluation to Enable Verification of Concurrent Software – Matthew Dwyer, John Hatcliff, Muhammad Nanda, Muhammad N, Name John Hatcliff, Name Muhammad Nanda - 1998
30 Applying static analysis to software architectures – Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil - 1997
9 Model Checking Generic Container Implementations – Matthew B. Dwyer, Corina S. Pasareanu - 1998
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
32 Automatic Testing of Software with Structurally Complex Inputs – Darko Marinov - 2005