A General Approach to Generate Test Packets With Network Configurations

Article Properties
  • Publication Date
    2023/04/01
  • Indian UGC (journal)
  • Refrences
    40
  • Yahui Li Institute for Network Sciences, Cyberspace, Tsinghua University, Beijing, China ORCID (unauthenticated)
  • Han Zhang Institute for Network Sciences, Cyberspace, Tsinghua University, Beijing, China ORCID (unauthenticated)
  • Jilong Wang Institute for Network Sciences, Cyberspace, Tsinghua University, Beijing, China
  • Zhiliang Wang Institute for Network Sciences, Cyberspace, Tsinghua University, Beijing, China ORCID (unauthenticated)
  • Xia Yin Department of Computer Science, Technology, Tsinghua University, Beijing, China
  • Xingang Shi Institute for Network Sciences, Cyberspace, Tsinghua University, Beijing, China ORCID (unauthenticated)
  • Jianping Wu Department of Computer Science, Technology, Tsinghua University, Beijing, China
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electric apparatus and materials
Electric circuits
Electric networks
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Refrences
Title Journal Journal Categories Citations Publication Date
Optimization of network firewall policies using directed acyclic graphs 2005
Systematically exploring the behavior of control programs
Delta-Net: Real-time network verification using atoms
A nice way to test openflow applications
Verifying Reachability in Networks With Mutable Datapaths