Experimental Comparison of Concolic and Random Testing for Java Card Applets.

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

Published in: SPIN (2010)

Keyphrases

java card
experimental comparison
fault injection
smart card
byte code
static analysis
countermeasures
control flow
virtual machine
feature selection
elliptic curve
security model
software testing
test suite
data flow
information security
machine learning
secret key
security analysis
cost effective
case study