119
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
95
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
122
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...
161
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
123
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...