Browse College of Engineering by Subject "Java PathFinder"

  • d'Amorim, Marcelo; Sobeih, Ahmed A.; Marinov, Darko (2006-06)
    Java PathFinder (JPF) is an explicit-state model checker for Java programs. It explores all executions that a given program can have due to different thread interleavings and nondeterministic choices. JPF implements a ...

    application/pdf

    application/pdfPDF (176kB)