Yan Chen, Yann-Hang Lee, W. Eric Wong, Donghui Guo. A race condition graph for concurrent program behavior. In 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008, Xiamen, China, November 17-19, 2008. pages 662-667, IEEE, 2008. [doi]
Abstract is missing.