Concolic Execution in Functional Programming by Program Instrumentation.

Adrián Palacios Germán Vidal

Published in: LOPSTR (2015)

Keyphrases

functional programming
execution model
program execution
quantifier elimination
functional language
programming language
transaction management
object oriented programming
control flow
data flow
active rules
high level
test cases
multi dimensional
response time
general purpose
relational databases