Test frame updating in CPM testing of Prolog programs.

Lingzhong Zhao Tianlong Gu Junyan Qian Guoyong Cai Test frame updating in CPM testing of Prolog programs. 277-298 2008 16 Software Quality Journal 2 http://dx.doi.org/10.1007/s11219-007-9039-y db/journals/sqj/sqj16.html#ZhaoGQC08