JPF Inspector

This project was a direct continuation from GSoC 2010. New features implemented in the year 2011 include backward single stepping, program state modification, record and replay of command sequences, and basic support for dynamic assertions. More information is available on the main wiki page of JPF Inspector, including the user guide and source code repository.

Last modified 6 years ago Last modified on 02/08/2012 06:20:33 PM