pealkiri
Mutation-Based Verification and Error Correction in High-Level Designs
Mutatsioonidel põhinev verifitseerimine ja vigade parandamine kõrgtaseme skeemides
valdkond
Informatics and System Engineering C
Informaatika ja süsteemitehnika C
autor
Hantson, Hanno
märksõnad
mutation analysis
verification
error correction
high-level designs
doctoral theses
mutatsioonianalüüs
verifitseerimine
vigade parandamine
kõrgtaseme skeemid
doktoritööd
väljaandja
TTÜ Kirjastus
TUT Press
juhendaja
Raik, Jaan
kaitsmiskuupäev
12.11.2015
identifikaator
ISBN 9789949238538 (publication)
ISBN 9789949238545 (pdf)
ISSN 14064731
keel
eng
asutus
Tallinn University of Technology
Tallinna Tehnikaülikool
teaduskond
Faculty of Information Technology
Infotehnoloogia teaduskond
instituut / kolledž
Department of Computer Engineering
Arvutitehnika instituut