Dynamic model learning using genetic algorithm under adaptive model checking framework

Proceedings - International Conference on Quality Software

Volumn , Issue , 2006, Pages 410-417

  Lai, Zhifeng ^a   Cheung, S C ^a   Jiang, Yunfei ^b  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

^b SUN YAT SEN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC MODELS; FINITE AUTOMATA; GENETIC ALGORITHMS; MODEL CHECKING;

DYNAMIC LEARNING; MEMORY CONSUMPTION; REACTIVE SYSTEM;

LEARNING SYSTEMS;

EID: 34250787502     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2006.25     Document Type: Conference Paper

References (18)

1. D. Angluin. Learning regular sets from queries and counterexamples. Inf. Comput, 75(2):87-106, 1987.
2. J. L. Balcázar, J. Díaz, and R. Gavaldà. 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, M. Leucker, and M. Saksena. Insights to angluin's learning. Electr. Notes Theor. Comput. Sci., 118:3-18, 2005.
4. T. S. Chow. Testing software design modeled by finite-state machines. IEEE Trans. Software Eng., 4(3):178-187, 1978.
5. A. Groce, D. Peled, and M. Yannakakis. Adaptive model checking. In J.-P. Katoen and P. Stevens, editors, TACAS, volume 2280 of Lecture Notes in Computer Science, pages 357-370. Springer, 2002.
6. A. Groce, D. Peled, and M. Yannakakis. Amc: An adaptive model checker. In E. Brinksma and K. G. Larsen, editors, CAV, volume 2404 of Lecture Notes in Computer Science, pages 521-525. Springer, 2002.
7. J. H. Holland. Concerning efficient adaptive systems. In Yovits M C, eds. Self-Organizing Systems., pages 215-230, 1962.
8. H. Hungar, O. Niese, and B. Steffen. Domain-specific optimization in automata learning. In W. A. H. Jr. and F. Somenzi, editors, CAV, volume 2725 of Lecture Notes in Computer Science, pages 315-327. Springer, 2003.
9. M. Huth and M. Ryan. Logic in Computer Science: Modelling and Reasoning aobut Systems, chapter 6, pages 382-390. Cambridge University Press, second edition, 2004.
10. K. A. D. Jong, W. M. Spears, and D. F. Gordon. Using genetic algorithms for concept learning. Machine Learning, 13:161-188, 1993.
11. M. J. Kearns and U. V. Vazirani. An Introduction to Computational Learning Theory. The MIT Press, Cambridge, Massachusetts and London, England, 1994.
12. Z. Lai, S.-C. CHEUNG, and Y. Jiang. Dynamic model learning using genetic algorithm under adaptive model checking framework. Technical Report HKUST-CS06-05, Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, July 2006.
13. K. L. McMillan. Symbolic Model Checking. PhD thesis, Carnegie Mellon University, Boston, 1992.
14. T. Mitchell. Machine Learning, chapter 9, pages 249-273. McGraw Hill, first edition, Mar. 1997.
15. D. Peled, M. Y. Vardi, and M. Yannakakis. Black box checking. Journal of Automata, Languages and Combinatorics, 7(2):225-246, 2002.
16. R. L. Rivest and R. E. Schapire. Inference of finite automata using homing sequences. In S. J. Hanson, W. Remmele, and R. L. Rivest, editors, Machine Learning: From Theory to Applications, volume 661 of Lecture Notes in Computer Science, pages 51-73. Springer, 1993.
17. M. P. Vasilevskii. Failure diagnosis of automata. Cybernetic, 9(4):653-665, 1973.
18. D. Whitley and T. Starkweather. Genitor ii.: a distributed genetic algorithm. J. Exp. Theor. Artif. Intell., 2(3): 189-214, 1990.