Concolic execution in functional programming by program instrumentation

DOI10.1007/978-3-319-27436-2_17MaRDI QIDQ5743599zbMATH OpenOpenAlexFDO

Authors Adrián Palacios, Germán Vidal

Publication date 5 February 2016

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-27436-2_17

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Concolic testing in CLP
• Concolic execution and test case generation in Prolog
• Concolic testing in logic programming
• On the completeness of selective unification in concolic testing of logic programs
• Symbolic execution: A semantic approach

Cites work

• Concolic execution and test case generation in Prolog
• Concolic testing in logic programming
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 576277 (Why is no real title available?)
• Symbolic execution and program testing
• Towards symbolic execution in Erlang

Cited in

(6)

• Sound and complete concolic testing for higher-order functions
• Performance estimation using symbolic data
• Concolic execution and test case generation in Prolog
• Concolic testing in CLP
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
• Constraints in dynamic symbolic execution: bitvectors or integers?

Describes a project that uses

Uses Software

• DART
• CUTE
• Erlang

This page was built for publication: Concolic execution in functional programming by program instrumentation

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