NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
JAVA PathFinderJPF is an explicit state software model checker for Java bytecode. Today, JPF is a swiss army knife for all sort of runtime based verification purposes. This basically means JPF is a Java virtual machine that executes your program not just once (like a normal VM), but theoretically in all possible ways, checking for property violations like deadlocks or unhandled exceptions along all potential execution paths. If it finds an error, JPF reports the whole execution that leads to it. Unlike a normal debugger, JPF keeps track of every step how it got to the defect.
Document ID
20050240154
Document Type
Other - Other
Authors
Mehhtz, Peter (NASA Ames Research Center Moffett Field, CA, United States)
Date Acquired
August 23, 2013
Publication Date
March 31, 2005
Subject Category
Computer Systems
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry