Sciweavers

10715 search results - page 189 / 2143
» Proofs from Tests
Sort
View
93
Voted
TSD
2000
Springer
15 years 4 months ago
Testing a Word Analysis System for Reliable and Sense-Conveying Hyphenation and Other Applications
In this article, we present a test environment for a word analysis system that is used for reliable and sense-conveying hyphenation of German words. A crucial task is the hyphenati...
Martin Schönhacker, Gabriele Kodydek
71
Voted
TWC
2008
99views more  TWC 2008»
15 years 21 days ago
MAP-Based Code-Aided Hypothesis Testing
This contribution deals with code-aided hypothesis testing for wireless digital receivers. We provide a theoretical justification for a hypothesis testing algorithm that was previo...
Cédric Herzet, Henk Wymeersch, Frederik Sim...
145
Voted
TSE
2010
120views more  TSE 2010»
14 years 7 months ago
Efficient Software Verification: Statistical Testing Using Automated Search
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
Simon M. Poulding, John A. Clark
109
Voted
ICSM
2009
IEEE
15 years 7 months ago
Automated performance analysis of load tests
The goal of a load test is to uncover functional and performance problems of a system under load. Performance problems refer to the situations where a system suffers from unexpect...
Zhen Ming Jiang, Ahmed E. Hassan, Gilbert Hamann, ...
ICCAD
1998
IEEE
116views Hardware» more  ICCAD 1998»
15 years 5 months ago
On primitive fault test generation in non-scan sequential circuits
A method is presented for identifying primitive path-delay faults in non-scan sequential circuits and generating robust tests for all robustly testable primitive faults. It uses t...
Ramesh C. Tekumalla, Premachandran R. Menon