1399 search results - page 35 / 280 » Verification of Test Suites |
114
click to vote
ENTCS
2010
15 years 2 months ago
2010
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...
PTS
2004
15 years 3 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
109
click to vote
FATES
2006
Springer
15 years 5 months ago
2006
Springer
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
119
click to vote
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
Real-word applications often involve a binary hypothesis testing problem with one of the two hypotheses ill-defined and hard to be characterized precisely by a single measure. In ...
110
click to vote
PTS
2008
15 years 3 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...