Fast testing network data plane with RuleChecker Abstract: A key feature of Software Defined Network is the decoupling of control pane and data plane. Although delivering huge benefits, such a ...