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

Lingzhong Zhao,T. Gu,Junyan Qian,G. Cai
DOI: https://doi.org/10.1007/11941439_158
2006-12-04
Abstract:
What problem does this paper attempt to address?