| Alternate document: Details Heuristics for Model Checking Java Programs (02) Alex Groce, Willem Visser |
Alex Groce, Willem Visser  Home/Search
Context
Related
| belllabs.com/netlib/spin/w...groce.pdf Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: belllabs.com/netli...program2002 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes the addition of support for heuristic (or directed) search strategies to JavaPathFinder (JPF), an explicit state model checker for Java bytecode that uses a custom-made Java Virtual Machine (JVM) (Update)
Similar documents (at the sentence level):
67.4%: Heuristic Model Checking for Java Programs - Groce, Visser (2002) (Correct)
Active bibliography (related documents): More All
0.1: Model Checking Java Programs using Structural Heuristics - Groce, Visser (2002) (Correct)
0.1: Heuristics for Model Checking Java Programs - Groce, Visser (2002) (Correct)
0.1: Directed Explicit-State Model Checking in the.. - Edelkamp, Leue.. (2002) (Correct)
Similar documents based on text: More All
0.7: Addressing Dynamic Issues of Program Model Checking - Lerda, Visser (2001) (Correct)
0.5: Model Checking Programs - Brat, Havelund, Park, Visser (2000) (Correct)
0.4: Finding Feasible Counter-examples when Model Checking.. - Pasareanu, Dwyer, Visser (2001) (Correct)
BibTeX entry: (Update)
@misc{ groce-heuristic,
author = "Alex Groce and Willem Visser",
title = "Heuristic Model Checking for Java Programs - Tool Paper",
url = "citeseer.ist.psu.edu/groce02heuristic.html" }
Citations (may not include all citations):108 Automatically Validating Temporal Safety Properties of Inter.. - Ball, Rajamani - 2057
104 Model Checking Programs - Visser, Havelund et al. - 2000
20 Trail-Directed Model Checking - Edelkamp, Lafuente et al. - 2001
19 Directed explicit model checking with HSF-Spin - Edelkamp, Lafuente et al. - 2057
Documents on the same site (http://netlib.bell-labs.com/netlib/spin/ws02/program2002.html): More
The Influence of Software Module Systems on Modular.. - Li, Fisler, Krishnamurthi (2002) (Correct)
Demonstration of an Automated Integrated Test.. - Margaria, Niese, Steffen (2002) (Correct)
Dynamic Bounds and Transition Merging for Local First Search - Lugiez, Niebert, Zennou (2002) (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