Research departments

Home > Research > AS2M > Presentation > directory

AS2M directory


Return to the list

Fabrice Ambert

Informatique

DISC
Group : VESONTIO
UFC - IUT Belfort Montbéliard

1993-1997 : Thèse Informatique "Contraintes ensemblistes et résolutions multi-solveurs en programmation logique avec contraintes", dir. Bruno Legeard, UFC

1995 : ATER informatique, IUT Belfort-Montbéliard, UFC

1996 : ATER informatique, IUT Belfort-Montbéliard, UFC

1997 : Maître de conférences informatique, IUT Belfort-Montbéliard, UFC

1999-2000 : chef de département, département Informatique, IUT Belfort-Montbéliard
2000-2005 : directeur des études, département Informatique, IUT Belfort-Montbéliard
2005-2008 : Délégation au sein de Smartesting, (transfert de savoir-faire en génération automatique de cas de test)
2009-2014 : responsable licence professionnelle SIL, département Informatique, IUT Belfort-Montbéliard

Thèmes de recherches et mots clés

Mes activités de recherche au sein de l'équipe Vesontio portent sur la génération automatique de cas de tests à partir de modèles en utilisant des techniques à contraintes et des solveurs SMT.

Contraintes, prouveurs SMT, génération automatiques, tests

Enseignements

    A l'IUT de Belfort-Montbéliard, en DUT Informatique

    Méthodologie de tests, test structurel
    Test unitaire en Java
    Méthodes agiles, initiation à SCRUM

    A l'UFR ST, en Master 2 Informatique

    Test Unitaire et Test d'Acceptation en Java

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
2014
  • Test generation with SMT solvers in Model Based Testing
    Software Testing, Verification and Reliability (Volume 24, Issue (7), nov 2014, Pages :499 – 531)
    Cantenot, Jérôme | Ambert, Fabrice | Bouquet, Fabrice
    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
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
Category incollection
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
Category inproceedings
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
  • 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
    doi | bibtex
2012
  • 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
  • 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
2004
  • 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
  • Intégration de domaines à variables dans un solveur de contraintes ensemblistes
    JFPLC'03, Journées Francophones de Programmation en Logiques et Contraintes / Amiens, France (Publisher : Hermès, 2003, Pages pages 217--222)
    Ambert, Fabrice | Chemin, Sébastien | Legeard, Bruno
    bibtex
2002
  • 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
Category misc
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
  • Hydra MBT-onFly
    (mar 2012)
    Bouquet, Fabrice | Ambert, Fabrice | Peureux, Fabien | Lorrain, Julien | Sermier, Thomas
    bibtex
2011
  • 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 techreport
2002
  • Génération de tests dans le cas de structures dynamiques
    RNTL INKA, Thales (feb 2002, Compte rendu d'avancement 2, Number )
    Ambert, Fabrice | Bouquet, Fabrice | Gaspari, Laetitia | Legeard, Bruno | Botella, Bernard | Gotlieb, A.
    bibtex
  • 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
  • Génération de tests dans le cas de structures dynamiques
    RNTL INKA, Thales (jul 2001, Compte rendu d'avancement 1, Number )
    Ambert, Fabrice | Bouquet, Fabrice | Legeard, Bruno | Parreaux, Benoit | Vincent, J. | Botella, Bernard | Gotlieb, A.
    bibtex