1944 search results - page 33 / 389 » Coupling-based Integration Testing |
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
This paper introduces GECOM technology, a novel test compression method with seamless integration of test GE
112
click to vote
JAR
2006
15 years 2 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
ISSAC
1995
Springer
15 years 5 months ago
1995
Springer
We present an efficient algorithm for testing whether a given integral polynomial has two distinct roots a, B such that fflp is a root of unity. The test is based on results obtai...
107
click to vote
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
We address classification problems for which the training instances are governed by a distribution that is allowed to differ arbitrarily from the test distribution--problems also ...
VTS
2000
IEEE
15 years 6 months ago
2000
IEEE
Testing of high performance integrated circuits is becoming increasingly a challenging task owing to high clock frequencies. Often testers are not able to test such devices due to...