Testing a network by inferring representative state machines from network traces

2006 International Conference on Software Engineering Advances, ICSEA'06

Volumn , Issue , 2006, Pages 31-

  Griffeth, Nancy ^a   Cantor, Yuri ^a   Djouvas, Constantinos ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; AUTOMATA THEORY; COMPUTER AIDED SOFTWARE ENGINEERING; COST EFFECTIVENESS;

NETWORK TRACES; STATE MACHINES;

LEARNING SYSTEMS;

EID: 38849191781     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEA.2006.261287     Document Type: Conference Paper

References (32)

1. A. V. Aho, A. T. Dahbura, D. Lee, and M. U. Uyar. An optimization technique for protocol conformance test generation based on uio sequences and rural chinese postman tours. IEEE Trans. Commun., 39:1604-1615, November 1991.
2. Rajeev Alur, Kousha Etessami, and Mihalis Yannakakis. Inference of message sequence charts. In International Conference on Software Engineering, pages 304-313, 2000.
3. Rajeev Alur and Bow-Yaw Wang. Verifying network protocol implementations by symbolic refinement checking. In CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, pages 169-181, London, UK, 2001. Springer-Verlag.
4. Dana Angluin. Learning regular sets from queries and counterexamples. Inf. Comput., 75(2):87-106, 1987.
5. Karthikeyan Bhargavan, Davor Obradovic, and Carl A. Gunter. Formal verification of standards for distance vector routing protocols. J. ACM, 49(4):538-576, 2002.
6. Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, and Keith Wansbrough. Rigorous specification and conformance testing techniques for network protocols, as applied to tcp, udp, and sockets. In SIGCOMM Proceedings, 2005.
7. D. Cypher, D. Lee, M. Martin-Villalba, C. Prins, and D. Su. Formal specification, verification, and automatic test generation of atm routing protocol: Pnni. In Proceedings of FORTE/PSTV'98, Case Studies in Protocols, 1998.
8. D. Cypher, D. Lee, M. Martin-Villalba, C. Prins, and D. Su. Formal specification, verification, and interoperability testing of atm routing protocol: Pnni. In Proc. FORTE/PSTV, 1998.
9. Scott Dawson, Farnam Jahanian, and Todd Mitton. Experiments on six commercial TCP implementations using a software fault injection tool, 1997.
10. Constantinos Djouvas and Nancy Griffeth. Experimental method for testing networks. In Proceedings of SERP'05 - The 2005 International Conference on Software Engineering Research and Practice, June 2005.
11. Nancy Griffeth and Frederick Stevenson. An approach to best-in-class interoperability testing. Journal of the International Test and Evaluation Association, 23(3):68-82, October 2002.
12. R. Grosu, X. Huang, S. Jain, and S. A. Šmolka. Open-source model checking. In Proc. of SoftMC'05, the 3rd Workshop on Software Model Checking, July 2005.
13. R. Grosu and S.A. Šmolka. Monte Carlo model checking. In Lecture Notes in Computer Science. Springer-Verlag, April 2005.
14. Radu Grosu and Scott A. Šmolka. Monte carlo model checking. In TACAS, New York, October 2005.
15. Ruibing Hao, David Lee, Rakesh K. Sinha, and Nancy Griffeth. Integrated system interoperability testing with applications to voip. IEEE/ACM Transactions on Networking, 12(5):823-836, 2004.
16. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
17. Ahmed Helmy, Deborah Estrin, and Sandeep K. S. Gupta. Fault-oriented test generation for multicast routing protocol design. In FORTE XI / PSTV XVIII '98, pages 93-109. Kluwer, B.V., 1998.
18. G. J. Holzmann and Margaret H. Smith. Automating software feature verification. Bell Labs Technical Journal, 5(2):72-87, - 2000.
19. Y. Lakhnech K. Stahl, K. Baukus and M. Steffen. Divide, abstract and modelcheck. In Proc. 5th and 6th International SPIN Workshops, London, UK, 1999. Springer-Verlag.
20. Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager. Timed I/O Automata: A mathematical framework for modeling and analyzing real-time systems. In 24th IEEE International Real-Time Systems Symposium (RTSS'03), 2003.
21. Ingolf Krger, Radu Grosu, Peter Scholz, and Manfred Broy. From MSCs to Statecharts. In Distributed and Parallel Embedded Systems. Kluwer, 1999.
22. Ranko Lazić and David Nowak. A Unifying Approach to Dataindependence. Technical Report PRG-TR-4-00, Oxford University Computing Laboratory, June 2000.
23. D. Lee and M. Yannakakis. Testing finite state machines: state identification and verification. IEEE Trans. on Computers, 43(3):306-320, March 1994.
24. D. Lee and M. Yannakakis. Principles and Methods of Testing Finite State Machines - A Survey. In Proceedings of the IEEE, volume 84, pages 1090-1126, August 1996.
25. Nancy Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, Inc., March 1996.
26. M. Musuvathi and D. Engler. Model checking large network protocol implementations, 2004.
27. S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In Deepak Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Artificial Intelligence, pages 748-752, Saratoga, NY, jun 1992. Springer-Verlag.
28. Jon Postel. RFC 793: Transmission control protocol, September 1981.
29. B. Premore. An experimental analysis of bgp convergence time. In ICNP '01: Proceedings of the Ninth International Conference on Network Protocols (ICNP'01), page 53, Washington, DC, USA, 2001. IEEE Computer Society.
30. F. Risso. Analyzer 30. http://analyzer.polito.it/.
31. David Sinclair and James Power. Specifying and verifying communications protocols using mixed intuitionistic linear logic. Electronic Notes in Theoretical Computer Science, 133:255-273, May 2005.
32. Mark A. Smith and K. K. Ramakrishnan. Formal specification and verification of safety and performance of tcp selective acknowledgment. IEEE/ACM TRANSACTIONS ON NETWORKING, 10(2), 2002.