Experimental Comparison of Concolic and Random Testing for Java Card Applets

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

doi:10.1007/978-3-642-16164-3_3

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 proceeding › Conference article in proceedings › Scientific › peer-review

8 Citations (Scopus)

Original language	English
Title of host publication	Model Checking Software
Subtitle of host publication	17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Editors	Jaco van de Pol, Michael Weber
Pages	22-39
ISBN (Electronic)	978-3-642-16164-3
DOIs	https://doi.org/10.1007/978-3-642-16164-3_3
Publication status	Published - 2010
MoE publication type	A4 Conference publication
Event	International Workshop on Model Checking Software - Enschede, Netherlands Duration: 27 Sept 2010 → 29 Sept 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	6349
ISSN (Print)	0302-9743

Workshop

Workshop	International Workshop on Model Checking Software
Abbreviated title	SPIN
Country/Territory	Netherlands
City	Enschede
Period	27/09/2010 → 29/09/2010

Access to Document

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

Cite this

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

@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; International Workshop on Model Checking Software, SPIN ; Conference date: 27-09-2010 Through 29-09-2010",

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",

}

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

Experimental Comparison of Concolic and Random Testing for Java Card Applets. / Kähkönen, Kari; Kindermann, Roland; Heljanko, Keijo et al.
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 proceeding › Conference article in proceedings › Scientific › peer-review

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 article in proceedings

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

T2 - International Workshop on Model Checking Software

Y2 - 27 September 2010 through 29 September 2010

ER -

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). doi: 10.1007/978-3-642-16164-3_3

Experimental Comparison of Concolic and Random Testing for Java Card Applets

Publication series

Workshop

Access to Document

Other files and links

Cite this