Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
Concurrent computingDeadlockException handlingJava

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Effective code coverage in compositional systematic dynamic testing
Recently automated test generation tools that implement variations of symbolic execution technology have demonstrated their… 
2010
2010
Model Checking Randomized Algorithms with Java PathFinder
On the one hand, probabilistic model checkers such as PRISM have been successfully employed to verify models of probabilistic… 
2010
2010
Background emissions during cold sky calibration of Aquarius
The Aquarius instrument is a pathfinder to demonstrate the measurement of sea surface salinity (SSS) from space. The goal is to… 
2010
2010
Using Symbolic ( Java ) PathFinder at NASA
Symbolic (Java) PathFinder (SPF) is a symbolic execution tool that is used for the automated generation of test cases that… 
2009
2009
Generalized Abstract Symbolic Summaries
Current techniques for validating and verifying program changes often consider the entire program, even for small changes… 
2007
2007
MMC: the Mono Model Checker
2006
2006
Concurrent Testing of Java Components Using Java PathFinder
Concurrent systems work nondeterministically. For concurrent systems, UniTESK-based test suite executes methods with different… 
2006
2006
Automatic test data generation for programming exercises with symbolic execution and Java PathFinder
feedback According to Mitrovic and Ohlsson [45], too exact feedback can passivate learners and therefore abstract feedback should… 
2005
2005
Real-World Pathfinding using Agent-Based Simulation
In this paper we demonstrate how agent-based simulation can be used for planning applications and especially for pathfinding… 
2000
2000
Using Garbage Collection in Model Checking
Garbage collection techniques have become common-place in actual programming environments, helping programmers to avoid memory… 
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)