Metric space-based test-data adequacy criteria. - Davis, Martin; Weyuker, Elaine (Computer Journal, 1988)