4079 search results - page 359 / 816 » Differential Testing for Software |
132
click to vote
BIRTHDAY
2007
Springer
15 years 11 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...
128
click to vote
ITCC
2005
IEEE
15 years 10 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...
124
Voted
APSEC
2003
IEEE
15 years 10 months 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....
206
click to vote
AMS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
132
click to vote
LREC
2010
15 years 6 months ago
2010
This paper describes a software toolkit for the interactive display and analysis of automatically extracted or manually derived annotation features of visual and audio data. It ha...