1288 search results - page 209 / 258 » Visual Generalization in Programming by Example |
DAC
2002
ACM
16 years 3 months ago
2002
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed test of high-speed microprocessors using low-cost testers. We explore the fault diagnos...
109
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
SIGSOFT
2001
ACM
16 years 3 months ago
2001
ACM
There is a growing interest in empirical study in software engineering, both for validating mature technologies and for guiding improvements of less-mature technologies. This pape...
206
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
132
click to vote
SIGCSE
2009
ACM
16 years 2 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...