_Sidebar.md

• Wiki Home
• Introduction
  • What is JPF?
  • Testing vs. Model Checking
    • Random value example
    • Data race example
  • JPF key features

---

• How to obtain and install JPF
  • System requirements
  • Downloading
    • binary snapshots
    • sources
  • Creating a site properties file
  • Building, testing, and running
  • JPF plugins
    • Eclipse
    • NetBeans

---

• How to use JPF
  • Different applications of JPF
  • JPF's runtime components
  • Running JPF
  • Configuring JPF
  • Understanding JPF output
  • Using JPF's Verify API in the system under test

---

• Developer guide
  • Top-level design
  • Key mechanisms
    • ChoiceGenerators
    • Partial order reduction
    • Slot and field attributes
  • Extension mechanisms
    • Listeners
    • Search Strategies
    • Model Java Interface (MJI)
    • Bytecode Factories
  • Common utilities
    • Logging system
    • Reporting system
  • Running JPF from within your application
  • Writing JPF tests
  • Coding conventions
  • Hosting an Eclipse plugin update site

---

• JPF core project

---

• Java Pathfinder Workshop 2018

---

• Java Pathfinder Workshop 2017
  • Committee
  • Accepted Papers
  • Program

---

• Google Summer of Code 2017
  • Project Ideas
  • Accepted Projects

---

• Java Pathfinder Workshop 2016
  • Call For Papers
  • Organization
  • Submission
  • Program
  • Travel
  • Registration

---

• Google Summer of Code 2016
  • Project Ideas
  • Accepted Projects