The institute
FEMTO-ST
Directory

You are here

Fabrice Ambert

Fabrice Ambert's publications

2023 (1)

  • inproceedings - ADS-B anomaly detection in the surveillance of low-altitude aircrafts
    11th OpenSky Symposium (2023) / Toulouse, France (Publisher : TU Delft, Delft University of Technology, Volume 1, Issue 2, 2023, Pages pages 5)
    Pirolley, Melvyn | Couturier, Raphael | Salomon, Michel | Ambert, Fabrice
    pdf | doi | bibtex

2020 (2)

  • inproceedings - Supporting efficient test automation using lightweight MBT
    13th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020) / Porto, Portugal (2020, Pages pages 84 - 94)
    Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno
    pdf | doi | bibtex
  • inproceedings - Tool Support for Refactoring Manual Tests
    International Conference on Software Testing, Verification and Validation (ICST 2020) / Porto, Portugal (2020, Pages pages 332 - 342)
    Bernard, Elodie | Botella, Julien | Ambert, Fabrice | Legeard, Bruno | Utting, Mark
    pdf | doi | 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 (3)

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

2013 (4)

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

2010 (2)

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