L'institut
FEMTO-ST
Annuaire

Vous êtes ici

Fabien Peureux

Publications de Fabien Peureux

2020 (2)

  • inproceedings - A Case-based Approach for introducing Testing Tools and Principles
    International Conference on Software Testing, Verification and Validation (ICST 2020) / Porto, Portugal (2020)
    Dadeau, Frédéric | Gros, Jean Philippe | Peureux, Fabien
    pdf | bibtex
  • inproceedings - Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance
    International Conference on Software Testing, Verification and Validation (ICST 2020) / Porto, Portugal (2020)
    Cretin, Aymeric | Vernotte, Alexandre | Chevrot, Antoine | Peureux, Fabien | Legeard, Bruno
    pdf | bibtex

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

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

2016 (5)

  • inproceedings - Workflow Nets Verification: SMT or CLP?
    Critical Systems: Formal Methods and Automated Verification, 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 - 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
  • 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 | bibtex
  • 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
  • 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

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
  • misc - 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
  • 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 - 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, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 93--109)
    Vernotte, Alexandre | Botea, Cornel | Legeard, Bruno | Molnar, Arthur | Peureux, Fabien
    bibtex
  • 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
  • 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
  • inproceedings - 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

2014 (9)

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

2013 (7)

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

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
  • misc - 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
  • 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 - 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
  • misc - Hydra MBT-onFly
    (mar 2012)
    Bouquet, Fabrice | Ambert, Fabrice | Peureux, Fabien | Lorrain, Julien | Sermier, Thomas
    bibtex

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 | bibtex
  • 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
  • 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
  • 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
  • misc - 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
  • 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

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

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

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

  • inproceedings - Model-based Testing from UML Models
    MBT'2006, Model-based Testing Workshop, INFORMATIK'06 / Dresden, Germany (Volume P-94, Series LNI, Lecture Notes in Informatics, 2006, Pages pages 223 - 230)
    Bernard, Eddy | Bouquet, Fabrice | Charbonnier, Amandine | Legeard, Bruno | Peureux, Fabien | Utting, Mark | Torreborre, Eric
    pdf | bibtex
  • 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)
    Ledru, Yves | Peureux, Fabien | Laleau, Régine | Vignes, Sylvie | Lemoine, Michel | Bert, Didier | Donzeau-Gouge, Véronique | Dubois, Catherine
    doi | bibtex
  • 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