Memory-Model-Aware Testing: A Unified Complexity Analysis

Florian Furbach, Roland Meyer, Klaus Schneider 0001, Maximilian Senftleben. Memory-Model-Aware Testing: A Unified Complexity Analysis. ACM Trans. Embedded Comput. Syst., 14(4):63, 2015. [doi]

Abstract

Abstract is missing.