Consistent and complete
A consistent criterion is one for which any two test sets that satisfy the criterion, either both sets succeed or both sets fail on the program
A complete criterion is one for which, if the program is incorrect, there exists a satisfying test set that demonstrates this
Having a consistent and complete criterion would guarantee finding errors in a program