The institute

FEMTO-ST

Directory

You are here

• Home
• Bruno Legeard

Bruno Legeard

DISC department
VESONTIO team

UFC - UFR ST

E-mail:

blegeard [at] femto-st.fr

03.81.66.66.55

Address:

DISC - UFR-ST (Campus La Bouloie)

Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

Bruno Legeard's publications

View all publications (86)2021 (3)2020 (5)2019 (2)2018 (3)2016 (5)2015 (7)2014 (10)2013 (11)2012 (6)2011 (4)2010 (11)2009 (3)2008 (1)2007 (2)2006 (8)2004 (4)1997 (1)

2021 (3)

• inproceedings - Apprentissage auto-supervisé pour la détection d’actions illégales lors de la surveillance du trafic maritime
  Conférence Nationale en Intelligence Artificielle (CNIA 2021) / Online (Electronic Conference), Online (Electronic Conference) (2021, Pages pages 43 - 52)
  Bernabé, Pierre | Gotlieb, Arnaud | Legeard, Bruno | Sem-Jacobsen, Olaf | Spieker, Helge
  
  bibtex@inproceedings{b95c59a5-3188-4cac-8397-348d5f3461e8, title = {Apprentissage auto-supervis\'e pour la d\'etection d'actions ill\'egales lors de la surveillance du trafic maritime}, author = {Bernab\'e, Pierre and Gotlieb, Arnaud and Legeard, Bruno and Sem-Jacobsen, Olaf and Spieker, Helge}, year = {2021}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {Conf\'erence Nationale en Intelligence Artificielle (CNIA 2021)}, editor = {b95c59a5-3188-4cac-8397-348d5f3461e8-editor.pdf}, month = {jun}, pages = {43 - 52} }
• inproceedings - Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model
  35th AAAI Conference on Artificial Intelligence (AAAI 2021) / Online (Electronic Conference), Online (Electronic Conference) (Volume 35, Issue 18, 2021, Pages pages 15757 - 15758)
  Bernabé, Pierre | Spieker, Helge | Legeard, Bruno | Gotlieb, Arnaud
  
  doi | bibtex@inproceedings{7c04f69e-42fb-4f80-9e0b-5bc968d9b067, title = {Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model}, author = {Bernab\'e, Pierre and Spieker, Helge and Legeard, Bruno and Gotlieb, Arnaud}, year = {2021}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {35th AAAI Conference on Artificial Intelligence (AAAI 2021)}, editor = {7c04f69e-42fb-4f80-9e0b-5bc968d9b067-editor.pdf}, month = {feb}, number = {18}, pages = {15757 - 15758}, volume = {35}, doi = {https://ojs.aaai.org/index.php/AAAI/article/view/17875} }
• article - A domain-specific language to design false data injection tests for air traffic control systems
  International Journal on Software Tools for Technology Transfer (STTT) ( 2021)
  Vernotte, Alexandre | Cretin, Aymeric | Legeard, Bruno | Peureux, Fabien
  
  pdf | doi

2020 (5)

• inproceedings - Improved Testing of AI-Based Anomaly Detection Systems Using Synthetic Surveillance Data
  8th OpenSky Symposium (2020) / Online (Electronic Conference), Online (Electronic Conference) (Volume 59, Issue 1, 2020, Pages pages 9 (10))
  Chevrot, Antoine | Vernotte, Alexandre | Bernabé, Pierre | Cretin, Aymeric | Peureux, Fabien | Legeard, Bruno
  
  doi | bibtex@inproceedings{97a4053d-35af-472d-b9cf-4b8ecd37f1ff, title = {Improved Testing of AI-Based Anomaly Detection Systems Using Synthetic Surveillance Data}, author = {Chevrot, Antoine and Vernotte, Alexandre and Bernab\'e, Pierre and Cretin, Aymeric and Peureux, Fabien and Legeard, Bruno}, year = {2020}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {8th OpenSky Symposium (2020)}, editor = {97a4053d-35af-472d-b9cf-4b8ecd37f1ff-editor.pdf}, month = {nov}, number = {1}, pages = {9 (10)}, volume = {59}, doi = {10.3390/proceedings2020059009} }
• inproceedings - Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance
  IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020) / Porto, Portugal (2020, Pages pages 143 - 152)
  Cretin, Aymeric | Vernotte, Alexandre | Chevrot, Antoine | Peureux, Fabien | Legeard, Bruno
  
  pdf | doi | bibtex@inproceedings{580924f8-bf21-43e5-8710-8c3c7bff7372, title = {Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance}, author = {Cretin, Aymeric and Vernotte, Alexandre and Chevrot, Antoine and Peureux, Fabien and Legeard, Bruno}, year = {2020}, address = {Porto, Portugal}, booktitle = {IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020)}, editor = {580924f8-bf21-43e5-8710-8c3c7bff7372-editor.pdf}, month = {oct}, pages = {143 - 152}, url = {https://publiweb.femto-st.fr/tntnet/entries/16440/documents/author/data}, doi = {10.1109/ICSTW50294.2020.00034} }
• inproceedings - Supporting efficient test automation using lightweight MBT
  13th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020) / Porto, Portugal (2020, Pages pages 84 - 94)
  Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno
  
  pdf | doi | bibtex@inproceedings{d4a2ed94-314c-4b00-8a14-12799a2ba02b, title = { Supporting efficient test automation using lightweight MBT}, author = {Bernard, Elodie and Ambert, Fabrice and Legeard, Bruno}, year = {2020}, address = {Porto, Portugal}, booktitle = {13th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020)}, editor = {d4a2ed94-314c-4b00-8a14-12799a2ba02b-editor.pdf}, month = {oct}, pages = {84 - 94}, url = {https://publiweb.femto-st.fr/tntnet/entries/16386/documents/author/data}, doi = {10.1109/ICSTW50294.2020.00028} }
• inproceedings - Identifying and Generating Missing Tests using Machine Learning on Execution Traces
  2ème IEEE International Conference on Artificial Intelligence Testing (IEEE AiTest 2020) / Oxford, United Kingdom (2020, Pages pages 83 - 90)
  Utting, Mark | Legeard, Bruno | Dadeau, Frédéric | Tamagnan, Frédéric | Bouquet, Fabrice
  
  pdf | doi | bibtex@inproceedings{58a5c38d-9650-478d-adf9-3803592da86c, title = {Identifying and Generating Missing Tests using Machine Learning on Execution Traces }, author = {Utting, Mark and Legeard, Bruno and Dadeau, Fr\'ed\'eric and Tamagnan, Fr\'ed\'eric and Bouquet, Fabrice}, year = {2020}, address = {Oxford, United Kingdom}, booktitle = {2\`eme IEEE International Conference on Artificial Intelligence Testing (IEEE AiTest 2020)}, editor = {58a5c38d-9650-478d-adf9-3803592da86c-editor.pdf}, month = {jul}, pages = {83 - 90}, url = {https://publiweb.femto-st.fr/tntnet/entries/16470/documents/author/data}, doi = {10.1109/AITEST49225.2020.00020} }
• inproceedings - Tool Support for Refactoring Manual Tests
  International Conference on Software Testing, Verification and Validation (ICST 2020) / Porto, Portugal (2020, Pages pages 332 - 342)
  Bernard, Elodie | Botella, Julien | Ambert, Fabrice | Legeard, Bruno | Utting, Mark
  
  pdf | doi | bibtex@inproceedings{b0b1668e-423a-4f3d-96a0-9d5be823817e, title = {Tool Support for Refactoring Manual Tests}, author = {Bernard, Elodie and Botella, Julien and Ambert, Fabrice and Legeard, Bruno and Utting, Mark}, year = {2020}, address = {Porto, Portugal}, booktitle = {International Conference on Software Testing, Verification and Validation (ICST 2020)}, editor = {b0b1668e-423a-4f3d-96a0-9d5be823817e-editor.pdf}, month = {mar}, pages = {332 - 342}, url = {https://publiweb.femto-st.fr/tntnet/entries/16242/documents/author/data}, doi = {10.1109/ICST46399.2020.00041} }

2019 (2)

• article - Complementary test selection criteria for model-based testing of security components
  International Journal on Software Tools for Technology Transfer (STTT) (Volume 21, Issue (4), aug 2019, Pages :425 - 448)
  Botella, Julien | Capuron, Jean-François | Dadeau, Frédéric | Fourneret, Elizabeta | Legeard, Bruno | Schadle, Florence
  
  pdf | doi
• inproceedings - A Lightweight MBT approach for Visual Acceptance-Test Driven Development
  19th International Conference on Software Quality, Reliability and Security (QRS 2019) / Sofia, Bulgaria (2019)
  Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno
  
  pdf | bibtex@inproceedings{aa8ccd39-73d9-479f-bfeb-b7f314d38db5, title = {A Lightweight MBT approach for Visual Acceptance-Test Driven Development }, author = {Bernard, Elodie and Ambert, Fabrice and Legeard, Bruno}, year = {2019}, address = {Sofia, Bulgaria}, booktitle = {19th International Conference on Software Quality, Reliability and Security (QRS 2019)}, month = {jul}, url = {https://publiweb.femto-st.fr/tntnet/entries/16250/documents/author/data} }

2018 (3)

• inproceedings - Increasing the Resilience of ATC systems against False Data Injection Attacks using DSL-based Testing
  8th International Conference on Research in Air Transportation (ICRAT 2018) / Castelldefels, Spain (2018)
  Cretin, Aymeric | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
  
  pdf | bibtex@inproceedings{a3bc152a-2f46-4edd-ba9b-0afdeb728309, title = {Increasing the Resilience of ATC systems against False Data Injection Attacks using DSL-based Testing}, author = {Cretin, Aymeric and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2018}, address = {Castelldefels, Spain}, booktitle = {8th International Conference on Research in Air Transportation (ICRAT 2018)}, month = {jun}, url = {https://publiweb.femto-st.fr/tntnet/entries/14638/documents/author/data} }
• inproceedings - Lightweight Model-Based Testing for Enterprise IT
  11th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018) / Vasteras, Sweden (2018, Pages pages 224 - 230)
  Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno | Bouzy, Arnaud
  
  pdf | doi | bibtex@inproceedings{2a52611b-ed7a-4187-ba30-c8ac93618c91, title = {Lightweight Model-Based Testing for Enterprise IT}, author = {Bernard, Elodie and Ambert, Fabrice and Legeard, Bruno and Bouzy, Arnaud}, year = {2018}, address = {Vasteras, Sweden}, booktitle = {11th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018)}, month = {apr}, pages = {224 - 230}, url = {https://publiweb.femto-st.fr/tntnet/entries/14543/documents/author/data}, doi = {https://www.doi.org/10.1109/ICSTW.2018.00053} }
• article - Volume 108
  (Volume 108, jan 2018, Pages :1 - 58)
  Ahmad, Abbas | Fourneret, Elizabeta | Bouquet, Fabrice | Legeard, Bruno
  
  doi

2016 (5)

• inproceedings - Model-Based Testing as a Service for IoT Platforms
  7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2016) / Corfu, Greece (Volume 9953, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 727 - 742)
  Ahmad, Abbas | Bouquet, Fabrice | Fourneret, Elizabeta | Le Gall, Franck | Legeard, Bruno
  
  pdf | doi | bibtex@inproceedings{ac4cab4e-05fe-4d9f-9189-577cfb70b08f, title = {Model-Based Testing as a Service for IoT Platforms}, author = {Ahmad, Abbas and Bouquet, Fabrice and Fourneret, Elizabeta and Le Gall, Franck and Legeard, Bruno}, year = {2016}, address = {Corfu, Greece}, booktitle = {7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2016)}, month = {oct}, pages = {727 - 742}, url = {https://publiweb.femto-st.fr/tntnet/entries/14359/documents/author/data}, volume = {9953}, doi = {10.1007/978-3-319-47169-3_55}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - MBeeTle - un outil pour la génération de tests à-la-volée à l'aide de modèles
  Actes des Huitièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel / Besançon, France (2016, Pages pages 253 - 256)
  Lorrain, Julien | Fourneret, Elizabeta | Dadeau, Frédéric | Legeard, Bruno
  
  pdf | bibtex@inproceedings{74e4d7ff-c594-4394-acf5-d1ee7db28eb5, title = {MBeeTle - un outil pour la g\'en\'eration de tests \`a-la-vol\'ee \`a l'aide de mod\`eles}, author = {Lorrain, Julien and Fourneret, Elizabeta and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2016}, address = {Besan\c{c}on, France}, booktitle = {Actes des Huiti\`emes journ\'ees nationales du Groupement De Recherche CNRS du G\'enie de la Programmation et du Logiciel}, month = {jun}, pages = {253 - 256}, url = {https://publiweb.femto-st.fr/tntnet/entries/13234/documents/author/data} }
• article - Achieving SCA Conformance Testing with Model-Based Testing
  Journal of Signal Processing Systems for Signal Image and Video Technology (Volume 83, Issue (1), apr 2016, Pages :113 - 128)
  Botella, Julien | Delahaye, Jean-Philippe | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien
  
  doi
• book - Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level
  John Wiley and Sons (apr 2016, Pages 1 - 304)
  Kramer, Anne | Legeard, Bruno
  
  bibtex@book{54a14137-d256-42b0-9697-9bfe97bd4650, title = {Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level}, author = {Kramer, Anne and Legeard, Bruno}, year = {2016}, month = {apr}, pages = {1 - 304}, publisher = {John Wiley and Sons} }
• incollection - Advances in Computers
  Recent Advances in Model-Based Testing (Publisher : Elsevier, Editor : Atif Memon, Volume 101, Edition : 1st, Series Advances in Computers, Chapter 2, mar 2016, Pages 53 - 120)
  Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Fourneret, Elizabeta | Peureux, Fabien | Vernotte, Alexandre
  
  bibtex@incollection{ulbf+15:bc, title = {Advances in Computers}, author = {Utting, Mark and Legeard, Bruno and Bouquet, Fabrice and Fourneret, Elizabeta and Peureux, Fabien and Vernotte, Alexandre}, year = {2016}, booktitle = {Recent Advances in Model-Based Testing}, chapter = {2}, edition = {1st}, editor = {Atif Memon}, month = {mar}, pages = {53 - 120}, volume = {101}, doi = {10.1016/bs.adcom.2015.11.004}, publisher = {Elsevier}, series = {Advances in Computers} }

2015 (7)

• inproceedings - Model-based testing dans l'industrie - usages et dissémination
  Forum Méthodes Formelles / Toulouse, France (2015)
  Legeard, Bruno
  
  pdf | bibtex@inproceedings{legeard15a:it, title = {Model-based testing dans l'industrie - usages et diss\'emination}, author = {Legeard, Bruno}, year = {2015}, address = {Toulouse, France}, booktitle = {Forum M\'ethodes Formelles}, month = {jun}, url = {http://projects.laas.fr/IFSE/FMF/J5/index.html} }
• inproceedings - Technologie Smartesting CertifyIt pour le test dirigé par les modèles - Applications aux composants de sécurité, cartes à puces et e-transactions
  Forum Méthodes Formelles / Toulouse, France (2015)
  Legeard, Bruno
  
  pdf | bibtex@inproceedings{legeard15b:it, title = {Technologie Smartesting CertifyIt pour le test dirig\'e par les mod\`eles - Applications aux composants de s\'ecurit\'e, cartes \`a puces et e-transactions}, author = {Legeard, Bruno}, year = {2015}, address = {Toulouse, France}, booktitle = {Forum M\'ethodes Formelles}, month = {jun}, url = {http://projects.laas.fr/IFSE/FMF/J5/index.html} }
• inproceedings - Risk-Driven Vulnerability Testing: Results from eHealth Experiments using Patterns and Model-Based Approach
  3rd International Workshop on Risk Assessment and Risk-driven Testing (RISK 2015) / Berlin, Germany (Publisher : Springer, Volume 9488, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 93 - 109)
  Vernotte, Alexandre | Botea, Cornel | Legeard, Bruno | Molnar, Arthur | Peureux, Fabien
  
  bibtex@inproceedings{vblm+15:ip, title = {Risk-Driven Vulnerability Testing: Results from eHealth Experiments using Patterns and Model-Based Approach}, author = {Vernotte, Alexandre and Botea, Cornel and Legeard, Bruno and Molnar, Arthur and Peureux, Fabien}, year = {2015}, address = {Berlin, Germany}, booktitle = {3rd International Workshop on Risk Assessment and Risk-driven Testing (RISK 2015)}, month = {jun}, pages = {93 - 109}, volume = {9488}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Projet MBT_Sec – Model-Based Testing for Security Components
  14èmes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015) / Bordeaux, France (2015, Pages pages 46 - 50)
  Botella, Julien | Dadeau, Frédéric | Fourneret, Elizabeta | Legeard, Bruno | Lorrain, Julien | Sibre, Romain
  
  pdf | bibtex@inproceedings{bdfl+15:np, title = {Projet MBT_Sec -- Model-Based Testing for Security Components}, author = {Botella, Julien and Dadeau, Fr\'ed\'eric and Fourneret, Elizabeta and Legeard, Bruno and Lorrain, Julien and Sibre, Romain}, year = {2015}, address = {Bordeaux, France}, booktitle = {14\`emes Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2015)}, month = {jun}, pages = {46 - 50}, url = {https://publiweb.femto-st.fr/tntnet/entries/11860/documents/author/data} }
• techreport - The PMVT approach: a RASEN innovation for security Pattern and Model-based Vulnerability Testing
  RASEN FP7 EU founded Research Project (apr 2015, White Paper)
  Legeard, Bruno | Peureux, Fabien | Schneider, Martin | Seehusen, Fredrik | Vernotte, Alexandre
  
  bibtex@techreport{lpss+15:ir, title = {The PMVT approach: a RASEN innovation for security Pattern and Model-based Vulnerability Testing}, author = {Legeard, Bruno and Peureux, Fabien and Schneider, Martin and Seehusen, Fredrik and Vernotte, Alexandre}, year = {2015}, editor = {lpss+15:ir-editor.pdf}, month = {apr}, url = {http://www.rasenproject.eu/downloads/752/}, institution = {RASEN FP7 EU founded Research Project} }
• inproceedings - A Pattern-driven and Model-Based Test Generation Toolchain for Web Vulnerability
  7th International Symposium on Engineering Secure Software and Systems (ESSoS 2015) / Milan, Italy (2015)
  Vernotte, Alexandre | Legeard, Bruno | Peureux, Fabien
  
  pdf | bibtex@inproceedings{vlp15:oip, title = {A Pattern-driven and Model-Based Test Generation Toolchain for Web Vulnerability}, author = {Vernotte, Alexandre and Legeard, Bruno and Peureux, Fabien}, year = {2015}, address = {Milan, Italy}, booktitle = {7th International Symposium on Engineering Secure Software and Systems (ESSoS 2015)}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/10120/documents/author/data} }
• article - Model-based Testing: Where Does It Stand?
  Communications of the ACM (Volume 58, Issue (2), feb 2015, Pages :52 - 56)
  Binder, Robert V. | Legeard, Bruno | Kramer, Anne
  
  doi

2014 (10)

• inproceedings - Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities
  ICISS'14, 10-th Int. Conf. on Information Systems Security / Hyderabad, India (Publisher : Springer, Volume 8080, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 358-377)
  Vernotte, Alexandre | Dadeau, Frédéric | Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Piat, François
  
  pdf | doi | bibtex@inproceedings{vdll+14:ip, title = {Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities}, author = {Vernotte, Alexandre and Dadeau, Fr\'ed\'eric and Lebeau, Franck and Legeard, Bruno and Peureux, Fabien and Piat, Fran\c{c}ois}, year = {2014}, address = {Hyderabad, India}, booktitle = {ICISS'14, 10-th Int. Conf. on Information Systems Security}, month = {dec}, pages = {358-377}, url = {https://publiweb.femto-st.fr/tntnet/entries/8581/documents/author/data}, volume = {8080}, doi = {10.1007/978-3-319-13841-1_20}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Model-Based Testing for SCA Conformance Testing
  SDR-WInnComm-Europe'14, Wireless Innovation Forum European Conference on Communications Technology and Software Defined Radio / Rome, Italy (2014)
  Botella, Julien | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien
  
  pdf | bibtex@inproceedings{bjlp14a:ip, title = {Model-Based Testing for SCA Conformance Testing}, author = {Botella, Julien and Jaffuel, Eddie and Legeard, Bruno and Peureux, Fabien}, year = {2014}, address = {Rome, Italy}, booktitle = {SDR-WInnComm-Europe'14, Wireless Innovation Forum European Conference on Communications Technology and Software Defined Radio}, month = {nov}, url = {https://publiweb.femto-st.fr/tntnet/entries/8579/documents/author/data} }
• inproceedings - MBT for GlobalPlatform Compliance Testing: Experience Report and Lessons Learned
  ISSRE'14, 25-th Int. Symposium on Software Reliability Engineering / Naples, Italy (Publisher : IEEE, 2014, Pages pages 66-70)
  Bernabeu, Gil | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{bjlp14b:ip, title = {MBT for GlobalPlatform Compliance Testing: Experience Report and Lessons Learned}, author = {Bernabeu, Gil and Jaffuel, Eddie and Legeard, Bruno and Peureux, Fabien}, year = {2014}, address = {Naples, Italy}, booktitle = {ISSRE'14, 25-th Int. Symposium on Software Reliability Engineering}, month = {nov}, pages = {66-70}, url = {https://publiweb.femto-st.fr/tntnet/entries/8580/documents/author/data}, doi = {10.1109/ISSREW.2014.91}, publisher = {IEEE} }
• inproceedings - Risk-Based Vulnerability Testing using Security Test Patterns
  ISoLA'14, 6-th Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation / Corfu, Greece (Publisher : Springer, Volume 8803, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 337--352)
  Botella, Julien | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
  
  pdf | doi | bibtex@inproceedings{bpv14:ip, title = {Risk-Based Vulnerability Testing using Security Test Patterns}, author = {Botella, Julien and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2014}, address = {Corfu, Greece}, booktitle = {ISoLA'14, 6-th Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation}, month = {oct}, pages = {337--352}, url = {https://publiweb.femto-st.fr/tntnet/entries/8578/documents/author/data}, volume = {8803}, doi = {10.1007/978-3-662-45231-8_24}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Model-Based Security Testing with Test Patterns
  UCAAT 2014, 2nd User Conference on Advanced Automated Testing / Munich, Germany (2014)
  Botella, Julien | Gro{ß}mann, Jürgen | Legeard, Bruno | Peureux, Fabien | Schneider, Martin | Seehusen, Fredrik
  
  pdf | bibtex@inproceedings{bglp+14:oip, title = {Model-Based Security Testing with Test Patterns}, author = {Botella, Julien and Gro{{\ss}}mann, J\"urgen and Legeard, Bruno and Peureux, Fabien and Schneider, Martin and Seehusen, Fredrik}, year = {2014}, address = {Munich, Germany}, booktitle = {UCAAT 2014, 2nd User Conference on Advanced Automated Testing}, month = {sep}, url = {https://publiweb.femto-st.fr/tntnet/entries/8587/documents/author/data} }
• inproceedings - From Test Legacy to Model-Based Testing - How to refactor an existing test repository into an MBT model?
  UCAAT 2014, 2nd User Conference on Advanced Automated Testing / Munich, Germany (Publisher : ETSI, 2014)
  Legeard, Bruno | Bouzy, Arnaud
  
  bibtex@inproceedings{lb14:oip, title = {From Test Legacy to Model-Based Testing - How to refactor an existing test repository into an MBT model?}, author = {Legeard, Bruno and Bouzy, Arnaud}, year = {2014}, address = {Munich, Germany}, booktitle = {UCAAT 2014, 2nd User Conference on Advanced Automated Testing}, month = {sep}, publisher = {ETSI} }
• inproceedings - Testing a webservices based ecosystem using MBT: the case of the Future Internet Public Private Partnership (FI-PPP)
  UCAAT 2014, 2nd User Conference on Advanced Automated Testing / Munich, Germany (Publisher : ETSI, 2014)
  Le Gall, Franck | Guillén Jiménez, David | Artusio, Laurent | Nagellen, Thierry | Bernard, Julien | Gruber, Lucas | Jaffuel, Eddie | Legeard, Bruno
  
  bibtex@inproceedings{lggjan+14:oip, title = {Testing a webservices based ecosystem using MBT: the case of the Future Internet Public Private Partnership (FI-PPP)}, author = {Le Gall, Franck and Guill\'en Jim\'enez, David and Artusio, Laurent and Nagellen, Thierry and Bernard, Julien and Gruber, Lucas and Jaffuel, Eddie and Legeard, Bruno}, year = {2014}, address = {Munich, Germany}, booktitle = {UCAAT 2014, 2nd User Conference on Advanced Automated Testing}, month = {sep}, publisher = {ETSI} }
• inproceedings - Test de vulnérabilité Web à base de patterns et de modèles
  6-èmes journées nationales du GDR CNRS du Génie de la Programmation et du Logiciel / Paris, France (2014, Pages pages 123--124)
  Vernotte, Alexandre | Legeard, Bruno | Peureux, Fabien
  
  pdf | bibtex@inproceedings{vlp14:onp, title = {Test de vuln\'erabilit\'e Web \`a base de patterns et de mod\`eles}, author = {Vernotte, Alexandre and Legeard, Bruno and Peureux, Fabien}, year = {2014}, address = {Paris, France}, booktitle = {6-\`emes journ\'ees nationales du GDR CNRS du G\'enie de la Programmation et du Logiciel}, month = {jun}, pages = {123--124}, url = {https://publiweb.femto-st.fr/tntnet/entries/8592/documents/author/data} }
• inproceedings - SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models
  8th International Conference on Software Security and Reliability (SERE 2014) / San Francisco (CA), United States (Publisher : IEEE, 2014, Pages pages 147 - 156)
  Fourneret, Elizabeta | Cantenot, Jérôme | Bouquet, Fabrice | Legeard, Bruno | Botella, Julien
  
  pdf | doi | bibtex@inproceedings{fcbl+14:ip, title = {SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models}, author = {Fourneret, Elizabeta and Cantenot, J\'er\^ome and Bouquet, Fabrice and Legeard, Bruno and Botella, Julien}, year = {2014}, address = {San Francisco (CA), United States}, booktitle = {8th International Conference on Software Security and Reliability (SERE 2014)}, month = {jun}, pages = {147 - 156}, url = {http://dx.doi.org/10.1109/SERE.2014.28}, doi = {10.1109/SERE.2014.28}, publisher = {IEEE} }
• article - Les tests et le développement sécurisé peuvent-ils réduire les failles d'un système et les risques de hacking?
  Magazine Programmez (Volume 173, apr 2014, Pages :12-13)
  Ribault, Alain | Legeard, Bruno | Vernotte, Alexandre
  

2013 (11)

• inproceedings - A Structured Approach for Efficient Model-Based Testing in Large IT projects
  UCAAT 2013, 1st User Conference on Advanced Automated Testing / Paris, France (Publisher : ETSI, 2013)
  Schoch, Jean-Pierre | Legeard, Bruno
  
  bibtex@inproceedings{sl13:ip, title = {A Structured Approach for Efficient Model-Based Testing in Large IT projects}, author = {Schoch, Jean-Pierre and Legeard, Bruno}, year = {2013}, address = {Paris, France}, booktitle = {UCAAT 2013, 1st User Conference on Advanced Automated Testing}, month = {oct}, publisher = {ETSI} }
• inproceedings - Journées nationales du Developpement Logiciel (JDEV'2013)
  (2013)
  Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
  
  bibtex@inproceedings{f5efe41d-2f96-4794-bb3d-78aef131b94d, title = {Journ\'ees nationales du Developpement Logiciel (JDEV'2013)}, author = {Ambert, Fabrice and Bouquet, Fabrice and Enderlin, Ivan and Gauthier, Jean-Marie and Joffroy, C\'edric and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, month = {sep} }
• inproceedings - Model-based and Pattern-driven Vulnerability Testing
  SASSI'13, Security assessment for systems, services and infrastructures / Berlin, Germany (Publisher : ETSI, 2013)
  Legeard, Bruno
  
  bibtex@inproceedings{legeard13:oip, title = {Model-based and Pattern-driven Vulnerability Testing}, author = {Legeard, Bruno}, year = {2013}, address = {Berlin, Germany}, booktitle = {SASSI'13, Security assessment for systems, services and infrastructures}, month = {sep}, publisher = {ETSI} }
• article - L'alignement de l'IT avec les besoins Métier
  IT-Expert, La reference technique on-line des professionnels de l'informatique (jul 2013)
  Legeard, Bruno
  
• inproceedings - Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
  ECMFA'13, 9-th European Conference on Modelling Foundations and Applications / Montpellier, France (Publisher : Springer, Volume 7949, Series Lecture Notes in Computer Science (LNCS), 2013, Pages pages 134 - 151)
  Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Legeard, Bruno | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{abll+13:ip, title = {Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing}, author = {Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Legeard, Bruno and Peureux, Fabien}, year = {2013}, address = {Montpellier, France}, booktitle = {ECMFA'13, 9-th European Conference on Modelling Foundations and Applications}, month = {jul}, pages = {134 - 151}, url = {https://publiweb.femto-st.fr/tntnet/entries/5960/documents/author/data}, volume = {7949}, doi = {10.1007/978-3-642-39013-5_10}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Génération de tests de vulnérabilité web à partir de modèles
  AFADL'13, 12èmes journées Francophones sur les Approches Formelles dans l'Assistance Au Développement de Logiciels / Nancy, France (2013, Pages pages 49--63)
  Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
  
  pdf | bibtex@inproceedings{llpv13:np, title = {G\'en\'eration de tests de vuln\'erabilit\'e web \`a partir de mod\`eles}, author = {Lebeau, Franck and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, address = {Nancy, France}, booktitle = {AFADL'13, 12\`emes journ\'ees Francophones sur les Approches Formelles dans l'Assistance Au D\'eveloppement de Logiciels}, month = {apr}, pages = {49--63}, url = {https://publiweb.femto-st.fr/tntnet/entries/5975/documents/author/data} }
• inproceedings - Génération de test à  partir de modèle - Retour sur 10 ans d'expérience de transfert de technologie
  (2013)
  Legeard, Bruno
  
  bibtex@inproceedings{legeard13:it, title = {G\'en\'eration de test \`a  partir de mod\`ele - Retour sur 10 ans d'exp\'erience de transfert de technologie}, author = {Legeard, Bruno}, year = {2013}, month = {apr} }
• inproceedings - Model-Based Vulnerability Testing for Web Applications
  SECTEST'13, 4-th Int. Workshop on Security Testing. In conjunction with ICST'13, 6-th IEEE Int. Conf. on Software Testing, Verification and Validation / Luxembourg, Luxembourg (Publisher : IEEE, 2013, Pages pages 445 - 452)
  Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
  
  pdf | doi | bibtex@inproceedings{llpv13:ip, title = {Model-Based Vulnerability Testing for Web Applications}, author = {Lebeau, Franck and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, address = {Luxembourg, Luxembourg}, booktitle = {SECTEST'13, 4-th Int. Workshop on Security Testing. In conjunction with ICST'13, 6-th IEEE Int. Conf. on Software Testing, Verification and Validation}, month = {mar}, pages = {445 - 452}, url = {https://publiweb.femto-st.fr/tntnet/entries/5961/documents/author/data}, doi = {10.1109/ICSTW.2013.58}, publisher = {IEEE} }
• inproceedings - Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience
  ICST'13, 6th IEEE Int. Conf. on Software Testing, Verification and Validation (2013, Pages pages 192--201)
  Botella, Julien | Bouquet, Fabrice | Capuron, Jean-François | Lebeau, Franck | Legeard, Bruno | Schadle, Florence
  
  pdf | doi | bibtex@inproceedings{bbcl+13:ip, title = {Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience}, author = {Botella, Julien and Bouquet, Fabrice and Capuron, Jean-Fran\c{c}ois and Lebeau, Franck and Legeard, Bruno and Schadle, Florence}, year = {2013}, booktitle = {ICST'13, 6th IEEE Int. Conf. on Software Testing, Verification and Validation}, month = {mar}, pages = {192--201}, url = {http://dx.doi.org/10.1109/ICST.2013.42}, doi = {10.1109/ICST.2013.42} }
• inproceedings - Smartesting CertifyIt - Model-Based Testing for Enterprise IT
  ICST'13, 6th IEEE Int. Conf. on Software Testing, Verification and Validation, Testing Tool Track / Luxembourg, Luxembourg (Publisher : IEEE, 2013, Pages pages 192--201)
  Legeard, Bruno | Bouzy, Arnaud
  
  bibtex@inproceedings{lb13:oip, title = {Smartesting CertifyIt - Model-Based Testing for Enterprise IT}, author = {Legeard, Bruno and Bouzy, Arnaud}, year = {2013}, address = {Luxembourg, Luxembourg}, booktitle = {ICST'13, 6th IEEE Int. Conf. on Software Testing, Verification and Validation, Testing Tool Track}, month = {mar}, pages = {192--201}, publisher = {IEEE} }
• misc - Active testing techniques
  Tutorial talk at ICST'13, 6-th IEEE Int. Conf. on Software Testing, Verification and Validation, Luxembourg, Luxembourg (mar 2013)
  Legeard, Bruno | Vernotte, Alexandre
  
  bibtex@misc{lv13:oip, title = {Active testing techniques}, author = {Legeard, Bruno and Vernotte, Alexandre}, year = {2013}, month = {mar} }

2012 (6)

• inproceedings - Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
  VALID'12, 4-th Int. Conf. on Advances in System Testing and Validation Lifecycle / Lisbon, Portugal (2012, Pages pages 139--144)
  Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Legeard, Bruno | Peureux, Fabien
  
  pdf | bibtex@inproceedings{abll12:ip, title = {Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports}, author = {Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Legeard, Bruno and Peureux, Fabien}, year = {2012}, address = {Lisbon, Portugal}, booktitle = {VALID'12, 4-th Int. Conf. on Advances in System Testing and Validation Lifecycle}, month = {nov}, pages = {139--144}, url = {https://publiweb.femto-st.fr/tntnet/entries/357/documents/author/data} }
• inproceedings - Symbolic Methods in Testing
  (2012)
  Legeard, Bruno
  
  bibtex@inproceedings{legeard12:it, title = {Symbolic Methods in Testing}, author = {Legeard, Bruno}, year = {2012}, month = {oct} }
• inproceedings - From Business Processes and Business Rules to Tests - Model-Based Testing for Enterprise Application
  Software ICSSEA 2012, 24th Int. Conf. on Software & Systems Engineering and their Applications / Paris, France (2012)
  Legeard, Bruno
  
  bibtex@inproceedings{legeard12a:oip, title = {From Business Processes and Business Rules to Tests - Model-Based Testing for Enterprise Application}, author = {Legeard, Bruno}, year = {2012}, address = {Paris, France}, booktitle = {Software ICSSEA 2012, 24th Int. Conf. on Software \& Systems Engineering and their Applications}, month = {oct} }
• inproceedings - From Business Processes and Business Rules to Tests - Model-Based Testing for Enterprise Application Software
  MBTUC'12, User Conference on Model-Based Testing / Tallinn, Estonia (Publisher : ETSI, 2012)
  Legeard, Bruno
  
  bibtex@inproceedings{legeard12b:oip, title = {From Business Processes and Business Rules to Tests - Model-Based Testing for Enterprise Application Software}, author = {Legeard, Bruno}, year = {2012}, address = {Tallinn, Estonia}, booktitle = {MBTUC'12, User Conference on Model-Based Testing}, month = {oct}, publisher = {ETSI} }
• inproceedings - Model-Based Security Testing - Experience report for security component testing at the French Department of Defense
  MBTUC'12, User Conference on Model-Based Testing / Tallinn, Estonia (Publisher : ETSI, 2012)
  Bouquet, Fabrice | Legeard, Bruno | Lebeau, Franck | Capuron, Jean-François
  
  bibtex@inproceedings{bllc12:oip, title = {Model-Based Security Testing - Experience report for security component testing at the French Department of Defense}, author = {Bouquet, Fabrice and Legeard, Bruno and Lebeau, Franck and Capuron, Jean-Fran\c{c}ois}, year = {2012}, address = {Tallinn, Estonia}, booktitle = {MBTUC'12, User Conference on Model-Based Testing}, month = {oct}, publisher = {ETSI} }
• article - A taxonomy of model-based testing approaches
  Software Testing, Verification and Reliability (Volume 22, Issue (5), aug 2012, Pages :297 - 312)
  Utting, Mark | Pretschner, Alexander | Legeard, Bruno
  
  pdf | doi

2011 (4)

• book - Industrialiser le test fonctionnel. Pour maîtriser les risques métier et accroître l'efficacité du test
  Dunod (nov 2011)
  Legeard, Bruno | Bouquet, Fabrice | Pickaert, Natacha
  
  pdf | bibtex@book{lbp11:bc, title = {Industrialiser le test fonctionnel. Pour ma\^itriser les risques m\'etier et accro\^itre l'efficacit\'e du test}, author = {Legeard, Bruno and Bouquet, Fabrice and Pickaert, Natacha}, year = {2011}, month = {nov}, url = {http://hal.inria.fr/hal-00645019}, publisher = {Dunod}, series = {Collection InfoPro} }
• inproceedings - Model-based testing for Information systems
  MBTUC'11, User Conference on Model-Based Testing / Berlin, Germany (Publisher : ETSI, 2011)
  Legeard, Bruno
  
  bibtex@inproceedings{legeard11:oip, title = {Model-based testing for Information systems}, author = {Legeard, Bruno}, year = {2011}, address = {Berlin, Germany}, booktitle = {MBTUC'11, User Conference on Model-Based Testing}, month = {oct}, publisher = {ETSI} }
• misc - Using Topcased for Model-Based Testing
  First TopCased Days, Toulouse, France (feb 2011)
  Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
  
  bibtex@misc{lasalle11:onp, title = {Using Topcased for Model-Based Testing}, author = {Fondement, Fr\'ed\'eric and Muller, Pierre-Alain and Wittman, Brice and Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Oudot, Emilie and Peureux, Fabien and Legeard, Bruno and Alter, Marc and Scherrer, Claude}, year = {2011}, address = {Toulouse, France}, booktitle = {1st TOPCASED Days (2011)}, month = {feb}, url = {https://publiweb.femto-st.fr/tntnet/entries/554/documents/author/data} }
• incollection - Test Generation using Symbolic Animation of Models
  Model-Based Testing for Embedded Systems (Publisher : CRC Press, Series Series on Computational Analysis, Synthesis, and Design of Dynamic Systems, 2011, Pages 195--218)
  Dadeau, Frédéric | Peureux, Fabien | Legeard, Bruno | Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
  
  pdf | bibtex@incollection{dplt+10:bc, title = {Test Generation using Symbolic Animation of Models}, author = {Dadeau, Fr\'ed\'eric and Peureux, Fabien and Legeard, Bruno and Tissot, R\'egis and Julliand, Jacques and Masson, Pierre-Alain and Bouquet, Fabrice}, year = {2011}, booktitle = {Model-Based Testing for Embedded Systems}, pages = {195--218}, url = {https://publiweb.femto-st.fr/tntnet/entries/797/documents/author/data}, publisher = {CRC Press}, series = {Series on Computational Analysis, Synthesis, and Design of Dynamic Systems} }

2010 (11)

• inproceedings - SysML to UML model transformation for test generation purpose
  UML&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods / Shanghai, China (Volume 36, Issue 1, Series SIGSOFT Software Engineering Notes, 2010, Pages pages 1--8)
  Lasalle, Jonathan | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{lblp10:ip, title = {SysML to UML model transformation for test generation purpose}, author = {Lasalle, Jonathan and Bouquet, Fabrice and Legeard, Bruno and Peureux, Fabien}, year = {2010}, address = {Shanghai, China}, booktitle = {UML\&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods}, month = {nov}, number = {1}, pages = {1--8}, url = {https://publiweb.femto-st.fr/tntnet/entries/285/documents/author/data}, volume = {36}, doi = {10.1145/1921532.1921560}, series = {SIGSOFT Software Engineering Notes} }
• article - Les tests de bout en bout s'imposent dans les grands systèmes d'information
  IT-Expert, La reference technique on-line des professionnels de l'informatique (Volume 86, jul 2010, Pages :16 - 25)
  Nguyen-Duc, Philippe | Legeard, Bruno
  
• article - VETESS : IDM, Test et SysML
  Génie Logiciel (Volume 93, jun 2010, Pages :43 - 48)
  Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
  
  pdf
• inproceedings - VETESS: MDE, Testing approaches and SysML
  Neptune workshop / Toulouse, France (2010)
  Legeard, Bruno | Peureux, Fabien | Fondement, Frédéric | Alter, Marc | Scherrer, Claude
  
  bibtex@inproceedings{fpls+10:oip, title = {VETESS: MDE, Testing approaches and SysML}, author = {Fondement, Fr\'ed\'eric and Peureux, Fabien and Legeard, Bruno and Scherrer, Claude and Alter, Marc}, year = {2010}, address = {Toulouse, France}, booktitle = {Neptune workshop}, month = {jun} }
• misc - VETESS : IDM, Test et SysML
  7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France (may 2010)
  Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
  
  bibtex@misc{fmwa+10:onp, title = {VETESS : IDM, Test et SysML}, author = {Fondement, Fr\'ed\'eric and Muller, Pierre-Alain and Wittman, Brice and Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Oudot, Emilie and Peureux, Fabien and Legeard, Bruno and Alter, Marc and Scherrer, Claude}, year = {2010}, address = {Toulouse, France}, booktitle = {7th Nice Environment with a Process and Tools Using Norms and Example Workshop (Neptune Workshop 2010)}, month = {may}, url = {https://publiweb.femto-st.fr/tntnet/entries/552/documents/author/data} }
• inproceedings - MBT for Large-Scale Enterprise Information Systems, Challenges and Quality Issue
  (2010)
  Legeard, Bruno
  
  bibtex@inproceedings{legeard10b:it, title = {MBT for Large-Scale Enterprise Information Systems, Challenges and Quality Issue}, author = {Legeard, Bruno}, year = {2010}, month = {apr} }
• article - Model-based Testing: a new paradigm for manual and automated functional testing
  Revue Testing Experience (Volume 9, mar 2010, Pages :77 - 79)
  Legeard, Bruno
  
• inproceedings - Practical Software Testing: Tool Automation and Human Factors
  (2010)
  Legeard, Bruno
  
  bibtex@inproceedings{legeard10a:it, title = {Practical Software Testing: Tool Automation and Human Factors}, author = {Legeard, Bruno}, year = {2010}, month = {mar} }
• inbook - Model-Based Testing - Next Generation Functional Testing
  Pages 9 - 18 (Publisher : SoftwareTech News, Volume volume 12, Issue (4), Series Number 4, jan 2010)
  Legeard, Bruno | Utting, Mark
  
  bibtex@inbook{lu10:ij, title = {Model-Based Testing - Next Generation Functional Testing}, author = {Legeard, Bruno and Utting, Mark}, year = {2010}, month = {jan}, number = {4}, pages = {9 - 18}, volume = {12}, publisher = {SoftwareTech News} }
• article - An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project
  Journal of Information Assurance and Security (JIAS) (Volume 5, Issue (1), 2010, Pages :335 - 351)
  Masson, Pierre-Alain | Potet, Marie-Laure | Julliand, Jacques | Tissot, Régis | Debois, Georges | Legeard, Bruno | Chetali, Boutheina | Bouquet, Fabrice | Jaffuel, Eddie | Van Aertrick, Lionel | Andronick, June | Haddad, Amal
  
  pdf
• inproceedings - Model-Based Testing for the Cloud
  Practical Software Testing: Tool Automation and Human Factors / Dagstuhl, Germany (Publisher : IT-Expert, La référence technique on-line des professionnels de l'informatique, Series Dagstuhl Seminar Proceedings, 2010, Pages pages 1--11)
  Bertolino, Antonia | Grieskamp, Wolfgang | Hierons, Robert | Le Traon, Yves | Legeard, Bruno | Muccini, Henry | Paradkar, Amit | Rosenblum, David | Tretmans, Jan
  
  pdf | bibtex@inproceedings{bghlt+10:ip, title = {Model-Based Testing for the Cloud}, author = {Bertolino, Antonia and Grieskamp, Wolfgang and Hierons, Robert and Le Traon, Yves and Legeard, Bruno and Muccini, Henry and Paradkar, Amit and Rosenblum, David and Tretmans, Jan}, year = {2010}, address = {Dagstuhl, Germany}, booktitle = {Practical Software Testing: Tool Automation and Human Factors}, editor = {Harman, Mark and Muccini, Henry and Schulte, Wolfram and Xie, Tao}, pages = {1--11}, url = {http://drops.dagstuhl.de/opus/volltexte/2010/2625}, publisher = {IT-Expert, La r\'ef\'erence technique on-line des professionnels de l'informatique}, series = {Dagstuhl Seminar Proceedings} }

2009 (3)

• article - Le Model-Based Testing aligne exigences métier et référentiel de tests
  IT-Expert, La reference technique on-line des professionnels de l'informatique (Volume 82, nov 2009, Pages :26--33)
  Legeard, Bruno | Bouquet, Fabrice
  
• book - Industrialiser le test fonctionnel (des exigences métier au référentiel de tests automatisés)
  Dunod (apr 2009)
  Legeard, Bruno | Bouquet, Fabrice | Pickaert, Natacha
  
  bibtex@book{lbp09:bc, title = {Industrialiser le test fonctionnel (des exigences m\'etier au r\'ef\'erentiel de tests automatis\'es)}, author = {Legeard, Bruno and Bouquet, Fabrice and Pickaert, Natacha}, year = {2009}, month = {apr}, publisher = {Dunod}, series = {Collection InfoPro} }
• inproceedings - From Business Processes to Integration Testing
  IDM'09, 5èmes journées sur l'Ingéniérie Dirigée par les Modèles / Nancy, France (Volume 1, 2009)
  Legeard, Bruno | Bouquet, Fabrice | Debricon, Stéphane
  
  pdf | bibtex@inproceedings{dbl09:np, title = {From Business Processes to Integration Testing}, author = {Debricon, St\'ephane and Bouquet, Fabrice and Legeard, Bruno}, year = {2009}, address = {Nancy, France}, booktitle = {IDM'09, 5\`emes journ\'ees sur l'Ing\'eni\'erie Dirig\'ee par les Mod\`eles}, editor = {Zendra, Olivier}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/420/documents/author/data}, volume = {1} }

2008 (1)

• inproceedings - A test generation solution to automate software testing
  AST'08, 3rd Int. workshop on Automation of Software Test / Leipzig, Germany (2008, Pages pages 45--48)
  Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien | Grandpierre, Christophe
  
  pdf | doi | bibtex@inproceedings{bglp08:oip, title = {A test generation solution to automate software testing}, author = {Legeard, Bruno and Bouquet, Fabrice and Peureux, Fabien and Grandpierre, Christophe}, year = {2008}, address = {Leipzig, Germany}, booktitle = {AST'08, 3rd Int. workshop on Automation of Software Test}, month = {may}, pages = {45--48}, url = {https://publiweb.femto-st.fr/tntnet/entries/483/documents/author/data}, doi = {http://doi.acm.org/10.1145/1370042.1370052} }

2007 (2)

• inproceedings - A subset of precise UML for model-based testing
  A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing / London, United Kingdom (2007, Pages pages 95--104)
  Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien | Grandpierre, Christophe | Vacelet, Nicolas
  
  pdf | doi | bibtex@inproceedings{bglp+07:ip, title = {A subset of precise UML for model-based testing}, author = {Utting, Mark and Legeard, Bruno and Bouquet, Fabrice and Peureux, Fabien and Grandpierre, Christophe and Vacelet, Nicolas}, year = {2007}, address = {London, United Kingdom}, booktitle = {A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing}, month = {jul}, pages = {95--104}, url = {https://publiweb.femto-st.fr/tntnet/entries/178/documents/author/data}, doi = {http://doi.acm.org/10.1145/1291535.1291545} }
• inproceedings - LEIRIOS Test Generator: Automated Test Generation from B models
  B'2007, the 7th Int. B Conference - Industrial Tool Session / Besancon, France (Volume 4355, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 277--280)
  Legeard, Bruno | Jaffuel, Eddie
  
  bibtex@inproceedings{jl07:oip, title = {LEIRIOS Test Generator: Automated Test Generation from B models}, author = {Jaffuel, Eddie and Legeard, Bruno}, year = {2007}, address = {Besancon, France}, booktitle = {B'2007, the 7th Int. B Conference - Industrial Tool Session}, editor = {Julliand, Jacques and Kouchnarenko, Olga}, month = {jan}, pages = {277--280}, volume = {4355}, series = {Lecture Notes in Computer Science (LNCS)} }

2006 (8)

• book - Practical Model-Based Testing - A tools approach
  Elsevier (Edition : Morgan and Kauffmann, dec 2006, Pages 550)
  Utting, Mark | Legeard, Bruno
  
  bibtex@book{ul06:bc, title = {Practical Model-Based Testing - A tools approach}, author = {Utting, Mark and Legeard, Bruno}, year = {2006}, edition = {Morgan and Kauffmann}, month = {dec}, pages = {550}, publisher = {Elsevier} }
• inproceedings - Extending the Unified Process with Model-Based Testing
  MoDeVa'06, 3rd Int. Workshop on Model Development, Validation and Verification / Genova, Italy (2006, Pages pages 2--15)
  Legeard, Bruno | Bouquet, Fabrice | Debricon, Stéphane | Nicolet, Jean-Baptiste
  
  pdf | bibtex@inproceedings{bdln06:ip, title = {Extending the Unified Process with Model-Based Testing}, author = {Legeard, Bruno and Bouquet, Fabrice and Debricon, St\'ephane and Nicolet, Jean-Baptiste}, year = {2006}, address = {Genova, Italy}, booktitle = {MoDeVa'06, 3rd Int. Workshop on Model Development, Validation and Verification}, month = {oct}, pages = {2--15}, url = {https://publiweb.femto-st.fr/tntnet/entries/156/documents/author/data} }
• inproceedings - Model-based Testing from UML Models
  Model-Based Testing Workshop (MBT 2006) / Dresden, Germany (Volume P-94, Series Lecture Notes in Informatics (LNI), 2006, Pages pages 223 - 230)
  Bernard, Eddy | Bouquet, Fabrice | Charbonnier, Amandine | Legeard, Bruno | Peureux, Fabien | Utting, Mark | Torreborre, Eric
  
  pdf | bibtex@inproceedings{bbcl+06:ip, title = {Model-based Testing from UML Models}, author = {Bernard, Eddy and Bouquet, Fabrice and Charbonnier, Amandine and Legeard, Bruno and Peureux, Fabien and Utting, Mark and Torreborre, Eric}, year = {2006}, address = {Dresden, Germany}, booktitle = {Model-Based Testing Workshop (MBT 2006)}, editor = {bbcl+06:ip-editor.pdf}, month = {oct}, pages = {223 - 230}, url = {https://publiweb.femto-st.fr/tntnet/entries/759/documents/author/data}, volume = {P-94}, series = {Lecture Notes in Informatics (LNI)} }
• inproceedings - Model-Based Security Testing, Application to a Smart Card Identity Applet
  eSmart 2006, 7th Int. Conf. on Smart Cards / Sophia-Antipolis, France (2006)
  Bouquet, Fabrice | Celletti, F. | Debois, Georges | De Lavernette, A. | Jaffuel, Eddie | Julliand, Jacques | Legeard, Bruno | Lidoine, J. | Plessis, J.-C. | Masson, Pierre-Alain
  
  bibtex@inproceedings{bcddl+06:oip, title = {Model-Based Security Testing, Application to a Smart Card Identity Applet}, author = {Bouquet, Fabrice and Celletti, F. and Debois, Georges and De Lavernette, A. and Jaffuel, Eddie and Julliand, Jacques and Legeard, Bruno and Lidoine, J. and Plessis, J.-C. and Masson, Pierre-Alain}, year = {2006}, address = {Sophia-Antipolis, France}, booktitle = {eSmart 2006, 7th Int. Conf. on Smart Cards}, month = {sep} }
• inproceedings - Automated Boundary Test Generation from JML Specifications
  FM'06, 14th Int. Conf. on Formal Methods / Hamilton, Canada (Volume 4085, Series Lecture Notes in Computer Science (LNCS), 2006, Pages pages 428--443)
  Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
  
  bibtex@inproceedings{bdl06:ip, title = {Automated Boundary Test Generation from JML Specifications}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2006}, address = {Hamilton, Canada}, booktitle = {FM'06, 14th Int. Conf. on Formal Methods}, editor = {Nipkow, T. and Misra, J.}, month = {aug}, pages = {428--443}, volume = {4085}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - JML-Testing-Tools, un Animateur Symbolique de Spécifications JML
  AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels / Paris, France (2006)
  Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
  
  pdf | bibtex@inproceedings{bdl06:onp, title = {JML-Testing-Tools, un Animateur Symbolique de Sp\'ecifications JML}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2006}, address = {Paris, France}, booktitle = {AFADL'06, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/522/documents/author/data} }
• techreport - Automated Boundary Test Generation from JML Specifications
  LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (mar 2006, Research Report)
  Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
  
  bibtex@techreport{bdl06:ir, title = {Automated Boundary Test Generation from JML Specifications}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2006}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/686/documents/author/data}, institution = {LIFC - Laboratoire d'Informatique de l'Universit\'e de Franche-Comt\'e} }
• article - Génération de tests à partir de statecharts fondée sur le calcul de comportements
  Technique et Science Informatiques (TSI) (Volume 25, Issue (1), 2006, Pages :103 - 132)
  Legeard, Bruno | Lebeau, Franck | Colin, Samuel
  

2004 (4)

• article - Preamble Computation in Automated Test Case Generation using Constraint Logic Programming
  Software Testing, Verification and Reliability (Volume 14, Issue (3), sep 2004, Pages :213 - 235)
  Colin, Séverine | Legeard, Bruno | Peureux, Fabien
  
  pdf | doi
• article - Generation of test sequences from formal specifications: GSM 11-11 standard case study
  Software: Practice and Experience Journal (Volume 34, Issue (10), aug 2004, Pages :915 - 948)
  Bernard, Eddy | Legeard, Bruno | Luck, Xavier | Peureux, Fabien
  
  pdf | doi
• article - CLPS-B: A Constraint Solver to Animate a B Specification
  International Journal on Software Tools for Technology Transfer (STTT) (Volume 6, Issue (2), aug 2004, Pages :143 - 157)
  Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
  
  pdf | doi
• article - Controlling test case explosion in test generation from B formal models
  Software Testing, Verification and Reliability (Volume 14, Issue (2), jun 2004, Pages :81 - 103)
  Legeard, Bruno | Peureux, Fabien | Utting, Mark
  
  pdf | doi

1997 (1)

• article - Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
  RAIRO - Theoretical Informatics and Applications (Volume 31, Issue (3), 1997, Pages :205 - 236)
  Hibti, M. | Legeard, Bruno | Lombardi, H.
  
  doi