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]

Authors

Florian Furbach

This author has not been identified. Look up 'Florian Furbach' in Google

Roland Meyer

This author has not been identified. Look up 'Roland Meyer' in Google

Klaus Schneider 0001

This author has not been identified. Look up 'Klaus Schneider 0001' in Google

Maximilian Senftleben

This author has not been identified. Look up 'Maximilian Senftleben' in Google