917 search results - page 12 / 184 » Structural Testing of Component-Based Systems |
ICTAC
2004
Springer
14 years 28 days ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
ICTAC
2009
Springer
13 years 5 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
AUTOMATICA
2008
13 years 7 months ago
2008
: The standard prediction error framework provides many theoretical results under the assumption that the true system is in the model class. An important example is the expression ...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
ITC
2003
IEEE
14 years 25 days ago
2003
IEEE
Many of the semiconductor technologies are already facing limitations while new-generation data and telecommunication systems are implemented. Although in its infancy, superconduc...