725 search results - page 44 / 145 » Robustness testing for software components |
162
click to vote
ICST
2009
IEEE
15 years 5 days ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
118
click to vote
EDOC
2002
IEEE
15 years 7 months ago
2002
IEEE
The EC funded COMBINE Project has the objective of dramatically improving software development productivity by providing a holistic approach to component-based development of Ente...
138
click to vote
ITC
1996
IEEE
15 years 6 months ago
1996
IEEE
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...
119
click to vote
ICDIM
2007
IEEE
15 years 8 months ago
2007
IEEE
: A new video watermarking algorithm for access control is introduced. This method is content-dependent and uses the dual tree complex wavelet transform (DT CWT) to create a waterm...
129
click to vote
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...