Inferring mealy machines

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

Volumn 5850 LNCS, Issue , 2009, Pages 207-222

  Shahbaz, Muzammil ^a   Groz, Roland ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS AND TESTING; COMPLEX SYSTEMS; FINITE STATE MACHINES; LEARNING APPROACH; LEARNING COMPLEXITY; LEARNING TECHNIQUES; MACHINE MODELS;

INFERENCE ENGINES; LEARNING ALGORITHMS;

FORMAL METHODS;

EID: 70649106324     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-05089-3_14     Document Type: Conference Paper

References (18)

1. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 2, 87-106 (1987)
2. Muccini, H., Polini, A., Ricci, F., Bertolino, A.: Monitoring architectural properties in dynamic component-based systems. In: Schmidt, H.W., Crnkovi?, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol. 4608, pp. 124-139. Springer, Heidelberg (2007)
3. Shu, G., Lee, D.: Testing security properties of protocol implementations - a machine learning based approach. In: ICDCS, p. 25. IEEE Computer Society, Los Alamitos (2007)
4. Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Proceedings of FORTE 1999, Beijing, China (1999)
5. 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)
6. Margaria, T., Niese, O., Raffelt, H., Steffen, B.: Efficient test-based model generation for legacy reactive systems. In: HLDVT, pp. 95-100. IEEE Computer Society, Los Alamitos (2004)
7. Niese, O.: An Integrated Approach to Testing Complex Systems. PhD thesis, University of Dortmund (2003)
8. Mäkinen, E., Systä, T.: MAS - an interactive synthesizer to support behavioral modelling in UML. In: ICSE 2001, pp. 15-24. IEEE Computer Society, Los Alami-tos (2001)
9. Berg, T., Grinchtein, O., Jonsson, B., Leucker, M., Raffelt, H., Steffen, B.: On the correspondence between conformance testing and regular inference. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 175-189. Springer, Heidelberg (2005)
10. 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, Los Alamitos (2006)
11. Pena, J.M., Oliveira, A.L.: A new algorithm for the reduction of incompletely specified finite state machines. In: ICCAD, pp. 482-489. ACM, New York (1998)
12. Frazier, M., Goldman, S., Mishra, N., Pitt, L.: Learning from a consistently ignorant teacher. J. Comput. Syst. Sci. 52(3), 471-492 (1996)
13. Shahbaz, M.: Reverse Engineering Enhanced State Models of Black Box Components to support Integration Testing. PhD thesis, Grenoble Universities (2008)
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. Balcazar, J.L., Diaz, J., Gavalda, R.: Algorithms for learning finite automata from queries: A unified view. In: AALC, pp. 53-72 (1997)
16. Berg, T., Raffelt, H.: Model checking. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 557-603. Springer, Heidelberg (2005)
17. Moller, F., Stevens, P.: Edinburgh Concurrency Workbench User Manual, Version 7.1 (2004), http://homepages.inf.ed.ac.uk/perdita/cwb/
18. Berg, T., Jonsson, B., Leucker, M., Saksena, M.: Insights to angluin's learning. Electr. Notes Theor. Comput. Sci. 118, 3-18 (2005)