Model-Based Security Verification and Testing for Smart-cards. - Elizabeta Fourneret; Martín Ochoa; Fabrice Bouquet; Julien Botella; Jan Jürjens; Parvaneh Yousefi (ARES, 2011)

Selective Test Generation Method for Evolving Critical Systems. - Elizabeta Fourneret; Fabrice Bouquet; Frédéric Dadeau; Stephane Debricon (ICST Workshops, 2011)

Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). - Fabio Massacci; Fabrice Bouquet; Elizabeta Fourneret; Jan Jürjens; Mass Soldal Lund; Sébastien Madelénat; Jan Tobias Mühlberg; Federica Paci; Stéphane Paul; Frank Piessens; Bjørnar Solhaug; Sven Wenzel (ServiceWave, 2011)

Génération de tests à partir de modèle UML/OCL pour les systèmes critiques évolutifs. (Test Generation from UML/OCL Model for involving critical system). - Elizabeta Fourneret (2012)

Model based test validation and oracles for data acquisition systems. - Daniel Di Nardo; Nadia Alshahwan; Lionel C. Briand; Elizabeta Fourneret; Tomislav Nakic-Alfirevic; Vincent Masquelier (ASE, 2013)

Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg's Tax Law. - Ghanem Soltana; Elizabeta Fourneret; Morayo Adedjouma; Mehrdad Sabetzadeh; Lionel C. Briand (MoDELS, 2014)

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. - Elizabeta Fourneret; Jérôme Cantenot; Fabrice Bouquet; Bruno Legeard; Julien Botella (SERE, 2014)

Evolution of Security Engineering Artifacts: A State of the Art Survey. - Michael Felderer; Basel Katt; Philipp Kalb; Jan Jürjens; Martín Ochoa; Federica Paci; Le Minh Sang Tran; Thein Than Tun; Koen Yskout; Riccardo Scandariato; Frank Piessens; Dries Vanoverberghe; et al. (Int. J. Secur. Softw. Eng., 2014)

A systematic classification of security regression testing approaches. - Michael Felderer; Elizabeta Fourneret (Int. J. Softw. Tools Technol. Transf., 2015)

Model-Based Testing as a Service for IoT Platforms. - Abbas Ahmad; Fabrice Bouquet; Elizabeta Fourneret; Franck Le Gall; Bruno Legeard (ISoLA (2), 2016)

Security certification and labelling in Internet of Things. - Gianmarco Baldini; Antonio F. Skarmeta; Elizabeta Fourneret; Ricardo Neisse; Bruno Legeard; Franck Le Gall (WF-IoT, 2016)

Recent Advances in Model-Based Testing. - Mark Utting; Bruno Legeard; Fabrice Bouquet; Elizabeta Fourneret; Fabien Peureux; Alexandre Vernotte (Adv. Comput., 2016)

Improving Internet of Things device certification with policy-based management. - Ricardo Neisse; Gianmarco Baldini; Gary Steri; Abbas Ahmad; Elizabeta Fourneret; Bruno Legeard (GIoTS, 2017)

Chapter One - Model-Based Testing for Internet of Things Systems. - Abbas Ahmad; Fabrice Bouquet; Elizabeta Fourneret; Bruno Legeard (Adv. Comput., 2018)

MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges. - Andrey Sadovykh; Dragos Truscan; Wasif Afzal; Hugo Bruneliere; Adnan Ashraf; Abel Gómez 001; Alexandra Espinosa Hortelano; Gunnar Widforss; Pierluigi Pierini; Elizabeta Fourneret; Alessandra Bagnato (TOOLS, 2019)

Temporal property patterns for model-based testing from UML/OCL. - Frédéric Dadeau; Elizabeta Fourneret; Abir Bouchelaghem (Softw. Syst. Model., 2019)

Complementary test selection criteria for model-based testing of security components. - Julien Botella; Jean-Francois Capuron; Frédéric Dadeau; Elizabeta Fourneret; Bruno Legeard; Florence Schadle (Int. J. Softw. Tools Technol. Transf., 2019)