2026 search results - page 156 / 406 » Tools for Test Case Generation |
142
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
111
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
143
click to vote
VTS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Higher chip densities and the push for higher performance have continued to drive design needs. Transition delay fault testing has become the preferred method for ensuring thes...
138
click to vote
ISI
2008
Springer
15 years 3 months ago
2008
Springer
We present a generative model for determining the information content of a message without analyzing the message content. Such a tool is useful for automated analysis of the vast ...
133
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...