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

Hermann Felbinger

    Publikation: Studienabschlussarbeit › Masterarbeit

    Originalspracheenglisch
    PublikationsstatusVeröffentlicht - 2013

    Fields of Expertise

    • Information, Communication & Computing

    Dieses zitieren