Albert Meixner, Daniel J. Sorin. Dynamic Verification of Sequential Consistency. In 32st International Symposium on Computer Architecture (ISCA 2005), 4-8 June 2005, Madison, Wisconsin, USA. pages 482-493, IEEE Computer Society, 2005. [doi]
Abstract is missing.