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
Date
2004
Major/Subject
Telecommunications management
Mcode
T-124
Degree programme
Language
en
Pages
69
Series
Description
Supervisor
Smeds, Riitta
Thesis advisor
Huima, Antti
Keywords
emerging market, kehittyvä markkina, market analysis, markkina-analyysi, software testing tool, ohjelmiston testaustyökalu, formal methods, formaalit menetelmät, modelling, mallinnus, test automation, testiautomaatio
Other note
Citation