projects
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
projects [2019/02/20 18:47] – franck | projects [2019/07/29 21:39] (current) – franck | ||
---|---|---|---|
Line 3: | Line 3: | ||
====== Projects ====== | ====== Projects ====== | ||
- | Below you find a very brief overview of the projects that students did the last three years. | + | Below you find a very brief overview of the projects that students did the last four years. |
+ | |||
+ | ====== Modifying MethodTracker ====== | ||
+ | |||
+ | The goal is to improve the listener gov.nasa.jpf.listener.MethodTracker. | ||
+ | |||
+ | ====== NoStateCycles Enhancement ====== | ||
+ | |||
+ | The goal is to improve the listener gov.nasa.jpf.listener.NoStateCycles. | ||
+ | |||
+ | ====== JPF Plugin for Eclipse 4.10 ====== | ||
+ | |||
+ | The goal is to update the JPF plugin for Eclipse so that it works with version 4.10. | ||
+ | |||
+ | ====== Extending VMListener: Variable Tracking Functionality ====== | ||
+ | |||
+ | The goal is to develop a listener that tracks variables. | ||
+ | |||
+ | ====== Implementing AdjacencyMatrix and AdjacencyList Listener ====== | ||
+ | |||
+ | The goal is to develop a listener that stores the state space as an adjacency matrix and an adjacency list. | ||
+ | |||
+ | ====== JPF Update StackDepthChecker ====== | ||
+ | |||
+ | The goal is to improve the listener gov.nasa.jpf.listener.StackDepthChecker. | ||
+ | |||
+ | ====== Documenting Search Listeners ====== | ||
+ | |||
+ | The goal is to document some of JPF's search listeners. | ||
+ | |||
+ | ====== Improving Numerical Value Checker Listener ====== | ||
+ | |||
+ | The goal is to improve the listener gov.nasa.jpf.listener.NumericValueChecker. | ||
+ | |||
+ | ====== Improving VarTracker ====== | ||
+ | |||
+ | The goal is to improve the listener gov.nasa.jpf.listener.VarTracker. | ||
====== Alias analysis ====== | ====== Alias analysis ====== |
projects.1550688463.txt.gz · Last modified: 2019/02/20 18:47 by franck