494 search results - page 35 / 99 » Real-Time and Hybrid Systems Testing |
RSP
2003
IEEE
15 years 3 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
CAV
2007
Springer
15 years 3 months ago
2007
Springer
SAFECOMP
2004
Springer
15 years 3 months ago
2004
Springer
ATS
2003
IEEE
15 years 3 months ago
2003
IEEE
IESS
2007
Springer
15 years 3 months ago
2007
Springer
: The performance of feasibility tests is crucial in many applications. When using feasibility tests online only a limited amount of analysis time is available. Run-time efficiency...