# Related Publications #

JPF has been both a research target and a system in use for a number of years. A broad collection of papers and reports is available, including the following (incomplete) list

> **Notes:** some of the older papers now have mostly historical relevance. JPF has undergone a lot of changes since 2000. If you need more recent information, especially about the design and usage of current 
JPF versions, please consult the documentation.


---
bibliography: ./references.bib
csl: ./chicago-author-date.csl
...

## Core Papers ##

@visser:2003

@lerda:2001

## JPF Infrastructure and Features ##

@shafiei:breugel:2014

@nshafiei:2012

@kulikov:2010

## Testing and Symbolic Execution ##

@indradeep:2013

@person:2008

@pasareanu:2008

@visser:2004

@pasareanu:2004

@artho:2003

@khurshid:2003

## Heuristic Search ##

@groce:2004

@groce:2002

@groce:visser:2002

## Verification of Networked Software ##

@shafiei:2014

@artho:2011

@artho:2009

@artho:2008

## Explaining Counter Examples ##

@grove:2003

##  Applying Java PathFinder ##

@shafiei:2013

@stergiopoulos:2012

@mehlitz:2008

@penix:2005

@giannakopoulou:2004

@brat:2004

@bordini:2003


## Misc ##

@havelund:2007

@mansouri:2007

@havelund:2002

@pasareanu:dwyer:2003

@brat:2001

@visser:park:2000

@havelund:2000

@havelund:1999

@havelund:skakkebaek:1999

@havelund:Pressburger:1998

## Papers from Darko Marinov's group ##

@gligoric:2010

@gligoric:jagannath:2010

@lauterburg:2010

@sobeih:2010

@lauterburg:2009

@gligoric:2009

@damorim:2008

@lauterburg:2008

@gvero:2008

@damorim:2007

@zhou:2007

@damorim:2006

@damorim:pacheco:2006

## References ##