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. 1265-1270 2006 conf/ausai/2006 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/11941439_158 db/conf/ausai/ausai2006.html#ZhaoGQC06