Erickson Alves, Lucas Cordeiro, and Eddie Lima Filho. 2015.
 Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. In <em>Proceedings of the 5th Brazilian Symposium on Computing Systems Engineering</em>, November 03, 2015, Foz do Iguaçu/PR, Brasil. SBC, Porto Alegre, Brasil, 798-893.