Travelled to:1 × USA
1 × United Kingdom
Collaborated with:P.Masson J.Julliand J.Plessis G.Debois F.Bouquet B.Legeard F.Peureux M.Utting
Talks about:generat (2) test (2) traceabl (1) properti (1) softwar (1) automat (1) requir (1) applic (1) valid (1) smart (1)
Person: Eddie Jaffuel
DBLP: Jaffuel:Eddie
Contributed to:
20072005Wrote 2 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.
- A-MOST-2005-BouquetJLPU #automation #generative #requirements #smarttech #testing #traceability #validation
- Requirements traceability in automated test generation: application to smart card software validation (FB, EJ, BL, FP, MU), pp. 44–50.