GSoC Organizations
Clear all filters
Shortcuts
First-time organizations (20)
View all
Years
2023
2022
2021
2020
2019
2018
View all
Categories
Data
Development tools
End user applications
Infrastructure and cloud
Media
Operating systems
View all
Technologies
python (245)
javascript (205)
c (164)
c++ (160)
java (108)
android (50)
View all
Topics
web (81)
machine learning (55)
cloud (52)
graphics (39)
education (31)
data science (28)
View all
The JPF team
The JPF team is participating in
GSoC 2023
. View the
ideas list
and the
contribution guide
for this organization.
Visit Site
JPF is a special JVM for software verification
Category
Security
Years
2023
2022
2021
2020
2019
2018
2017
2016
Technologies
android
java
distributed systems
jvm
bytecode
smt solvers
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
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
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