1. Vericon: towards verifying controller programs in software-defined networks;Ball,2014
2. Diagnostic and troubleshooting of openflow-enabled switches using kernel and userspace traces;Belkhiri;Int. J. Commun. Syst.,2021
3. Click vs. linux: two efficient open-source ip network stacks for software routers;Bianco,2005
4. A survey of kernel-bypass techniques in network stack;Chen,2018
5. Problem solving with systemtap;Eigler,2006