Expresso: Comprehensively Reasoning About External Routes Using Symbolic Simulation.

Dan Wang, Peng Zhang, Aaron Gember-Jacobson

Browse the full SIGCOMM paper archive.