On the public citation graph
Automatic test packet generation
0 signed · 229 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1109/90.929851openalex-snapshot
Trajectory sampling for direct traffic observation
inferredcites →https://doi.org/10.1109/infcom.2001.916283openalex-snapshot
Inferring link loss using striped unicast probes
inferredcites →https://doi.org/10.1109/infcom.2009.5062053openalex-snapshot
Network Performance Anomaly Detection and Localization
inferredcites →https://doi.org/10.1109/tit.2006.885460openalex-snapshot
Network Tomography of Binary Network Performance Characteristics
inferredcites →https://doi.org/10.1109/tnet.2003.815304openalex-snapshot
End-to-end available bandwidth: Measurement methodology, dynamics, and relation with TCP throughput
inferredcites →https://doi.org/10.1109/tnet.2006.882907openalex-snapshot
Robust Monitoring of Link Delays and Faults in IP Networks
inferredcites →https://doi.org/10.1109/tnet.2007.902727openalex-snapshot
Characterization of Failures in an Operational IP Backbone Network
inferredcites →https://doi.org/10.1109/tnet.2008.925631openalex-snapshot
Detecting Network-Wide and Router-Specific Misconfigurations Through Data Mining
inferredcites →https://doi.org/10.1145/1544012.1544014openalex-snapshot
Troubleshooting chronic conditions in large IP networks
inferredcites →https://doi.org/10.1145/2018436.2018470openalex-snapshot
Debugging the data plane with anteater
inferredcites →https://doi.org/10.1145/2018436.2018477openalex-snapshot
Understanding network failures in data centers
inferredcites →https://doi.org/10.1145/2043164.2018470openalex-snapshot
Debugging the data plane with anteater
inferredcites →https://doi.org/10.1145/2079296.2079309openalex-snapshot
Rapid detection of maintenance induced changes in service performance
inferredcites →https://doi.org/10.1145/2342356.2342427openalex-snapshot
Abstractions for network update
inferredcites →https://doi.org/10.1145/2413176.2413207openalex-snapshot
A SOFT way for openflow switch interoperability testing
inferredcites →https://doi.org/10.5555/1298455.1298490openalex-snapshot
iPlane: an information plane for distributed services
inferredcites →https://doi.org/10.5555/1855741.1855756openalex-snapshot
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.3427455openalex-extracted
Navigating the Landscape of Programmable Networks: Looking beyond the Regulatory Status Quo
inferred← citeshttps://doi.org/10.1007/978-3-030-67087-0_18openalex-snapshot
NetSheriff: Sheltering Software-Defined Networks from Rogue Switches
inferred← citeshttps://doi.org/10.1007/978-3-031-06764-8_11openalex-snapshot
Formal Verification and Testing of Data Plane in Software-Defined Networks: A Survey
inferred← citeshttps://doi.org/10.1007/978-3-319-12736-1_1openalex-snapshot
NetKAT — A Formal System for the Verification of Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-99927-2_7openalex-snapshot
Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-40328-6_7openalex-snapshot
Scheduling Subset Tests: One-Time, Continuous, and How They Relate
inferred← citeshttps://doi.org/10.1007/978-981-10-3023-9_97openalex-snapshot
OFART: OpenFlow-Switch Adaptive Random Testing
inferred← citeshttps://doi.org/10.1007/978-981-10-5041-1_33openalex-snapshot
OFART: OpenFlow-Switch Adaptive Random Testing
inferred← citeshttps://doi.org/10.1007/978-981-96-1542-1_3openalex-snapshot
V-Sketch: A Sketch-Based Verification Mechanism for Logical-Physical Rule Consistency in SDN
inferred← citeshttps://doi.org/10.1016/j.comcom.2017.11.011openalex-snapshot
Fast packet classification algorithm for network-wide forwarding behaviors
inferred← citeshttps://doi.org/10.1016/j.comcom.2021.01.021openalex-snapshot
Deep Learning for Network Traffic Monitoring and Analysis (NTMA): A Survey
inferred← citeshttps://doi.org/10.1016/j.comnet.2015.02.014openalex-snapshot
Software-Defined Networking: A survey
inferred← citeshttps://doi.org/10.1016/j.comnet.2016.09.014openalex-snapshot
SDN state inconsistency verification in openstack
inferred← citeshttps://doi.org/10.1016/j.comnet.2019.04.023openalex-snapshot
RFL: Robust fault localization on unreliable communication channels
inferred← citeshttps://doi.org/10.1016/j.comnet.2020.107706openalex-snapshot
PrePass-Flow: A Machine Learning based technique to minimize ACL policy violation due to links failure in hybrid SDN
inferred← citeshttps://doi.org/10.1016/j.jnca.2016.03.016openalex-snapshot
Software defined networks: A survey
inferred← citeshttps://doi.org/10.1016/j.jnca.2026.104486openalex-snapshot
RNV-RL: Relational Network Verification using Reinforcement Learning
inferred← citeshttps://doi.org/10.1016/j.peva.2014.07.005openalex-snapshot
Probe scheduling for efficient detection of silent failures
inferred← citeshttps://doi.org/10.1016/j.sysarc.2026.103970openalex-snapshot
Pyramid: A hierarchical refined DDLGN-based large-scale routing lookup
inferred← citeshttps://doi.org/10.1049/iet-net.2016.0125openalex-snapshot
sPing: a user‐centred debugging mechanism for software defined networks
inferred← citeshttps://doi.org/10.1088/1742-6596/2040/1/012006openalex-snapshot
Efficient identification of node failure and recovery through end to end Probing techniques
inferred← citeshttps://doi.org/10.1109/access.2019.2951598openalex-snapshot
Fast Fail-Over Technique for Distributed Controller Architecture in Software-Defined Networks
inferred← citeshttps://doi.org/10.1109/access.2021.3086704openalex-snapshot
An Exhaustive Survey on P4 Programmable Data Plane Switches: Taxonomy, Applications, Challenges, and Future Trends
inferred← citeshttps://doi.org/10.1109/aina.2016.54openalex-snapshot
Service Oriented Verification Integrated Fault Reasoning for SDNs
inferred← citeshttps://doi.org/10.1109/apcc.2016.7581463openalex-snapshot
Per-flow entry verification for legacy SDN
inferred← citeshttps://doi.org/10.1109/comst.2014.2345792openalex-snapshot
Applying Formal Methods to Networking: Theory, Techniques, and Applications
inferred← citeshttps://doi.org/10.1109/comst.2017.2719862openalex-snapshot
A Survey on Fault Management in Software-Defined Networks
inferred← citeshttps://doi.org/10.1109/comst.2018.2868050openalex-snapshot
A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges
inferred← citeshttps://doi.org/10.1109/comst.2018.2868922openalex-snapshot
Fault Management in Software-Defined Networking: A Survey
inferred← citeshttps://doi.org/10.1109/dasc-picom-datacom-cyberscitec.2017.184openalex-snapshot
Incremental Hybrid SDN Deployment for Enterprise Networks
inferred← citeshttps://doi.org/10.1109/ewsdn.2013.24openalex-snapshot
NetIDE: First Steps towards an Integrated Development Environment for Portable Network Apps
inferred← citeshttps://doi.org/10.1109/hpcc/smartcity/dss.2019.00167openalex-snapshot
ORTF: Open-Source Reconfigurable Testing Framework for SDN Switches
inferred← citeshttps://doi.org/10.1109/ic2e.2019.00027openalex-snapshot
ShadeNF: Testing Online Network Functions
inferred← citeshttps://doi.org/10.1109/icc.2016.7510990openalex-snapshot
FADE: Detecting forwarding anomaly in software-defined networks
inferred← citeshttps://doi.org/10.1109/icc.2018.8422613openalex-snapshot
Measuring the Control-Data Plane Consistency in Software Defined Networking
inferred← citeshttps://doi.org/10.1109/icccn61486.2024.10637627openalex-snapshot
Detecting IP Prefix Mismatches on SDN Data Plane
inferred← citeshttps://doi.org/10.1109/iccnc.2017.7876210openalex-snapshot
Rapid detection of disobedient forwarding on compromised OpenFlow switches
inferred← citeshttps://doi.org/10.1109/icdcs.2017.55openalex-snapshot
Pronto: Efficient Test Packet Generation for Dynamic Network Data Planes
inferred← citeshttps://doi.org/10.1109/icdcs.2018.00085openalex-snapshot
FOCES: Detecting Forwarding Anomalies in Software Defined Networks
inferred← citeshttps://doi.org/10.1109/icdcsw.2016.16openalex-snapshot
Toward Taming Policy Enforcement for SDN in the RIGHT Way: Or Can We?
inferred← citeshttps://doi.org/10.1109/icnp.2014.52openalex-snapshot
Rethinking Packet Classification for Global Network View of Software-Defined Networking
inferred← citeshttps://doi.org/10.1109/icnp.2016.7784412openalex-snapshot
An efficient framework for data-plane verification with geometric windowing queries
inferred← citeshttps://doi.org/10.1109/icnp.2017.8117541openalex-snapshot
Fast testing network data plane with RuleChecker
inferred← citeshttps://doi.org/10.1109/icnp.2017.8117558openalex-snapshot
SoftRing: Taming the reactive model for software defined networks
inferred← citeshttps://doi.org/10.1109/icnp.2019.8888144openalex-snapshot
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification
inferred← citeshttps://doi.org/10.1109/infcomw.2017.8116375openalex-snapshot
Hey network, can you understand me?
inferred← citeshttps://doi.org/10.1109/infocom.2016.7524333openalex-snapshot
Is every flow on the right track?: Inspect SDN forwarding with RuleScope
inferred← citeshttps://doi.org/10.1109/infocom.2016.7524562openalex-snapshot
MED: The Monitor-Emulator-Debugger for Software-Defined Networks
inferred← citeshttps://doi.org/10.1109/infocom.2017.8056994openalex-snapshot
Towards rule enforcement verification for software defined networks
inferred← citeshttps://doi.org/10.1109/infocom.2018.8486261openalex-snapshot
Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks
inferred← citeshttps://doi.org/10.1109/infocom.2019.8737383openalex-snapshot
Measurements As First-class Artifacts
inferred← citeshttps://doi.org/10.1109/infocom.2019.8737387openalex-snapshot
Adaptive Path Tracing with Programmable Bloom Filters in Software-Defined Networks
inferred← citeshttps://doi.org/10.1109/inm.2015.7140502openalex-snapshot
Service provider DevOps for large scale modern network services
inferred← citeshttps://doi.org/10.1109/iptcomm39427.2016.7780246openalex-snapshot
Pathseer: a centralized tracer of packet trajectories in software-defined datacenter networks
inferred← citeshttps://doi.org/10.1109/istel.2016.7881876openalex-snapshot
Detecting malicious packet drops and misroutings using Header Space Analysis
inferred← citeshttps://doi.org/10.1109/itc.2013.6662931openalex-snapshot
Observability and independence in distributed sensing and its application
inferred← citeshttps://doi.org/10.1109/iwqos65803.2025.11143507openalex-snapshot
Automatically Mining the Causality Between Network Configurations and Routing Behaviors
inferred← citeshttps://doi.org/10.1109/jsac.2020.2999653openalex-snapshot
P4Consist: Toward Consistent P4 SDNs
inferred← citeshttps://doi.org/10.1109/lanman.2016.7548840openalex-snapshot
OpenStack networking for humans: Symbolic execution to the rescue
inferred← citeshttps://doi.org/10.1109/lcn44214.2019.8990808openalex-snapshot
Checking the OpenFlow Rule Installation and Operational Verification
inferred← citeshttps://doi.org/10.1109/monetec.2014.6995595openalex-snapshot
Localizing errors in controller applications
inferred← citeshttps://doi.org/10.1109/monetec.2014.6995604openalex-snapshot
Network utilization optimizer for SD-WAN
inferred← citeshttps://doi.org/10.1109/nca.2019.8935031openalex-snapshot
Identifying Running Data-paths in Software Defined Networking Driven Data-planes
inferred← citeshttps://doi.org/10.1109/netsoft.2015.7116139openalex-snapshot
SDN-RADAR: Network troubleshooting combining user experience and SDN capabilities
inferred← citeshttps://doi.org/10.1109/netsoft54395.2022.9844054openalex-snapshot
Improving Intent Correctness with Automated Testing
inferred← citeshttps://doi.org/10.1109/noms.2014.6838225openalex-snapshot
Towards test-driven software defined networking
inferred← citeshttps://doi.org/10.1109/noms.2016.7502919openalex-snapshot
Netography: Troubleshoot your network with packet behavior in SDN
inferred← citeshttps://doi.org/10.1109/pccc.2017.8280428openalex-snapshot
Robust and lightweight fault localization
inferred← citeshttps://doi.org/10.1109/saconet.2018.8585610openalex-snapshot
Network troubleshooting: Survey, Taxonomy and Challenges
inferred← citeshttps://doi.org/10.1109/sarnof.2016.7846743openalex-snapshot
Pepple: Programmable network measurement for troubleshooting soft failures
inferred← citeshttps://doi.org/10.1109/srds47363.2019.00014openalex-snapshot
Preacher: Network Policy Checker for Adversarial Environments
inferred← citeshttps://doi.org/10.1109/tc.2026.3716530openalex-snapshot
RTB+: Efficiently Mining Configuration-Routing Causality for Heterogeneous Routers
inferred← citeshttps://doi.org/10.1109/tcns.2018.2797807openalex-snapshot
Geometric Analysis of Estimability of Target Object Shape Using Location-Unknown Distance Sensors
inferred← citeshttps://doi.org/10.1109/tkde.2020.2967670openalex-snapshot
The Disruptions of 5G on Data-Driven Technologies and Applications
inferred← citeshttps://doi.org/10.1109/tnet.2016.2584544openalex-snapshot
Network Capability in Localizing Node Failures via End-to-End Path Measurements
inferred← citeshttps://doi.org/10.1109/tnet.2017.2686443openalex-snapshot
RuleScope: Inspecting Forwarding Faults for Software-Defined Networking
inferred← citeshttps://doi.org/10.1109/tnet.2017.2720637openalex-snapshot
Practical Network-Wide Packet Behavior Identification by AP Classifier
inferred← citeshttps://doi.org/10.1109/tnet.2018.2793765openalex-snapshot
Dynamic, Fine-Grained Data Plane Monitoring With Monocle
inferred← citeshttps://doi.org/10.1109/tnet.2018.2867239openalex-snapshot
Merlin: A Language for Managing Network Resources
inferred← citeshttps://doi.org/10.1109/tnet.2018.2885532openalex-snapshot
Fast Data Plane Testing for Software-Defined Networks With RuleChecker
inferred← citeshttps://doi.org/10.1109/tnet.2020.3033588openalex-snapshot
Network-Wide Forwarding Anomaly Detection and Localization in Software Defined Networks
inferred← citeshttps://doi.org/10.1109/tnet.2021.3050769openalex-snapshot
Name Space Analysis: Verification of Named Data Network Data Planes
inferred← citeshttps://doi.org/10.1109/tnet.2021.3078143openalex-snapshot
Preacher: Network Policy Checker for Adversarial Environments
inferred← citeshttps://doi.org/10.1109/tnet.2021.3137557openalex-snapshot
Towards Automatic Root Cause Diagnosis of Persistent Packet Loss in Cloud Overlay Network
inferred← citeshttps://doi.org/10.1109/tnet.2022.3193698openalex-snapshot
Measuring the Consistency Between Data and Control Plane in SDN
inferred← citeshttps://doi.org/10.1109/tnet.2022.3194970openalex-snapshot
RuleOut Forwarding Anomalies for SDN
inferred← citeshttps://doi.org/10.1109/tnet.2023.3234931openalex-snapshot
Runtime Verification for Programmable Switches
inferred← citeshttps://doi.org/10.1109/tnsm.2017.2723725openalex-snapshot
An Efficient Framework for Data-Plane Verification With Geometric Windowing Queries
inferred← citeshttps://doi.org/10.1109/tnsm.2017.2763187openalex-snapshot
Troubleshooting Data Plane With Rule Verification in Software-Defined Networks
inferred← citeshttps://doi.org/10.1109/tnsm.2019.2955790openalex-snapshot
Toward Consistent SDNs: A Case for Network State Fuzzing
inferred← citeshttps://doi.org/10.1109/tnsm.2022.3144582openalex-snapshot
Network Services Anomalies in NFV: Survey, Taxonomy, and Verification Methods
inferred← citeshttps://doi.org/10.1109/tpds.2021.3068135openalex-snapshot
Efficient Forwarding Anomaly Detection in Software-Defined Networks
inferred← citeshttps://doi.org/10.1109/tr.2025.3531654openalex-snapshot
Field-Based Security Testing of SDN Configuration Updates
inferred← citeshttps://doi.org/10.1109/tsa.2015.22openalex-snapshot
Model-Based Testing of SDN Firewalls: A Case Study
inferred← citeshttps://doi.org/10.1145/2413176.2413207openalex-snapshot
A SOFT way for openflow switch interoperability testing
inferred← citeshttps://doi.org/10.1145/2491185.2491197openalex-snapshot
Leveraging SDN layering to systematically troubleshoot networks
inferred← citeshttps://doi.org/10.1145/2491956.2462178openalex-snapshot
Machine-verified network controllers
inferred← citeshttps://doi.org/10.1145/2499370.2462178openalex-snapshot
Machine-verified network controllers
inferred← citeshttps://doi.org/10.1145/2535771.2535799openalex-snapshot
Answering why-not queries in software-defined networks with negative provenance
inferred← citeshttps://doi.org/10.1145/2619239.2626304openalex-snapshot
Troubleshooting blackbox SDN control software with minimal causal sequences
inferred← citeshttps://doi.org/10.1145/2619239.2626335openalex-snapshot
Diagnosing missing events in distributed systems with negative provenance
inferred← citeshttps://doi.org/10.1145/2620728.2620751openalex-snapshot
Testing stateful and dynamic data planes with FlowTest
inferred← citeshttps://doi.org/10.1145/2623330.2623365openalex-snapshot
Scalable near real-time failure localization of data center networks
inferred← citeshttps://doi.org/10.1145/2661061.2661063openalex-snapshot
Abstractions for software-defined networks
inferred← citeshttps://doi.org/10.1145/2663716.2663723openalex-snapshot
Node Failure Localization via Network Tomography
inferred← citeshttps://doi.org/10.1145/2674005.2675006openalex-snapshot
Providing Reliable FIB Update Acknowledgments in SDN
inferred← citeshttps://doi.org/10.1145/2676726.2677011openalex-snapshot
A Coalgebraic Decision Procedure for NetKAT
inferred← citeshttps://doi.org/10.1145/2716281.2836095openalex-snapshot
Practical network-wide packet behavior identification by AP classifier
inferred← citeshttps://doi.org/10.1145/2740070.2626304openalex-snapshot
Troubleshooting blackbox SDN control software with minimal causal sequences
inferred← citeshttps://doi.org/10.1145/2740070.2626335openalex-snapshot
Diagnosing missing events in distributed systems with negative provenance
inferred← citeshttps://doi.org/10.1145/2774993.2775067openalex-snapshot
Identifying SDN state inconsistency in OpenStack
inferred← citeshttps://doi.org/10.1145/2775051.2677011openalex-snapshot
A Coalgebraic Decision Procedure for NetKAT
inferred← citeshttps://doi.org/10.1145/2785956.2790012openalex-snapshot
Rule-level Data Plane Monitoring With Monocle
inferred← citeshttps://doi.org/10.1145/2829988.2790012openalex-snapshot
Rule-level Data Plane Monitoring With Monocle
inferred← citeshttps://doi.org/10.1145/2837614.2837657openalex-snapshot
Scaling network verification using symmetry and surgery
inferred← citeshttps://doi.org/10.1145/2914770.2837657openalex-snapshot
Scaling network verification using symmetry and surgery
inferred← citeshttps://doi.org/10.1145/2934872.2934876openalex-snapshot
Fast Control Plane Analysis Using an Abstract Representation
inferred← citeshttps://doi.org/10.1145/2934872.2934910openalex-snapshot
The Good, the Bad, and the Differences
inferred← citeshttps://doi.org/10.1145/2934872.2959061openalex-snapshot
Modular SDN Compiler Design with Intermediate Representation
inferred← citeshttps://doi.org/10.1145/2935663.2935670openalex-snapshot
Detecting Network Topology and Packet Trajectory with SDN-enabled FPGA Platform
inferred← citeshttps://doi.org/10.1145/3165290openalex-snapshot
Are We Ready to Drive Software-Defined Networks? A Comprehensive Survey on Management Tools and Techniques
inferred← citeshttps://doi.org/10.1145/3199524.3199532openalex-snapshot
Distributed Link Anomaly Detection via Partial Network Tomography
inferred← citeshttps://doi.org/10.1145/3229616.3229617openalex-snapshot
High-coverage testing of softwarized networks
inferred← citeshttps://doi.org/10.1145/3230543.3230573openalex-snapshot
Automated synthesis of adversarial workloads for network functions
inferred← citeshttps://doi.org/10.1145/3278532.3278572openalex-snapshot
Cloud Datacenter SDN Monitoring
inferred← citeshttps://doi.org/10.1145/3341216.3342206openalex-snapshot
Runtime Verification of P4 Switches with Reinforcement Learning
inferred← citeshttps://doi.org/10.1145/3373360.3380843openalex-snapshot
Tracking P4 Program Execution in the Data Plane
inferred← citeshttps://doi.org/10.1145/3387514.3405886openalex-snapshot
A Computational Approach to Packet Classification
inferred← citeshttps://doi.org/10.1145/3387514.3406217openalex-snapshot
Accuracy, Scalability, Coverage
inferred← citeshttps://doi.org/10.1145/3422604.3425936openalex-snapshot
Incremental Network Configuration Verification
inferred← citeshttps://doi.org/10.1145/3452296.3472941openalex-snapshot
Test coverage metrics for the network
inferred← citeshttps://doi.org/10.1145/3603269.3604834openalex-snapshot
P4Testgen: An Extensible Test Oracle For P4
inferred← citeshttps://doi.org/10.1145/3603269.3604856openalex-snapshot
Hydra: Effective Runtime Network Verification
inferred← citeshttps://doi.org/10.1145/3651890.3672256openalex-snapshot
RD-Probe: Scalable Monitoring With Sufficient Coverage In Complex Datacenter Networks
inferred← citeshttps://doi.org/10.1145/3718958.3750505openalex-snapshot
Towards LLM-Based Failure Localization in Production-Scale Networks
inferred← citeshttps://doi.org/10.1145/3773966.3777921openalex-snapshot
Network Tomography with Path-Centric Graph Neural Network
inferred← citeshttps://doi.org/10.1145/3820441.3820465openalex-snapshot
Towards Learned Switch Behavior Modeling
inferred← citeshttps://doi.org/10.1184/r1/6467813openalex-snapshot
BUZZ: Testing Context-Dependent Policies in Stateful Data Planes (CMU-CyLab-14-013)
inferred← citeshttps://doi.org/10.1184/r1/6721265openalex-snapshot
Reasoning about Stateful Network Behaviors
inferred← citeshttps://doi.org/10.1186/s13174-016-0043-yopenalex-snapshot
Automatic belief network modeling via policy inference for SDN fault localization
inferred← citeshttps://doi.org/10.14279/depositonce-10193openalex-snapshot
Panopticon: Reaping the Benefits of Partial SDN Deployment in Enterprise Networks
inferred← citeshttps://doi.org/10.1587/transcom.e96.b.3017openalex-snapshot
Local Information, Observable Parameters, and Global View
inferred← citeshttps://doi.org/10.1587/transcom.e97.b.375openalex-snapshot
A Survey on OpenFlow Technologies
inferred← citeshttps://doi.org/10.21275/v5i6.nov164507openalex-snapshot
Network Testing: An Overview of Approaches
inferred← citeshttps://doi.org/10.23919/cnsm50824.2020.9269038openalex-snapshot
A Formal Approach for Automatic Detection and Correction of SDN Switch Misconfigurations
inferred← citeshttps://doi.org/10.23919/cnsm50824.2020.9269124openalex-snapshot
A Comprehensive Solution for the Analysis, Validation and Optimization of SDN Data-Plane Configurations
inferred← citeshttps://doi.org/10.23919/softcom.2019.8903846openalex-snapshot
Deep and Automated SDN Data Plane Analysis
inferred← citeshttps://doi.org/10.26300/jq8n-a518openalex-snapshot
Towards Reliable and Predictable Networks
inferred← citeshttps://doi.org/10.32657/10220/48128openalex-snapshot
Machine learning based automated evaluation of piping design
inferred← citeshttps://doi.org/10.3390/electronics8090950openalex-snapshot
Design and Implementation of CPU & FPGA Co-Design Tester for SDN Switches
inferred← citeshttps://doi.org/10.3390/fi11050107openalex-snapshot
An Extensible Automated Failure Localization Framework Using NetKAT, Felix, and SDN Traceroute
inferred← citeshttps://doi.org/10.3390/fi18080426openalex-snapshot
An Algebra for Two-Layer Cloud Filtering: Detecting Redundancy, Shadowing, and Dominance Anomalies Across Stateless Network ACLs and Stateful Security Groups
inferred← citeshttps://doi.org/10.48550/arxiv.1405.7143openalex-snapshot
Millions of Little Minions: Using Packets for Low Latency Network Programming and Visibility (Extended Version)
inferred← citeshttps://doi.org/10.48550/arxiv.1407.1199openalex-snapshot
Merlin: A Language for Provisioning Network Resources
inferred← citeshttps://doi.org/10.48550/arxiv.1505.03356openalex-snapshot
Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong
inferred← citeshttps://doi.org/10.48550/arxiv.1510.02220openalex-snapshot
Initial Service Provider DevOps concept, capabilities and proposed tools
inferred← citeshttps://doi.org/10.48550/arxiv.1604.00060openalex-snapshot
Using Alloy to Formally Model and Reason About an OpenFlow Network Switch
inferred← citeshttps://doi.org/10.48550/arxiv.1604.02847openalex-snapshot
SymNet: scalable symbolic execution for modern networks
inferred← citeshttps://doi.org/10.48550/arxiv.1702.07946openalex-snapshot
SDN as Active Measurement Infrastructure
inferred← citeshttps://doi.org/10.48550/arxiv.1906.03144openalex-snapshot
Identifying Operational Data-paths in Software Defined Networking Driven Data-planes
inferred← citeshttps://doi.org/10.48550/arxiv.2004.10887openalex-snapshot
Towards Runtime Verification of Programmable Switches
inferred← citeshttps://doi.org/10.48550/arxiv.2005.11425openalex-snapshot
Carbide: Highly Reliable Networks Through Real-Time Multiple Control Plane Composition
inferred← citeshttps://doi.org/10.5075/epfl-thesis-7074openalex-snapshot
Measuring and Managing Switch Diversity in Software Defined Networks
inferred← citeshttps://doi.org/10.5120/20395-2692openalex-snapshot
A Capacious Scrutiny on Automatic Test Packet Generation
inferred← citeshttps://doi.org/10.5220/0010494504210428openalex-snapshot
Preventive Model-based Verification and Repairing for SDN Requests
inferred← citeshttps://doi.org/10.5555/2616448.2616456openalex-snapshot
I know what your packet did last hop: using packet histories to troubleshoot networks
inferred← citeshttps://doi.org/10.5555/2616448.2616457openalex-snapshot
Libra: divide and conquer to verify forwarding tables in huge networks
showing the first 200 of 205 · page through all 205
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.