4299 search results - page 64 / 860 » Concurrent Test Generation |
114
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
There has recently been a great deal of interest in search? based test data generation, with many local and global search algorithms being proposed. However, to date, there has be...
219
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
124
click to vote
SAC
2006
ACM
15 years 2 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
127
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
119
click to vote
ICS
1998
Tsinghua U.
15 years 6 months ago
1998
Tsinghua U.
Parallel computers are now commonly used for computational science and engineering, and many applications in these areas use random number generators. For some applications, such ...