@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" }