4299 search results - page 199 / 860 » Concurrent Test Generation |
158
click to vote
TSP
2010
14 years 10 months ago
2010
Sparse graphical models have proven to be a flexible class of multivariate probability models for approximating high-dimensional distributions. In this paper, we propose techniques...
123
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...
122
click to vote
AMOST
2005
ACM
15 years 9 months ago
2005
ACM
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
116
click to vote
TAP
2008
Springer
15 years 3 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
117
click to vote
ICCD
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper discusses an automated method to build scan chains at the register-transfer level (RTL) for powerconstrained at-speed testing. By analyzing a circuit at the RTL, where ...