 Y. Lin, H. Franke, and S. Sarangi, "Virtual base station pool: towards a wireless network cloud for radio access networks," in Proceedings of the 8th ACM International Conference on Computing Frontiers, p. 34, ACM, 2011. References 47 J. G. Andrews, S. Buzzi, W. Choi, S. Hanly, A. Lozano, A. C. Soong, and J. C. Zhang, "What will 5g be?," arXiv preprint arXiv:1405.2957, 2014. 48 S. Singhal, G. Hadjichristofi, I. Seskar, and D. Raychaudhri, "Evaluation of UML based wireless network virtualization," in Proceedings of the Next Generation Internet Networks, 2008. 49 M. Pearce, S. Zeadally, and R. Hunt, "Virtualization: issues, secu- rity threats, and solutions," ACM Computing Surveys, vol. 45, no. 2, p. 17, 2013. 50 "Network Functions Virtualisation," [Online]. http://www.etsi sorg/technologies-clusters/technologies/nfv (Accessed November 2016). 51 L. Cao, P. Sharma, S. Fahmy, and V. Saxena, "NFV-VITAL: a framework for characterizing the performance of virtual network functions," in IEEE SDN-NFV Conference, 2015. 52 A. Gember-Jacobson, R. Viswanathan, C. Prakash, R. Grandl, J. Khalid, S. Das, and A. Akella, "OpenNF: Enabling innovation in network function control," in Proceedings of the 2014 ACM Conference on SIGCOMM, SIGCOMM '14, 2014. 53 J. Khalid, A. Gember-Jacobson, R. Michael, A. Abhashkumar, and A. Akella, "Paving the way for NFV: simplifying middle- box modifications using statealyzr," in 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16), pp. 239-253, 2016. 54 S. K. Fayaz, T. Yu, Y. Tobioka, S. Chaki, and V. Sekar, "Buzz: Testing context-dependent policies in stateful networks," in Proceedings of USENIX NSDI, 2016. 55 B. Tschaen, Y. Zhang, T. Benson, S. Benerjee, J. Lee, and J.-M. Kang, "SFC-checker: checking the correct forwarding behavior of service function chaining," in IEEE SDN-NFV Conference, 2016. 56 R. Stoenescu, M. Popovici, L. Negreanu, and C. Raiciu, "Symnet: Scalable symbolic execution for modern networks," in Proceed- ings of ACM SIGCOMM, 2016. 57 W. Wu, Y. Zhang, and 