MutShrink: a Mutation-based Test Database Shrinking Method. - Ludmila I. Toledo; Celso G. Camilo-Junior; Cássio Leonardo Rodrigues (SMC, 2020)