LearnLib: A library for automata learning and experimentation

FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems

Volumn , Issue , 2005, Pages 62-71

  Raffelt, Harald ^a   Steffen, Bernhard ^a   Berg, Therese ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

Automata Learning; Behavioural Analysis; Behavioural specification; DFAs and Mealy Machines; Domain Specific Optimization; Experimentation; Quantitative Analysis; Software Library; Validation

Indexed keywords

AUTOMATA THEORY; BEHAVIORAL RESEARCH; OPTIMIZATION; STRUCTURAL ANALYSIS;

BEHAVIORAL ANALYSIS; BEHAVIORAL SPECIFICATION; DOMAIN SPECIFIC OPTIMIZATION; EXPERIMENTATION; SOFTWARE LIBRARY; VALIDATION;

LEARNING ALGORITHMS;

EID: 33745767828     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2(75):87-106, 1987.
2. Hubert Garavel OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing Tools and Algorithms for the Construction and Analysis of Systems (TACAS98), 68-84, 1998
3. Y. Brun, M. D. Ernst. Finding latent code errors via machine learning over program executions Proc. 26th International Conference on Software Engineering (ICSE'04), pp. 480-490, May 2004
4. Tsun S. Chow. Testing software design modeled by finite-state machines. IEEE Trans. on Software Engineering, 4(3):178-187, May 1978. Special collection based on COMPSAC.
5. J. E. Cook, Z. Du, C. Liu, A. L. Wolf. Discovering Models of Behavior for Concurrent Systems Tech. rep. New Mexico State University, Dept. of Computer Science, Aug. 2002
6. J. E. Cook, A. L. Wolf Discovering Models of Software Processes from Event-Based Data ACM Trans. on Software Engineering and Methodology (TOSEM) pp. 215-249, 1998
7. M. D. Ernst, A. Czeisler, W. G. Griswold, D. Notkin. Quickly detecting relevant program invariants In proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), 449-458, June 2000
8. S. Fujiwara, G. v. Bochmann, F. Khendek, M. Amalou, A. Ghedamsi. Test selection based on finite state models. IEEE Trans. on Software Engineering, 17(6):591-603, June 1991.
9. S.T. Vuong, W.Y.L. Chan, M.R. Ito The UIOv-Method for Protocol Test Sequence Generation Proc. 2nd Int. Workshop on Protocol Test Systems, 161-176, 1990
10. Yinan N. Shen, Fabrizio Lombardi, Anton T. Dahbura Protocol Conformance Testing Using Multiple UIO Sequences Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX, 131-143, 1990
11. T. Berg, O. Grinchtein, B. Jonsson, M. Leucker, H. Raffelt, B. Steffen On the Correspondence Between Conformance Testing and Regular Inference Lecture Notes in Computer Science, Volume 3442 Jan 2005, Pages 175-189
12. A. Hagerer, H. Hungar, O. Niese, and B. Steffen. Model Generation by Moderated Regular Extrapolation. Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), LNCS 2306, pp. 80-95.
13. H. Hungar, T. Margaria, B. Steffen: Test-Based Model Generation for Legacy Systems, IEEE International Test Conference (ITC), Charlotte, NC, September 30 -October 2, 2003.
14. T. Margaria, H. Raffelt, B. Steffen Analyzing Second-Order Effects Between Optimizations for System-Level Test-Based Model Generation IEEE International Test Conference (ITC), Austin, TX from November 8 - 10, 2005.
15. th Int. Conf. on Computer Aided Verification, 2003, LNCS 2725, pp.315-.327, Springer Verlag.
16. D. Lee, M. Yannakakis. Principles and methods of testing finite state machines - a survey. Proc. IEEE, 84(8):1090-1126, 1996.
17. T. Margaria, R. Nagel, B. Steffen: Remote Integration and Coordination of Verification Tools in JETI, Proc. of ECBS 2005, 12th IEEE Int. Conf. and Workshop on the Engineering of Computer Based Systems, 4-7 April 2005, Washington DC (USA), IEEE Press, pp. 431-436.
18. T. Margaria, O. Niese, B. Steffen, A. Erochok. System Level Testing of Virtual Switch (Re-)Configuration over IP. In Proc. IEEE European Test Workshop. Corfu (GR), May 2002, IEEE Society Press.
19. T. Margaria, R. Nagel, B. Steffen: jETI: A Tool for Remote Tool Integration (Tool Demonstration) Proc. TACAS'05, Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Edinburgh (UK), April 2005, LNCS 3440, pp. 557-562, Springer Verlag.
20. L. Mariani, Mauro Pezzè. A technique for verifying component-based software Proceeding of the Int. Workshop on Test and Analysis of Component Based Systems, TACOS 2004, Barcelona, March 2004
21. Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide: Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. Proc. FASE 2001: 4th International Conference on Fundamental Approaches to Software Engineering, Italy, April 2-6, 2001, Lecture Notes in Computer Science 2029 Springer 2001, pp. 233-248.
22. J. W. Nimmer, M. D. Ernst. Automatic generation of program specifications In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA 2002), 232-242, July 2002
23. D. Peled, M. Y. Vardi, M. Yannakakis Black Box Checking Formal Methods for Protocol Engineering and Distributed Systems, (FORTE/PSTV), pp. 225-240, 1999, Kluwer.
24. B. Steffen and H. Hungar, Behavior-based model construction. In S. Mukhopadhyay and L. Zuck, editors, Proc. 4th Int. Conf. on Verification, Model Checking and Abstract Interpretation, LNCS 2575, Springer 2003.
25. T. Xie, D. Notkin Mutually Enhancing Test. Generation and Specification Inference. In Proceedings of 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), LNCS Vol. 2931, Springer, pp. 60-69, Oct. 2003.
26. 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. FASE 2001, LNCS 2029, pages 233-248. Springer Verlag, 2001.
27. 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.
28. B. Steffen and T. Margaria and H. Raffelt and O. Niese Efficient Test-based Model Generation of Legacy Systems Proc. HLDVT 2004, 9th IEEE Int. Workshop on High Level Design Validation and Test 95-100, 2004.