Automated Test Generation for Software Components

Kari Kähkönen

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Pages46
    ISBN (Electronic)978-952-248-281-5
    Publication statusPublished - 2009
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameTKK reports in information and computer science
    PublisherTeknillinen korkeakoulu
    No.26; TKK-ICS-R26
    ISSN (Print)1797-5034
    ISSN (Electronic)1797-5042

    Keywords

    • automated testing
    • dynamic symbolic execution

    Cite this