Théorie de Test des programmes à contraintes: Méthodologie et outil de test, de localisation des fautes et de correction automatique des programmes à contraintes (Omn.Univ.Europ.)
Ein umfassendes Werk über das Testen von Constraint‑Programmen, das neue theoretische Ansätze mit einem praxisorientierten Tool kombiniert, um Feh ...