19 oct. 2016 ... abrégé IDL) ou sur un modèle, ce qui nous rapprocherait du Model-based
Testing, .... Enfin, aucun travail ne considère PHP pour la généra- tion
automatique de données de test ou encore la génération automatique de tests
unitaires. ...... Par conséquent, même si les solveurs sont capables de trouver. 
