Identifizierung der semantischen und textuellen Unterschiede zwischen zwei Versionen eines Programms

Textbasierte Dateivergleicher (z. B. das Unix-Tool diff) sind sehr allgemeine Werkzeuge, die auf beliebige Dateien angewendet werden können. Die Verwendung solcher Werkzeuge zum Vergleich von Programmen kann jedoch unbefriedigend sein, da ihre einzige Vorstellung von Veränderung auf dem Programmtext und nicht auf dem Programmverhalten basiert. Dieses Papier beschreibt eine Technik zum Vergleichen von zwei Versionen eines Programms, zur Bestimmung, welche Programmkomponenten Änderungen darstellen, und zur Klassifizierung jeder geänderten Komponente als semantische oder textuelle Änderung.