A Guided Method for Testing Timed Input Output Automata-Reference-Cited by-同舟云学术

A Guided Method for Testing Timed Input Output Automata

Published:2003 Issue: Volume: Page:211-225
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

En-Nouaary Abdeslam,Dssouli Rachida

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44830-6_16

Reference27 articles.

1. R. Alur and D. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126:183–235, 1994.

2. P. Baker, J. Grabowski, E. Rudolph, and I. Schieferdecker. A Message Sequence Chart-profile for Graphical Test Specification, Development and Tracing. In 18th International Conference and Exposition on Testing Computer Software, Washington, DC. USA, June 2001.

3. D. Clarke and I. Lee. Automatic Generation of Tests for Timing Constraints from Requirements. In Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, California, February 1997.

4. Rachel Cardell-Oliver and Tim Glover. A Practical and Complete Algorithm for Testing Real-Time Systems. In FTRTFT1998 — Formal Techniques for Real-Time Fault Tolerant Systems, Lyngby, Danmark, 1998.

5. Technical Report;A. Elqortobi,1998

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

1. Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata;Formal Aspects of Component Software;2020

2. Modeling and Testing of Automation Systems;Frontiers in Computer Education;2012

3. A new method for testing timed systems;Software Testing, Verification and Reliability;2011-03-09

4. Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata;Tools and Algorithms for the Construction and Analysis of Systems;2011

5. A formal framework to test soft and hard deadlines in timed systems;Software Testing, Verification and Reliability;2011