10396 search results - page 410 / 2080 » Testing Web Applications |
183
click to vote
MR
2006
15 years 7 months ago
2006
Commercial-off-the-shelf (COTS) area array packaging technologies in high reliability versions are now being considered for applications, including use in a number of NASA electro...
229
click to vote
MASCOTS
2004
15 years 9 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...
174
click to vote
DAC
2001
ACM
16 years 8 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"...
181
click to vote
ISBI
2008
IEEE
16 years 8 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...
199
click to vote
ISSTA
2009
ACM
16 years 2 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...