GSoC Organizations
Clear all filters
Years
2022
2021
2020
2019
2018
2017
View all
Categories
Data
Development tools
End user applications
Infrastructure and cloud
Media
Operating systems
View all
Technologies
python (230)
javascript (200)
c (161)
c++ (151)
java (103)
android (50)
View all
Topics
web (80)
cloud (51)
machine learning (50)
graphics (36)
education (31)
web development (27)
View all
The JPF team
Visit Site
JPF is a special JVM for software verification
Category
Programming languages
Years
2022
2021
2020
2019
2018
2017
2016
Technologies
android
java
distributed systems
jvm
bytecode
Topics
testing
verification
model checking
program analysis
environment generation
symbolic execution
test input generation
formal methods
concurrency
virtual machine
software model checking
verification of concurrent systems
jvm
Past Projects
2022
2021
2020
2019
2018
2017
2016
Add Gradle support for SymbolicPathFinder
Gaurang Pramod Kudale
Gradle is a build automation tool known for its flexibility to build software. A build automation tool is used to automate the creation of...
More Details
Code Submission
Integrating the CVC5 SMT String Constraint Solver Into SPF
Phillip Bruce
This proposal outlines the integration of the CVC5 SMT solver into SPF. It will involve implementing a method of communication between SPF and CVC5...
More Details
Code Submission
Support More Java String Functions in SPF
Qiuchen Yan
String solving is an important feature of symbolic execution for successful security and correctness analysis. In Java Symbolic Pathfinder (SPF), a...
More Details
Code Submission
