5570 search results - page 163 / 1114 » Applications of Fair Testing |
196
click to vote
MASCOTS
2004
15 years 7 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...
146
click to vote
DAC
2001
ACM
16 years 7 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"...
156
click to vote
ISBI
2008
IEEE
16 years 7 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...
161
click to vote
ISSTA
2009
ACM
16 years 25 days 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...
135
click to vote
DATE
2006
IEEE
16 years 11 days 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...