Skip to content

JPF Workshop 2017 Accepted Papers

Jump to bottom
Alexander Kohan edited this page Feb 2, 2023 · 3 revisions

  • 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.

Want to contribute to this Wiki?

Please contact us by creating an issue. We are trying to fix the process below, which no longer works.

Fork it and send a pull request.

Clone this wiki locally