Change-impact analysis of firewall policies
Identifying the semantic and textual differences between two versions of a program