Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems | IEEE Journals & Magazine | IEEE Xplore