On the New Application of Call Patterns to CPM Testing of Prolog Programs

Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai. On the New Application of Call Patterns to CPM Testing of Prolog Programs. In Abdul Sattar, Byeong Ho Kang, editors, AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings. Volume 4304 of Lecture Notes in Computer Science, pages 1265-1270, Springer, 2006. [doi]

Abstract

Abstract is missing.