LearnLib: A library for automata learning and experimentation

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

Volumn 3922 LNCS, Issue , 2006, Pages 377-380

  Raffelt, Harald ^a   Steffen, Bernhard ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER AIDED SOFTWARE ENGINEERING; DIGITAL LIBRARIES; MATHEMATICAL MODELS; OPTIMIZATION; REAL TIME SYSTEMS;

AUTOMATA LEARNING ALGORITHMS; BEHAVIORAL MODEL; RANDOM GENERATED MODELS;

LEARNING SYSTEMS;

EID: 33745790495     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11693017_28     Document Type: Conference Paper

References (11)

1. Hagerer, A., Hungar, H., Niese, O., Steffen, B.: Model generation by moderated regular extrapolation. In R. Kutsche, H.W., ed.: FASE'02: Proc. of the 5th International Conference on Fundamental Approaches to Software Engineering. Volume 2306 of LNCS., Heidelberg, Germany, Springer-Verlag (2002) 80-95
2. Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology (TOSEM) 7 (1998) 215-249
3. Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In Wu, J., Chanson, S.T., Gao, Q., eds.: FORTE/PSTV '99: Proc. of the Joint Int. Conference on Formal Description Techniques for Distributed System and Communication/Protocols and Protocol Specification, Testing and Verification, Kluwer Academic Publishers (1999) 225-240
4. Brun, Y., Ernst, M.D.: Finding latent code errors via machine learning over program executions. In: ICSE'04: Proc. of the 26th International Conference on Software Engineering, Edinburgh, Scotland (2004) 480-490
5. Nimmer, J.W., Ernst, M.D.: Automatic generation of program specifications. In: ISSTA'02: Proceedings of the 2002 International Symposium on Software Testing and Analysis, Rome, Italy (2002) 232-242
6. Steffen, B., Hungar, H.: Behavior-based model construction. In Mukhopadhyay, S., Zuck, L., eds.: VMCAP03: Proc. of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation. Volume 2575 of LNCS., Springer-Verlag (2003) 5-19
7. Steffen, B., Margaria, T., Raffelt, H., Niese, O.: Efficient test-based model generation of legacy systems. In: HLDVT'04: Proc. of the 9th IEEE Int. Workshop on High Level Design Validation and Test, Sonoma (CA), USA, IEEE Computer Society Press (2004) 95-100
8. Raffelt, H., Steffen, B., Berg, T.: Learnlib: A library for automata learning and experimentation. In Halbwachs, N., Zuck, L.D., eds.: FMICS'05: Proc. of the 10th International Workshop on Formal Methods for Industrial Critical Systems. Volume 3440 of LNCS., New York, NY, USA, ACM Press (2005) 557-562
9. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 2 (1987) 87-106
10. Hungar, H., Niese, O., Steffen, B.: Domain-specific optimization in automata learning. In: Proc. of the 15th Computer Aided Verification Conference. Volume 2725 of LNCS., Springer Verlag (2003) 315-327
11. Margaria, T., Raffelt, H., Steffen, B.: Analyzing second-order effects between optimizations for system-level test-based model generation. In: ITC'05: Proc. of IEEE International Test Conference. (2005)