Experimental Comparison of Concolic and Random Testing for Java Card Applets

Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    6 Citations (Scopus)
    Original languageEnglish
    Title of host publicationModel Checking Software
    Subtitle of host publication17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
    EditorsJaco van de Pol, Michael Weber
    Pages22-39
    ISBN (Electronic)978-3-642-16164-3
    DOIs
    Publication statusPublished - 2010
    MoE publication typeA4 Article in a conference publication
    EventInternational Workshop on Model Checking Software - Enschede, Netherlands
    Duration: 27 Sep 201029 Sep 2010

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Berlin Heidelberg
    Volume6349
    ISSN (Print)0302-9743

    Workshop

    WorkshopInternational Workshop on Model Checking Software
    Abbreviated titleSPIN
    CountryNetherlands
    CityEnschede
    Period27/09/201029/09/2010

    Cite this