TY  - RPRT
TI  - Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)
AU  - Erickson H. da S. Alves
AU  - Lucas C. Cordeiro
AU  - Eddie B. de Lima Filho
PY  - 2015
UR  - https://arxiv.org/abs/1509.02490
ID  - 1509.02490
ER  -