Sound and complete concolic testing for higher-order functions

DOI10.1007/978-3-030-72019-3_23MaRDI QIDQ2233484zbMATH OpenOpenAlexFDO

Authors Shu-Hung You, Robert Bruce Findler, Christos Dimoulas

Publication date 18 October 2021

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• Automating relatively complete verification of higher-order functional programs
• Sound and complete verification condition generator for functional recursive programs
• Abstraction-driven concolic testing
• Concolic testing in logic programming
• Automatic Testing of Higher Order Functions
• Smart testing of functional programs in Isabelle
• Modular verification of higher-order functional programs
• Concolic testing in CLP

Cites work

• scientific article; zbMATH DE number 997344 (Why is no real title available?)
• scientific article; zbMATH DE number 3909708 (Why is no real title available?)
• Automatic Testing of Higher Order Functions
• Complete monitors for behavioral contracts
• Concolic execution in functional programming by program instrumentation
• Contracts for higher-order functions
• Demand-Driven Compositional Symbolic Execution
• Dependent types from counterexamples
• Higher order symbolic execution for contract verification and refutation
• Logical types for untyped languages
• Predicate abstraction and CEGAR for disproving termination of higher-order functional programs

Cited in

(2)

• Abstraction-driven concolic testing
• Automatic Testing of Higher Order Functions

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

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