A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics.

Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai

Browse the full APLAS paper archive.