| 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 | 60 | 2016 |
| 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 | 59 | 2016 |
| A systematic classification of security regression testing approaches M Felderer, E Fourneret International Journal on Software Tools for Technology Transfer 17, 305-319, 2015 | 59 | 2015 |
| 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 | 51 | 2016 |
| 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 | 30 | 2014 |
| 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 | 30 | 2011 |
| 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 | 30 | 2011 |
| 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 | 25 | 2015 |
| SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models E Fourneret, J Cantenot, F Bouquet, B Legeard, J Botella | 19 | 2014 |
| Temporal property patterns for model-based testing from UML/OCL F Dadeau, E Fourneret, A Bouchelaghem Software & Systems Modeling 18, 865-888, 2019 | 14 | 2019 |
| 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 | 12 | 2013 |
| Model-based testing for internet of things systems A Ahmad, F Bouquet, E Fourneret, B Legeard Advances in Computers 108, 1-58, 2018 | 11 | 2018 |
| 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 | 10 | 2017 |
| 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 | 5 | 2022 |
| MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges A Sadovykh, D Truscan, W Afzal, H Bruneliere, A Ashraf, A Gómez, ... Software Technology: Methods and Tools: 51st International Conference, TOOLS …, 2019 | 4 | 2019 |
| 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 | 4 | 2012 |
| 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 | 4 | 2010 |
| 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 | 3 | 2016 |
| 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 | 3 | 2011 |
| 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 | 2 | 2019 |
