Follow
Elizabeta FOURNERET
Elizabeta FOURNERET
Project Manager - Smartesting
Verified email at smartesting.com
Title
Cited by
Cited by
Year
Recent advances in model-based testing
M Utting, B Legeard, F Bouquet, E Fourneret, F Peureux, A Vernotte
Advances in computers 101, 53-120, 2016
61*2016
Model-based testing as a service for iot platforms
A Ahmad, F Bouquet, E Fourneret, F Le Gall, B Legeard
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
542016
A systematic classification of security regression testing approaches
M Felderer, E Fourneret
International Journal on Software Tools for Technology Transfer 17, 305-319, 2015
522015
Security certification and labelling in Internet of Things
G Baldini, A Skarmeta, E Fourneret, R Neisse, B Legeard, F Le Gall
2016 IEEE 3rd World Forum on Internet of Things (WF-IoT), 627-632, 2016
482016
Model-based security verification and testing for smart-cards
E Fourneret, M Ochoa, F Bouquet, J Botella, J Jurjens, P Yousefi
2011 Sixth International Conference on Availability, Reliability and …, 2011
302011
Selective test generation method for evolving critical systems
E Fourneret, F Bouquet, F Dadeau, S Debricon
2011 ieee fourth international conference on software testing, verification …, 2011
282011
Using UML for modeling procedural legal rules: Approach and a study of Luxembourg’s Tax Law
G Soltana, E Fourneret, M Adedjouma, M Sabetzadeh, L Briand
Model-Driven Engineering Languages and Systems: 17th International …, 2014
252014
Evolution of security engineering artifacts: a state of the art survey
M Felderer, B Katt, P Kalb, J Jürjens, M Ochoa, F Paci, TT Tun, K Yskout, ...
International Journal of Secure Software Engineering (IJSSE) 5 (4), 48-98, 2014
242014
SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models
E Fourneret, J Cantenot, F Bouquet, B Legeard, J Botella
182014
Model based test validation and oracles for data acquisition systems
D Di Nardo, N Alshahwan, LC Briand, E Fourneret, T Nakić-Alfirević, ...
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
122013
Temporal property patterns for model-based testing from UML/OCL
F Dadeau, E Fourneret, A Bouchelaghem
Software & Systems Modeling 18, 865-888, 2019
112019
Model-based testing for internet of things systems
A Ahmad, F Bouquet, E Fourneret, B Legeard
Advances in Computers 108, 1-58, 2018
102018
Improving internet of things device certification with policy-based management
R Neisse, G Baldini, G Steri, A Ahmad, E Fourneret, B Legeard
2017 Global Internet of Things Summit (GIoTS), 1-6, 2017
82017
Large scale IoT security testing, benchmarking and certification
A Ahmad, G Baldini, P Cousin, SN Matheu, A Skarmeta, E Fourneret, ...
Cognitive Hyperconnected Digital Transformation, 189-220, 2022
52022
Vérification et test pour des systemes évolutifs
E Fourneret, F Bouquet, M Ochoa, J Jürjens, S Wenzel
AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de …, 2012
42012
Impact analysis for uml/ocl statechart diagrams based on dependence algorithms for evolving critical software
E Fourneret, F Bouquet
Laboratoire d'Informatique de Franche-Comté, Besançon, France, Tech. Rep …, 2010
42010
Orchestrating security and system engineering for evolving systems
F Massacci, F Bouquet, E Fourneret, J Jurjens, MS Lund, S Madelénat, ...
Towards a Service-Based Internet: 4th European Conference, ServiceWave 2011 …, 2011
32011
Complementary test selection criteria for model-based testing of security components
J Botella, JF Capuron, F Dadeau, E Fourneret, B Legeard, F Schadle
International Journal on Software Tools for Technology Transfer 21 (4), 425-448, 2019
22019
Mbeetle-un outil pour la generation de tests a-la-volee a l'aide de modeles
J Lorrain, E Fourneret, F Dadeau, B Legeard
Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2016
22016
Evolution of security engineering artifacts: A state of the art survey
M Felderer, B Katt, P Kalb, J Jürjens, M Ochoa, F Paci, TT Tun, K Yskout, ...
Transportation Systems and Engineering: Concepts, Methodologies, Tools, and …, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20