L'institut
FEMTO-ST
Annuaire
Vous êtes ici
Bruno Legeard
Publications de Bruno Legeard
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 - 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 - 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
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 - 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 - 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 - 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 - 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
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 - 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
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 - 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 - article - Volume 108
(Volume 108, jan 2018, Pages :1 - 58)
Ahmad, Abbas | Fourneret, Elizabeta | Bouquet, Fabrice | Legeard, Bruno
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 - 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 - 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 - 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 - 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
2015 (7)
- inproceedings - Model-based testing dans l'industrie - usages et dissémination
Forum Méthodes Formelles / Toulouse, France (2015)
Legeard, Bruno - 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 - 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 - 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 - 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 - 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 - 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
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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - inproceedings - Model-based and Pattern-driven Vulnerability Testing
SASSI'13, Security assessment for systems, services and infrastructures / Berlin, Germany (Publisher : ETSI, 2013)
Legeard, Bruno - 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 - 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 - inproceedings - Génération de test à partir de modèle - Retour sur 10 ans d'expérience de transfert de technologie
(2013)
Legeard, Bruno - 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 - 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 - 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 - 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
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 - inproceedings - Symbolic Methods in Testing
(2012)
Legeard, Bruno - 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 - 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 - 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 - 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
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 - inproceedings - Model-based testing for Information systems
MBTUC'11, User Conference on Model-Based Testing / Berlin, Germany (Publisher : ETSI, 2011)
Legeard, Bruno - 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 - 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
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 - 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 - inproceedings - VETESS: MDE, Testing approaches and SysML
Neptune workshop / Toulouse, France (2010)
Legeard, Bruno | Peureux, Fabien | Fondement, Frédéric | Alter, Marc | Scherrer, Claude - 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 - inproceedings - MBT for Large-Scale Enterprise Information Systems, Challenges and Quality Issue
(2010)
Legeard, Bruno - 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 - 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 - 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 - 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
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 - 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
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
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 - 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
2006 (8)
- book - Practical Model-Based Testing - A tools approach
Elsevier (Edition : Morgan and Kauffmann, dec 2006, Pages 550)
Utting, Mark | Legeard, Bruno - 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 - 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 - 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 - 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 - 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 - 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 - 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