Technique et science informatiques, n° 9 (2002). Test de logiciel
Demandez le prix : nous vous répondons par e-mail et dans votre espace client, puis vous payez avec vos crédits ☺️
Utilisation des contraintes pour la génération automatique de cas de tests structurelsBernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick TaillibertB-Testing-Tools: génération de tests aux limites à partir de spécifications B-Bruno Legeard, Fabien PeureuxTest de conformité: une approche algébriqueAgnès Arnould, Pascale Le GallTest de spécifications de logiciels synchronesIoannis ParissisTGV: théorie, principes et algorithmesThierry Jéron
Avis des lecteurs
Aucun avis pour l’instant. Soyez le premier à donner le vôtre.