Zeitschriften
Bücher
Diplomarbeiten
Dissertationen
Wissensbilanz
Login
Hauptmenü
TUGraz DIGITAL Library
WISSEN
TECHNIK
LEIDENSCHAFT
diglib
/
Diplomarbeiten
/
Model-based mutation testing with SMT-solvers
Autor
Kegele, Matthias Sebastian
Titel
Model-based mutation testing with SMT-solvers
Datei
[3.65 MB]
Erscheinungsjahr
2014
Beschreibung
XIII, 106 Bl.
Beschreibung
zahlr. graph. Darst.
Zugriffsrechte