10715 search results - page 283 / 2143 » Proofs from Tests |
176
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...
185
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
System-on-chip (SOC) design methodology is becoming the trend in the IC industry. Integrating reusable cores from multiple sources is essential in SOC design, and different design...
170
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Spreadsheet languages are widely used by a variety of end users to perform many important tasks. Despite their perceived simplicity, spreadsheets often contain faults. Furthermore...
116
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
— In the face of increased process variations, at-speed manufacturing test is necessary to detect subtle delay defects. This procedure necessarily tests chips at a slightly highe...
185
Voted
QSIC
2005
IEEE
16 years 9 days ago
2005
IEEE
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...