Learning and integration of parameterized components through testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4581 LNCS, Issue , 2007, Pages 319-334

  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

ALGORITHMS; FINITE AUTOMATA; MACHINE COMPONENTS; PARAMETERIZATION; SOFTWARE TESTING; TELECOMMUNICATION SERVICES; DIGITAL STORAGE; INTEGRATION;

BLACK BOX; INTEGRATION TESTING; LEARNING PROCESS; MACHINE MODELS; BLACK BOXES; FINITE-STATE MODELS; INPUT PARAMETER; NON DETERMINISM; PARAMETERIZED; STATE MACHINE MODELS;

LEARNING SYSTEMS; INTEGRATION TESTING;

EID: 34548093327     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73066-8_22     Document Type: Conference Paper

References (15)

1. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 2, 87-106 (1987)
2. Berg, T., Jonsson, B., Raffelt, H.: Regular inference for state machines with parameters. In: Baresi, L., Heckel, R. (eds.) FASE 2006 and ETAPS 2006. LNCS, vol. 3922, pp. 107-121. Springer, Heidelberg (2006)
3. Berg, T., Raffelt, H.: Model checking. In: Model-Based Testing of Reactive Systems, pp. 557-603 (2004)
4. Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol. 3185, pp. 237-267. Springer, Heidelberg (2004)
5. Elkind, E., Genest, B., Peled, D., Qu, H.: Grey-box checking. In: Najm, E., Pradat-Peyre, J.F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 420-435. Springer, Heidelberg (2006)
6. Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The Daikon system for dynamic detection of likely invariants. Science of Computer Programming (2006)
7. Hungar, H., Niese, O., Steffen, B.: Domain-specific optimization in automata learning. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 315-327. Springer, Heidelberg (2003)
8. Koné, O., Castanet, R.: Test generation for interworking systems. Computer Communications 23(7), 642-652 (2000)
9. Li, K., Groz, R., Shahbaz, M.: Integration testing of components guided by incremental state machine learning. In: TAIC PART, pp. 59-70. IEEE Computer Society, Washington (2006)
10. Li, K., Groz, R., Shahbaz, M.: Integration testing of distributed components based on learning parameterized i/o models. In: Najm, E., Pradat-Peyre, J.F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 436-450. Springer, Heidelberg (2006)
11. Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: FORTE. IFIP Conference Proceedings, vol. 156, pp. 225-240. Kluwer, Dordrecht (1999)
12. Petrenko, A., Boroday, S., Groz, R.: Confirming configurations in EFSM testing. IEEE Trans. Softw. Eng. 30(1), 29-42 (2004)
13. Ramalingom, T., Thulasiraman, K., Das, A.: Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines. Computer Communications 26(14), 1622-1633 (2003)
14. Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. In: Machine Learning: From Theory to Applications, pp. 51-73 (1993)
15. Walkinshaw, N., Bogdanov, K., Holcombe, M.: Identifying state transitions and their functions in source code. In: TAIC PART, pp. 49-58. IEEE Computer Society, Washington (2006)