5855 search results - page 164 / 1171 » Test generation and minimization with |
158
click to vote
KBSE
2008
IEEE
16 years 27 days 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...
213
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...
153
click to vote
CAIP
2005
Springer
16 years 1 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...
171
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...
182
click to vote
ICASSP
2010
IEEE
15 years 6 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...