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.
2017
2017
Exploring Underdetermined Specifications using Java PathFinder
Some Java libraries have underdetermined specifications that allow more than one correct output for the same input, e.g., an… 
2012
2012
Non-intrusive Repair of Reactive Programs
We show how, under certain conditions, programs written in the behavioral programming approach can be modified (e.g., as result… 
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… 
2009
2009
Radical Reference: Socially Responsible Librarianship Collaborating With Community
To date, the written record of socially responsible librarianship chiefly concerns outreach to previously-disregarded… 
2007
2007
MMC: the Mono Model Checker
Review
2007
Review
2007
Evaluation of Java PathFinder Symbolic Execution Extension
Executions of a system can follow di erent execution paths depending on the inputs to the system. In symbolic execution… 
2006
2006
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic… 
2002
2002
Model Checking Erlang Programs - Abstracting Recursive Function Calls
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)