BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Savary:Aymerick

Contributed to:

SEFM 20152015
IFM 20132013

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.