Related Publications #
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