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
    0 references
    0 references
    5 February 2016
    0 references
    0 references
    0 references
    0 references

    Identifiers