Concolic Execution in Functional Programming by Program Instrumentation

DOI10.1007/978-3-319-27436-2_17zbMath1473.68039OpenAlexW2406227170MaRDI QIDQ5743599

Germán Vidal, Adrián Palacios

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)

Related Items (3)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ Concolic Testing in CLP ⋮ Sound and complete concolic testing for higher-order functions

Uses Software

• CUTE
• Erlang
• DART

Cites Work

• Concolic Execution and Test Case Generation in Prolog
• Towards Symbolic Execution in Erlang
• Symbolic execution and program testing
• Concolic testing in logic programming
• Unnamed Item
• Unnamed Item

This page was built for publication: Concolic Execution in Functional Programming by Program Instrumentation