Concolic Execution in Functional Programming by Program Instrumentation | Publicación