Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,357,899 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.
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
2012
2012
Automated Verification of Functional Interface Compatibility
Stefan Kolatzki
,
U. Goltz
,
M. Hagner
,
A. Rausch
,
Björn Schindler
2012
Corpus ID: 42066917
.......................................................................................................................... 4
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
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
2007
2007
Using Deposit-scale Alteration and Geochemical Signatures to Explore for Analogue Deposits : a Case Study From the Mt Wright Gold Project , Queensland
Lisowiec
2007
Corpus ID: 162177096
Both Short Wavelength Infrared (SWIR) spectral and multi-element (ME) analysis of drill samples are proven and cost-effective…
Expand
2007
2007
Checking java programs
I. Darwin
2007
Corpus ID: 63332670
This Short Cut tells you about tools that will improve the quality of your Java code, using checking above and beyond what the…
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
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE