Paving the Way for NFV: Simplifying Middlebox Modifications Using StateAlyzr. - Junaid Khalid; Aaron Gember-Jacobson; Roney Michael; Anubhavnidhi Abhashkumar; Aditya Akella (NSDI, 2016)