A symbolic approach to model-based online testing = Mudelipõhine online-testimine kasutades sümbolarvutust
author
Kääramees, Marko
supervisor
Vain, Jüri
author
supervisor
Hansen, Michael Reichhardt
statement of authorship
Marko Kääramees
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
TUT Press
year of publication
2012
pages
216 p. : ill
series
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 79
subject term
tarkvaraarendus
mudelipõhine tarkvaraarendus
testimine
subject of form
dissertatsioonid
ISSN
1406-4731
ISBN
978-9949-23-386-1
978-9949-23-387-8 (pdf)
notes
Includes bibliogr
Autori CV inglise ja eesti keeles, lk. 205-211
Kokkuvõte eesti keeles, lk. 7
Thesis (Ph.D. in Computer Science) : Tallinn University of Technology, 2012
Ka eestikeelse tiitellehega
url
http://www.ester.ee/record=b2890159*est
TTÜ department
arvutiteaduse instituut
language
inglise