Developing Buggy Java Apps

Status: Available/Completed
Type: USRA/4080/408*…
Professor: van Breugel, Franck
Research Area: Software Engineering
Year: 2015

NASA’s Java PathFinder (JPF for short) is a tool to find intricate bugs in Java code. Although JPF is used by many and one can find a lot of information about JPF on the web, no comprehensive user manual exists. Such a user manual of course needs many illustrative examples. This is where you come in. You will develop those examples, implement them, and apply JPF to them. You will do this under the guidance of Franck van Breugel. You can also rely on the expertise of NASA developers and graduate students in the DisCoVeri group.

If you are interested and want to know more about this project, please do not hesitate to contact Franck.