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