Research departments

Home > Research > AS2M > Presentation > directory

AS2M directory


Return to the list

Fabien Peureux

Fabien Peureux

DISC
Group : VESONTIO
UFC - UFR ST

  • Tel. : 03.81.66.66.63
  • Email : fpeureux@femto-st.fr
  • Office : 425
  • Address : 16 route de Gray CS11809 25030 BESANCON cedex

Fabien PEUREUX works as assistant professor at the Sciences and Technology Faculty of the University of Franche-Comté. He received his Ph.D. degree in Computer Science from the University of Franche-Comté in 2002, where he works since 2003 as assistant professor and does his research activities with the DISC department of the Institut FEMTO-ST.
His main expertise is focused on the implementation and automation of Model-Based Testing techniques, especially in the domains of smartcard application, information systems and embedded software, with a particular interest to apply Model-Based Testing techniques for vulnerability and security issues in the context of networked systems.

Websites project / contract in which I participate

You can find here my publication list. If you want to obtain a copy of one of them and you can not obtain it otherwise, please contact me

Publication list :

Category article
2016
  • 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 | bibtex
2011
  • 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 | bibtex
2010
  • VETESS : IDM, Test et SysML
    Génie Logiciel (Issue (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 | bibtex
2006
  • 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)
    Ledru, Yves | Peureux, Fabien | Laleau, Régine | Vignes, Sylvie | Lemoine, Michel | Bert, Didier | Donzeau-Gouge, Véronique | Dubois, Catherine
    doi | bibtex
2004
  • 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 | bibtex
  • 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 | bibtex
  • 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, E. | Legeard, Bruno | Luck, X. | Peureux, Fabien
    pdf | doi | bibtex
  • 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 | bibtex
2003
  • Génération de tests à partir de spécifications : Concepts, méthodes et outils
    Génie Logiciel (Volume 67, dec 2003, Pages :27--36)
    Legeard, Bruno | Py, L. | Ambert, Fabrice | Bouquet, Fabrice | Peureux, Fabien
    bibtex
2002
  • B-Testing-Tools : génération de tests aux limites à partir de spécifications B
    Technique et Science Informatiques (TSI) (Volume 21, Issue (9), 2002, Pages :1189--1218)
    Legeard, Bruno | Peureux, Fabien
    pdf | bibtex
Category incollection
2016
  • Recent Advances in Model-Based Testing
    Advances in Computers (Publisher : Elsevier / , Editor : Atif Memon, Volume 101, Issue , Edition : 1st, Series , Chapter 2, mar 2016, Pages 53 - 120, )
    Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Fourneret, Elizabeta | Peureux, Fabien | Vernotte, Alexandre
    pdf | bibtex
2014
  • Model-Based Testing for Functional and Security Test Generation
    Foundations of Security Analysis and Design VII (Publisher : Springer / , Volume 8604, Issue , Edition : , Series , Chapter , 2014, Pages 1--33, )
    Bouquet, Fabrice | Peureux, Fabien | Ambert, Fabrice
    pdf | bibtex
2011
  • Test Generation using Symbolic Animation of Models
    Model-Based Testing for Embedded Systems (Publisher : CRC Press / , Volume , Issue , Edition : , Series , Chapter , 2011, Pages 195--218, )
    Dadeau, Frédéric | Peureux, Fabien | Legeard, Bruno | Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex
2005
  • I/O-automata based testing
    Model-based testing of Reactive Sytems (Publisher : Springer / , Volume 3472, Issue , Edition : , Series , Chapter , 2005, Pages 173--200, )
    van der Bijl, M. | Peureux, Fabien
    pdf | bibtex
Category inproceedings
2017
  • Reduction of Workflow Nets for Generalised Soundness Verification
    18th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI'17) / Paris, France (Publisher : Springer, Volume 10145, 2017)
    Bride, Hadrien | Peureux, Fabien | Kouchnarenko, Olga
    pdf | doi | bibtex
2016
  • 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) (Publisher : FEMTO-ST, 2016, Pages pages 11 - 12)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien | Voiron, Guillaume
    pdf | bibtex
  • Workflow Nets Verification: SMT or CLP?
    Critical Systems: Formal Methods and Automated Verification (Publisher : Springer, Volume 9933, 2016, Pages pages 39 - 55)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien | Voiron, Guillaume
    doi | bibtex
2015
  • Tooled Process for Early Validation of SysML Models using Modelica Simulation
    FSEN'15, 6th IPM Int. Conf. on Fundamentals of Software Engineering / Tehran, Iran (Publisher : Springer, Volume 9392, 2015, Pages pages 230-237)
    Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
    pdf | doi | bibtex
  • A Pattern-driven and Model-Based Test Generation Toolchain for Web Vulnerability
    International Symposium on Engineering Secure Software and Systems / Milan, Italy (2015)
    Vernotte, Alexandre | Legeard, Bruno | Peureux, Fabien
    pdf | bibtex
  • Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
    Perspectives of System Informatics / Kazan, Russia (Publisher : Springer, Volume 9609, 2015, Pages pages 75 - 90)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
    doi | bibtex
  • Risk-Driven Vulnerability Testing: Results from eHealth Experiments using Patterns and Model-Based Approach
    RISK'15, 3rd Int. Workshop on Risk Assessment and Risk-driven Testing / Berlin, Germany (Publisher : Springer, Volume 9488, 2015, Pages pages 93--109)
    Vernotte, Alexandre | Botea, Cornel | Legeard, Bruno | Molnar, Arthur | Peureux, Fabien
    bibtex
  • 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, 2015, Pages pages 134 - 152)
    Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
    bibtex
2014
  • Verifying Modal Workflow Specifications using Constraint Solving
    IFM'14, 11-th Int. Conf. on Integrated Formal Methods / Bertinoro, Italy (Publisher : Springer, Volume 8739, 2014, Pages pages 171--186)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
    pdf | doi | bibtex
  • 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, 2014, Pages pages 337--352)
    Botella, Julien | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    pdf | doi | bibtex
  • 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
    bibtex
  • 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
    doi | bibtex
  • 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, 2014, Pages pages 358-377)
    Vernotte, Alexandre | Dadeau, Frédéric | Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Piat, François
    doi | bibtex
  • 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
    bibtex
  • 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
2013
  • 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, 2013, Pages pages 134 - 151)
    Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Legeard, Bruno | Peureux, Fabien
    pdf | doi | bibtex
  • 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
  • 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
  • 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
  • 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
    bibtex
2012
  • 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
  • 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
  • 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
2011
  • 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
  • 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
2010
  • 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, 2010, Pages pages 1--8)
    Lasalle, Jonathan | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    pdf | doi | bibtex
  • VETESS: MDE, Testing approaches and SysML
    Neptune workshop / Toulouse, France (2010)
    Legeard, Bruno | Peureux, Fabien | Fondement, Frédéric | Alter, Marc | Scherrer, Claude
    bibtex
2008
  • 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
    doi | bibtex
2007
  • 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
  • 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
2006
  • 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
  • Model-based Testing from UML Models
    MBT'2006, Model-based Testing Workshop, INFORMATIK'06 / Dresden, Germany (Volume P-94, 2006, Pages pages 223--230)
    Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien | Bernard, E. | Charbonnier, A. | Torreborre, E.
    pdf | bibtex
2005
  • Application of Requirements Engineering Techniques to the Analysis of Civil Aviation Security Standards
    Procs of the Int. Workshop on Situational Requirements Engineering Processes (SREP'05) / Paris, France (2005, Pages pages 91--106)
    Laleau, Régine | Vignes, Sylvie | Ledru, Yves | Lemoine, Michel | Bert, Didier | Donzeau-Gouge, Véronique | Dubois, Catherine | Peureux, Fabien
    bibtex
  • Requirement Traceability in Automated Test Generation - Application to Smart Card Software Validation
    Procs. of the ICSE Int. Workshop on Advances in Model-Based Software Testing (A-MOST'05) / St. Louis, United States (Publisher : Association for Computing Machinery (ACM), 2005)
    Bouquet, Fabrice | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien | Utting, Mark
    bibtex
2004
  • Mastering Test Generation from Smart Card Software Formal Models
    Procs. of the Int. Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS'04) / Marseille, France (Publisher : Springer, Volume 3362, 2004, Pages pages 70--85)
    Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien | Torreborre, E.
    bibtex
  • Boundary Coverage Criteria for Test Generation from Formal Models
    Proc. of the 15th Int. Symp. on Software Reliability Engineering (ISSRE'04) / Saint-Malo, France (Publisher : IEEE, 2004, Pages pages 139--150)
    Kosmatov, Nikolaï | Legeard, Bruno | Peureux, Fabien | Utting, Mark
    bibtex
  • Automated Test Case and Test Driver Generation for Embedded Software
    ICSSEA - Int. Conf. on Software, System Engineering and Applications (2004, Pages pages 34--49)
    Ambert, Fabrice | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien | Py, L. | Torrebore, E.
    bibtex
2003
  • Automated Boundary-Value Test Generation from Specifications - Method and Tools
    4th Int. Conf. on Software Testing, ICSTEST 2003 / Cologne, Germany (2003, Pages pages 52--68)
    Ambert, Fabrice | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    bibtex
  • Preamble computation in automated test generation using Constraint Logic Programming
    Proceedings of UK-Test Workshop / York, United Kingdom (2003)
    Colin, Séverine | Legeard, Bruno | Peureux, Fabien
    bibtex
2002
  • A Comparison of the LIFC/B and TTF/Z Test-Generation Methods
    2nd International Conference of B and Z Users, ZB2002 / Grenoble, France (Volume 2272, 2002, Pages pages 309--329)
    Legeard, Bruno | Peureux, Fabien | Utting, Mark
    bibtex
  • CLPS-B: A constraint solver for B
    Proceedings of the conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, ETAPS / Grenoble, France (Publisher : Springer, Volume 2280, 2002, Pages pages 188--204)
    Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    pdf | bibtex
  • Automated boundary testing from Z and B
    Proc. of the Int. Conf. on Formal Methods Europe, FME'02 / Copenhaguen, Denmark (Publisher : Springer, Volume 2391, 2002, Pages pages 21--40)
    Legeard, Bruno | Peureux, Fabien | Utting, Mark
    bibtex
  • BZ-TT: A Tool-Set for Test Generation from Z and B using Constraint Logic Programming
    Proc. of Formal Approaches to Testing of Software, FATES 2002 (workshop of CONCUR'02) / Brnö, République Tchèque (2002, Pages pages 105--120)
    Ambert, Fabrice | Bouquet, Fabrice | Chemin, Sébastien | Guenaud, Sébastien | Legeard, Bruno | Peureux, Fabien | Vacelet, Nicolas | Utting, Mark
    bibtex
2001
  • Generation of functional test sequences from B formal specifications - Presentation and industrial case-study
    Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001) / San Diego, United States (Publisher : IEEE, 2001, Pages pages 377--381)
    Legeard, Bruno | Peureux, Fabien
    bibtex
  • Génération de séquences de test à partir d'une spécification B en PLC ensembliste
    Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels) / Nancy, France (2001, Pages pages 113--130)
    Legeard, Bruno | Peureux, Fabien
    bibtex
  • B-Testing-Tool : un environnement pour la validation fonctionnelle d'applications critiques (présentation et étude de cas industriel)
    Actes de AFIS'2001, 2ème Conférence Annuelle d'Ingéniérie Système / Toulouse, France (2001, Pages pages 141--147)
    Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien
    bibtex
2000
  • Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B
    9èmes Journées Francophones de Programmation Logique et Programmation par Contraintes. JFPLC'2000 / Marseille, France (2000, Pages pages 125--144)
    Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien | Py, L.
    bibtex
  • Constraint Logic Programming with Sets for animation B formal specifications
    Proc. of the 1st Int. Conf. on Computational Logic, Workshop on Constraint Logic Programming and Software Engineering, (C)LPSE2000 / Imperial College, London, United Kingdom (2000)
    Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    bibtex
Category misc
2016
  • 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
2015
  • Tools to implement model-based testing in your project
    Talk at the U-Test dissemination event about Improving home health care with dependable, interconnected, and intelligent systems. SIMULA, Oslo, Norway (oct 2015)
    Peureux, Fabien
    bibtex
2014
  • Formation sur les méthodes de test et de validation des logiciels
    (nov 2014)
    Ambert, Fabrice | Bouquet, Fabrice | Gauthier, Jean-Marie | Peureux, Fabien | Vernotte, Alexandre
    bibtex
2013
  • Journées nationales du Developpement Logiciel (JDEV'2013)
    T6.A1 Définition et écriture des tests de couverture des exigences logiciel (Fabien Peureux) T6.A2 Industrialisation des tests - Intégration continue et automatisation des tests (Fabrice Ambert, Cédric Joffroy) T6.A4.1 Bien écrire les tests de son composants logiciel Java (Fabrice Ambert, Alexandre Vernotte) T6.A4.1 Bien écrire les tests de son composants logiciel PHP (Ivan Enderlin, Jean-Marie Gauthier) T6.GT4 L'émergence des spécifications et de la conception par le test / Conduite du développement par les tests (Bruno Legeard, Fabien Peureux) (sep 2013)
    Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    bibtex
  • Formation sur la démarche de test en développement logiciel
    Présentation générale de la démarche de test (durée : 3h00 - orateurs : Fabrice Bouquet, Fabien Peureux) Présentation de la démarche d'Intégration Continue (durée : 1h00 - orateurs : Cédric Joffroy, Fabien Peureux) Atelier pratique sur le test structurel (durée : 8h00 - animateurs : Fabrice Ambert, Fabrice Bouquet, Jean-Marie Gauthier, Ivan Enderlin, Cédric Joffroy, Fabien Peureux, Alexandre Vernotte) Atelier pratique sur le test fonctionnel (durée : 8h00 - animateurs : Fabrice Ambert, Fabrice Bouquet, Jean-Marie Gauthier, Ivan Enderlin, Cédric Joffroy, Fabien Peureux, Alexandre Vernotte) Participation à la table ronde de fin de séminaire (durée : 2h30 - participants : Fabrice Ambert, Fabrice Bouquet, Fabien Peureux) (dec 2013)
    Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Peureux, Fabien | Vernotte, Alexandre
    bibtex
2012
  • Model-Based Testing for Enterprise Application Software: from Business Processes and Business Rules to Tests
    Keynote talk at SoftNet 2012, the 7th Int. Conf. on Software Engineering Advances, Lisbon, Portugal (nov 2012)
    Peureux, Fabien
    bibtex
  • Hydra MBT-onFly
    (mar 2012)
    Bouquet, Fabrice | Ambert, Fabrice | Peureux, Fabien | Lorrain, Julien | Sermier, Thomas
    bibtex
2011
  • 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
  • Using Topcased for Model-Based Testing
    First TopCased Days, Toulouse, France (feb 2011)
    Lasalle, Jonathan | Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
    bibtex
2010
  • 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
2002
  • BZ-Testing-Tools
    ( 2002)
    Ambert, Fabrice | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien | al
    bibtex
Category phdthesis
2002
  • Génération de tests aux limites à partir de spécifications B en Programmation Logique avec Contraintes Ensemblistes
    (dec 2002, Thèse de {D}octorat)
    Peureux, Fabien
    pdf | bibtex
Category techreport
2015
  • The PMVT approach: a RASEN innovation for security Pattern and Model-based Vulnerability Testing
    RASEN FP7 EU founded Research Project (apr 2015, White Paper, Number )
    Legeard, Bruno | Peureux, Fabien | Schneider, Martin | Seehusen, Fredrik | Vernotte, Alexandre
    bibtex
2014
  • Automated Risk-based Security Testing - Finding Vulnerabilities That Are Worth Being Found
    RASEN FP7 EU founded Research Project (jul 2014, White Paper, Number )
    Peureux, Fabien | Schneider, Martin | Seehusen, Fredrik
    bibtex
2004
  • A constraint solver to animate a B specification
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (dec 2004, Research Report, Number RR2004-13)
    Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    bibtex
  • Controlling Test Case Explosion in Test Generation from B Formal Models
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (dec 2004, Research Report, Number RR2004-14)
    Legeard, Bruno | Peureux, Fabien | Utting, Mark
    bibtex
  • Preamble Computation in Automated Test Case Generation using Constraint Logic Programming
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (dec 2004, Research Report, Number RR2004-15)
    Colin, Séverine | Legeard, Bruno | Peureux, Fabien
    bibtex
  • Generation of test sequences from formal specifications: GSM 11.11 standard case-study
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (dec 2004, Research Report, Number RR2004-16)
    Bernard, E. | Legeard, Bruno | Luck, X. | Peureux, Fabien
    bibtex
2002
  • Projet BZ-Testing-Tools - Génération de tests aux limites à partir d'un modèle formel B ou Z - Annexes Techniques
    ANVAR (may 2002, Compte rendu d'avancement au 30 avril 2002, Number )
    Ambert, Fabrice | Bouquet, Fabrice | Chemin, Sébastien | Guenaud, Sébastien | Legeard, Bruno | Peureux, Fabien | Vacelet, Nicolas
    bibtex
2001
  • Modélisation formelle et tests - Application Ticket Métro/RER
    Schlumberger Terminaux Urbains et Systèmes (jun 2001, Rapport de fin de contrat, Number )
    Legeard, Bruno | Peureux, Fabien | Gaspari, Laetitia | Caritey, N.
    bibtex
2000
  • Generation of functional tests sequences from B formal specifications of the GSM 11-11 standard
    Schlumberger SmartCard R&D (jul 2000, Rapport de fin de contrat, Number )
    Bernard, E. | Legeard, Bruno | Luck, X. | Peureux, Fabien
    bibtex