1951 search results - page 36 / 391 » UML-Based integration testing |
119
Voted
EDOC
2002
IEEE
15 years 7 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...
115
Voted
ICCAD
2001
IEEE
15 years 11 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...
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
115
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 6 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...