3547 search results - page 321 / 710 » Pseudo-Exhaustive Testing for Software |
170
click to vote
IROS
2008
IEEE
16 years 2 months ago
2008
IEEE
— Intense efforts to define a common structure in robotic applications, both from a conceptual and from an implementation point of view, have been carried out in the last years ...
189
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a new technique that enables software recovery in legacy applications by retrofitting exception-handling capabilities, error virtualization using rescue points. We int...
184
click to vote
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
186
click to vote
ITCC
2005
IEEE
16 years 1 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
166
click to vote
APSEC
2003
IEEE
16 years 26 days ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....