Ein praxisnahes Handbuch zur Testtheorie von Constraint‑Programmen: es erklärt neue Methoden für die Fehlersuche, präsentiert ein spezielles Tool und zeigt, wie Fehler automatisch korrigiert werden können.