Silva, R., & 		Souza, S.
(2019).
Effectiveness evaluation of the synchronization sequence testing in Java concurrent program.
In <em>Anais da III Escola Regional de Engenharia de Software</em>, (pp. 157-166). Porto Alegre: SBC.