6800 search results - page 182 / 1360 » Testing with Functions as Specifications |
132
Voted
CSDA
2006
15 years 2 months ago
2006
The implementation of a recently suggested class of structural change tests, which test for parameter instability in general parametric models, in the R language for statistical c...
149
Voted
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...
125
click to vote
DAC
1996
ACM
15 years 6 months ago
1996
ACM
We propose a low-overhead scan design methodology which employs a new test point insertion technique to establish scan paths through the functional logic. The technique re-uses th...
109
Voted
ICSOC
2005
Springer
15 years 8 months ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....
103
click to vote
SERA
2005
Springer
15 years 8 months ago
2005
Springer
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...