THE EVALUATION OF PROGRAM-BASED SOFTWARE TEST DATA ADEQUACY
Elaine J. Weyuker · 1988
software test data adequacy was introduced in order to formalize properties which should be satisfied by any good program-based adequacy criterion, Here, we extend this zoork by augmenting the set with additional axioms which substantially strengthen the set. In doing so, we rule out several types