5570 search results - page 163 / 1114 » Applications of Fair Testing |
155
click to vote
MASCOTS
2004
15 years 5 months ago
2004
A simple, tunable, synthetic benchmark with a performance directly related to applications would be of great benefit to the scientific computing community. In this paper, we prese...
119
click to vote
DAC
2001
ACM
16 years 4 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
127
Voted
ISBI
2008
IEEE
16 years 4 months ago
2008
IEEE
We consider the problem of sequential hypothesis testing when the exact pdfs are not known but instead a set of iid samples are used to describe the hypotheses. We modify the clas...
121
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
105
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper, we present a test generation framework for testing of quantum cellular automata (QCA) circuits. QCA is a nanotechnology that has attracted significant recent at...