1944 search results - page 33 / 389 » Coupling-based Integration Testing |
ASPDAC
2008
ACM
13 years 9 months ago
2008
ACM
This paper introduces GECOM technology, a novel test compression method with seamless integration of test GE
JAR
2006
13 years 7 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
13 years 11 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...
ICML
2007
IEEE
14 years 8 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
13 years 12 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...