Model-based testing of cryptographic components--lessons learned from experience J Botella, F Bouquet, JF Capuron, F Lebeau, B Legeard, F Schadle 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 33 | 2013 |
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 | 31 | 2011 |
Risk-based vulnerability testing using security test patterns J Botella, B Legeard, F Peureux, A Vernotte Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 23 | 2014 |
Setgam: Generalized technique for regression testing based on uml/ocl models E Fourneret, J Cantenot, F Bouquet, B Legeard, J Botella 2014 Eighth International Conference on Software Security and Reliability …, 2014 | 18 | 2014 |
Scenario based test generation using test designer KC Castillos, J Botella 2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011 | 13 | 2011 |
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations--The TASCCC Testing Tool F Dadeau, KC Castillos, Y Ledru, T Triki, G Vega, J Botella, S Taha 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 11 | 2013 |
Model-based filtering of combinatorial test suites T Triki, Y Ledru, L Du Bousquet, F Dadeau, J Botella Fundamental Approaches to Software Engineering: 15th International …, 2012 | 7 | 2012 |
Tool Support for Refactoring Manual Tests E Bernard, J Botella, F Ambert, B Legeard, M Utting 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 5 | 2020 |
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 |
Modelbased test generation of aicraft traffic attack scenarios using ads-b standard signals J Botella, P Cao, C Civeit, D Gidoin, F Peureux 1st User Conference on Advanced Automated Testing (UCAAT) 10, 2013 | 2 | 2013 |
Experiment on using model-based testing for automatic tests generation on a software radio protocol S Li, M Bourdellès, A Acebedo, J Botella, F Peureux Proceedings of the 9th International Workshop on Systems Testing and …, 2012 | 2 | 2012 |
Achieving SCA Conformance Testing with Model-Based Testing J Botella, JP Delahaye, E Jaffuel, B Legeard, F Peureux Journal of Signal Processing Systems 83 (1), 113-128, 2016 | 1 | 2016 |
MBT_Sec–Model-Based Testing for Security Components J Botella, F Dadeau, E Fourneret, B Legeard, J Lorrain, R Sibre Approches Formelles dans l'Assistance au Développement de Logiciels, 2015 | | 2015 |
TASCCC-Project and Testing Tool (poster) F Dadeau, KC Castillos, Y Ledru, L Du Bousquet, T Triki, GEV Baez, ... Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du …, 2013 | | 2013 |
Nouveaux mécanismes de filtrage de tests basés sur le modèle T Triki, Y Ledru, L Du Bousquet, F Dadeau, J Botella Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du …, 2012 | | 2012 |
TASCCC-Project and Testing Tool (poster and demo) KC Castillos, F Dadeau, Y Ledru, L Du Bousquet, T Triki, S Taha, ... Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du …, 2012 | | 2012 |
Dynamic Application Security Testing F Dadeau, F Peureux, A Vernotte, B Legeard, J Botella, C Civeit, D Gidoin, ... Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 237, 0 | | |
TASCCC-Project and Testing Tool F Dadeau, KC Castillos, Y Ledru, L du Bousquet, T Triki, G Vega, S Taha, ... Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 198, 0 | | |
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations F Dadeau, KC Castillos, Y Ledru, T Triki, G Vega, J Botella, S Taha | | |