A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness | IEEE Conference Publication | IEEE Xplore