Combinatorial Interaction Testing of a Java Card Static Verifier.

Andrea Calvagna Andrea Fornaia Emiliano Tramontana

Published in: ICST Workshops (2014)

Keyphrases

java card
fault injection
smart card
static analysis
countermeasures
byte code
virtual machine
data flow
elliptic curve
security model
control flow
source code
security analysis
fault model
software testing
test suite
regular expressions
test cases
relational databases
method invocation