Constraints over Homogeneous Hereditarily Finite Sets. - Fabrice Ambert; Mohamed Hibti; Henri Lombardi; Bruno Legeard (ICLP Workshop on Logic Programming with Sets, 1993)

CLPS : un langage de PLC ensembliste. - Fabrice Ambert; Bruno Legeard; Hamza Zidoum (JFPLC, 1995)

Intégration de domaines à variables dans un solveur de contraintes ensemblistes. - Fabrice Ambert; Sébastien Chemin; Bruno Legeard (Tech. Sci. Informatiques, 2003)

Transformation rules from UML4MBT meta-model to SMT meta-model for model animation. - Jérôme Cantenot; Fabrice Ambert; Fabrice Bouquet (OCL@MoDELS, 2012)

Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing. - Fabrice Ambert; Fabrice Bouquet; Jonathan Lasalle; Bruno Legeard; Fabien Peureux (ECMFA, 2013)

Model-Based Testing for Functional and Security Test Generation. - Fabrice Bouquet; Fabien Peureux; Fabrice Ambert (FOSAD, 2013)

Strategies Comparison of Test Generation from UML Using SMT Solver. - Jérôme Cantenot; Fabrice Ambert; Fabrice Bouquet (ICST Workshops, 2013)

Test generation with Satisfiability Modulo Theories solvers in model-based testing. - Jérôme Cantenot; Fabrice Ambert; Fabrice Bouquet (Softw. Test. Verification Reliab., 2014)

Lightweight Model-Based Testing for Enterprise IT. - Élodie Bernard; Fabrice Ambert; Bruno Legeard; Arnaud Bouzy (ICST Workshops, 2018)

Supporting efficient test automation using lightweight MBT. - Élodie Bernard; Fabrice Ambert; Bruno Legeard (ICST Workshops, 2020)

Tool Support for Refactoring Manual Tests. - Élodie Bernard; Julien Botella; Fabrice Ambert; Bruno Legeard; Mark Utting (ICST, 2020)