Login / Signup
Florence Schadle
Publication Activity (10 Years)
Years Active: 2013-2019
Publications (10 Years): 1
Top Topics
Software Testing
Sequence Diagrams
Intrusion Detection
Network Security
Top Venues
ICST
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>
Julien Botella
,
Jean-Francois Capuron
,
Frédéric Dadeau
,
Elizabeta Fourneret
,
Bruno Legeard
,
Florence Schadle
Complementary test selection criteria for model-based testing of security components.
Int. J. Softw. Tools Technol. Transf.
21 (4) (2019)
Julien Botella
,
Fabrice Bouquet
,
Jean-Francois Capuron
,
Franck Lebeau
,
Bruno Legeard
,
Florence Schadle
Model-Based Testing of Cryptographic Components - Lessons Learned from Experience.
ICST
(2013)