@inproceedings{luo-rosu-2013-issta,
    author = "Luo, Qingzhou and Rosu, Grigore",
    publisher = "ACM",
    doi = "http://dl.acm.org/citation.cfm?doid=2483760.2483766",
    title = "EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs",
    booktitle = "Proceedings of International Symposium in Software Testing and Analysis (ISSTA'13)",
    month = "July",
    year = "2013",
    pages = "156-166"
}