Analysis and validation of test case redundancy in testing suites of Java libraries ; Análise e validação de redundância em casos de teste em suítes de bibliotecas Java - Wolfart, Murilo; Cota, Erika Fernandes (2021)