An Integrated Approach to Assertion-Based Random Testing in Prolog

DOI10.1007/978-3-030-45260-5_10zbMath1502.68061OpenAlexW3018173417MaRDI QIDQ5097633

Ignacio Casso, Pedro Lopez-Garcia, Manuel V. Hermenegildo, Jose Francisco 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)

Related Items (2)

Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Testing your (static analysis) truths

Cites Work

• Unnamed Item
• Unnamed Item
• CurryCheck: checking properties of Curry programs
• \textsc{Tor}: modular search with hookable disjunction
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Safe & Efficient Gradual Typing for TypeScript
• An overview of Ciao and its design philosophy
• Test case generation for object-oriented imperative languages in CLP
• Hybrid type checking

This page was built for publication: An Integrated Approach to Assertion-Based Random Testing in Prolog