Automatisoitu ohjelmistotestaus C-kielisille ohjelmille

No Thumbnail Available
Journal Title
Journal ISSN
Volume Title
Informaatio- ja luonnontieteiden tiedekunta | Bachelor's thesis
Electronic archive copy is available locally at the Harald Herlin Learning Centre. The staff of Aalto University has access to the electronic bachelor's theses by logging into Aaltodoc with their personal Aalto user ID. Read more about the availability of the bachelor's theses.
Date
2010
Department
Major/Subject
Ohjelmistotekniikka
Mcode
T3001
Degree programme
Tietotekniikan tutkinto-ohjelma (TIK)
Language
fi
Pages
26 s.
Series
Description
Supervisor
Puolamäki, Kai
Thesis advisor
Heljanko, Keijo
Keywords
automatisoitu ohjelmistotestaus, symbolinen suoritus, heuristinen analyysi, KLEE, mustalaatikkotestaus, lasilaatikkotestaus
Other note
Citation