2695 search results - page 176 / 539 » The Complexity of Forecast Testing |
150
Voted
ECMDAFA
2007
Springer
15 years 10 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
135
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
134
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Service-orientation has been proposed as a way of facilitating the development and integration of increasingly complex and heterogeneous system components. However, there are many...
149
click to vote
ASM
2005
ASM
15 years 10 months ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
115
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
The clock signal and clock skew become more and more important for the circuit performance. Since there are salient shortcomings in the conventional topology construction algorith...