NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

pocket knife

The Java Pathfinder Workshop 2013

November 12, 2013
in conjunction with ASE 2013 Crown Plaza Canbana in Palo Alto.

Program

.

8:00:00Opening

.

Domain-Specific Analysis

.

8:15:00Heila van der Merwe, Brink Van Der Merwe and Willem Visser. Execution and Property Specifcations for JPF-Android

.

8:40:00Peter Anderson, Brandon Chase and Eric Mercer. JPF Verification of Habanero Java Programs*

.

9:05:00Corrina Gibson, Robert Karban, Luigi Andolfato and John Day. Formal Validation of Fault Management Design Solutions

.

9:30:00Pieter Jordaan, Willem Visser and Jaco Geldenhuys. Integrating JPF into Impendulo (Extended Abstract)

.

9:45:00Richard Potter, Cyrille Valentin Artho, Kuniyasu Suzaki and Masami Hagiya. A Knoppix-based demonstration environment for JPF

.

10:10:00Coffee Break

.

.

Extending JPF

.

10:30:00Matteo Ceccarello and Oksana Tkachuk. Automated generation of model classes for Java PathFinder

.

10:55:00Jakub Daniel, Pavel Parizek and Corina Pasareanu. Predicate Abstraction in Java Pathfinder

.

11:20:00Nastaran Shafiei and Peter Mehlitz. Extending JPF to Verify Distributed Systems

.

11:45:00Bharat Jayaraman, Aditya Kapre and Demian Lessa. Visual JPF: Visualizing Errors in Java Path Finder (Extended Abstract)

.

12:00:00lunch

.

.

Scaling Analyses & Symbolic Execution

.

1:30:00Eric Noonan, Eric Mercer and Neha Rungta. Vector-Clock Based Partial Order Reduction for JPF

.

1:55:00Benjamin Hillery, Eric Mercer, Neha Rungta and Suzette Person. Towards a Lazier Symbolic PathFinder

.

2:20:00Eric F. Rizzi, Matthew B. Dwyer and Sebastian Elbaum. Safely Reducing the Cost of Unit Level Symbolic Execution through Read/Write Analysis

.

2:45:00Marko Dimjasevic and Zvonimir Rakamaric. JPF-Doop: Combining Concolic and Random Testing for Java (Extended Abstract)

.

3:00:00Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person and Sarfraz Khurshid. Invariant Discovery Guided by Symbolic Execution (Extended Abstract)

.

3:15:00Coffee Break

.

.

Testing & Symbolic Execution

.

3:30:00Supasit Monpratarnchai, Shoichiro Fujiwara, Asako Katayama and Tadahiro Uehara. Automated Testing for Java Programs using JPF–based Test Case Generation

.

3:55:00Kasper Luckow and Corina Păsăreanu. Symbolic PathFinder v7

.

4:20:00Scott Kausler and Elena Sherman. User-Defined Backtracking Criteria for Symbolic Execution

.

4:45:00Closing

Call for Submissions

We solicit submissions for existing research, applications, work in progress, and position papers on topics related to JPF or its extensions. If the underlying research idea has been published in another venue the paper needs to clarify the novel aspects that are being presented in the paper. We also solicit comparative analysis papers that evaluate algorithms in JPF or its extensions with relevant tools. The goal of the workshop is to encourage the flow of ideas relevant to JPF. The papers should be at most 5 pages long in the ACM Proceedings format.
Accepted papers will be published in the Software Engineering Notes (SEN) and the ACM digital library.

Important Dates

  • Abstract Submission Deadline: Aug 28, 2013
  • Full Paper Submission Deadline: Sept 15, 2013 extended
  • Notification of Acceptance: Oct 1, 2012
  • Final Version Submission: Oct 15, 2012

Submission site

Papers can be submitted through easychair .

Organization

Program Chairs:
Peter Mehlitz, NASA Ames
Neha Rungta, NASA Ames
Willem Visser, U. Stellenbosch

Program Committee
Cyrille Artho
Marcelo D'Amorim
Dimitra Giannakopoulou
Falk Howar
Eric Mercer
Pavel Parizek
Suzette Person
Franco Raimondi
Nastaran Shafiei
Oksana Tkachuk
Frank Van Breugel
Guowei Yang

First Gov logo
NASA Logo - nasa.gov