Troubleshooting Data Plane With Rule Verification in Software-Defined Networks | IEEE Journals & Magazine | IEEE Xplore