Silva, Rodolfo Adamshuk, and Simone do Rocio Senger de Souza. " Effectiveness evaluation of the synchronization sequence testing in Java concurrent program." Anais da III Escola Regional de Engenharia de Software, Rio do Sul, 2019. SBC, 2019, pp.157-166.