Alves, Erickson, 		Cordeiro, Lucas, E 		Lima Filho, Eddie.
" Fault Localization in Multi-threaded C Programs Using Bounded Model Checking" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (3 novembro 2015)