PTA: finding hard-to-find data plane bugs (IEEE ACM Transactions on Networking, 2022)

(untitled) - Bressana, P; Zilberman, N; Soule, R