46 search results - page 2 / 10 » Test Coverage for Continuous and Hybrid Systems |
EMSOFT
2008
Springer
13 years 7 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
The observability of deterministic, discrete-time, switched, linear systems is considered. Depending on whether or not the modes are observed, and on whether the continuous state o...
CAV
2007
Springer
13 years 9 months ago
2007
Springer
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
RSP
2003
IEEE
13 years 10 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...