Interface mutation test adequacy criterion: an empirical evaluation - Delamaro, Márcio Eduardo; Maldonado, José Carlos; Pasquini, Alberto; Mathur, Aditya P (Empirical Software Engineering, 2001)