5855 search results - page 164 / 1171 » Test generation and minimization with |
187
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input prog...
243
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
170
click to vote
CAIP
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. In this paper, we present an experimental work using a MOCAP system and an iterative minimization technique to compute damping parameters and to measure their contributio...
185
click to vote
CDES
2006
15 years 8 months ago
2006
- Most of the direct-cover Boolean minimization techniques use a four step cyclic algorithm. First, the algorithm chooses an On-minterm; second, it generates the set of prime impli...
201
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
The problem of minimizing the rank of a matrix subject to linear equality constraints arises in applications in machine learning, dimensionality reduction, and control theory, and...