A method to localize faults in concurrent C programs (Journal of Systems and Software, 2017)

(untitled) - Alves, E; Cordeiro, L; Filho, E