Jianjiang Li, Dan Hei, Lin Yan. Correctness Analysis Based on Testing and Checking for OpenMP Programs. In Fourth ChinaGrid Annual Conference, ChinaGrid 2009, Yantai, Shandong, China, 21-22 August, 2009. pages 210-215, IEEE, 2009. [doi]
Abstract is missing.