Fabrice Ambert

According to our database, Fabrice Ambert authored at least 11 papers between 1993 and 2020.

Collaborative distances:

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

2020

Tool Support for Refactoring Manual Tests.

Élodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting

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

Supporting efficient test automation using lightweight MBT.

Élodie Bernard, Fabrice Ambert, Bruno Legeard

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

2018

Lightweight Model-Based Testing for Enterprise IT.

Élodie Bernard, Fabrice Ambert, Bruno Legeard, Arnaud Bouzy

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2014

Test generation with Satisfiability Modulo Theories solvers in model-based testing.

Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet

Softw. Test. Verification Reliab., 2014

2013

Strategies Comparison of Test Generation from UML Using SMT Solver.

Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet

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

2012

Transformation rules from UML4MBT meta-model to SMT meta-model for model animation.

Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

2003

Intégration de domaines à variables dans un solveur de contraintes ensemblistes.

Fabrice Ambert, Sébastien Chemin, Bruno Legeard

Tech. Sci. Informatiques, 2003

1995

CLPS : un langage de PLC ensembliste.

Fabrice Ambert, Bruno Legeard, Hamza Zidoum

Proceedings of the JFPLC'95, 1995

1993

Constraints over Homogeneous Hereditarily Finite Sets.

Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard

Proceedings of the Workshop on Logic Programming with Sets, 1993