Analysis and refinement of software test data adequacy properties | IEEE Journals & Magazine | IEEE Xplore