Behavior-based model construction

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

Volumn 2575, Issue , 2003, Pages 5-19

  Steffen, Bernhard ^a   Hungar, Hardi ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; LEARNING SYSTEMS;

ABSTRACT INTERPRETATIONS; BEHAVIOR BASED MODELING; LEARNING PROCESS; LEARNING TECHNIQUES; MODEL CONSTRUCTION; UNDERLYING SYSTEMS; VALIDATION AND VERIFICATION; VERIFICATION- , MODELING;

MODEL CHECKING;

EID: 35248820556     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36384-x_3     Document Type: Article

References (17)

1. D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2(75):87-106, 1987.
2. T.S. Chow. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, 4(3):178-187, 1978.
3. E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of theoretical computer science. Elsevier, 1990.
4. A. Groce, D. Peled, and M. Yannakakis. Adaptive model checking. In J.-P. Katoen and P. Stevens, editors, Proc. of the 8th Int. Conference for Tools and Algorithms for the Construction and Analysis of Systems, volume 2280 of Lecture Notes in Computer Science, pages 357-370. Springer Verlag, 2002.
5. A. Hagerer, H. Hungar, O. Niese, and B. Steffen. Model generation by moderated regular extrapolation. In R. Kutsche and H. Weber, editors, Proc. of the 5th Int. Conference on Fundamental Approaches to Software Engineering (FASE '02), volume 2306 of Lecture Notes in Computer Science, pages 80-95. Springer Verlag, 2002.
6. A. Hagerer, T. Margaria, O. Niese, B. Steffen, G. Brune, and H. Ide. Efficient regression testing of CTI-systems: Testing a complex call-center solution. In Annual Review of Communication, volume 55. Int. Engineering Consortium (IEC), 2001.
7. J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
8. M.J. Kearns and U.V. Vazirani. An Introduction to Computational Learning Theory. MIT Press, 1994.
9. K. J. Lang, B. A. Pearlmutter, and R. A. Price. Results of the Abbadingo one DFA learning competition and a new evidence-driven state merging algorithm. In Proc. 4th International Colloquium on Grammatical Inference - ICGI '98, LNAI 1433, pages 1-12. Springer, 1998.
10. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - A survey. In Proc. of the IEEE, volume 84, pages 1090-1123, 1996.
11. A. Mazurkiewicz. Trace theory. In W. Brauer et al., editors, Petri Nets, Applications and Relationship to other Models of Concurrency, volume 255 of Lecture Notes in Computer Science, pages 279-324. Springer Verlag, 1987.
12. E.F. Moore. Gedanken-experiments on sequential machines. Annals of Mathematics Studies (34), Automata Studies, pages 129-153, 1956.
13. 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 H. Hußmann, editor, Proc. of the 4th Int. Conference on Fundamental Approaches to Software Engineering (FASE '01), volume 2029 of Lecture Notes in Computer Science, pages 233-248. Springer Verlag, 2001.
14. D. Peled, M.Y. Vardi, and M. Yannakakis. Black box checking. In Jianping Wu, Samuel T. Chanson, and Qiang Gao, editors, Proc. of the Joint Int. Conference on Formal Description Techniques for Distributed System and Communication/Protocols and Protocol Specification, Testing and Verification (FORTE/PSTV '99), pages 225-240. Kluwer Academic Publishers, 1999.
15. L.G. Valiant. A theory of the learnable. Communications of the ACM, 27(11):1134-1142, 1984.
16. A. Valmari. On-the-fly verification with stubborn sets. In Proc. of the 5th Int. Conference on Computer Aided Verification (CAV '93), volume 697 of Lecture Notes in Computer Science, pages 397-408. Springer Verlag, 1993.
17. M.P. Vasilevskii. Failure diagnosis of automata. Kibernetika, 4:98-108, 1973.