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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Mobile application testing is a specialised and complex field. Due to mobile applications' event driven design and mobile runtime… (More)
  • figure 1
  • figure 4
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2010
2010
On the one hand, probabilistic model checkers such as PRISM have been successfully employed to verify models of probabilistic… (More)
Is this relevant?
2008
2008
Java PathFinder (JPF) is an explicit-state model checker for Java programs. JPF implements a backtrackable Java Virtual Machine… (More)
  • figure 2
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java… (More)
  • figure 1
  • table 1
Is this relevant?
2006
2006
Concurrent systems work nondeterministically. For concurrent systems, UniTESK-based test suite executes methods with different… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2005
2005
The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 10
  • figure 9
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper describes a translator called Java PathFinder (Jpf), which translates from Java to Promela, the modeling language of… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
JAVA PATHFINDER [2],JPF, isa prototype translatorfrom JAVA toPROMELA, the modeling language ofthe SpIN model checker[4].JPF isa… (More)
Is this relevant?
1999
1999
The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 tO PROMELA, the programming language of the SPIN model… (More)
  • figure 14
  • figure 17
  • figure 18
Is this relevant?