Dynamic testing via automata learning

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

Volumn 4899 LNCS, Issue , 2008, Pages 136-152

  Raffelt, Harald ^a   Steffen, Bernhard ^a   Margaria, Tiziana ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DC MOTORS; EXTRAPOLATION; INFORMATION ANALYSIS; LEARNING ALGORITHMS; MODEL STRUCTURES; ROBOTS; SOFTWARE TESTING; STRUCTURAL OPTIMIZATION; TESTING; TRANSLATION (LANGUAGES); VERIFICATION;

AUTOMATIC EXPLORATION; BEHAVIORAL MODELING; BLACK BOXES; BUG TRACKING SYSTEM; CASE STUDIES; CURRENT TESTING; DYNAMIC TESTING; EXPLORATION PROCESS; HARDWARE AND SOFTWARE; INTERFACE DESCRIPTIONS; LEARNING PROCEDURES; LEARNING PROCESSES; LEARNING TECHNIQUES; SYSTEM-UNDER-TEST; USER GUIDANCE; WEB APPLICATIONS;

EDUCATION;

EID: 49949090330     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77966-7_13     Document Type: Conference Paper

References (29)

1. Berg, T., Grinchtein, O., Jonsson, B., Leucker, M., Raffelt, H., Steffen, B.: On the correspondence between conformance testing and regular inference. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 175-189. Springer, Heidelberg (2005)
2. Niese, O., Margaria, T., Hagerer, A., Steffen, B., Brune, G., Goerigk, W., Ide, H.D.: Automated regression testing of cti-systems. In: ETW'01. Proc. of the IEEE European Test Workshop, Washington, DC, USA, p. 51. IEEE Computer Society, Los Alamitos (2001)
3. Margaria, T., Niese, O., Steffen, B., Erochok, A.: System level testing of virtual switch (re-)configuration over ip. In: ETW 2002. Proc. of the IEEE European Test Workshop, pp. 67-74. IEEE Computer Society Press, Los Alamitos (2002)
4. Hagerer, A., Margaria, T., Niese, O., Steffen, B., Brune, G., Ide, H.D.: Efficient regression testing of cti-systems: Testing a complex call-center solution. Annual Review of Communication, Int. Engineering Consortium (IEC), Chicago (USA) vol. 55, pp. 1033-1040 (2001)
5. th International Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Portugal, pp. 62-71. ACM Press, New York (2005)
6. Jörges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-driven development with the jabc. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, Springer, Heidelberg (2007)
7. Margaria, T., Steffen, B., Reitenspieß, M.: Service-oriented design: The jabc approach. In: SOC 2005. Proc. of Service Oriented Computing, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany (2005)
8. Karusseit, M., Margaria, T.: Feature-based modelling of a complex, online-reconfigurable decision support service. Electr. Notes Theor. Comput. Sci. 157(2), 101-118 (2006)
9. Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. In: ITC 2003. Proc. of 2003 International Test Conference, Charlotte, NC, pp. 971-980. IEEE Computer Society, Los Alamitos (September 2003)
10. Hörmann, M., Margaria, T., Mender, T., Nagel, R., Schuster, M., Steffen, B., Trinh, H.: The jabc approach to collaborative development of embedded applications. In: CCE 2006. Int. Workshop on Challenges in Collaborative Engineering - State of the Art and Future Challenges on Collaborative Design, April 2006 (Industry Day), Prag (CZ) (2006)
11. Raffelt, H., Steffen, B., Berg, T., Margaria, T.: LearnLib: A library for automata learning and experimentation. International Journal on Software Tools Technology Transfer (Submitted, 2005)
12. nd Int. Conf. on Software Engineering, pp. 449-458 (June 2000)
13. Nimmer, J.W., Ernst, M.D.: Automatic generation of program specifications. In: ISSTA 2002. Proc. of the 2002 Int. Symposium on Software Testing and Analysis, Rome, Italy, pp. 229-239 (July 22-24, 2002)
14. th Int. Conf. on Software Engineering, pp. 480-490 (May 2004)
15. Hagerer, A., Hungar, H., Niese, O., Steffen, B.: Model generation by moderated regular extrapolation. In: Kutsche, R.-D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol. 2306, pp. 80-95. Springer, Heidelberg (2002)
16. de la Higuera, C.: A bibliographical study of grammatical inference. Pattern Recognition 38, 1332-1348 (2005)
17. Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data (TOSEM) ACM Transactions on Software Engineering and Methodology 7(3), 215-249 (1998)
18. Mariani, L., Pezzè, M.: A technique for verifying component-based software. In: TACoS 2004. Proc. of Int. Workshop on Test and Analysis of Component Based Systems, pp. 17-30 (March 2004)
19. Xie, T., Notkin, D.: Mutually enhancing test generation and specification inference. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 60-69. Springer, Heidelberg (2004)
20. Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) FORTE/PSTV 1999. Proc. of the Joint Int. Conference on Formal Description Techniques for Distributed System and Communication/Protocols and Protocol Specification, Testing and Verification, pp. 225-240. Kluwer Academic Publishers, Boston, MA (1999)
21. Cook, J.E., Du, Z., Liu, C., Wolf, A.L.: Discovering models of behavior for concurrent systems. Technical report, New Mexico State University, Deppartment of Computer Science, NMSU-CS-2002-010. (August 2002)
22. th IEEE Int. Workshop on High Level Design Validation and Test (HLDVT'04), Sonoma (CA), USA, pp. 95-100. IEEE Computer Society Press, Los Alamitos (2004)
23. Margaria, T., Hinchey, M.G., Raffelt, H., Rash, J., Rouff, C.A., Steffen, B.: Completing and adapting models of biological processes. In: BiCC 2006. Proc. of IFIP Conf. on Biologically Inspired Cooperative Computing, Santiago (Chile) (2006)
24. Steffen, B., Hungar, H.: Behavior-based model construction. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol. 2575, pp. 5-19. Springer, Heidelberg (2002)
25. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 2(75), 87-106 (1987)
26. Margaria, T., Raffelt, H., Steffen, B.: Knowledge-based relevance filtering for efficient system-level test-based model generation. Innovations in Systems and Software Engineering 1(2), 147-156 (2005)
27. Fujiwara, S., von Bochmann, G., Kheudek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Transactions on Software Engineering 17(6), 591-603 (1991)
28. Rational unified process (seen June 2007), http://www-306.ibm.com/ software/awdtools/rup/
29. Mantis bug tracker. (seen June 2007), http://www.mantisbt.org