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