Using UML Sequence Diagrams as the Basis for a Formal Test Description Language-Reference-Cited by-同舟云学术

Using UML Sequence Diagrams as the Basis for a Formal Test Description Language

Published:2004 Issue: Volume: Page:481-500
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Pickin Simon,Jézéquel Jean-Marc

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24756-2_26

Reference24 articles.

1. Lecture Notes in Computer Science;E. Brinksma,2001

2. Charron-Bost, B., Mattern, F., Tel, G.: Synchronous, Asynchronous and Ordered Communication. In: Charron-Bost, B., Mattern, F., Tel, G. (eds.) Distributed Computing, vol. 9(4). Springer, Heidelberg (1996)

3. Lecture Notes in Computer Science;P.H. Deussen,2002

4. Engels, A., Mauw, S., Reniers, M.A.: A Hierarchy of Communication Models for Message Sequence Charts. Science of Computer Programming 44(3). Elsevier North-Holland (2002).

5. European Telecommunications Standards Institute (ETSI): Method for Testing and Specification (MTS); Methdological Approach to the Use of Object-Orientation in the Standards Making Process. ETSI Guide EG 201 872, V1.2.1. ETSI (2001)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification;Journal of Computer Science and Technology;2022-01-31

2. Recent Advances in Model-Based Testing;Advances in Computers;2016

3. The many meanings of UML 2 Sequence Diagrams: a survey;Software & Systems Modeling;2010-04-11

4. Implementing MSC Tests with Quiescence Observation;Testing of Software and Communication Systems;2009