Nicolas Vacelet

Nicolas Vacelet

Université de Franche-Comté - Besançon / France
Others
AD Scientific Index ID: 5043970
University of Franche-Comté
person_outline Nicolas Vacelet's MOST POPULAR ARTICLES
1-) A subset of precise UML for model-based testing F Bouquet, C Grandpierre, B Legeard, F Peureux, N Vacelet, M Utting Proceedings of the 3rd international workshop on Advances in model-based …, 2007 1462007
2-) BZ-TT: A tool-set for test generation from Z and B using constraint logic programming F Ambert, F Bouquet, S Chemin, S Guenaud, B Legeard, F Peureux, ... Formal Approaches to Testing of Software, FATES 2002 workshop of CONCUR 2 …, 2002 1162002
3-) Faster analysis of formal specifications F Bouquet, B Legeard, M Utting, N Vacelet Formal Methods and Software Engineering: 6th International Conference on …, 2004 92004
4-) Evaluation de notations formelles de spécifications par systèmes de contraintes| Theses. frN VaceletBesançon, 20042004
5-) B-TT: A Tool-Set for Test Generation from andF Ambert, F Bouquet, S Chemin, S Guenaud, B Legeard, F Peureux, ...Formal Approaches to Testing of Software, 105, 0