4107 search results - page 167 / 822 » The Generalized Lambda Test |
121
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
197
click to vote
ESEC
1993
Springer
15 years 10 months ago
1993
Springer
We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...
158
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
In this research, we compare four different evaluation methods in coevolution on the Majority Function problem. The size of the problem is selected such that an evaluation against...
156
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
144
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
Controlled experiments in web application testing use seeded faults to evaluate the effectiveness of the testing technique. However, the classes of seeded faults are not always ex...