SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics.
Wei SunLisong XuSebastian G. ElbaumPublished in: GLOBECOM (2015)
Keyphrases
- recurrent networks
- network traffic
- computer networks
- complex networks
- dynamic model
- network model
- connectionist networks
- switched networks
- network dynamics
- network layer
- internet traffic
- network structure
- network congestion
- intermediate level
- transmission rate
- packet filtering
- intermediate nodes
- transmission delay
- packet size
- neural network
- internet protocol
- traffic analysis
- network resources
- network design
- network management
- data flow
- communication networks
- test cases