Dantas, Ayla, Matheus Gaudencio, Francisco Brasileiro, and Walfredo Cirne. " Obtaining Trustworthy Test Results in Multi-threaded Systems." Anais do XXII SimpĆ³sio Brasileiro de Engenharia de Software, Campinas, 2008. SBC, 2008, pp.33-48.