1241 search results - page 27 / 249 » Path-oriented random testing |
117
Voted
DAC
2005
ACM
16 years 21 days ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
ICST
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
CP
2000
Springer
15 years 4 months ago
2000
Springer
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis o...
ICECCS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents an approach for generating test data for unit-level, and possibly integration-level, testing based on sampling over intervals of the input probability distribu...
105
click to vote
CIKM
2007
Springer
15 years 3 months ago
2007
Springer
Information retrieval (IR) researchers commonly use three tests of statistical significance: the Student's paired t-test, the Wilcoxon signed rank test, and the sign test. Ot...