@inproceedings{
    KKHN:SPIN2010,
    author = {K{\"a}hk{\"o}nen, Kari and Kindermann, Roland and Heljanko, Keijo and Niemel{\"a}, Ilkka},
    responsibleauthor = {K{\"a}hk{\"o}nen, Kari},
    title = "Experimental Comparison of Concolic and Random Testing for Java Card Applets",
    url = "http://dx.doi.org/10.1007/978-3-642-16164-3_3",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 16th International SPIN Workshop on Model Checking of Software~{SPIN 2010}",
    corerank = "NA",
    volume = "6349",
    flags = "StMcDes LIME2 copy",
    year = "2010",
    impactfactor = "A4",
    pages = "22--39"
}