Ohjelmakoodin symbolinen analyysi ja ajonaikainen testaus

dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorHeljanko, Keijo
dc.contributor.authorYli-Olli, Seppo
dc.contributor.departmentTietotekniikan laitosfi
dc.contributor.schoolPerustieteiden korkeakoulufi
dc.contributor.supervisorJanhunen, Tomi
dc.date.accessioned2014-01-22T08:04:30Z
dc.date.available2014-01-22T08:04:30Z
dc.date.issued2013-12-05
dc.format.extent20
dc.format.mimetypeapplication/pdfen
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/12135
dc.identifier.urnURN:NBN:fi:aalto-201401221150
dc.language.isofien
dc.programmeTietotekniikka TIKfi
dc.programme.majorOhjelmistotuotanto ja -liiketoimintafi
dc.programme.mcodeT3003fi
dc.subject.keywordohjelmistotestausfi
dc.subject.keywordtestigenerointifi
dc.subject.keywordautomaattinen testausfi
dc.subject.keyworddynaaminen symbolinen suoritusfi
dc.titleOhjelmakoodin symbolinen analyysi ja ajonaikainen testausfi
dc.typeG1 Kandidaatintyöfi
dc.type.dcmitypetexten
dc.type.ontasotBachelor's thesisen
dc.type.ontasotKandidaatintyöfi
Files