Ein wissenschaftliches Buch, das Constraint‑Programmierung nutzt, um komplexe Muster im Quellcode zu erkennen und dadurch Fehlerquellen systematisch aufzuspüren; es liefert neue Ansätze für präzises Debugging in der Softwareentwicklung.