A CLP heap solver for test case generation

Elvira Albert, Maria Jose Garcia De La Banda, Miguel Gomez-Zamalloa, Jose Miguel Rojas, Peter James Stuckey

    Research output: Contribution to journalArticleResearchpeer-review

    3 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)721 - 735
    Number of pages15
    JournalTheory and Practice of Logic Programming
    Issue number4-5
    Publication statusPublished - 2013

    Cite this