Connecting Enterprise Applications to Metric Driven Verification