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.