Firebolt: Finding Bugs in Programmable Data Plane Generators.

Jiamin Cao, Yu Zhou, Chen Sun, Lin He, Zhaowei Xi, Ying Liu

Browse the full USENIX paper archive.