69 search results - page 1 / 14 » On the testability of SDL specifications |
65
Voted
SDL
2001
15 years 7 days ago
2001
87
Voted
CN
2004
14 years 10 months ago
2004
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specif...
98
Voted
SDL
1997
15 years 6 days ago
1997
67
Voted
SDL
2007
15 years 8 days ago
2007
111
Voted
SDL
2001
15 years 7 days ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...