Travelled to:1 × Estonia
1 × Luxembourg
Collaborated with:F.Dadeau Y.Ledru T.Triki L.d.Bousquet F.Bouquet J.Capuron F.Lebeau B.Legeard F.Schadle K.C.Castillos G.Vega S.Taha
Talks about:test (4) model (2) evalu (2) base (2) cryptograph (1) combinatori (1) properti (1) criteria (1) generat (1) tasccc (1)
Person: Julien Botella
DBLP: Botella:Julien
Contributed to:
2013
2012Wrote 3 papers:
- ICST-2013-BotellaBCLLS #component #encryption #experience #lessons learnt #modelling #testing
- Model-Based Testing of Cryptographic Components — Lessons Learned from Experience (JB, FB, JFC, FL, BL, FS), pp. 192–201.
- ICST-2013-DadeauCLTVBT #evaluation #generative #testing
- Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations — The TASCCC Testing Tool (FD, KCC, YL, TT, GV, JB, ST), pp. 431–438.
- FASE-2012-TrikiLBDB #combinator #modelling #testing
- Model-Based Filtering of Combinatorial Test Suites (TT, YL, LdB, FD, JB), pp. 439–454.