Utilisation des contraintes pour la génération automatique de cas de tests structurels

Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert

B-Testing-Tools: génération de tests aux limites à partir de spécifications B-Bruno Legeard, Fabien Peureux

Test de conformité: une approche algébrique

Agnès Arnould, Pascale Le Gall

Test de spécifications de logiciels synchrones

Ioannis Parissis

TGV: théorie, principes et algorithmes

Thierry Jéron