3527 search results - page 214 / 706 » Test Automation in Practice |
143
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Sustained research on the problem of determining which genes are differentially expressed on the basis of microarray data has yielded a plethora of statistical algorit...
120
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
138
click to vote
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
The main objectives of Built-In Self Test (BIST) are the design of test pattern generator circuits which achieve the highest fault coverage, require the shortest sequence of test ...
130
click to vote
ENTCS
2008
15 years 4 months ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
128
click to vote
DATE
1998
IEEE
15 years 8 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...