872 search results - page 79 / 175 » UML-based design test generation |
124
click to vote
HASKELL
2007
ACM
15 years 7 months ago
2007
ACM
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
128
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
At-speed testing of GHz processors using external testers may not be technically and economically feasible. Hence, there is an emerging need for low-cost, high-quality self-test m...
124
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
—The stationarity hypothesis is largely and implicitly assumed when designing classifiers (especially those for industrial applications) but it does not generally hold in practic...
123
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
134
click to vote
KBSE
1995
IEEE
15 years 7 months ago
1995
IEEE
Numerical design optimization algorithms are highly sensitive to the particular formulation of the optimization problems they are given. The formulation of the search space, the o...