Automated Test Generation for Software Components

Kari Kähkönen

    Tutkimustuotos: TyöpaperiWorking paperProfessional

    AlkuperäiskieliEnglanti
    JulkaisupaikkaEspoo
    Sivut46
    ISBN (elektroninen)978-952-248-281-5
    TilaJulkaistu - 2009
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Julkaisusarja

    NimiTKK reports in information and computer science
    KustantajaTeknillinen korkeakoulu
    Numero26; TKK-ICS-R26
    ISSN (painettu)1797-5034
    ISSN (elektroninen)1797-5042

    Tutkimusalat

    • automated testing
    • dynamic symbolic execution

    Siteeraa tätä