Travelled to:1 × United Kingdom
Collaborated with:P.Masson J.Julliand E.Jaffuel G.Debois
Talks about:properti (1) generat (1) automat (1) secur (1) model (1) class (1) test (1) base (1)
Person: Jean-Chritophe Plessis
DBLP: Plessis:Jean=Chritophe
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.