The institute

FEMTO-ST

Directory

You are here

• Home
• Fabien Peureux

Fabien Peureux

DISC department
VESONTIO team

UFC - UFR ST

E-mail:

fpeureux [at] femto-st.fr

03.81.66.66.63

Address:

DISC - UFR-ST (Campus La Bouloie)

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

Fabien Peureux's publications

View all publications (61)2021 (1)2020 (3)2018 (2)2017 (1)2016 (5)2015 (7)2014 (10)2013 (7)2012 (5)2011 (6)2010 (4)2008 (1)2007 (2)2006 (3)2004 (4)

2021 (1)

• 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 (3)

• 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 - A Case-based Approach for introducing Testing Tools and Principles
  IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020) / Porto, Portugal (2020, Pages pages 429 - 436)
  Dadeau, Frédéric | Gros, Jean Philippe | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{9774fdeb-dc34-4d9e-bb63-a4acd0b554da, title = {A Case-based Approach for introducing Testing Tools and Principles}, author = {Dadeau, Fr\'ed\'eric and Gros, Jean Philippe and Peureux, Fabien}, year = {2020}, address = {Porto, Portugal}, booktitle = {IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020)}, editor = {9774fdeb-dc34-4d9e-bb63-a4acd0b554da-editor.pdf}, month = {oct}, pages = {429 - 436}, url = {https://publiweb.femto-st.fr/tntnet/entries/16439/documents/author/data}, doi = {10.1109/ICSTW50294.2020.00077} }
• 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} }

2018 (2)

• article - Assessing SMT and CLP approaches for workflow nets verification
  International Journal on Software Tools for Technology Transfer (STTT) (Volume 20, Issue (1), aug 2018, Pages :467 - 491)
  Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
  
  pdf | doi
• 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} }

2017 (1)

• inproceedings - Reduction of Workflow Nets for Generalised Soundness Verification
  18th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI 2017) / Paris, France (Publisher : Springer, Volume 10145, Series Lecture Notes in Computer Science (LNCS), 2017, Pages pages 91 - 111)
  Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{1ee19fcb-5d5b-4a30-96d1-a182f5d5854e, title = {Reduction of Workflow Nets for Generalised Soundness Verification}, author = {Bride, Hadrien and Kouchnarenko, Olga and Peureux, Fabien}, year = {2017}, address = {Paris, France}, booktitle = {18th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI 2017)}, month = {jan}, pages = {91 - 111}, url = {https://publiweb.femto-st.fr/tntnet/entries/13418/documents/author/data}, volume = {10145}, doi = {10.1007/978-3-319-52234-0_6}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

2016 (5)

• inproceedings - Workflow Nets Verification: SMT or CLP?
  International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016) / Pisa, Italy (Publisher : Springer, Volume 9933, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 39 - 55)
  Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien | Voiron, Guillaume
  
  pdf | doi | bibtex@inproceedings{49c82c45-eec1-4465-8322-e9b7027e766a, title = {Workflow Nets Verification: SMT or CLP?}, author = {Bride, Hadrien and Kouchnarenko, Olga and Peureux, Fabien and Voiron, Guillaume}, year = {2016}, address = {Pisa, Italy}, booktitle = {International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016)}, month = {sep}, pages = {39 - 55}, url = {https://publiweb.femto-st.fr/tntnet/entries/13247/documents/author/data}, volume = {9933}, doi = {10.1007/978-3-319-45943-1_3}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Comparing CLP(FD) and SMT Approaches Applied to Workflow Nets Verification
  15èmes Journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) / Besançon, France (Publisher : FEMTO-ST, 2016, Pages pages 11 - 12)
  Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien | Voiron, Guillaume
  
  pdf | bibtex@inproceedings{4dd26268-6b3b-4c8d-93f9-e3ed6fde8ce3, title = {Comparing CLP(FD) and SMT Approaches Applied to Workflow Nets Verification}, author = {Bride, Hadrien and Kouchnarenko, Olga and Peureux, Fabien and Voiron, Guillaume}, year = {2016}, address = {Besan\c{c}on, France}, booktitle = {15\`emes Journ\'ees Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2016)}, editor = {Aur\'elie Hurault et Nicolas Stouls}, month = {jun}, pages = {11 - 12}, url = {https://publiweb.femto-st.fr/tntnet/entries/13246/documents/author/data}, publisher = {FEMTO-ST} }
• 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
• 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} }
• misc - Model-Based Testing for Internet of Things and Cyber-Physical Systems
  Présentation faite le 26/01/2016 à Workshop: Software and System Engineering for Cyber-Physical Systems disponible sur http://www.cpse-labs.eu/downloads/ToulouseJan16/2016-01-26_Toulouse_11_MBT4.pdf (jan 2016)
  Peureux, Fabien
  
  bibtex@misc{caca68fd-0180-4836-a373-7479926941b6, title = {Model-Based Testing for Internet of Things and Cyber-Physical Systems}, author = {Peureux, Fabien}, year = {2016}, address = {Toulouse, France}, booktitle = {Workshop on Software and System Engineering for Cyber-Physical Systems (2016)}, month = {jan}, url = {https://publiweb.femto-st.fr/tntnet/entries/13715/documents/author/data} }

2015 (7)

• inproceedings - A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
  17th International Conference on Formal Engineering Methods (ICFEM 2015 ) / Paris, France (Publisher : Springer, Volume 9407, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 134 - 152)
  Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
  
  pdf | bibtex@inproceedings{gbhp15b:ip, title = {A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2015}, address = {Paris, France}, booktitle = {17th International Conference on Formal Engineering Methods (ICFEM 2015 )}, month = {nov}, pages = {134 - 152}, url = {https://publiweb.femto-st.fr/tntnet/entries/11855/documents/author/data}, volume = {9407}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Tools to implement model-based testing in your project
  (2015)
  Peureux, Fabien
  
  bibtex@inproceedings{peureux15:it, title = {Tools to implement model-based testing in your project}, author = {Peureux, Fabien}, year = {2015}, month = {oct} }
• inproceedings - Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
  10th International Andrei Ershov Informatics Conference, Perspectives of System Informatics (PSI 2015) / Kazan and Innopolis, Russian Federation (Publisher : Springer, Volume 9609, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 75 - 90)
  Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{bkp15:ip, title = {Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data}, author = {Bride, Hadrien and Kouchnarenko, Olga and Peureux, Fabien}, year = {2015}, address = {Kazan and Innopolis, Russian Federation}, booktitle = {10th International Andrei Ershov Informatics Conference, Perspectives of System Informatics (PSI 2015)}, month = {aug}, pages = {75 - 90}, url = {https://publiweb.femto-st.fr/tntnet/entries/11853/documents/author/data}, volume = {9609}, doi = {10.1007/978-3-319-41579-6_7}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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 - Tooled Process for Early Validation of SysML Models using Modelica Simulation
  6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015) / Teheran, Iran, Islamic Republic Of (Publisher : Springer, Volume 9392, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 230 - 237)
  Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{gbhp15:ip, title = {Tooled Process for Early Validation of SysML Models using Modelica Simulation}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2015}, address = {Teheran, Iran, Islamic Republic Of}, booktitle = {6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015)}, month = {apr}, pages = {230 - 237}, url = {https://publiweb.femto-st.fr/tntnet/entries/10118/documents/author/data}, volume = {9392}, doi = {10.1007/978-3-319-24644-4_16}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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} }

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 - Formation sur les méthodes de test et de validation des logiciels
  (2014)
  Ambert, Fabrice | Bouquet, Fabrice | Gauthier, Jean-Marie | Peureux, Fabien | Vernotte, Alexandre
  
  bibtex@inproceedings{9ab7908b-684f-4a59-96b0-3e31755e6597, title = {Formation sur les m\'ethodes de test et de validation des logiciels}, author = {Ambert, Fabrice and Bouquet, Fabrice and Gauthier, Jean-Marie and Peureux, Fabien and Vernotte, Alexandre}, year = {2014}, month = {nov} }
• 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 - Verifying Modal Workflow Specifications using Constraint Solving
  IFM'14, 11-th Int. Conf. on Integrated Formal Methods / Bertinoro, Italy (Publisher : Springer, Volume 8739, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 171--186)
  Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{bkp14:ip, title = {Verifying Modal Workflow Specifications using Constraint Solving}, author = {Bride, Hadrien and Kouchnarenko, Olga and Peureux, Fabien}, year = {2014}, address = {Bertinoro, Italy}, booktitle = {IFM'14, 11-th Int. Conf. on Integrated Formal Methods}, month = {sep}, pages = {171--186}, url = {https://publiweb.femto-st.fr/tntnet/entries/8141/documents/author/data}, volume = {8739}, doi = {10.1007/978-3-319-10181-1_11}, 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} }
• techreport - Automated Risk-based Security Testing - Finding Vulnerabilities That Are Worth Being Found
  RASEN FP7 EU founded Research Project (jul 2014, White Paper)
  Peureux, Fabien | Schneider, Martin | Seehusen, Fredrik
  
  bibtex@techreport{pss14:ir, title = {Automated Risk-based Security Testing - Finding Vulnerabilities That Are Worth Being Found}, author = {Peureux, Fabien and Schneider, Martin and Seehusen, Fredrik}, year = {2014}, month = {jul}, url = {http://www.rasenproject.eu/downloads/481/}, institution = {RASEN FP7 EU founded Research Project} }
• 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} }
• incollection - Foundations of Security Analysis and Design VII
  Model-Based Testing for Functional and Security Test Generation (Publisher : Springer, Volume 8604, Series Lecture Notes in Computer Science (LNCS), jan 2014, Pages 1 - 33)
  Bouquet, Fabrice | Peureux, Fabien | Ambert, Fabrice
  
  pdf | bibtex@incollection{bpa14:bc, title = {Foundations of Security Analysis and Design VII}, author = {Bouquet, Fabrice and Peureux, Fabien and Ambert, Fabrice}, year = {2014}, booktitle = {Model-Based Testing for Functional and Security Test Generation}, month = {jan}, pages = {1 - 33}, url = {http://dx.doi.org/10.1007/978-3-319-10082-1_1}, volume = {8604}, doi = {10.1007/978-3-319-10082-1_1}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

2013 (7)

• inproceedings - Formation sur la démarche de test en développement logiciel
  (2013)
  Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Peureux, Fabien | Vernotte, Alexandre
  
  bibtex@inproceedings{f7728078-3312-416c-8c3e-e608ed0e0f34, title = {Formation sur la d\'emarche de test en d\'eveloppement logiciel}, author = {Ambert, Fabrice and Bouquet, Fabrice and Enderlin, Ivan and Gauthier, Jean-Marie and Joffroy, C\'edric and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, month = {dec} }
• inproceedings - Model-Based Test Generation of Aircraft Traffic Attack Scenarios using ADS-B Standard Signals
  UCAAT 2013, 1-st User Conference on Advanced Automated Testing / Paris, France (2013)
  Botella, Julien | Cao, Phong | Civeit, Cédric | Gidoin, Daniel | Peureux, Fabien
  
  pdf | bibtex@inproceedings{bccg+13:oip, title = {Model-Based Test Generation of Aircraft Traffic Attack Scenarios using ADS-B Standard Signals}, author = {Botella, Julien and Cao, Phong and Civeit, C\'edric and Gidoin, Daniel and Peureux, Fabien}, year = {2013}, address = {Paris, France}, booktitle = {UCAAT 2013, 1-st User Conference on Advanced Automated Testing}, month = {oct}, url = {https://publiweb.femto-st.fr/tntnet/entries/5981/documents/author/data} }
• 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 - 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 - 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 - Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS
  MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development / Barcelona, Spain (2013, Pages pages 123 - 128)
  Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
  
  pdf | bibtex@inproceedings{gbph13:oip, title = {Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2013}, address = {Barcelona, Spain}, booktitle = {MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development}, month = {feb}, pages = {123 - 128}, url = {https://publiweb.femto-st.fr/tntnet/entries/5976/documents/author/data} }

2012 (5)

• 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 - Model-Based Testing for Enterprise Application Software: from Business Processes and Business Rules to Tests
  (2012)
  Peureux, Fabien
  
  bibtex@inproceedings{peureux12:it, title = {Model-Based Testing for Enterprise Application Software: from Business Processes and Business Rules to Tests}, author = {Peureux, Fabien}, year = {2012}, month = {nov} }
• inproceedings - Experiment on Using Model-Based Testing for Automatic Tests Generation on a Software Radio Protocol
  STV'12, 9-th Int. Workshop on Systems Testing and Validation. In conjunction with ICSSEA 2012 / Paris, France (2012, Pages pages 79--84)
  Li, Shuai | Bourdellès, Michel | Acebedo, Alexandre | Botella, Julien | Peureux, Fabien
  
  pdf | bibtex@inproceedings{lbab+12:oip, title = {Experiment on Using Model-Based Testing for Automatic Tests Generation on a Software Radio Protocol}, author = {Li, Shuai and Bourdell\`es, Michel and Acebedo, Alexandre and Botella, Julien and Peureux, Fabien}, year = {2012}, address = {Paris, France}, booktitle = {STV'12, 9-th Int. Workshop on Systems Testing and Validation. In conjunction with ICSSEA 2012}, month = {oct}, pages = {79--84}, url = {https://publiweb.femto-st.fr/tntnet/entries/518/documents/author/data} }
• inproceedings - Transformation of SysML structure diagrams to VHDL-AMS
  dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS / Besançon, France (2012, Pages pages 74--81)
  Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{gbhp12:ip, title = {Transformation of SysML structure diagrams to VHDL-AMS}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2012}, address = {Besan\c{c}on, France}, booktitle = {dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS}, editor = {Bourgeois, Julien and de Labachelerie, Michel}, month = {apr}, pages = {74--81}, url = {https://publiweb.femto-st.fr/tntnet/entries/593/documents/author/data}, doi = {10.1109/dMEMS.2012.12} }
• misc - Hydra MBT-onFly
  (mar 2012)
  Bouquet, Fabrice | Ambert, Fabrice | Peureux, Fabien | Lorrain, Julien | Sermier, Thomas
  
  bibtex@misc{bapl+12:soft, title = {Hydra MBT-onFly}, author = {Bouquet, Fabrice and Ambert, Fabrice and Peureux, Fabien and Lorrain, Julien and Sermier, Thomas}, year = {2012}, month = {mar} }

2011 (6)

• article - Development of an automated MBT toolchain from UML/SysML models
  Innovations in Systems and Software Engineering (Volume 7, Issue (4), dec 2011, Pages :247 - 256)
  Lasalle, Jonathan | Peureux, Fabien | Fondement, Frédéric
  
  pdf | doi
• inproceedings - Automatic test concretization to supply end-to-end MBT for automotive mecatronic systems
  ETSE 2011, 1st Int. Workshop on End-to-End Test Script Engineering. In conjuction with ISSTA 2011 / Toronto, Canada (2011, Pages pages 16--23)
  Lasalle, Jonathan | Peureux, Fabien | Guillet, Jérôme
  
  pdf | doi | bibtex@inproceedings{lpg11:ip, title = {Automatic test concretization to supply end-to-end MBT for automotive mecatronic systems}, author = {Lasalle, Jonathan and Peureux, Fabien and Guillet, J\'er\^ome}, year = {2011}, address = {Toronto, Canada}, booktitle = {ETSE 2011, 1st Int. Workshop on End-to-End Test Script Engineering. In conjuction with ISSTA 2011}, month = {jul}, pages = {16--23}, url = {https://publiweb.femto-st.fr/tntnet/entries/450/documents/author/data}, doi = {10.1145/2002931.2002934} }
• misc - Development of an automated MBT toolchain from UML/SysML models
  Presented at UML&FM 2011, the 4-th IEEE Int. Workshop on UML and Formal Methods, Limerick, Ireland. Available after revision and extension as an ISSE journal version (jun 2011)
  Lasalle, Jonathan | Peureux, Fabien | Fondement, Frédéric
  
  bibtex@misc{lpf11:ip, title = {Development of an automated MBT toolchain from UML/SysML models}, author = {Lasalle, Jonathan and Peureux, Fabien and Fondement, Fr\'ed\'eric}, year = {2011}, address = {Limerick, Ireland}, booktitle = {4th IEEE International workshop UML and Formal Methods (FM 2011)}, month = {jun}, url = {https://publiweb.femto-st.fr/tntnet/entries/515/documents/author/data} }
• inproceedings - Grey-box Testing and Verification of Java/JML
  CSTVA'11, 3rd Int. Workshop on Constraint in Software Testing Verification and Analysis - co-located with ICST'2011 / Berlin, Germany (2011, Pages pages 298--303)
  Dadeau, Frédéric | Peureux, Fabien
  
  pdf | doi | bibtex@inproceedings{dp11:ip, title = {Grey-box Testing and Verification of Java/JML}, author = {Dadeau, Fr\'ed\'eric and Peureux, Fabien}, year = {2011}, address = {Berlin, Germany}, booktitle = {CSTVA'11, 3rd Int. Workshop on Constraint in Software Testing Verification and Analysis - co-located with ICST'2011}, month = {mar}, pages = {298--303}, url = {https://publiweb.femto-st.fr/tntnet/entries/298/documents/author/data}, doi = {10.1109/ICSTW.2011.30} }
• 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 (4)

• 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 - 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} }

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 - EDEMOI: a methodology for security of air transport system
  EUCASS'10, 2nd European Conference on Aerospace Sciences (2007)
  Lemoine, Michel | R. Lopez Ruiz, Eduardo | Ledru, Yves | Bert, Didier | Laleau, Régine | Peureux, Fabien | Bouquet, Fabrice | Donzeau-Gouge, Véronique | Dubois, Catherine | Etienne, Jean-Frédéric | Vignes, Sylvie
  
  bibtex@inproceedings{lrlplb+07:oip, title = {EDEMOI: a methodology for security of air transport system}, author = {Lemoine, Michel and R. Lopez Ruiz, Eduardo and Ledru, Yves and Bert, Didier and Laleau, R\'egine and Peureux, Fabien and Bouquet, Fabrice and Donzeau-Gouge, V\'eronique and Dubois, Catherine and Etienne, Jean-Fr\'ed\'eric and Vignes, Sylvie}, year = {2007}, booktitle = {EUCASS'10, 2nd European Conference on Aerospace Sciences} }

2006 (3)

• 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)} }
• article - Adopting a situational requirements engineering approach for the analysis of civil aviation security standards
  Software Process: Improvement and Practice (Volume 11, Issue (5), sep 2006, Pages :487 - 503)
  Laleau, Régine | Vignes, Sylvie | Ledru, Yves | Lemoine, Michel | Bert, Didier | Donzeau-Gouge, Véronique | Dubois, Catherine | Peureux, Fabien
  
  doi
• inproceedings - An attempt to combine UML and formal methods to model airport security
  Forum of CAISE'06, the 18th Int. Conf. on Advanced Information Systems Engineering / Luxembourg, Luxembourg (2006, Pages pages 47--50)
  Ledru, Yves | Laleau, Régine | Lemoine, Michel | Vignes, Sylvie | Bert, Didier | Donzeau-Gouge, Véronique | Dubois, Catherine | Peureux, Fabien
  
  bibtex@inproceedings{lllv+06:oip, title = {An attempt to combine UML and formal methods to model airport security}, author = {Ledru, Yves and Laleau, R\'egine and Lemoine, Michel and Vignes, Sylvie and Bert, Didier and Donzeau-Gouge, V\'eronique and Dubois, Catherine and Peureux, Fabien}, year = {2006}, address = {Luxembourg, Luxembourg}, booktitle = {Forum of CAISE'06, the 18th Int. Conf. on Advanced Information Systems Engineering}, month = {jun}, pages = {47--50} }

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