A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness.

Eric Lunaud Ngoupe, Sylvain Stoesel, Clment Parisot, Sylvain Hall, Petko Valtchev, Omar Cherkaoui, Pierre Boucher

Browse the full ICECCS paper archive.