6014 search results - page 513 / 1203 » Structural Testing with Use Cases |
136
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we propose a Bayesian Pursuit algorithm for sparse representation. It uses both the simplicity of the pursuit algorithms and optimal Bayesian framework to determine...
114
click to vote
ICSM
2006
IEEE
16 years 24 days ago
2006
IEEE
Software development, testing, and maintenance tools must yield assurance information in a standardized form. Developers can use this information to argue that the software is ade...
179
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
151
Voted
ICCS
2004
Springer
16 years 4 days ago
2004
Springer
Our goal is to develop the capability for characterizing the three-dimensional geological structure and mechanical properties of individual sites and complete basins in earthquake-...
188
Voted
TVCG
2010
15 years 5 months ago
2010
—Software tools that make it easier for analysts to collaborate as a natural part of their work will lead to better analysis that is informed by more perspectives. We are interes...