Alves, E., 		Cordeiro, L., & 		Lima Filho, E.
2015 nov  3.  Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :