Systematically testing OpenFlow controller applications