Fixed schema definition of TestCaseFinishedEvent; added test cases