@misc{indiciae7f0b0e5be053,
  title = {Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)},
  author = {Erickson H. da S. Alves and Lucas C. Cordeiro and Eddie B. de Lima Filho},
  year = {2015},
  url = {https://arxiv.org/abs/1509.02490},
  note = {Source identifier: 1509.02490}
}