IOSTS ; inférence de modèles ; test automatique

Inférence de modèles dirigée par la logique métier