-
Notifications
You must be signed in to change notification settings - Fork 344
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 ...
@visser:2003
@lerda:2001
@shafiei:breugel:2014
@nshafiei:2012
@kulikov:2010
@indradeep:2013
@person:2008
@pasareanu:2008
@visser:2004
@pasareanu:2004
@artho:2003
@khurshid:2003
@groce:2004
@groce:2002
@groce:visser:2002
@shafiei:2014
@artho:2011
@artho:2009
@artho:2008
@grove:2003
@shafiei:2013
@stergiopoulos:2012
@mehlitz:2008
@penix:2005
@giannakopoulou:2004
@brat:2004
@bordini:2003
@havelund:2007
@mansouri:2007
@havelund:2002
@pasareanu:dwyer:2003
@brat:2001
@visser:park:2000
@havelund:2000
@havelund:1999
@havelund:skakkebaek:1999
@havelund:Pressburger:1998
@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
Please contact us by creating an issue. We are trying to fix the process below, which no longer works.
-
How to obtain and install JPF
- System requirements
- Downloading
- Creating a site properties file
- Building, testing, and running
- JPF plugins
-
Developer guide
- Top-level design
- Key mechanisms
- Extension mechanisms
- Common utilities
- Running JPF from within your application
- Writing JPF tests
- Coding conventions
- Hosting an Eclipse plugin update site