Sciweavers

2686 search results - page 116 / 538
» Testing metric properties
Sort
View
101
Voted
AML
2010
88views more  AML 2010»
15 years 28 days ago
Relativized Schnorr tests with universal behavior
A Schnorr test relative to some oracle A may informally be called "universal" if it covers all Schnorr tests. Since no true universal Schnorr test exists, such an A cann...
Nicholas Rupprecht
ICST
2009
IEEE
14 years 10 months ago
Euclide: A Constraint-Based Testing Framework for Critical C Programs
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
Arnaud Gotlieb
88
Voted
ICASSP
2008
IEEE
15 years 7 months ago
Bootstrap tests for the time constancy of multifractal attributes
On open and controversial issue in empirical data analysis is to decide whether scaling and multifractal properties observed in empirical data actually exist, or whether they are ...
Herwig Wendt, Patrice Abry
108
Voted
CHI
2007
ACM
16 years 1 months ago
Usability testing: what have we overlooked?
For more than a decade, the number of usability test participants has been a major theme of debate among usability practitioners and researchers keen to improve usability test per...
Gitte Lindgaard, Jarinee Chattratichart
DATE
2007
IEEE
155views Hardware» more  DATE 2007»
15 years 7 months ago
Design fault directed test generation for microprocessor validation
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V...