2001
DOI: 10.1007/3-540-48213-x_11
|View full text |Cite
|
Sign up to set email alerts
|

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

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
13
0

Year Published

2003
2003
2008
2008

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 7 publications
(13 citation statements)
references
References 10 publications
0
13
0
Order By: Relevance
“…Once the FSM is extracted [3], the time extensions for SDL [12] have a natural representation in our model (Section 4).…”
Section: Ma Fecko Initiated the Timed Efsm Modelmentioning
confidence: 99%
See 4 more Smart Citations
“…Once the FSM is extracted [3], the time extensions for SDL [12] have a natural representation in our model (Section 4).…”
Section: Ma Fecko Initiated the Timed Efsm Modelmentioning
confidence: 99%
“…There are several classes of timers used in test sequences [12]: • global timers to assure that the execution of a test case stops even if it is blocked due to unexpected behavior of the SUT;…”
Section: Timing Modelmentioning
confidence: 99%
See 3 more Smart Citations