Fabien Peureux

According to our database, Fabien Peureux authored at least 43 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

A domain-specific language to design false data injection tests for air traffic control systems.

Alexandre Vernotte, Aymeric Cretin, Bruno Legeard, Fabien Peureux

Int. J. Softw. Tools Technol. Transf., 2022

2020

A Case-based Approach for introducing Testing Tools and Principles.

Frédéric Dadeau, Jean-Philippe Gros, Fabien Peureux

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance.

Aymeric Cretin, Alexandre Vernotte, Antoine Chevrot, Fabien Peureux, Bruno Legeard

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2018

Assessing SMT and CLP approaches for workflow nets verification.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron

Int. J. Softw. Tools Technol. Transf., 2018

2017

Reduction of Workflow Nets for Generalised Soundness Verification.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

Achieving SCA Conformance Testing with Model-Based Testing.

Julien Botella, Jean-Philippe Delahaye, Eddie Jaffuel, Bruno Legeard, Fabien Peureux

J. Signal Process. Syst., 2016

Recent Advances in Model-Based Testing.

Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte

Adv. Comput., 2016

Workflow Nets Verification: SMT or CLP?

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015

Risk-Driven Vulnerability Testing: Results from eHealth Experiments Using Patterns and Model-Based Approach.

Alexandre Vernotte, Cornel Botea, Bruno Legeard, Arthur Molnar, Fabien Peureux

Proceedings of the Risk Assessment and Risk-Driven Testing - Third International Workshop, 2015

A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing.

Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux

Proceedings of the Formal Methods and Software Engineering, 2015

Tooled Process for Early Validation of SysML Models Using Modelica Simulation.

Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux

Proceedings of the Perspectives of System Informatics, 2015

2014

MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned.

Gil Bernabeu, Eddie Jaffuel, Bruno Legeard, Fabien Peureux

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Risk-Based Vulnerability Testing Using Security Test Patterns.

Julien Botella, Bruno Legeard, Fabien Peureux, Alexandre Vernotte

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Verifying Modal Workflow Specifications Using Constraint Solving.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities.

Alexandre Vernotte, Frédéric Dadeau, Franck Lebeau, Bruno Legeard, Fabien Peureux, François Piat

Proceedings of the Information Systems Security - 10th International Conference, 2014

2013

Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS.

Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Model-Based Vulnerability Testing for Web Applications.

Franck Lebeau, Bruno Legeard, Fabien Peureux, Alexandre Vernotte

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Model-Based Testing for Functional and Security Test Generation.

Fabrice Bouquet, Fabien Peureux, Fabrice Ambert

Proceedings of the Foundations of Security Analysis and Design VII, 2013

Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing.

Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux

Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

2011

SysML to UML model transformation for test generation purpose.

Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux

ACM SIGSOFT Softw. Eng. Notes, 2011

Development of an automated MBT toolchain from UML/SysML models.

Jonathan Lasalle, Fabien Peureux, Frédéric Fondement

Innov. Syst. Softw. Eng., 2011

Grey-Box Testing and Verification of Java/JML.

Frédéric Dadeau, Fabien Peureux

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Test Generation Using Symbolic Animation of Models.

Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2008

A Test Generation Solution to Automate Software Testing.

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008

2007

A subset of precise UML for model-based testing.

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.

Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux

Softw. Process. Improv. Pract., 2006

Model-Based Testing from UML Models.

Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

An attempt to combine UML and formal methods to model airport security.

Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

2005

Requirements traceability in automated test generation: application to smart card software validation.

Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting

ACM SIGSOFT Softw. Eng. Notes, 2005

2004

Controlling test case explosion in test generation from B formal models.

Bruno Legeard, Fabien Peureux, Mark Utting

Softw. Test. Verification Reliab., 2004

Preamble computation in automated test case generation using constraint logic programming.

Séverine Colin, Bruno Legeard, Fabien Peureux

Softw. Test. Verification Reliab., 2004

CLPS-B - A constraint solver to animate a B specification.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux

Int. J. Softw. Tools Technol. Transf., 2004

Generation of test sequences from formal specifications: GSM 11-11 standard case study.

Eddy Bernard, Bruno Legeard, Xavier Luck, Fabien Peureux

Softw. Pract. Exp., 2004

Boundary Coverage Criteria for Test Generation from Formal Models.

Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

I/O-automata Based Testing.

Machiel van der Bijl, Fabien Peureux

Proceedings of the Model-Based Testing of Reactive Systems, 2004

Mastering Test Generation from Smart Card Software Formal Models.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre

Proceedings of the Construction and Analysis of Safe, 2004

2002

B-Testing-Tools : génération de tests aux limites à partir de spécifications B.

Bruno Legeard, Fabien Peureux

Tech. Sci. Informatiques, 2002

A Comparison of the BTT and TTF Test-Generation Methods.

Bruno Legeard, Fabien Peureux, Mark Utting

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

CLPS-B - A Constraint Solver for B.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Automated Boundary Testing from Z and B.

Bruno Legeard, Fabien Peureux, Mark Utting

Proceedings of the FME 2002: Formal Methods, 2002

2001

Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study.

Bruno Legeard, Fabien Peureux

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B.

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py

Proceedings of the Programmation en logique avec contraintes, 2000