Sound and complete concolic testing for higher-order functions

DOI10.1007/978-3-030-72019-3_23zbMath1473.68040OpenAlexW3136121010MaRDI QIDQ2233484

Christos Dimoulas, Shu-Hung You, Robert Bruce Findler

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-72019-3_23

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Unnamed Item
• Predicate abstraction and CEGAR for disproving termination of higher-order functional programs
• Complete Monitors for Behavioral Contracts
• Contracts for higher-order functions
• Logical types for untyped languages
• Dependent types from counterexamples
• Higher order symbolic execution for contract verification and refutation
• Automatic Testing of Higher Order Functions
• Demand-Driven Compositional Symbolic Execution
• Concolic Execution in Functional Programming by Program Instrumentation

This page was built for publication: Sound and complete concolic testing for higher-order functions