This project will bring the JPF Inspector debugging tool up to date with the most recent version of JPF and Java, and it will add additional features, among which are a command-line interface, new commands and JPF introspection.

Organization

Student

Soothsilver

Mentors

  • Pavel Parizek
close

2016