title
Mutation-Based Verification and Error Correction in High-Level Designs
Mutatsioonidel põhinev verifitseerimine ja vigade parandamine kõrgtaseme skeemides
series
Informatics and System Engineering C
Informaatika ja süsteemitehnika C
author
Hantson, Hanno
keywords
mutation analysis
verification
error correction
high-level designs
dissertations
mutatsioonianalüüs
verifitseerimine
vigade parandamine
kõrgtaseme skeemid
dissertatsioonid
publisher
TUT Press
TTÜ Kirjastus
supervisor
Raik, Jaan
defence date
12.11.2015
identifier
ISBN 9789949238538 (publication)
ISBN 9789949238545 (pdf)
ISSN 14064731
language
eng
institution
Tallinn University of Technology
Tallinna Tehnikaülikool
faculty
Faculty of Information Technology
Infotehnoloogia teaduskond
department / college
Department of Computer Engineering
Arvutitehnika instituut