4107 search results - page 168 / 822 » The Generalized Lambda Test |
139
click to vote
EOR
2008
15 years 6 months ago
2008
Process capability indices provide numerical measures on whether a process conforms to the defined manufacturing capability prerequisite. These have been successfully applied by c...
147
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
209
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
168
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Reseeding is used to improve fault coverage of pseudorandom testing. The seed corresponds to the initial state of the PRPG before filling the scan chain. In this paper, we present...
168
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...