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 Jaco van de Pol and Michael Weber, editors, SPIN, volume 6349 of Lecture Notes in Computer Science, pages 22–39, 2010.

Suggested BibTeX entry:

@inproceedings{DBLP:confspinKahkonenKHN10,
    author = {Kari K{\"a}hk{\"o}nen and Roland Kindermann and Keijo Heljanko and Ilkka Niemel{\"a}},
    booktitle = {SPIN},
    editor = {Jaco van de Pol and Michael Weber},
    pages = {22-39},
    series = {Lecture Notes in Computer Science},
    title = {Experimental Comparison of Concolic and Random Testing for {J}ava {C}ard Applets},
    volume = {6349},
    year = {2010},
}