Alves, E., 		Cordeiro, L., & 		Lima Filho, E.
(2015).
 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>, (pp. 798-893). Porto Alegre: SBC.