Zeitschriften
Bücher
Diplomarbeiten
Dissertationen
Wissensbilanz
Login
Hauptmenü
TUGraz DIGITAL Library
WISSEN
TECHNIK
LEIDENSCHAFT
diglib
/
Diplomarbeiten
/
Suitability analysis of CSP- and SMT-solvers for test case generation
Autor
Felbinger, Hermann
Titel
Suitability analysis of CSP- and SMT-solvers for test case generation
Datei
[2.13 MB]
Erscheinungsjahr
2013
Beschreibung
XV, 80 S.
Beschreibung
graph. Darst.
Zugriffsrechte