Automatic Test Generation for Java-Card Applets.

Hugues Martin Lydie du Bousquet

Published in: Java Card Workshop (2000)

Keyphrases

java card
static analysis
test generation
byte code
fault injection
smart card
source code
countermeasures
test cases
virtual machine
regular expressions
open source
databases
elliptic curve
test suite
control flow
quality assurance
software testing
data model
information systems