Skip to content

GSoC 2021 Project Ideas

Jump to bottom
Yannic Noller edited this page Feb 8, 2021 · 19 revisions

Project Ideas

Please note that this list is not exclusive. If you have other ideas and topics related to JPF, please let us know on the JPF Google group. A possible proposal template can be found at the bottom of our GSoC page: JPF Google Summer of Code 2021.

JPF Infrastructure

  • TBA

JPF Application Domains

  • TBA

Automatic Program Repair

  • TBA

Symbolic Execution

Fuzzing

  • TBA

Smart Contract

  • TBA

Concolic Execution

  • TBA

Environment and Test Case Generation

  • TBA

JPF Extensions and External Systems Interfacing

  • TBA

Symbolic Data-race Detection

  • TBA

Projects Descriptions

(in progress)

Want to contribute to this Wiki?

Please contact us by creating an issue. We are trying to fix the process below, which no longer works.

Fork it and send a pull request.

Clone this wiki locally