Automatic generation of model based tests for a class of security properties.

Pierre-Alain Masson Jacques Julliand Jean-Chritophe Plessis Eddie Jaffuel Georges Debois Automatic generation of model based tests for a class of security properties. 12-22 2007 conf/amost/2007 A-MOST http://doi.acm.org/10.1145/1291535.1291537 db/conf/amost/amost2007.html#MassonJPJD07