9 search results - page 1 / 2 » fates 2004 |
137
Voted
FATES
2004
Springer
16 years 10 days ago
2004
Springer
139
Voted
FATES
2004
Springer
16 years 10 days ago
2004
Springer
177
Voted
FATES
2004
Springer
16 years 10 days ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
176
Voted
FATES
2004
Springer
16 years 10 days ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
176
Voted
FATES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...