3424 search results - page 64 / 685 » Automated Testing of Classes |
172
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
142
click to vote
ICRA
2006
IEEE
16 years 1 days ago
2006
IEEE
Abstract— The vibratory bowl feeder remains the most common approach to the automated feeding (orienting) of industrial parts. We study the algorithmic design of devices on the b...
120
click to vote
MSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Tools have been developed that enable in-circuit testing of content processing hardware. The tools automate test and verification of new circuits using data from a predefined te...
157
click to vote
ISSRE
2005
IEEE
15 years 11 months ago
2005
IEEE
A classic question in software development is “H ow much testing is enough?” Aside from dynamic coverage-based metrics, there are few measures that can be used to provide guid...
154
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...