1. A system for verifying a plurality of results of an action applied to an application, comprising: an expected state generator for calculating an expected result of applying the action to the application and for updating an expected application state; and a verification manager for maintaining a current application state and comparing the expected application state with the current application state.