JPF-InspectorII
by Alf for The Java Pathfinder Team
I propose to extend the JPF-Inspector tool with several new features, including: backward single stepping, batch execution from command-line, program state modification, introspection of the JPF internal state, simple integration with IDE, UI improvements, profiling info. The goal is to improve the JPF-Inspector and make it a mature and useful tool.