search query: @keyword symbolinen suoritus / total: 5
reference: 1 / 5
« previous | next »
Author: | Sirkiä, Teemu |
Title: | Automatisoitu ohjelmistotestaus C-kielisille ohjelmille |
Publication type: | Bachelor's thesis |
Publication year: | 2010 |
Pages: | 26 Language: fin |
Department/School: | Informaatio- ja luonnontieteiden tiedekunta |
Degree programme: | Tietotekniikan tutkinto-ohjelma |
Main subject: | Ohjelmistotekniikka (T3001) |
Supervisor: | Puolamäki, Kai |
Instructor: | Heljanko, Keijo |
Electronic version URL: | http://urn.fi/URN:NBN:fi:aalto-201305164613 |
Location: | |
Keywords: | automatisoitu ohjelmistotestaus symbolinen suoritus heuristinen analyysi KLEE mustalaatikkotestaus lasilaatikkotestaus |
ED: | 2010-09-07 |
INSSI record number: 40602
+ add basket
« previous | next »
INSSI