하옥균, 강문혜, 김영주, 전용기, "스레드 동기화가 없는 OpenMP 디렉티브 프로그램을 위한 효율적인 경합검증 도구," 정보과학회논문지: 컴퓨팅의 실체, 14(3): 301-305, 한국정보과학회, 2008.5.
English Title
Ha, O., M. Kang, Y. Kim, and Y. Jun, “An Efficient Tool for Verifying Races in OpenMP Directive Programs without Interthread Synchronization,” Journal of KISS: Computing Practices, 14(3): 301-305, KISS, May 2008.
