Correctness Analysis Based on Testing and Checking for OpenMP Programs | IEEE Conference Publication | IEEE Xplore