Domain-specific optimization in automata learning

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

Volumn 2725, Issue , 2003, Pages 315-327

  Hungar, Hardi ^a   Niese, Oliver ^a   Steffen, Bernhard ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER AIDED ANALYSIS;

AUTOMATICALLY GENERATED; COMPLEX REACTIVE SYSTEMS; GENERAL LEARNING; LEARNING EFFICIENCY; LEARNING METHODS; RUNNING APPLICATIONS; TELEPHONE SWITCHES; TEST GENERATIONS;

AUTOMATIC TEST PATTERN GENERATION;

EID: 33750547975     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45069-6_31     Document Type: Article

References (15)

1. D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2(75):87-106, 1987.
2. E. Brinksma, and J. Tretmans. Testing transition systems: An annotated bibliography in Proc. of MOVEP'2k, pages 44-50, 2000.
3. T.S. Chow. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, 4(3):178-187, 1978.
4. A. Groce, D. Peled, and M. Yannakakis. Adaptive model checking. In Proc. TACAS '02, LNCS 2280, pages 357-370. Springer Verlag, 2002.
5. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - A survey. In Proc. of the IEEE, 84:1090-1126, 1996.
6. A. Hagerer, H. Hungar, O. Niese, and B. Steffen. Model generation by moderated regular extrapolation. In Proc. of FASE '02, LNCS 2306, pages 80-95. Springer Verlag, 2002.
7. M.J. Kearns and U.V. Vazirani. An Introduction to Computational Learning Theory. MIT Press, 1994.
8. N. Lynch and M. Tuttle. An introduction to input/ouput automata. CWI Quaterly, 2(3):219-246, 1989.
9. A. Mazurkiewicz. Trace theory. In Petri Nets, Applications and Relationship to other Models of Concurrency, LNCS 255, pages 279-324. Springer Verlag, 1987.
10. E.F. Moore. Gedanken-experiments on sequential machines. Annals of Mathematics Studies (34), Automata Studies, pages 129-153, 1956.
11. O. Niese, B. Steffen, T. Margaria, A. Hagerer, G. Brune, and H. Ide. Library-based design and consistency checks of system-level industrial test cases. In Proc. of FASE '01, LNCS 2029, pages 233-248. Springer Verlag, 2001.
12. O. Niese, T. Margaria, A. Hagerer, B. Steffen, G. Brune, H. Ide, and W. Goerigk. Automated regression testing of CTI-systems. In Proc. IEEE ETW' 01, pages 51-57, IEEE Press, 2001.
13. D. Peled, M.Y. Vardi, and M. Yannakakis. Black box checking. In Proc. FORTE/PSTV '99, pages 225-240. Kluwer Academic Publishers, 1999.
14. B. Steffen, and H. Hungar. Behavior-Based Model Construction. In Proc. of VMCAI '02, LNCS 2575, pages 5-19. Springer Verlag, 2002.
15. A. Valmari. On-the-fly verification with stubborn sets. In Proc. of CAV '93, LNCS 697, pages 397-408. Springer Verlag, 1993.