US7752497B2 - Method and System to Detect Errors in Computer Systems by Using State Tracking