Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation-Reference-Cited by-同舟云学术

Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation

Published:2001 Issue: Volume: Page:168-181
ISSN:0302-9743
Container-title:SDL 2001: Meeting UML
language:
Short-container-title:

Author:

Hogrefe Dieter,Koch Beat,Neukirchen Helmut

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48213-X_11

Reference25 articles.

1. C. Bourhfir, R. Dssouli, E. Aboulhamid, and N. Rico. Automatic executable test case generation for extended finite state machine protocols protocols. In IWTCS’97 [17], pages 75–90.

2. C. Bourhfir, R. Dssouli, E. Aboulhamid, and N. Rico. A test case generation tool for conformance testing of SDL systems. In SDL’99 [23], pages 405–419.

3. M. Bozga, S. Graf, A. Kerbrat, L. Mounier, I. Ober, and D. Vincent. SDL for realtime: what is missing? In SAM 2000-2 nd Workshop on SDL and MSC, pages 108–122, Grenoble, France, June 2000.

4. M. Bozga, S. Graf, L. Mounier, I. Ober, J.-L. Roux, and D. Vincent. Timed extensions for SDL. In SDL Forum 2001, Copenhagen, Denmark, June 2001.

5. M. Clatin, R. Groz, M. Phalippou, and R. Thummel. Two approaches linking a test generation tool with verification techniques. In Proceedings of IWPTS’ 95 8 th Int. Workshop on Protocol Test Systems, pages 151–166, Evry, France, September 1995.

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

1. Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers;Formal Techniques for Networked and Distributed Systems - FORTE 2003;2003

2. An Extension for MSC-2000 and Its Application;Lecture Notes in Computer Science;2003

3. A Guided Method for Testing Timed Input Output Automata;Lecture Notes in Computer Science;2003

4. Protocol Operation;Advanced Communication Protocol Technologies