Catégorie Chapitre d'ouvrage Auteurs Imen Boudhiba Christophe Gaston Pascale Le Gall Virgile Prévosto https://inria.hal.science/hal-01470156v1 doc ID 1470156 Nom Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts Date de publication mar 03/09/2024 - 12:00