46 search results - page 1 / 10 » Test Coverage for Continuous and Hybrid Systems |
CAV
2007
Springer
14 years 1 months ago
2007
Springer
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
GECCO
2009
Springer
14 years 7 days ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
SERP
2007
13 years 9 months ago
2007
- Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...