Mark Utting Un panorama du test à partir de modèles formels. 133-139 2006 25 Technique et Science Informatiques 1 http://tsi.revuesonline.com/article.jsp?articleId=7916 db/journals/tsi/tsi25.html#Utting06