Generation of conformance test suites for parallel and distributed languages and APIs | IEEE Conference Publication | IEEE Xplore