6800 search results - page 182 / 1360 » Testing with Functions as Specifications |
191
Voted
CSDA
2006
15 years 7 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...
214
Voted
ESOP
2012
Springer
14 years 2 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...
198
Voted
DAC
1996
ACM
15 years 11 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...
175
click to vote
ICSOC
2005
Springer
16 years 15 days 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....
163
click to vote
SERA
2005
Springer
16 years 14 days 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...