@misc{indiciaec003de620fd6,
  title = {Dynamic Verification for File Safety of Multithreaded Programs},
  author = {Mohamed A. El-Zawawy and Nagwan M. Daoud},
  year = {2012},
  url = {https://arxiv.org/abs/1206.1090},
  note = {Source identifier: 1206.1090}
}