The institute
FEMTO-ST
Directory

You are here

Fabrice Ambert

Fabrice Ambert's publications

2020 (2)

  • inproceedings - Tool Support for Refactoring Manual Tests
    International Conference on Software Testing, Verification and Validation (ICST 2020) / Porto, Portugal (2020)
    Bernard, Elodie | Botella, Julien | Ambert, Fabrice | Legeard, Bruno | Utting, Mark
    pdf | bibtex
  • inproceedings - Supporting efficient test automation using lightweight MBT
    3rd International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS 2020) / Porto, Portugal (2020)
    Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno
    pdf | bibtex

2019 (1)

  • inproceedings - A Lightweight MBT approach for Visual Acceptance-Test Driven Development
    19th International Conference on Software Quality, Reliability and Security (QRS 2019) / Sofia, Bulgaria (2019)
    Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno
    pdf | bibtex

2018 (1)

  • inproceedings - Lightweight Model-Based Testing for Enterprise IT
    11th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018) / Vasteras, Sweden (2018, Pages pages 224 - 230)
    Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno | Bouzy, Arnaud
    pdf | doi | bibtex

2014 (2)

  • 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
  • article - Test generation with SMT solvers in Model Based Testing
    Software Testing, Verification and Reliability (Volume 24, Issue (7), may 2014, Pages :499 - 531)
    Cantenot, Jérôme | Ambert, Fabrice | Bouquet, Fabrice
    doi | bibtex

2013 (4)

  • 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
  • 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 - Strategies Comparison of Test Generation from UML Using SMT Solver
    CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013 / Luxemburg, Luxemburg (Publisher : IEEE, 2013, Pages pages 224--229)
    Cantenot, Jérôme | Ambert, Fabrice | Bouquet, Fabrice
    pdf | doi | bibtex

2012 (3)

  • 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 - Transformation rules from UML4MBT meta-model to SMT meta-model for model animation
    OCL 2012, 12th Workshop on OCL and Textual Modelling. In conjunction with Models'2012 / Innsbruck, Austria (2012, Pages pages 55--60)
    Cantenot, Jérôme | Bouquet, Fabrice | Ambert, Fabrice
    doi | bibtex
  • misc - Hydra MBT-onFly
    (mar 2012)
    Bouquet, Fabrice | Ambert, Fabrice | Peureux, Fabien | Lorrain, Julien | Sermier, Thomas
    bibtex

2011 (1)

  • 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

2010 (2)

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