Efficient generation of test data structures using constraint logic programming and program transformation (Q3458885)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Efficient generation of test data structures using constraint logic programming and program transformation
scientific article

    Statements

    Efficient generation of test data structures using constraint logic programming and program transformation (English)
    0 references
    0 references
    0 references
    0 references
    28 December 2015
    0 references
    black-box testing
    0 references
    generation of data structures
    0 references
    bounded exhaustive testing
    0 references
    constraint logic programming
    0 references
    program transformation
    0 references

    Identifiers