Experimental Comparison of Concolic and Random Testing for Java Card Applets

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoModel Checking Software
Alaotsikko17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
ToimittajatJaco van de Pol, Michael Weber
TilaJulkaistu - 2010
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Workshop on Model Checking Software - Enschede, Alankomaat
Kesto: 27 syyskuuta 201029 syyskuuta 2010

Julkaisusarja

NimiLecture Notes in Computer Science
KustantajaSpringer Berlin Heidelberg
Vuosikerta6349
ISSN (painettu)0302-9743

Workshop

WorkshopInternational Workshop on Model Checking Software
LyhennettäSPIN
MaaAlankomaat
KaupunkiEnschede
Ajanjakso27/09/201029/09/2010

ID: 658224