Suitability Analysis of CSP- and SMT-solvers for Test Case Generation

Hermann Felbinger

    Research output: ThesisMaster's Thesis

    Original languageEnglish
    Publication statusPublished - 2013

    Fields of Expertise

    • Information, Communication & Computing

    Cite this