Experimental Comparison of Concolic and Random Testing for Java Card Applets

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

Researchers

Research units

Details

Original languageEnglish
Title of host publicationModel Checking Software
Subtitle of host publication17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
EditorsJaco van de Pol, Michael Weber
Publication statusPublished - 2010
MoE publication typeA4 Article in a conference publication
EventInternational Workshop on Model Checking Software - Enschede, Netherlands
Duration: 27 Sep 201029 Sep 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume6349
ISSN (Print)0302-9743

Workshop

WorkshopInternational Workshop on Model Checking Software
Abbreviated titleSPIN
CountryNetherlands
CityEnschede
Period27/09/201029/09/2010

ID: 658224