-
Notifications
You must be signed in to change notification settings - Fork 343
JPF Workshop 2017 Accepted Papers
-
Veritesting Challenges in Symbolic Execution of Java, Vaibhav Sharma, Michael Whalen, Stephen McCamant, and Willem Visser.
-
Shadow Symbolic Execution with Java PathFinder, Yannic Noller, Hoang Lam Nguyen, Minxing Tang, and Timo Kehrer.
-
Consistency-Aware Scheduling for Weakly Consistent Programs, Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Külahçıoğlu Özkan, Erdal Mutlu, and Serdar Tasiran.
-
JPR: Replaying JPF Traces Using Standard JVM, Kaiyuan Wang, Sarfraz Khurshid, and Milos Gligoric.
-
Scalable Parallel Model Checking via Monte-Carlo Tree Search, Reed Milewicz and Simon Poulding.
-
JPF Visual, Cyrille Valentin Artho and Qiyi Tang.
-
DEEPSEA: Dynamic Symbolic Execution for Java, Jaco Geldenhuys and Willem Visser.
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