Test case generation for object-oriented imperative languages in CLP (Q3585175)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Test case generation for object-oriented imperative languages in CLP
scientific article

    Statements

    Test case generation for object-oriented imperative languages in CLP (English)
    0 references
    0 references
    0 references
    0 references
    19 August 2010
    0 references
    test case generation
    0 references
    symbolic execution
    0 references
    constraint logic programming
    0 references
    0 references
    0 references

    Identifiers