SDNRacer: concurrency analysis for software-defined networks.

Ahmed El-Hassany Jeremie Miserez Pavol Bielik Laurent Vanbever Martin T. Vechev

Published in: PLDI (2016)

Keyphrases

statistical analysis
software systems
quantitative analysis
database systems
static analysis
search engine
information systems
data model
computer systems
software tools
network analysis