+++ /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