4107 search results - page 133 / 822 » The Generalized Lambda Test |
194
click to vote
ICTAC
2009
Springer
15 years 4 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
183
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
217
click to vote
ESE
2006
15 years 6 months ago
2006
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...
164
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
We present an approach for describing tests using nondeterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-determinist...
173
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...