Céline Bigot Alain Faivre Christophe Gaston Julien Simon Automatic Test Generation on a (U)SIM Smart Card. 345-358 2006 conf/cardis/2006 CARDIS http://dx.doi.org/10.1007/11733447_25 db/conf/cardis/cardis2006.html#BigotFGS06