Prognosis: closed-box analysis of network protocol implementations.

Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva

Browse the full SIGCOMM paper archive.