Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space | IEEE Journals & Magazine | IEEE Xplore