Testing your (static analysis) truths

DOI10.1007/978-3-030-68446-4_14OpenAlexW3131705400MaRDI QIDQ2119122

Ignacio Casso, Manuel V. Hermenegildo, Jose Francisco Morales, Pedro Lopez-Garcia

Publication date: 23 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-68446-4_14

zbMATH Keywords

static analysisprogram analysisrandom testingabstract interpretationassertions(constraint) logic programmingrun-time checks

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Haskell
• QuickCheck
• Ciao
• CiaoPP
• Verasco

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
• An SMT-based concolic testing tool for logic programs
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• An overview of Ciao and its design philosophy
• Compile-time derivation of variable dependency using abstract interpretation
• Practical run-time checking via unobtrusive property caching
• Incremental Analysis of Logic Programs with Assertions and Open Predicates
• Computing Abstract Distances in Logic Programs
• An Integrated Approach to Assertion-Based Random Testing in Prolog
• A type system for certified binaries
• Functional and Logic Programming
• Programming Languages and Systems
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• Multivariant assertion-based guidance in abstract interpretation

This page was built for publication: Testing your (static analysis) truths