Chaiyasit Manovit, Sudheendra Hangal. Completely verifying memory consistency of test program executions. In 12th International Symposium on High-Performance Computer Architecture, HPCA-12 2006, Austin, Texas, February 11-15, 2006. pages 166-175, IEEE Computer Society, 2006. [doi]
Abstract is missing.