Improving JPF Inspector
- Mentors
- Pavel Parizek
- Organization
- Java Pathfinder Team
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.