Suivre
Elizabeta FOURNERET
Elizabeta FOURNERET
Project Manager - Smartesting
Adresse e-mail validée de smartesting.com
Titre
Citée par
Citée par
Année
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
512016
Model-based testing as a service for iot platforms
A Ahmad, F Bouquet, E Fourneret, FL Gall, B Legeard
International Symposium on Leveraging Applications of Formal Methods, 727-742, 2016
472016
A systematic classification of security regression testing approaches
M Felderer, E Fourneret
International Journal on Software Tools for Technology Transfer 17 (3), 305-319, 2015
432015
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
362016
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
292011
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
252011
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
232014
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
International Conference on Model Driven Engineering Languages and Systems …, 2014
222014
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
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
72017
Temporal property patterns for model-based testing from UML/OCL
F Dadeau, E Fourneret, A Bouchelaghem
Software & Systems Modeling 18 (2), 865-888, 2019
62019
Model-based testing for internet of things systems
A Ahmad, F Bouquet, E Fourneret, B Legeard
Advances in Computers 108, 1-58, 2018
52018
Large scale IoT security testing, benchmarking and certification
A Ahmad, G Baldini, P Cousin, SN Matheu, A Skarmeta, E Fourneret, ...
Université de Bourgogne Franche-Comté, France, 2020
42020
Chapter two-recent advances in model-based testing. vol. 101 of Advances in Computers
M Utting, B Legeard, F Bouquet, E Fourneret, F Peureux, A VER-NOTTE
Elsevier, 2016
42016
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, ...
European Conference on a Service-Based Internet, 134-143, 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
12016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20