PTA: finding hard-to-find data plane bugs
Bugs in network hardware can cause tremendous problems. However, programmable network devices have the potential to provide greater visibility into the internal behavior of devices, allowing us to more quickly find and identify problems. In this paper, we provide a taxonomy of data plane bugs, and u...
Main Authors: | Bressana, P, Zilberman, N, Soule, R |
---|---|
Format: | Journal article |
Language: | English |
Published: |
IEEE
2022
|
Similar Items
-
Finding hard-to-find data plane bugs with a PTA
by: Bressana, P, et al.
Published: (2020) -
Trading latency for compute in the network
by: Bressana, P, et al.
Published: (2020) -
Finding Bugs In Dynamic Web Applications
by: Artzi, Shay, et al.
Published: (2008) -
Finding bugs in software with a constraint solver
by: Vaziri-Farahani, Mandana
Published: (2006) -
Fast bug finding in lock-free data structures with CB-DPOR
by: Van den Hooff, Jelle (Jelle August)
Published: (2014)