Differences

This shows you the differences between two versions of the page.

--- projects [2017/10/30 20:10] – franck
+++ projects [2019/02/20 18:47] (current) – franck
@@ Line 3: / Line 3: @@
 ====== Projects ======
-Below you find a very brief overview of the projects that students did the last two years.
+Below you find a very brief overview of the projects that students did the last three years.
+====== Alias analysis ======
+The goal is to develop an extension of JPF that tracks aliasing in Java.
+====== 3D state space diagram ======
+The goal is to develop an extension of JPF that allows the user to view and analyze the state space of the system under test in a 3D environment.
+====== A customizable beam search algorithm ======
+The goal is to make the beam search algorithm, developed in one of the labs, customizable.
+====== Enhancing the EndlessLoopDetector listener ======
+The goal is to enhance the JPF listener called EndlessLoopDetector.
 ====== Extension of jpf-jmt ======