Travelled to:1 × United Kingdom
Collaborated with:P.Masson J.Julliand J.Plessis E.Jaffuel
Talks about:properti (1) generat (1) automat (1) secur (1) model (1) class (1) test (1) base (1)
Person: Georges Debois
DBLP: Debois:Georges
Contributed to:
2007Wrote 1 papers:
- A-MOST-2007-MassonJPJD #automation #generative #modelling #security #testing
- Automatic generation of model based tests for a class of security properties (PAM, JJ, JCP, EJ, GD), pp. 12–22.