Fabrice Ambert

12 papers A 1B 1Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2020 — conf
Supporting efficient test automation using lightweight MBT.
ICST Workshops
Élodie Bernard, Fabrice Ambert, Bruno Legeard
2020 A conf
Tool Support for Refactoring Manual Tests.
ICST
Élodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting
2018 — conf
Lightweight Model-Based Testing for Enterprise IT.
ICST Workshops
Élodie Bernard, Fabrice Ambert, Bruno Legeard, Arnaud Bouzy
2014 J jnl
Test generation with Satisfiability Modulo Theories solvers in model-based testing.
Softw. Test. Verification Reliab.
Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet
2013 B conf
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing.
ECMFA
Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux
2013 — conf
Model-Based Testing for Functional and Security Test Generation.
FOSAD
Fabrice Bouquet, Fabien Peureux, Fabrice Ambert
2013 — conf
Strategies Comparison of Test Generation from UML Using SMT Solver.
ICST Workshops
Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet
2012 — conf
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation.
OCL@MoDELS
Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet
2003 — conf
Intégration de domaines à variables dans un solveur de contraintes ensemblistes.
JFPLC
Fabrice Ambert, Sébastien Chemin, Bruno Legeard
2003 J jnl
Intégration de domaines à variables dans un solveur de contraintes ensemblistes.
Tech. Sci. Informatiques
Fabrice Ambert, Sébastien Chemin, Bruno Legeard
1995 — conf
CLPS : un langage de PLC ensembliste.
JFPLC
Fabrice Ambert, Bruno Legeard, Hamza Zidoum
1993 — conf
Constraints over Homogeneous Hereditarily Finite Sets.
ICLP Workshop on Logic Programming with Sets
Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling