1951 search results - page 36 / 391 » UML-Based integration testing |
144
click to vote
EDOC
2002
IEEE
15 years 10 months ago
2002
IEEE
The EC funded COMBINE Project has the objective of dramatically improving software development productivity by providing a holistic approach to component-based development of Ente...
137
click to vote
ICCAD
2001
IEEE
16 years 2 months ago
2001
IEEE
1 We propose an integrated technique for extensive optimization of the final test solution for System-on-Chip using Simulated Annealing. The produced results from the technique ar...
106
click to vote
ASPDAC
2008
ACM
15 years 7 months ago
2008
ACM
This paper introduces GECOM technology, a novel test compression method with seamless integration of test GE
144
click to vote
JAR
2006
15 years 5 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...
125
click to vote
ISSAC
1995
Springer
15 years 9 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...