Cate: A System for Analysis and Test of Java Card Applications.

Peter Pfahler Jürgen Günther

Published in: SOQUA/TECOS (2004)

Keyphrases

java card
static analysis
database
information systems
open source
source code
test cases