Experimental Comparison of Concolic and Random Testing for Java Card Applets

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

Standard

Experimental Comparison of Concolic and Random Testing for Java Card Applets. / Kähkönen, Kari; Kindermann, Roland; Heljanko, Keijo; Niemelä, Ilkka.

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. ed. / Jaco van de Pol; Michael Weber. 2010. p. 22-39 (Lecture Notes in Computer Science; Vol. 6349).

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

Harvard

Kähkönen, K, Kindermann, R, Heljanko, K & Niemelä, I 2010, Experimental Comparison of Concolic and Random Testing for Java Card Applets. in J van de Pol & M Weber (eds), Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6349, pp. 22-39, International Workshop on Model Checking Software, Enschede, Netherlands, 27/09/2010. https://doi.org/10.1007/978-3-642-16164-3_3

APA

Kähkönen, K., Kindermann, R., Heljanko, K., & Niemelä, I. (2010). Experimental Comparison of Concolic and Random Testing for Java Card Applets. In J. van de Pol, & M. Weber (Eds.), Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings (pp. 22-39). (Lecture Notes in Computer Science; Vol. 6349). https://doi.org/10.1007/978-3-642-16164-3_3

Vancouver

Kähkönen K, Kindermann R, Heljanko K, Niemelä I. Experimental Comparison of Concolic and Random Testing for Java Card Applets. In van de Pol J, Weber M, editors, Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. 2010. p. 22-39. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-16164-3_3

Author

Kähkönen, Kari ; Kindermann, Roland ; Heljanko, Keijo ; Niemelä, Ilkka. / Experimental Comparison of Concolic and Random Testing for Java Card Applets. Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. editor / Jaco van de Pol ; Michael Weber. 2010. pp. 22-39 (Lecture Notes in Computer Science).

Bibtex - Download

@inproceedings{106843be18784be1a4c24a284e1f1ca4,
title = "Experimental Comparison of Concolic and Random Testing for Java Card Applets",
author = "Kari K{\"a}hk{\"o}nen and Roland Kindermann and Keijo Heljanko and Ilkka Niemel{\"a}",
note = "VK: stmcdes lime2 dc hiit",
year = "2010",
doi = "10.1007/978-3-642-16164-3_3",
language = "English",
isbn = "978-3-642-16163-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer Berlin Heidelberg",
pages = "22--39",
editor = "{van de Pol}, Jaco and Michael Weber",
booktitle = "Model Checking Software",

}

RIS - Download

TY - GEN

T1 - Experimental Comparison of Concolic and Random Testing for Java Card Applets

AU - Kähkönen, Kari

AU - Kindermann, Roland

AU - Heljanko, Keijo

AU - Niemelä, Ilkka

N1 - VK: stmcdes lime2 dc hiit

PY - 2010

Y1 - 2010

UR - http://dx.doi.org/10.1007/978-3-642-16164-3_3

U2 - 10.1007/978-3-642-16164-3_3

DO - 10.1007/978-3-642-16164-3_3

M3 - Conference contribution

SN - 978-3-642-16163-6

T3 - Lecture Notes in Computer Science

SP - 22

EP - 39

BT - Model Checking Software

A2 - van de Pol, Jaco

A2 - Weber, Michael

ER -

ID: 658224