Travelled to:1 × Finland
1 × United Kingdom
Collaborated with:M.Frappier J.Lanet M.Leuschel
Talks about:model (2) test (2) base (2) use (2) bytecod (1) vulner (1) verifi (1) robust (1) detect (1) mutat (1)
Person: Aymerick Savary
DBLP: Savary:Aymerick
Contributed to:
2015
2013Wrote 2 papers:
- SEFM-2015-SavaryFLL #modelling #robust #testing #using
- Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.
- IFM-2013-SavaryFL #bytecode #detection #modelling #testing #using #verification
- Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing (AS, MF, JLL), pp. 223–237.