The JPF team GSoC projects
Every Google Summer of Code project accepted at The JPF team, grouped by program year. Open a project to see its contributor, mentors, technologies, and source code.
Back to The JPF teamGSoC 2026
2 projects- Support for Java 17 in jpf-core
Darshan Raghavendrachari
- Support Floating Point Constraints for Path-Merged Regions
Salmane Khalili
GSoC 2025
3 projects- Support Java 11/17 for JPF extensions
Mahmoud Khawaja
- Support portfolio of solvers in SPF
Rehan Chalana
GSoC 2024
3 projects- Support for Java 17 for jpf-core
Rahul Kumar (Ekla)
- Model-based Testing with Modbat for JPF
Harshvardhan Parmar
GSoC 2023
2 projectsGSoC 2022
2 projects- Support More Java String Functions in SPF
Qiuchen Yan
- Add Gradle support for SymbolicPathFinder
Gaurang Pramod Kudale
GSoC 2021
3 projects- Improved Integration of String Solvers in SPF
Marlin Roberts
GSoC 2020
6 projects- Extending Path Merging for SPF
Soha Hussein
- Support Java 11/12 for jpf-core
Amgad Rady
- LyFix: Regression Error Repair for Java Program
Quang-Cuong Bui
- A Restructuring of the Path Constraint Interface
Carson Smith
- Support Java 11 for jpf-core
Yuvaraj Anbarasan
GSoC 2019
6 projects- Support gradle for jpf-core and extensions.
Yuvaraj Anbarasan
- NFix
Hanliang Zhang
- Parallel implementation of Java Pathfinder Project
Manish Thakur
GSoC 2018
4 projects- Support Java 9 for JPF-CORE
Gayan Weerakutti
- Extending Veritesting In SPF
Soha Hussein
- Modernizing the Java PathFinder Build Workflow: Migrating from Ant to Gradle
Jeanderson Candido
GSoC 2017
7 projects- Verification and Testing of Heap-based Programs with Symbolic PathFinder
Nicolas Jeannerod
- jpf-nas
Jayton
- Increasing SPF Performance with Bounded Static Symbolic Execution
Vaibhav B Sharma
- Visualization of Execution Traces
Qiyi Tang
GSoC 2016
10 projects- Fingerprinting for Programs
Blaine
- Verifying Safety of NextGen Models
Jianfeng.Chen
- PSYCO for Reactive Systems
mmuesly
- Java PathFinder for Android Devices
Octarine
- Oracle-Based Program Repair
Gunel Jahangirova
- Improving JPF Inspector
Soothsilver
- Cache layer for jpf-nhandler
Jayton