JPF Workshop 2013 Accepted Papers

Full papers

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

Extended Abstracts

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