~~NOTOC~~

====== 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.