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