A Tool and Case Study to Evaluate a Tester