Aymerick Savary

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 1

Top Topics

Software Testing

Method Invocation

Countermeasures

Top Venues

University of Limoges, France (PHD)

Education History

University of Limoges, France

PHD

Publications

Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet
Model-Based Robustness Testing in Event-B Using Mutation. SEFM (2015)
Aymerick Savary, Marc Frappier, Jean-Louis Lanet
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. IFM (2013)