Serie : Technique et science informatiques. Vol 9 (2002)
Paru le 20/12/2002 | Broché
Professionnels
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
