Sound and complete concolic testing for higher-order functions
From MaRDI portal
Publication:2233484
DOI10.1007/978-3-030-72019-3_23zbMATH Open1473.68040OpenAlexW3136121010MaRDI QIDQ2233484FDOQ2233484
Authors: Shu-Hung You, Robert Bruce Findler, Christos Dimoulas 
Publication date: 18 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-72019-3_23
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
- Demand-Driven Compositional Symbolic Execution
- Complete Monitors for Behavioral Contracts
- Contracts for higher-order functions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dependent types from counterexamples
- Predicate abstraction and CEGAR for disproving termination of higher-order functional programs
- Logical types for untyped languages
- Higher order symbolic execution for contract verification and refutation
- Automatic Testing of Higher Order Functions
- Concolic Execution in Functional Programming by Program Instrumentation
Cited In (1)
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)
