Márcio Eduardo Delamaro José Carlos Maldonado Alberto Pasquini Aditya P. Mathur Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. 111-142 2001 6 Empirical Software Engineering 2 db/journals/ese/ese6.html#DelamaroMPM01