4299 search results - page 25 / 860 » Concurrent Test Generation |
ISCAS
1995
IEEE
13 years 12 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...
ACMSE
2006
ACM
14 years 2 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...
ISSRE
2008
IEEE
14 years 2 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...
KES
2008
Springer
13 years 8 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...
DAC
2005
ACM
14 years 9 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 ...