An integrated approach to assertion-based random testing in Prolog

DOI10.1007/978-3-030-45260-5_10MaRDI QIDQ5097633zbMATH OpenOpenAlexFDO

Authors Ignacio Casso, P. López-García, Manuel Hermenegildo, J. F. Morales

Publication date 25 August 2022

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL http://oa.upm.es/62526/

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4157865
• \(\mathsf {Harvey}\): a system for random testing in ASP
• scientific article; zbMATH DE number 1615263
• A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics
• scientific article; zbMATH DE number 1368925

Cites work

• scientific article; zbMATH DE number 1615263 (Why is no real title available?)
• scientific article; zbMATH DE number 1368925 (Why is no real title available?)
• An overview of Ciao and its design philosophy
• CurryCheck: checking properties of Curry programs
• Hybrid type checking
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Safe \& efficient gradual typing for TypeScript
• Test case generation for object-oriented imperative languages in CLP
• \textsc{Tor}: modular search with hookable disjunction

Cited in

(5)

• Testing your (static analysis) truths
• scientific article; zbMATH DE number 4157865 (Why is no real title available?)
• \(\mathsf {Harvey}\): a system for random testing in ASP
• Liveness-driven random program generation
• Analysis and Transformation of Constrained Horn Clauses for Program Verification

This page was built for publication: An integrated approach to assertion-based random testing in Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5097633)