Automatic generation of memory consistency tests for chip multiprocessing | IEEE Conference Publication | IEEE Xplore