|
3
|
Bandera Specification Language: A Specification Language for Software Model Checking
– Robby
- 2000
|
|
42
|
Expressing Checkable Properties of Dynamic Systems: The Bandera Specification Language
– James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
- 2001
|
|
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
|
|
5
|
Program Model Checking as a New Trend
– Klaus Havelund, Willem Visser
- 2000
|
|
42
|
A Language Framework For Expressing Checkable Properties of Dynamic Software
– James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
- 2000
|
|
34
|
Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs
– James Corbett
- 1998
|
|
85
|
Slicing Software for Model Construction
– John Hatcliff, Matthew B. Dwyer, Hongjun Zheng
- 1999
|
|
58
|
Tool-supported Program Abstraction for Finite-state Verification
– Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser
- 2000
|
|
|
Klaus Havelund
– Qssrecom Nasa Ames, Klaus Havelund
- 2000
|
|
9
|
Model Checking Generic Container Implementations
– Matthew B. Dwyer, Corina S. Pasareanu
- 1998
|
|
49
|
Using the Bandera Tool Set to Model-check Properties of Concurrent Java Software
– John Hatcliff, Matthew Dwyer
- 2001
|
|
36
|
Automated environment generation for software model checking
– Oksana Tkachuk, Matthew B. Dwyerdepartment Of Cis
- 2003
|
|
1
|
Verifying Time Partitioning in the DEOS Scheduling Kernel
– John Penix, Willem Visser, Seungjoon Park, Eric Engstrom, Aaron Larson, Nicholas Weininger
- 2004
|
|
388
|
Model Checking Programs
– Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA
- 2003
|
|
45
|
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs
– Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
- 2001
|
|
27
|
Assume-Guarantee Model Checking of Software: A Comparative Case Study
– Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth
- 1999
|
|
|
Review of the state of the art (in Security and Dependability Monitoring and Recovery)
– G. Spanoudakis, C. Kloukinas, T. Tsigritis, K. Androutsopoulos, C. Ballas, Domenico Presenza
- 2006
|
|
77
|
Dynamically Discovering Likely Program Invariants
– Michael D. Ernst
- 2000
|
|
11
|
Improving the precision of INCA by eliminating solutions with spurious cycles
– Stephen F. Siegel, George S. Avrunin
- 2002
|
