--- /dev/null
+# 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 ##
\ No newline at end of file
projects / jpf-core.git / blobdiff