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.