Mun-Hye Kang, Yong-Kee Jun. Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism. In Tai-Hoon Kim, Hojjat Adeli, Haeng-Kon Kim, Heau-Jo Kang, Kyung Jung Kim, Kiumi Akingbehin, Byeong Ho Kang, editors, Software Engineering, Business Continuity, and Education - International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings. Volume 257 of Communications in Computer and Information Science, pages 451-460, Springer, 2011. [doi]
Abstract is missing.