Delamaro, Márcio, Mauro Pezzè, and Auri M. R. Vincenzi.
" Mutant Operators for Testing Concurrent Java Programs." <em>Anais do XV Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 2001</em>. SBC, 2001,  
pp.272-285.