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. In Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12. pages 12-22, ACM, 2007. [doi]

Authors

Pierre-Alain Masson

This author has not been identified. Look up 'Pierre-Alain Masson' in Google

Jacques Julliand

This author has not been identified. Look up 'Jacques Julliand' in Google

Jean-Chritophe Plessis

This author has not been identified. Look up 'Jean-Chritophe Plessis' in Google

Eddie Jaffuel

This author has not been identified. Look up 'Eddie Jaffuel' in Google

Georges Debois

This author has not been identified. Look up 'Georges Debois' in Google