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ä

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

6 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Model Checking Software
Alaotsikko	17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Toimittajat	Jaco van de Pol, Michael Weber
Sivut	22-39
ISBN (elektroninen)	978-3-642-16164-3
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-16164-3_3
Tila	Julkaistu - 2010
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Workshop on Model Checking Software - Enschede, Alankomaat Kesto: 27 syysk. 2010 → 29 syysk. 2010

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Kustantaja	Springer Berlin Heidelberg
Vuosikerta	6349
ISSN (painettu)	0302-9743

Workshop

Workshop	International Workshop on Model Checking Software
Lyhennettä	SPIN
Maa/Alue	Alankomaat
Kaupunki	Enschede
Ajanjakso	27/09/2010 → 29/09/2010

Pääsy asiakirjaan

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

OpenUrl-saatavuus

Koko teksti

Muut tiedostot ja linkit

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

Siteeraa tätä

Kähkönen, K., Kindermann, R., Heljanko, K., & Niemelä, I. (2010). Experimental Comparison of Concolic and Random Testing for Java Card Applets. teoksessa J. van de Pol, & M. Weber (Toimittajat), Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings (Sivut 22-39). (Lecture Notes in Computer Science; Vuosikerta 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. julkaisussa J van de Pol & M Weber (toim), Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science, Vuosikerta 6349, Sivut 22-39, International Workshop on Model Checking Software, Enschede, Alankomaat, 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. toim. / Jaco van de Pol; Michael Weber. 2010. s. 22-39 (Lecture Notes in Computer Science; Vuosikerta 6349).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

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

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. julkaisussa van de Pol J, Weber M, toimittajat, Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. 2010. s. 22-39. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-16164-3_3