Tayfun Elmas Serdar Tasiran Shaz Qadeer VYRD: verifYing concurrent programs by runtime refinement-violation detection. 27-37 2005 conf/pldi/2005 PLDI http://doi.acm.org/10.1145/1065010.1065015 db/conf/pldi/pldi2005.html#ElmasTQ05