Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby  Home/Search
Context
Related
| ksu.edu/docman/vie...AnToSTR20043.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: ksu.edu/~edwin/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Explicit-State Model Checking is a well-studied technique for the verification of concurrent programs. Due to exponential costs associated with model checking, researchers often focus on applying model checking to software units rather than whole programs. Recently, we have introduced a framework that allows developers to specify and model check rich properties of Java software units using the Java Modeling Language (JML). An often overlooked problem in research on model checking software ... (Update)
Active bibliography (related documents): More All
0.6: Checking Strong Specifications Using an Extensible .. - Robby.. (2003) (Correct)
0.6: Analyzing Interaction Orderings with Model Checking - Matthew Dwyer Robby (Correct)
0.5: Automated Environment Generation for Software Model Checking - Tkachuk, Dwyer, Pasareanu (2003) (Correct)
Similar documents based on text: More All
0.4: Bandera: Extracting Finite-state Models from Java.. - Corbett, Dwyer.. (2000) (Correct)
0.4: A Language Framework For Expressing Checkable.. - Corbett, Dwyer.. (2000) (Correct)
0.4: Using Partial Evaluation to Enable Verification of.. - Dwyer, Hatcliff, Nanda (1998) (Correct)
BibTeX entry: (Update)
@misc{ guez-flexible,
author = "Edwin Rodríguez and Matthew B. Dwyer and John Hatcliff and Robby",
title = "A Flexible Framework for the Estimation of Coverage Metrics in Explicit
State Software Model Checking",
url = "citeseer.ist.psu.edu/662087.html" }
Citations (may not include all citations):406 Design Patterns (context) - Gamma, Helm et al. - 1995
375 IEEE Transactions on Software Engineering (context) - Holzmann, checker - 1997
88 Lazy abstraction - Henzinger, Jhala et al. - 2002
61 Software unit test coverage and adequacy (context) - Zhu, Hall et al. - 1997
47 A practical method for verifying event-driven software (context) - Holzmann, Smith - 1999
35 Java PathFinder -- a second generation of a Java model-check.. - Brat, Havelund et al. - 2000
31 Testing object-oriented systems: models (context) - Binder - 1999
28 Model checking java programs using structural heuristics - Groce, Visser - 2002
24 The slam toolkit (context) - Ball, Rajamani - 2001
20 Vacuity detection in temporal model checking - Kupferman, Vardi - 1999
15 Verification of time partitioning in the deos scheduler kern.. - Penix, Visser et al. - 2000
10 Coverage estimation for symbolic model checking - Hoskote, Kam et al. - 1999
9 Bogor: An extensible and highly-modular model checking frame.. (context) - Robby, Dwyer - 2003
9 Automated environment generation for software model checking - Tkachuk, Dwyer et al. - 2003
8 JML: a Java modeling language - Leavens, Baker et al. - 1998
8 Model checking large network protocol implementations - Musuvathi, Engler - 2004
7 Exploiting object escape and locking information in partial .. - Dwyer, Hatcliff et al. - 2004
5 Concurrent Programming in Java: Second Edition (context) - Lea - 2000
5 Static analysis versus software model checking for bug findi.. - Engler, Musuvathi - 2004
4 Adapting side effects analysis for modular program model che.. (context) - Tkachuk, Dwyer - 2003
4 Bandera: Tools for automated reasoning about software system.. (context) - Dwyer, Hatcliff et al. - 1999
4 A practical approach to coverage in model checking - Chockler, Kupferman et al. - 2001
2 Checking strong specifications using an extensible software .. (context) - Robby, guez et al. - 2004
Documents on the same site (http://www.cis.ksu.edu/~edwin/):
Checking Strong Specifications Using an Extensible .. - Robby.. (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC