Evaluating Deadlock Detection Methods for Concurrent Software (1996)


Download Links

by James C. Corbett
Venue:IEEE Transactions on Software Engineering
Citations:121 - 6 self

Documents Related by Co-Citation

142 Data flow analysis for verifying properties of concurrent programs – Matthew B. Dwyer, Lori A. Clarke, Gleb Naumovich, Jamieson M. Cobleigh - 1994
557 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
57 Warlock: A static data race analysis tool – N Sterling - 1993
70 Automated Analysis of Concurrent Systems with the Constrained Expression Toolset – George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden - 1991
1254 The model checker SPIN – Gerard J. Holzmann - 1997
1297 Symbolic Model Checking – K L McMillan - 1993
181 Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs – Jong-deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan - 2002
31 An Empirical Comparison of Static Concurrency Analysis Techniques – A. T. Chamillard, Lori A. Clarke, George S. Avrunin - 1996
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
321 Symbolic model checking: 10 states and beyond – J R Burch, E M Clarke, K L McMillan, D L Dill, L H Hwang - 1990
159 Using partial orders for the efficient verification of deadlock freedom and safety properties – P Godefroid, P Wolper - 1993
49 An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs – Gleb Naumovich, George S. Avrunin, Lori A. Clarke - 1999
52 Non-concurrency analysis – Stephen P Masticola, Barbara G Ryder - 1993
266 A stubborn attack on state explosion – A Valmari
16 Static Infinite Wait Anomaly Detection in Polynomial Time – Stephen P. Masticola, Barbara G. Ryder - 1990
46 Detecting Deadlocks In Concurrent Systems – Lisbeth Fajstrup , Eric Goubault, Martin Raussen - 1998
101 An introduction to programming with threads – Andrew D. Birrell, Andrew D. Birrell - 1989