PINCETTE - Validating Changes and Upgrades in Networked Software