Automatic Test Generation on a (U)SIM Smart Card.

Cline Bigot, Alain Faivre, Christophe Gaston, Julien Simon

Browse the full CARDIS paper archive.