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

DOI10.1007/978-3-540-76637-7_8zbMath1137.68343OpenAlexW1488787243MaRDI QIDQ3498435

Guoyong Cai, Lingzhong Zhao, Junyan Qian, Tianlong Gu

Publication date: 15 May 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-76637-7_8

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Cites Work

• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Abstract interpretation and application to logic programs
• Operational and goal-independent denotational semantics for Prolog with cut
• Unnamed Item

This page was built for publication: A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics