Dynamic Verification for File Safety of Multithreaded Programs
arXiv (2012) - Comments
arxiv: 1206.1090  issn: 2331-8422 

Mohamed A. El-Zawawy, Nagwan M. Daoud