Concolic Execution in Functional Programming by Program Instrumentation (Q5743599)
From MaRDI portal
scientific article; zbMATH DE number 6539459
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Concolic Execution in Functional Programming by Program Instrumentation |
scientific article; zbMATH DE number 6539459 |
Statements
Concolic Execution in Functional Programming by Program Instrumentation (English)
0 references
5 February 2016
0 references
