|
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
|
|
125
|
Pointer Analysis for Multithreaded Programs
– Radu Rugina, Martin Rinard
- 1999
|
|
39
|
Using Integer Programming to Verify General Safety and Liveness Properties
– James C. Corbett, George S. Avrunin
- 1993
|
|
44
|
Detecting Deadlocks In Concurrent Systems
– Lisbeth Fajstrup , Eric Goubault, Martin Raussen
- 1998
|
|
15
|
Comparing Finite-State Verification Techniques for Concurrent Software
– George S. Avrunin , James C. Corbett, Matthew B. Dwyer, Corina S. Pasareanu, Stephen F. Siegel
- 1999
|
|
514
|
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
|
|
85
|
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
|
|
116
|
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
|
|
8
|
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs
– James C. Corbett
- 1994
|
|
30
|
An Empirical Comparison of Static Concurrency Analysis Techniques
– A. T. Chamillard, Lori A. Clarke, George S. Avrunin
- 1996
|
|
324
|
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
|
|
27
|
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
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
27
|
Automatic Testing of Software with Structurally Complex Inputs
– Darko Marinov
- 2005
|
