Martin D. Davis Elaine J. Weyuker Metric Space- Based Test-Data Adequacy Criteria. 17-24 1988 31 Comput. J. 1 db/journals/cj/cj31.html#DavisW88