doc/papers/index.md

   1 # Related Publications #
   2
   3 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
   4
   5 > **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
   6 JPF versions, please consult the documentation.
   7
   8
   9 ---
  10 bibliography: ./references.bib
  11 csl: ./chicago-author-date.csl
  12 ...
  13
  14 ## Core Papers ##
  15
  16 @visser:2003
  17
  18 @lerda:2001
  19
  20 ## JPF Infrastructure and Features ##
  21
  22 @shafiei:breugel:2014
  23
  24 @nshafiei:2012
  25
  26 @kulikov:2010
  27
  28 ## Testing and Symbolic Execution ##
  29
  30 @indradeep:2013
  31
  32 @person:2008
  33
  34 @pasareanu:2008
  35
  36 @visser:2004
  37
  38 @pasareanu:2004
  39
  40 @artho:2003
  41
  42 @khurshid:2003
  43
  44 ## Heuristic Search ##
  45
  46 @groce:2004
  47
  48 @groce:2002
  49
  50 @groce:visser:2002
  51
  52 ## Verification of Networked Software ##
  53
  54 @shafiei:2014
  55
  56 @artho:2011
  57
  58 @artho:2009
  59
  60 @artho:2008
  61
  62 ## Explaining Counter Examples ##
  63
  64 @grove:2003
  65
  66 ##  Applying Java PathFinder ##
  67
  68 @shafiei:2013
  69
  70 @stergiopoulos:2012
  71
  72 @mehlitz:2008
  73
  74 @penix:2005
  75
  76 @giannakopoulou:2004
  77
  78 @brat:2004
  79
  80 @bordini:2003
  81
  82
  83 ## Misc ##
  84
  85 @havelund:2007
  86
  87 @mansouri:2007
  88
  89 @havelund:2002
  90
  91 @pasareanu:dwyer:2003
  92
  93 @brat:2001
  94
  95 @visser:park:2000
  96
  97 @havelund:2000
  98
  99 @havelund:1999
 100
 101 @havelund:skakkebaek:1999
 102
 103 @havelund:Pressburger:1998
 104
 105 ## Papers from Darko Marinov's group ##
 106
 107 @gligoric:2010
 108
 109 @gligoric:jagannath:2010
 110
 111 @lauterburg:2010
 112
 113 @sobeih:2010
 114
 115 @lauterburg:2009
 116
 117 @gligoric:2009
 118
 119 @damorim:2008
 120
 121 @lauterburg:2008
 122
 123 @gvero:2008
 124
 125 @damorim:2007
 126
 127 @zhou:2007
 128
 129 @damorim:2006
 130
 131 @damorim:pacheco:2006
 132
 133 ## References ##