4107 search results - page 139 / 822 » The Generalized Lambda Test |
186
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
159
click to vote
KBSE
2007
IEEE
16 years 22 days ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
146
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
169
click to vote
ISSTA
2004
ACM
15 years 12 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...
160
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...