A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics
Abstract elided by the publisher.
Related papers
- Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs POPL 1984
- Generalized Algorithmic Debugging and Testing PLDI 1991
- SyRust: automatic testing of Rust libraries with semantic-aware program synthesis PLDI 2021
- Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog POPL 1982
- Semantics of static pointcuts in aspectJ POPL 2007
- Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models OOPSLA 2024
- RbSyn: type- and effect-guided program synthesis PLDI 2021
- SMT2Test: From SMT Formulas to Effective Test Cases OOPSLA 2024