When static verification is not enough: revealing BGP bugs at runtime.

Pietro Ronchetti, Tibor Schneider, Laurent Vanbever

Browse the full SIGCOMM paper archive.