The LearnLib in FMICS-jETI

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2007, Pages 340-349

  Margaria, Tiziana ^a   Raffelt, Harald ^b   Steffen, Bernhard ^b   Leucker, Martin ^c  

^a UNIVERSITY OF POTSDAM   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

^c TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BLACK-BOX TESTING; INTEROPERABILITY;

ACTIVE MODELS; COLLABORATIVE SERVICES; GROUP CONTRIBUTIONS; INDUSTRIAL CRITICAL SYSTEMS; LANGUAGE INDEPENDENTS; MODEL LEARNING; SERVICE-BASED; TOOLS AND TECHNIQUES; TOOLS AND TECHNOLOGIES; WORKING GROUPS;

COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA);

EID: 46749110781     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2007.43     Document Type: Conference Paper

References (48)

1. D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2(75):87-106, 1987.
2. A. Arenas, J. Bicarregui, and T. Margaria. The FMICS view on the verified software repository. In Proc. Integrated Design and Process Technology (IDPT), San Diego (USA), June 26-29 2006. Society for Design and Process Science.
3. M. Bakera and C. Renner. jABC model checking plugin. http://www.jabc.de/ modelchecking/, seen Apr. 2007.
4. th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'07), volume 4424 of Lecture Notes in Computer Science, Braga, Portugal, Mar. 2007. Springer.
5. B. Bollig, C. Kern, M. Schlütter, and V Stolz. MSCan: A tool for analyzing MSC specifications. In TACAS 2006, volume 3920 of Lecture Notes in Computer Science, pages 455-458. Springer, 2006.
6. D. Brand and P. Zafiropulo. On communicating finite-state machines. J. of the ACM, 30(2):323-342, 1983.
7. th Int. Conf. on Engineering of Complex Computer Systems (ICECCS'07), Auckland, New Zealand, July 11 - 14 2007.
8. th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), volume 4424 of Lecture Notes in Computer Science, pages 276-291, 2007.
9. J. E. Cook, Z. Du, C. Liu, and A. L. Wolf. Discovering models of behavior for concurrent systems. Technical report, New Mexico State University, Deppartment of Computer Science, August 2002. NMSU-CS-2002-010.
10. J. E. Cook and A. L. Wolf. Discovering models of software processes from event-based data. (TOSEM) ACM Transactions on Software Engineering and Methodology, 7(3):215-249, 1998.
11. C. de la Higuera. A bibliographical study of grammatical inference. Pattern Recognition, 38:1332-1348, September 2005.
12. th Int. Conf. on Engineering of Complex Computer Systems (ICECCS'07), 2007.
13. th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), volume 4424 of Lecture Notes in Computer Science, pages 276-291, 2007.
14. th Int. Conf. on Fundamental Approaches to Software Engineering (FASE'02), volume 2306 of Lecture Notes in Computer Science, pages 80-95, Heidelberg, Germany, April 2002. Springer-Verlag.
15. th IEEE Int. Confond Workshops on the Engineering of Computer-Based Systems (ECBS'05), pages 339-345, Washington, DC, USA, 2005. IEEE Computer Society.
16. C. Hoare and J. Misra. Vision of a grand challenge project. In Verified Software: Theories, Tools, Experiments, July 2005.
17. S. Jorges, C. Kubczak, R. Nagel, T. Margaria, and B. Steffen. Model-driven development with the jABC. In Proc. of Haifa Verification Conference 2006 (HVC'06), LNCS, Haifa, Israel, October 23-26 2006. IBM, Springer Verlag.
18. nd IEEE-EASST Int. symp. On Leveraging Applications of formal methods, verification, and validation, (ISoLA'06), pages 308-313, Paphos (CY), Sept. 15-19 2006. IEEE CS Press.
19. C. Kubczak, R. Nagel, T. Margaria, and B. Steffen. The j ABC approach to mediation and choreography. In Semantic Web Services Challenge 2006, Phase I Workshops, DERI. Stanford University, Mar. 2006.
20. nd Semantic Web Service Challenge Workshop., June 2006.
21. Y. Lafon. W3c web services activity, http://www.w3. org/2002/ws/, seen Apr. 2007.
22. th Int. Conf. on Compiler Construction, (CC'06), volume 3923 of Lecture Notes in Computer Science, pages 101-104, Vienna, Austria, March 30-31 2006. Springer.
23. Special section on the electronic tool integration platform. Int. Journal on Software Tools for Technology Transfer (STTT), 1, November 1997.
24. T. Margaria, M. G. Hinchey, H. Raffelt, J. Rash, C. A. Rouff, and B. Steffen. Completing and adapting models of biological processes. In Proc. of IFIP Conf. on Biologically Inspired Cooperative Computing (BiCC '06), Santiago (Chile), 2006.
25. th Int. Conf. on Applications of Physics in Financial Analysis (APFA5), Torino (I), Jun.-Jul. 2006.
26. th IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS '06), pages 169-176, Stanford, CA, August 2006. IEEE CS Press. iccecs-bio06.
27. th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06), pages 169-176. Stanford University, CA (USA), IEEE Computer Society Press, August 2006.
28. nd IEEE-EASST Int. symp. On Leveraging Applications of formal methods, verification, and validation (ISoLA'06), pages 414-418, Paphos (CY), Sept. 15-19 2006. IEEE CS Press.
29. T. Margaria, H. Raffelt, and B. Steffen. Knowledge-based relevance filtering for efficient system-level test-based model generation. Innovations in Systems and Software Engineering, 1(2): 147-156, July 2005.
30. th Int. Conf. on Enterprise Information Systems (ICEIS'07), Funchal (Portugal), June 12-16 2007. (to appear).
31. L. Mariani and M. Pezzè. A technique for verifying component-based software. In Pmc. of Int. Workshop on Test and Analysis of Component Based Systems (TACoS'04), pages 17-30, March 2004.
32. M. Müller-Olm, D. Schmidt, and B. Steffen. Model-checking: A tutorial introduction. In G. F. A. Cortesi, editor, Proc. of Static Analysis Symposium (SAS'99), volume 1694 of Lecture Notes in Computer Science, pages 330-354, Venice, Italy, Sept. 1999. Springer Verlag.
33. B. Nuseibeh and S. Easterbrook. Requirements engineering: a roadmap. In ICSE 2000, pages 35-46. ACM, 2000.
34. I. Object Management Group. Omg's corba website, http : //www.omg.org/corba/, seen Apr. 2007.
35. D. Peled, M. Y. Vardi, and M. Yannakakis. Black box checking. In J. Wu, S. T. Chanson, and Q. 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.
36. th Int. Conf. on Fundamental Approaches to Software Engineering (EASE 2006), volume 3922 of Lecture Notes in Computer Science, pages 377-380. Springer, 2006.
37. th Int. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI'03), volume 2575 of Lecture Notes in Computer Science, pages 5-19. Springer-Verlag, 2003.
38. B. Steffen, T. Margaria, and V Braun. The electronic tool integration platform: concepts and design. Int. Journal on Software Tools for Technology Transfer (STTT), 1:9-30, November 1997. ETI1.
39. B. Steffen, T. Margaria, V Braun, and N. Kalt. Hierarchical service definition. In Annual Review of Communication, pages 847-856. Int. Engin. Consortium Chicago (USA), IEC, 1997.
40. th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05):, volume 3440 of Lecture Notes in Computer Science, Edinburgh, UK, April 2005. Springer Verlag.
41. th IEEE Int. Conf. on the Engineering of Computer Based Systems (ECBS 2005), pages 431-436, Greenbelt (USA), April 2005. IEEE Computer Soc. Press. ECBS-jeti.
42. th IEEE Int. Workshop on High Level Design Validation and Test (HLDVT'04), pages 95-100, Sonoma (CA), USA, November 2004. IEEE Computer Society Press.
43. C. Topnik, E. Wilhelm, T. Margaria, and B. Steffen, jmosel: A stand-alone tool and j ABC plugin for m21(str). In Proc. SPIN 2006, 13th International SPIN Workshop on Model Checking of Software, volume 3925 of LNCS, pages 293 -298, Vienna (A), April 2006. Springer Verlag.
44. rd Int. Workshop on Formal Approaches to Testing of Software (FATES'03), volume 2931 of Lecture Notes in Computer Science, pages 60-69. Springer Verag, 2004.
45. Home page of the ERCIM working group on formal methods for industrial critical systems (FMICS). http:// www.inrialpes.fr/vasy/fmics/.
46. jABC website, http://www.jabc.de, seen Apr. 2007.
47. Hompage of aspin. http://www.lcc.uma.es/ gisum/fmse/tools/.
48. Semantic web services challenge. http: //sws-challenge.org, seen Apr. 2007.