Alberto Pasquini Empirical Validation of a Domain Test Selection Criterion. 107-117 1996 35 Journal of Systems and Software 2 db/journals/jss/jss35.html#Pasquini96