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

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

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.

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

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

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