haku: @supervisor Puolamäki, Kai / yhteensä: 62
viite: 20 / 62
| Tekijä: | Sirkiä, Teemu |
| Työn nimi: | Automatisoitu ohjelmistotestaus C-kielisille ohjelmille |
| Julkaisutyyppi: | Kandidaatintyö |
| Julkaisuvuosi: | 2010 |
| Sivut: | 26 Kieli: fin |
| Koulu/Laitos/Osasto: | Informaatio- ja luonnontieteiden tiedekunta |
| Koulutusohjelma: | Tietotekniikan tutkinto-ohjelma |
| Oppiaine: | Ohjelmistotekniikka (T3001) |
| Valvoja: | Puolamäki, Kai |
| Ohjaaja: | Heljanko, Keijo |
| Elektroninen julkaisu: | http://urn.fi/URN:NBN:fi:aalto-201305164613 |
| Sijainti: | |
| Avainsanat: | automatisoitu ohjelmistotestaus symbolinen suoritus heuristinen analyysi KLEE mustalaatikkotestaus lasilaatikkotestaus |
| ED: | 2010-09-07 |
INSSI tietueen numero: 40602
+ lisää koriin
INSSI