Emerging markets for software testing tools based on formal methods and modelling
No Thumbnail Available
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Diplomityö
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Author
Date
2004
Department
Major/Subject
Telecommunications management
Mcode
T-124
Degree programme
Language
en
Pages
69
Series
Description
Supervisor
Smeds, RiittaThesis advisor
Huima, AnttiKeywords
emerging market, kehittyvä markkina, market analysis, markkina-analyysi, software testing tool, ohjelmiston testaustyökalu, formal methods, formaalit menetelmät, modelling, mallinnus, test automation, testiautomaatio