Validating Tests With Assertion Tools