R. Silva and S. Souza.
"Effectiveness evaluation of the synchronization sequence testing in Java concurrent program", in <em>Anais da III Escola Regional de Engenharia de Software</em>, Rio do Sul, 2019, pp. 157-166.