Ohjelmakoodin symbolinen analyysi ja ajonaikainen testaus
dc.contributor | Aalto-yliopisto | fi |
dc.contributor | Aalto University | en |
dc.contributor.advisor | Heljanko, Keijo | |
dc.contributor.author | Yli-Olli, Seppo | |
dc.contributor.department | Tietotekniikan laitos | fi |
dc.contributor.school | Perustieteiden korkeakoulu | fi |
dc.contributor.supervisor | Janhunen, Tomi | |
dc.date.accessioned | 2014-01-22T08:04:30Z | |
dc.date.available | 2014-01-22T08:04:30Z | |
dc.date.issued | 2013-12-05 | |
dc.format.extent | 20 | |
dc.format.mimetype | application/pdf | en |
dc.identifier.uri | https://aaltodoc.aalto.fi/handle/123456789/12135 | |
dc.identifier.urn | URN:NBN:fi:aalto-201401221150 | |
dc.language.iso | fi | en |
dc.programme | Tietotekniikka TIK | fi |
dc.programme.major | Ohjelmistotuotanto ja -liiketoiminta | fi |
dc.programme.mcode | T3003 | fi |
dc.subject.keyword | ohjelmistotestaus | fi |
dc.subject.keyword | testigenerointi | fi |
dc.subject.keyword | automaattinen testaus | fi |
dc.subject.keyword | dynaaminen symbolinen suoritus | fi |
dc.title | Ohjelmakoodin symbolinen analyysi ja ajonaikainen testaus | fi |
dc.type | G1 Kandidaatintyö | fi |
dc.type.dcmitype | text | en |
dc.type.ontasot | Bachelor's thesis | en |
dc.type.ontasot | Kandidaatintyö | fi |