Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems