Elizabeta Fourneret

According to our database, Elizabeta Fourneret authored at least 17 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Temporal property patterns for model-based testing from UML/OCL.

Frédéric Dadeau, Elizabeta Fourneret, Abir Bouchelaghem

Softw. Syst. Model., 2019

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, Alexandra Espinosa Hortelano, Gunnar Widforss, Pierluigi Pierini, Elizabeta Fourneret, Alessandra Bagnato

Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

2018

Chapter One - Model-Based Testing for Internet of Things Systems.

Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Bruno Legeard

Adv. Comput., 2018

2017

Improving Internet of Things device certification with policy-based management.

Ricardo Neisse, Gianmarco Baldini, Gary Steri, Abbas Ahmad, Elizabeta Fourneret, Bruno Legeard

Proceedings of the Global Internet of Things Summit, 2017

2016

Recent Advances in Model-Based Testing.

Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte

Adv. Comput., 2016

Security certification and labelling in Internet of Things.

Gianmarco Baldini, Antonio F. Skarmeta, Elizabeta Fourneret, Ricardo Neisse, Bruno Legeard, Franck Le Gall

Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

Model-Based Testing as a Service for IoT Platforms.

Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

A systematic classification of security regression testing approaches.

Michael Felderer, Elizabeta Fourneret

Int. J. Softw. Tools Technol. Transf., 2015

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, Elizabeta Fourneret, Matthias Gander, Bjørnar Solhaug, Ruth Breu

Int. J. Secur. Softw. Eng., 2014

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models.

Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

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

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

2013

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

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

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

PhD thesis, 2012

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

Proceedings of the Towards a Service-Based Internet - 4th European Conference, 2011

Selective Test Generation Method for Evolving Critical Systems.

Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, Stephane Debricon

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Model-Based Security Verification and Testing for Smart-cards.

Elizabeta Fourneret, Martín Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, Parvaneh Yousefi

Proceedings of the Sixth International Conference on Availability, 2011