The JPF team | GSoC Organizations

GSoC Organizations

Shortcuts

First-time organizations (34)

View all

Years

2024

2023

2022

2021

2020

2019

View all

Years

2024 2023 2022 2021 2020 2019 2018 2017 2016

Technologies

androidjavadistributed systemsjvmbytecodesmt solvers

Topics

testingverificationmodel checkingprogram analysisenvironment generationsymbolic executiontest input generationformal methodsconcurrencyvirtual machinesoftware model checkingverification of concurrent systemsjvm

Past Projects

2024 2023 2022 2021 2020 2019 2018 2017 2016

Support for Java 11 for SPF

Aric

This proposal outlines the project to upgrade the Symbolic PathFinder (SPF), a tool for symbolic execution of Java bytecode, to ensure its...

Model-based Testing with Modbat for JPF

Harshvardhan Parmar

Modbat is a model-based testing framework that utilizes finite state machines (FSMs) to generate tests systematically, exploring various execution...

Support the generation of violation witness in graphML format in SPF

Kunha Kim

Our final goal of this project is to obtain missing scores for Symbolic PathFinder(SPF) in SV-COMP. There are two main reasons why SPF is losing many...

Support for Java 17 for jpf-core

Rahul Kumar Ekla

This proposal aims to enhance Java Path Finder (JPF) to seamlessly support Java 17, ensuring compatibility with the latest Java version. The project...

Category

Years

Technologies

Topics