From ZULU to RERS: Lessons learned in the ZULU challenge

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

Volumn 6415 LNCS, Issue PART 1, 2010, Pages 687-704

  Howar, Falk ^a   Steffen, Bernhard ^a   Merten, Maik ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVE LEARNING; COMPLEX LEARNING; DOMAIN SPECIFIC; EQUIVALENCE QUERIES; LEARNING FRAMEWORKS; SYSTEM CONNECTOR; SYSTEMATIC INVESTIGATIONS;

FORMAL METHODS;

EID: 78650283905     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16558-0_55     Document Type: Conference Paper

References (28)

1. Aarts, F., Schmaltz, J., Vaandrager, F.: Inference and abstraction of the biometric passport. In: ISoLA 2010, Part I. LNCS, vol. 6415, pp. 681-694. Springer, Heidelberg (2010)
2. Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation 75(2), 87-106 (1987)
3. Balcázar, J.L., Díaz, J., Gavaldà, R.: Algorithms for Learning Finite Automata from Queries: A Unified View. In: Advances in Algorithms, Languages, and Complexity, pp. 53-72 (1997)
4. 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)
5. Bohlin, T., Jonsson, B., Soleimanifard, S.: Inferring compact models of communication protocol entities. In: ISoLA 2010, Part I. LNCS, vol. 6415, pp. 666-680. Springer, Heidelberg (2010)
6. Bollig, B., Katoen, J.-P., Kern, C., Leucker, M.: Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 162-166. Springer, Heidelberg (2008)
7. Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A.: Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)
8. TU Dortmund Chair of Programming Systems, Department of Computer Science. RERS - A Challenge In Active Learning, http://leo.cs.tu-dortmund.de:8100/ (version from 20.06.2010)
9. Chow, T.S.: Testing Software Design Modeled by Finite-State Machines. IEEE Trans. on Software Engineering 4(3), 178-187 (1978)
10. Cobleigh, J.M., Giannakopoulou, D., Pǎsǎreanu, C.S.: Learning assumptions for compositional verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 331-346. Springer, Heidelberg (2003)
11. Combe, D., de la Higuera, C., Zulu, Jean-Christophe, J.: an Interactive Learning Competition. In: Proceedings of FSMNLP 2009 (to appear, 2010)
12. Combe, D., de la Higuera, C., Janodet, J.-C., Ponge, M.: Zulu - Active learning from queries competition, http://labh-curien.univ-st-etienne.fr/zulu/ index.php (version from 01.08.2010)
13. Fujiwara, S., von Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test Selection Based on Finite State Models. IEEE Trans. on Software Engineering 17(6), 591-603 (1991)
14. Hagerer, A., Hungar, H., Niese, O., Steffen, B.: Model generation by moderated regular extrapolation. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 80-95. Springer, Heidelberg (2002)
15. 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) 55, 1033-1040 (2001)
16. Hungar, H., Niese, O., Steffen, B.: Domain-specific optimization in automata learning. In: Hunt Jr.,W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 315-327. Springer, Heidelberg (2003)
17. Kearns, M.J., Vazirani, U.V.: An Introduction to Computational Learning Theory. MIT Press, Cambridge (1994)
18. Kwiatkowska, M.Z., Norman, G., Parker, D., Qu, H.: Assume-Guarantee Verification for Probabilistic Systems. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 23-37. Springer, Heidelberg (2010)
19. Maler, O., Pnueli, A.: On the Learnability of Infinitary Regular Sets. Information and Computation 118(2), 316-326 (1995)
20. Margaria, T., Niese, O., Raffelt, H., Steffen, B.: Efficient test-based model generation for legacy reactive systems. In: HLDVT 2004: Proceedings of the Ninth IEEE International on High-Level Design Validation and Test Workshop, Washington, DC, USA, pp. 95-100. IEEE Computer Society, Los Alamitos (2004)
21. Nerode, A.: Linear Automaton Transformations. Proceedings of the American Mathematical Society 9(4), 541-544 (1958)
22. Pasareanu, C.S., Giannakopoulou, D., Bobaru, M.G., Cobleigh, J.M., Barringer, H.: Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Formal Methods in System Design 32(3), 175-205 (2008)
23. Peled, D., Vardi, M.Y., Yannakakis, M.: Black Box Checking. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Proc. FORTE 1999, pp. 225-240. Kluwer Academic, Dordrecht (1999)
24. Raffelt, H., Merten, M., Steffen, B., Margaria, T.: Dynamic testing via automata learning. Int. J. Softw. Tools Technol. Transf. 11(4), 307-324 (2009)
25. Raffelt, H., Steffen, B., Berg, T., Margaria, T.: LearnLib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf. 11(5), 393-407 (2009)
26. Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. Inf. Comput. 103(2), 299-347 (1993)
27. Shahbaz, M., Groz, R.: Inferring Mealy Machines. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 207-222. Springer, Heidelberg (2009)
28. Shahbaz, M., Li, K., Groz, R.: Learning Parameterized State Machine Model for Integration Testing. In: Proc. 31th Annual Int. Computer Software and Applications Conf., Washington, DC, USA, vol. 2, pp. 755-760. IEEE Computer Society, Los Alamitos (2007)