Concolic Execution in Functional Programming by Program Instrumentation.

Adrin Palacios, Germn Vidal

Browse the full LOPSTR paper archive.