Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,792,067 papers from all fields of science
Search
Sign In
Create Free Account
Java Pathfinder
Known as:
Pathfinder
Java Pathfinder (JPF) is a system to verify executable Java bytecode programs. JPF was developed at the NASA Ames Research Center and open sourced in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Concurrent computing
Deadlock
Exception handling
Java
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Automatic On-demand Delegation of Calls in Java PathFinder ?
N. Shafiei
,
F. Breugel
2013
Corpus ID: 466122
Java PathFinder (JPF) has matured into a model checker that can be used to verify industrial Java applications. Such applications…
Expand
2012
2012
jpf-concurrent: An extension of Java PathFinder for java.util.concurrent
Mateusz Ujma
,
N. Shafiei
arXiv.org
2012
Corpus ID: 2809812
One of the main challenges when verifying multi-threaded Java applications is the state space explosion problem. Due to thread…
Expand
2010
2010
Model Checking Randomized Algorithms with Java PathFinder
Xin Zhang
,
F. Breugel
Seventh International Conference on the…
2010
Corpus ID: 62807375
On the one hand, probabilistic model checkers such as PRISM have been successfully employed to verify models of probabilistic…
Expand
2010
2010
Using Symbolic ( Java ) PathFinder at NASA
C. Păsăreanu
2010
Corpus ID: 16456685
Symbolic (Java) PathFinder (SPF) is a symbolic execution tool that is used for the automated generation of test cases that…
Expand
2010
2010
Toward an error handling mechanism for timing errors with Java Pathfinder and Ptolemy II
S. Forbes
2010
Corpus ID: 18847041
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee…
Expand
2009
2009
Generalized Abstract Symbolic Summaries
Suzette Person
,
Matthew B. Dwyer
2009
Corpus ID: 7682239
Current techniques for validating and verifying program changes often consider the entire program, even for small changes…
Expand
2006
2006
Automatic test data generation for programming exercises with symbolic execution and Java PathFinder
Petri Ihantola
2006
Corpus ID: 1362669
feedback According to Mitrovic and Ohlsson [45], too exact feedback can passivate learners and therefore abstract feedback should…
Expand
2006
2006
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker
P. Parízek
,
F. Plášil
,
J. Kofroň
2006
Corpus ID: 17768460
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic…
Expand
2005
2005
Real-World Pathfinding using Agent-Based Simulation
Nabil Sahli
2005
Corpus ID: 38325559
In this paper we demonstrate how agent-based simulation can be used for planning applications and especially for pathfinding…
Expand
2004
2004
Incremental Hashing in State Space Search
S. Edelkamp
,
Tilman Mehler
2004
Corpus ID: 15957242
State memorization is essential for state-space search to avoid redundant expansions and hashingserves as a method to, address…
Expand