Benjamin Hillery, Eric Mercer, Neha Rungta and Suzette Person. Towards a Lazier Symbolic PathFinder
Eric F. Rizzi, Matthew B. Dwyer and Sebastian Elbaum. Safely Reducing the Cost of Unit Level Symbolic Execution through Read/Write Analysis
Jakub Daniel, Pavel Parizek and Corina Pasareanu. Predicate Abstraction in Java Pathfinder
Richard Potter, Cyrille Valentin Artho, Kuniyasu Suzaki and Masami Hagiya. A Knoppix-based deployment environment for JPF
Brandon Chase, Eric Mercer and Peter Anderson. JPF Verification of Habanero Java Programs
Corrina Gibson, Robert Karban, Luigi Andolfato and John Day. Formal Validation of Fault Management Design Solutions
Matteo Ceccarello and Oksana Tkachuk. Automated generation of model classes for Java PathFinder
Nastaran Shafiei and Peter Mehlitz. Extending JPF to Verify Distributed Systems
Kasper Luckow and Corina Păsăreanu. Symbolic PathFinder v7
Scott Kausler and Elena Sherman. User-Defined Backtracking Criteria for Symbolic Execution
Eric Noonan, Eric Mercer and Neha Rungta. Vector-Clock Based Partial Order Reduction for JPF
Supasit Monpratarnchai, Shoichiro Fujiwara, Asako Katayama and Tadahiro Uehara. Automated Testing for Java Programs using JPF–based Test Case Generation
Heila van der Merwe, Brink van der Merwe and Willem Visser. Execution and Property Specifications for JPF-Android
Marko Dimjasevic and Zvonimir Rakamaric. JPF-Doop: Combining Concolic and Random Testing for Java
Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person and Sarfraz Khurshid. Invariant Discovery Guided by Symbolic Execution
Pieter Jordaan, Willem Visser and Jaco Geldenhuys. Integrating JPF into Impendulo
Bharat Jayaraman, Aditya Kapre and Demian Lessa. Visual JPF: Visualizing Errors in Java Path Finder