905 search results - page 69 / 181 » Code Generator Testing in Practice |
CSREAESA
2008
13 years 11 months ago
2008
A group testing-based BIST technique to identify faulty hard cores in FPGA devices is presented. The method provides for isolation of faults in embedded cores as demonstrated by ex...
ISSRE
2003
IEEE
14 years 3 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
ICDCS
2007
IEEE
14 years 4 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
COMPSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
Enterprise systems are load tested for every added feature, software updates and periodic maintenance to ensure that the performance demands on system quality, availability and res...
NCA
2002
IEEE
13 years 9 months ago
2002
IEEE
One of the key problems in forming a smooth model from input-output data is the determination of which input variables are relevant in predicting a given output. In this paper we ...