1. A system for verifying a plurality of results of an action applied to an application according to a test case, the system comprising: a plurality of expected state generators operating independent of one another and independent of the test case for calculating a plurality of expected results of applying the action to the application and for updating a plurality of expected application states; and a verification manager for maintaining a plurality of current application states resulting from the applied action and comparing the plurality of expected application states with the plurality of current application states, wherein verification of the plurality of expected application states is separated from the test case.