Projects

Below you find a very brief overview of the projects that students did last year.

Java PathFinder Memory Tools

The goal of this extension of JPF, named jpf-jmt, is to provide accurate reporting of memory usage.

Circle Game Puzzle Solver & Generator

This project will be based on an android puzzle game with levels composed mainly of two objects: a ring and a circle. The project goal is to use JPF to determine the shortest path to reach a level complete state and create random levels.

Linearizability in JPF

The goal of this project is to use JPF to check whether a concurrent data structure is linearizable.

JPF Database Modeling Code

The goal of this project is to extend JPF so that it can check Java applications that use the JDBC API.

Tracking Randomization in Java

The goal of this JPF project is to implement a listener that tracks and logs all variables that are affected by a random variable.