9 search results - page 1 / 2 » fates 2004 |
FATES
2004
Springer
13 years 11 months ago
2004
Springer
FATES
2004
Springer
13 years 11 months ago
2004
Springer
FATES
2004
Springer
13 years 11 months 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...
FATES
2004
Springer
13 years 11 months 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...
FATES
2004
Springer
13 years 9 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...