Tekstiviesti: MutShrink: um método de redução de banco de dados de teste baseado em mutação