4299 search results - page 25 / 860 » Concurrent Test Generation |
104
click to vote
ISCAS
1995
IEEE
15 years 5 months ago
1995
IEEE
: Configurations of adders and registers, which are available in tnany datapaths, can be utilized to generate pattems and to compact test responses. Thispaper unalyzes tlie patiern...
97
Voted
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
Like in other fields, computer products (applications, hardware, etc.), before being marketed, require some level of testing to verify whether they meet their design and function...
108
click to vote
ISSRE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
134
Voted
KES
2008
Springer
15 years 2 months ago
2008
Springer
Software testing is an integral part of software engineering. Lack of testing often leads to disastrous consequences including loss of data, fortunes, and even lives. In order to e...
146
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...