Alves, Erickson, Lucas C. Cordeiro, and Eddie B. De Lima Filho.
" Fault Localization in Multi-threaded C Programs Using Bounded Model Checking." <em>Anais do V Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Foz do Iguaçu/PR, 2015</em>. SBC, 2015,  
pp.798-893.