title
A Symbolic Approach to Model-based Online Testing
Mudelipõhine online-testimine kasutades sümbolarvutust
series
Informatics and System Engineering C
Informaatika ja süsteemitehnika C
author
Kääramees, Marko
keywords
model-based testing
online testing
symbolic testing strategy
EFSM
dissertations
mudelipõhine testimine
online testimine
dissertatsioonid
publisher
TUT Press
supervisor
Vain, Jüri
Hansen, Michael Reichhardt
defence date
28.11.2012
identifier
ISBN 9789949233861 (publication)
ISBN 9789949233878 (pdf)
ISSN 14064731
language
eng
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
Faculty of Information Technology
department / college
Arvutiteaduse instituut
Department of Computer Science