-
Notifications
You must be signed in to change notification settings - Fork 343
Google Summer of Code 2017 Accepted Projects
Alexander Kohan edited this page Feb 2, 2023
·
2 revisions
| Title | Student | University | Mentor | Co-mentors |
|---|---|---|---|---|
| Improving Symbolic PathFinder | Vladimir Mikhaylov | National Research University Higher School of Economics | Aymeric Fromherz | Kasper Luckow |
| Increasing SPF Performance with Bounded Static Symbolic Execution | Vaibhav Sharma | University of Minnesota | Mike Whalen | Willem Visser |
| Verification and Testing Heap-based Programs with Symbolic PathFinder | Pham Hong Long | Singapore University of Technology and Design | Quang Loc Le | Quoc-Sang Phan |
| Model Checking Distributed Java Applications | Zhenya Tulyakov | Taras Shevchenko National University of Kyiv | Nastaran Shafiei | Cyrille Artho |
| Optimize GREEN’s caching for satisfiability and model counting when using SPF | Johannes Taljaard | Stellenbosch University | Willem Visser | Neha Rungta |
| Program Repair via Symbolic Execution-Derived Constraint Characterization | Andrew Hill | North Carolina State University | Corina Pasareanu | Kasper Luckow |
| Verification and Testing of Heap-based Programs with Symbolic PathFinder | Nicolas Jeannerod | University Paris-Diderot | Nikos Gorogiannis | Aymeric Fromherz |
| Visualization of Execution Traces | Qiyi Tang | York University | Cyrille Artho |
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