Concolic Execution in Functional Programming by Program Instrumentation
From MaRDI portal
Publication:5743599
DOI10.1007/978-3-319-27436-2_17zbMath1473.68039MaRDI QIDQ5743599
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
68N18: Functional programming and lambda calculus
Uses Software