Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2013, Article ID 373265, 11 pages
http://dx.doi.org/10.1155/2013/373265
Research Article

Active Learning of Nondeterministic Finite State Machines

1Department of Computer Engineering, Chulalongkorn University, Bangkok 10330, Thailand
2School of Information Science, Japan Advanced Institute of Science and Technology, Ishikawa 923-1292, Japan
3Department of Mathematics, Chulalongkorn University, Bangkok 10330, Thailand

Received 27 June 2013; Revised 12 October 2013; Accepted 12 October 2013

Academic Editor: Yang Tang

Copyright © 2013 Warawoot Pacharoen et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. D. Peled, M. Y. Vardi, and M. Yannakakis, “Black box checking,” in Proceedings of the 12th Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE ’99), pp. 225–240, Kluwer Academic Publishers, 1999.
  2. A. Groce, D. Peled, and M. Yannakakis, “Adaptive model checking,” in Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ’02), pp. 357–370, Springer, 2002.
  3. J. M. Cobleigh, D. Giannakopoulou, and C. S. Pasareanu, “Learning assumptions for compositional verification,” in Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ’03), pp. 331–346, Springer, 2003.
  4. S. Chaki, E. Clarke, N. Sharygina, and N. Sinha, “Verification of evolving software via component substitutability analysis,” Formal Methods in System Design, vol. 32, no. 3, pp. 235–266, 2008. View at Publisher · View at Google Scholar · View at Scopus
  5. S. M. Lucas and T. J. Reynolds, “Learning DFA: evolution versus evidence driven state merging,” in Proceedings of the Congress on Evolutionary Computation (CEC '03), vol. 1, pp. 351–358, 2003.
  6. S. M. Lucas and T. J. Reynolds, “Learning deterministic finite automata with a smart state labeling evolutionary algorithm,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 27, no. 7, pp. 1063–1074, 2005. View at Publisher · View at Google Scholar · View at Scopus
  7. F. Tsarev and K. Egorov, “Finite state machine induction using genetic algorithm based on testing and model checking,” in Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference (GECCO '11), pp. 759–762, ACM, July 2011. View at Publisher · View at Google Scholar · View at Scopus
  8. V. Ulyantsev and F. Tsarev, “Extended finite-state machine induction using SAT-solver,” in Proceedings of the 10th International Conference on Machine Learning and Applications (ICMLA '11), pp. 346–349, IEEE Computer Society, December 2011. View at Publisher · View at Google Scholar · View at Scopus
  9. D. Chivilikhin and V. Ulyantsev, “Learning finite-state machines with ant colony optimization,” in Swarm Intelligence, vol. 7461 of Lecture Notes in Computer Science, pp. 268–275, Springer, 2012. View at Google Scholar
  10. D. Angluin, “Learning regular sets from queries and counterexamples,” Information and Computation, vol. 75, no. 2, pp. 87–106, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  11. J. Oncina and P. Garcia, “Inferring regular languages in polynomial update time,” in Pattern Recognition and Image Analysis, pp. 49–61, 1992. View at Google Scholar
  12. D. Angluin and M. Kharitonov, “When won’t membership queries help?” in Proceedings of the 23th Annual ACM Symposium on Theory of Computing (STOC ’91), pp. 444–454, ACM, New York, NY, USA, 1991.
  13. T. Yokomori, “Learning nondeterministic finite automata from queries and counterexamples,” in Machine Intelligence, vol. 13, pp. 169–189, Oxford University Press, New York, NY, USA, 1995. View at Google Scholar
  14. F. Denis, A. Lemay, and A. Terlutte, “Learning regular languages using non deterministic finite automata,” in Grammatical Inference: Algorithms and Applications, Lecture Notes in Computer Science, pp. 213–214, Springer, 1891. View at Google Scholar
  15. B. Bollig, P. Habermehl, C. Kern, and M. Leucker, “Angluin-style learning of NFA,” in Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI '09), pp. 1004–1009, July 2009. View at Scopus
  16. F. Coste and D. Fredouille, “Unambiguous automata inference by means of state-merging methods,” in Machine Learning, vol. 2837 of Lecture Notes in Computer Science, pp. 60–71, Springer, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  17. M. Shahbaz, K. Li, and R. Groz, “Learning and integration of parameterized components through testing,” in Testing of Software and CommunicatIng Systems, vol. 4581 of Lecture Notes in Computer Science, pp. 319–334, Springer, 2007. View at Google Scholar
  18. G. Luo, G. V. Bochmann, and A. Petrenko, “Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method,” IEEE Transactions on Software Engineering, vol. 20, no. 2, pp. 149–162, 1994. View at Publisher · View at Google Scholar · View at Scopus
  19. F. Ipate, “Bounded sequence testing from non-deterministic finite state machines,” in Proceedings of the 18th International Conference on Testing of Communicating Systems (TestCom '06), vol. 3964 of Lecture Notes in Computer Science, pp. 55–70, Springer, 2006.
  20. R. M. Hierons, “Testing from a nondeterministic finite state machine using adaptive state counting,” IEEE Transactions on Computers, vol. 53, no. 10, pp. 1330–1342, 2004. View at Publisher · View at Google Scholar · View at Scopus
  21. K. El-Fakih, R. Groz, M. N. Irfan, and M. Shahbaz, “Learning finite state models of observable nondeterministic systems in a testing context,” in Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers, pp. 97–102, 2010.
  22. R. Milner, A Calculus of Communicating Systems, vol. 92 of Lecture Notes in Computer Science, Springer, 1980. View at MathSciNet
  23. Y. Watanabe and R. K. Brayton, “State minimization of pseudo non-deterministic FSM's,” in Proceedings of the European Design and Test Conference, pp. 184–191, March 1994. View at Scopus
  24. T. Kam, T. Villa, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, “Theory and algorithms for state minimization of nondeterministic FSM's,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 16, no. 11, pp. 1311–1322, 1997. View at Publisher · View at Google Scholar · View at Scopus
  25. M. Shahbaz and R. Groz, “Inferring Mealy machines,” in Proceedings of the 2nd World Congress on Formal Methods (FM ’09), pp. 207–222, Springer, 2009.
  26. H. Hungar, O. Niese, and B. Steffen, “Domain-specific optimization in automata learning,” in Computer Aided Verification, vol. 2725 of Lecture Notes in Computer Science, pp. 315–327, Springer, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  27. E. Makinen and T. Systa, “MAS—an interactive synthesizer to support behavioral modelling in UML,” in Proceedings of the 23rd International Conference on Software Engineering (ICSE ’01), pp. 15–24, IEEE Computer Society, Washington, DC, USA, 2001.
  28. O. Niese, An integrated approach to testing complex systems [Ph.D. thesis], University of Dortmund, 2003.
  29. R. Rivest and R. Schapire, “Inference of finite automata using homing sequences,” in Machine Learning: From Theory to Applications, vol. 661 of Lecture Notes in Computer Science, pp. 51–73, Springer, 1993. View at Google Scholar
  30. A. Petrenko and N. Yevtushenko, “Conformance tests as checking experiments for partial nondeterministic FSM,” in Formal Approaches to Software Testing, vol. 3997 of Lecture Notes in Computer Science, pp. 118–133, Springer, 2006. View at Google Scholar
  31. H. Miao, P. Liu, and J. Mei, “An improved algorithm for building the characterizing set,” in Proceedings of the 4th International Symposium on Theoretical Aspects of Software Engineering (TASE '10), pp. 67–74, IEEE Computer Society, Washington, DC, USA, August 2010. View at Publisher · View at Google Scholar · View at Scopus
  32. J. Magee and J. Kramer, Concurrency: State Models & Java Programs, John Wiley & Sons, New York, NY, USA, 2006.
  33. W. Pacharoen, T. Aoki, P. Bhattarakosol, and A. Surarerks, “Verifying conformance between Web service choreography and implementation using learning and model checking,” in Proceedings of the 5th International Conference on New Trends in Information Science and Service Science (NISS '11), pp. 375–381, IEEE Computer Society, October 2011. View at Scopus
  34. T. Berg, B. Jonsson, M. Leucker, and M. Saksena, “Insights to Angluin's learning,” Electronic Notes in Theoretical Computer Science, vol. 118, pp. 3–18, 2005. View at Publisher · View at Google Scholar · View at Scopus