Memory Model-Aware Testing - A Unified Complexity Analysis | IEEE Conference Publication | IEEE Xplore