A nice way to test OpenFlow applications

Proceedings of NSDI 2012: 9th USENIX Symposium on Networked Systems Design and Implementation

Volumn , Issue , 2012, Pages 127-140

  Canini, Marco ^a   Venzano, Daniele ^a   Perešíni, Peter ^a   Kostić, Dejan ^a   Rexford, Jennifer ^b  

^a EPFL   (Switzerland)

^b PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BALANCING; CONTROLLERS; ENERGY EFFICIENCY; MODEL CHECKING; SOFTWARE PROTOTYPING; SYSTEMS ANALYSIS;

CENTRALIZED PROGRAMMING MODEL; CONTROLLER PROGRAMS; NETWORK FUNCTIONALITY; PROGRAMMING ERRORS; REAL APPLICATIONS; SINGLE CONTROLLERS; SYMBOLIC EXECUTION; TRAFFIC ENGINEERING;

PROGRAM DEBUGGING;

EID: 85013634872     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (34)

1. AfNOG Takes Byte Out of Internet. http://goo.gl/HVJw5.
2. Reckless Driving on the Internet. http://goo.gl/otilX.
3. N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner. OpenFlow: Enabling Innovation in Campus Networks. SIGCOMM Comput. Commun. Rev., 38:69-74, March 2008.
4. M. Canini, D. Kostic, J. Rexford, and D. Venzano. Automating the Testing of OpenFlow Applications. In WRiPE, 2011.
5. N. Gude, T. Koponen, J. Pettit, B. Pfaff, M. Casado, N. McKeown, and S. Shenker. NOX: Towards an Operating System for Networks. SIGCOMM Comput. Commun. Rev., 38:105-110, July 2008.
6. M. Casado, M. J. Freedman, J. Pettit, J. Luo, N. Gude, N. McK-eown, and S. Shenker. Rethinking Enterprise Network Control. IEEE/ACM Transactions on Networking, 17(4), August 2009.
7. A. Nayak, A. Reimers, N. Feamster, and R. Clark. Resonance: Dynamic Access Control for Enterprise Networks. In WREN, 2009.
8. N. Handigol et al. Plug-n-Serve: Load-Balancing Web Traffic using OpenFlow, August 2009. SIGCOMM Demo.
9. R. Wang, D. Butnariu, and J. Rexford. OpenFlow-Based Server Load Balancing Gone Wild. In Hot-ICE, 2011.
10. B. Heller, S. Seetharaman, P. Mahadevan, Y. Yiakoumis, P. Sharma, S. Banerjee, and N. McKeown. ElasticTree: Saving Energy in Data Center Networks. In NSDI, 2010.
11. D. Erickson et al. A Demonstration of Virtual Machine Mobility in an OpenFlow Network, August 2008. SIGCOMM Demo.
12. G. Holzmann. The Spin Model Checker - Primer and Reference Manual. Addison-Wesley, Reading Massachusetts, 2004.
13. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda. Model Checking Programs. Automated Software Engineering, 10(2):203-232, 2003.
14. M. Musuvathi and D. R. Engler. Model Checking Large Network Protocol Implementations. In NSDI, 2004.
15. C. E. Killian, J. W. Anderson, R. Jhala, and A. Vahdat. Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. In NSDI, 2007.
16. J. Yang, T. Chen, M. Wu, Z. Xu, X. Liu, H. Lin, M. Yang, F. Long, L. Zhang, and L. Zhou. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In NSDI, 2009.
17. C. Cadar, D. Dunbar, and D. R. Engler. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI, 2008.
18. S. Bucur, V. Ureche, C. Zamfir, and G. Candea. Parallel Symbolic Execution for Automated Real-World Software Testing. In EuroSys, 2011.
19. C. Baier and J.-P. Katoen. Principles of Model Checking. The MIT Press, 2008.
20. Open vSwitch: An Open Virtual Switch. http:// openvswitch.org.
21. OpenFlow Switch Specification. http://www.openflow. org/documents/openflow-spec-v1.1.0.pdf.
22. R. Sasnauskas, O. Landsiedel, M. H. Alizai, C. Weise, S. Kowalewski, and K. Wehrle. KleeNet: Discovering Insidious Interaction Bugs in Wireless Sensor Networks Before Deployment. In IPSN, 2010.
23. S. Khurshid, C. S. Pasareanu, and W. Visser. Generalized Symbolic Execution for Model Checking and Testing. In TACAS, 2003.
24. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed Automated Random Testing. In PLDI, 2005.
25. V. Ganesh and D. L. Dill. A Decision Procedure for Bit-Vectors and Arrays. In CAV, 2007.
26. P. Pereslni and M. Canini. Is Your OpenFlow Application Correct? In CoNEXT Student Workshop, 2011.
27. C. Flanagan and P. Godefroid. Dynamic Partial-Order Reduction for Model Checking Software. In POPL, 2005.
28. N. Vasic, D. Novakovic, S. Shekhar, P. Bhurat, M. Canini, and D. Kostic. Identifying and using energy-critical paths. In CoNEXT, 2011.
29. N. Foster, R. Harrison, M. J. Freedman, C. Monsanto, J. Rexford, A. Story, and D. Walker. Frenetic: A Network Programming Language. In ICFP, 2011.
30. A. Wundsam, D. Levin, S. Seetharaman, and A. Feldmann. OFRewind: Enabling Record and Replay Troubleshooting for Networks. In USENIXATC, 2011.
31. H. Mai, A. Khurshid, R. Agarwal, M. Caesar, P. B. Godfrey, and S. T. King. Debugging the Data Plane with Anteater. In SIG- COMM, 2011.
32. E. Al-Shaer and S. Al-Haj. FlowChecker: Configuration Analysis and Verification of Federated OpenFlow Infrastructures. In SafeConfig, 2010.
33. S. Bishop, M. Fairbairn, M. Norrish, P. Sewell, M. Smith, and K. Wansbrough. Rigorous Specification and Conformance Testing Techniques for Network Protocols, as applied to TCP, UDP, and Sockets. In SIGCOMM, 2005.
34. N. Kothari, R. Mahajan, T. Millstein, R. Govindan, and M. Musuvathi. Finding Protocol Manipulation Attacks. In SIGCOMM, 2011.