A method to localize faults in concurrent C programs - Alves, E; Cordeiro, L; Filho, E (Journal of Systems and Software, 2017)