Learning parameterized state machine model for integration testing

Proceedings - International Computer Software and Applications Conference

Volumn 2, Issue , 2007, Pages 755-760

  Shahbaz, Muzammil ^a   Li, Keqin ^b   Groz, Roland ^b  

^a ORANGE LABS   (France)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE AUTOMATA; LEARNING ALGORITHMS; MATHEMATICAL MODELS; POLYNOMIALS; SOFTWARE ENGINEERING; SOFTWARE TESTING;

MODEL LEARNING; POLYNOMIAL LEARNING ALGORITHMS; SOFTWARE COMPONENTS;

LEARNING SYSTEMS;

EID: 37349091069     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2007.134     Document Type: Conference Paper

References (19)

1. D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2:87-106, 1987.
2. J. L. Balcazar, J. Diaz, and R. Gavalda. Algorithms for learning finite automata from queries: A unified view. In Advances in Algorithms, Languages, and Complexity, pages 53-72, 1997.
3. T. Berg, B. Jonsson, and H. Raffelt. Regular inference for state machines with parameters. In FASE, volume 3922 of Lecture Notes in Computer Science, pages 107-121. Springer, 2006.
4. S. Beydeda and V. Gruhn. The self-testing cots components (stecc) strategy - a new form of improving component testability. In M. Hamza, editor, Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications, pages 222-227. ACTA Press, 2003.
5. E. Borger. The ASM method for system design and analysis, a tutorial introduction. In FroCos, volume 3717 of Lecture Notes in Computer Science, pages 264-283. Springer, 2005.
6. M. K. C. Besse, A. Cavalli and F. Zaidi. Two methods for interoperability tests generation: An application to the tcp/ip protocol. In TestCom, Berlin, 2002.
7. A. Groce, D. Peled, and M. Yannakakis. Adaptive model checking. In Tools and Algorithms for Construction and Analysis of Systems, pages 357-370, 2002.
8. H. Hungar, O. Niese, and B. Steffen. Domain-specific optimization in automata learning. In CAV, volume 2725 of Lecture Notes in Computer Science, pages 315-327. Springer, 2003.
9. M. J. Kearns and U. V. Vazirani. An introduction to computational learning theory. MIT Press, Cambridge, MA, USA, 1994.
10. O. Koné and R. Castanet. Test Generation for Interworking Systems. Computer Communications, 7(23):642-652, 2000.
11. Z. Lai, S. C. Cheung, and Y Jiang. Dynamic model learning using genetic algorithm under adaptive model checking framework. In QSIC '06: Proceedings of the Sixth International Conference on Quality Software, pages 410-417, Washington, DC, USA, 2006. IEEE Computer Society.
12. K. Li, R. Groz, and M. Shahbaz. Integration testing of components guided by incremental state machine learning. In TAIC PART, pages 59-70. IEEE Computer Society, 2006.
13. K. Li, R. Groz, and M. Shahbaz. Integration testing of distributed components based on learning parameterized i/o models. In FORTE, volume 4229 of Lecture Notes in Computer Science, pages 436-450. Springer, 2006.
14. J. W. Nimmer and M. D. Ernst. Automatic generation of program specifications. In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, pages 229-239, New York, NY, USA, 2002. ACM Press.
15. A. Petrenko, S. Boroday, and R. Groz. Confirming configurations in efsm testing. IEEE Trans. Softw. Eng., 30(1):29-42, 2004.
16. T. Ramalingom, K. Thulasiraman, and A. Das. Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines. Computer Communications, 26(14):1622-1633, 2003.
17. M. Shahbaz, K. Li, and R. Groz. Learning and integration of parameterized components through testing. In To be appeared in TestCom, 2007.
18. W.-T. Tsai, X. Bai, R. J. Paul, W. Shao, and V. Agarwal. End-to-end integration testing design. In COMPSAC '01: Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development, pages 166-171, Washington, DC, USA, 2001. IEEE Computer Society.
19. N. Walkinshaw, K. Bogdanov, and M. Holcombe. Identifying state transitions and their functions in source code. In TAIC PART, pages 49-58. IEEE Computer Society, 2006.