Experimental Comparison of Concolic and Random Testing for Java Card Applets

Reference:

Kari Kähkönen, Roland Kindermann, Keijo Heljanko, and Ilkka Niemelä. Experimental comparison of concolic and random testing for java card applets. In Proceedings of the 16th International SPIN Workshop on Model Checking of Software SPIN 2010, volume 6349 of Lecture Notes in Computer Science, pages 22–39, 2010.

Suggested BibTeX entry:

@inproceedings{KKHN:SPIN2010,
    author = {Kari K{\"a}hk{\"o}nen and Roland Kindermann and Keijo Heljanko and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 16th International SPIN Workshop on Model Checking of Software~{SPIN 2010}},
    pages = {22--39},
    series = {Lecture Notes in Computer Science},
    title = {Experimental Comparison of Concolic and Random Testing for Java Card Applets},
    volume = {6349},
    year = {2010},
}