2774 search results - page 327 / 555 » Query-Driven Program Testing |
4OR
2005
15 years 2 months ago
2005
Abstract In this paper, we examine the sensitivity of trust-region algorithms on the parameters related to the step acceptance and update of the trust region. We show, in the conte...
104
click to vote
TOPLAS
2008
15 years 2 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
123
Voted
JUCS
2007
15 years 2 months ago
2007
: Multi-processor systems have become the standard in current computer architectures. Software developers have the possibility to take advantage of the additional computing power a...
131
Voted
CVPR
2006
IEEE
16 years 4 months ago
2006
IEEE
Resolving local ambiguities is an important issue for shape from shading (SFS). Pixel ambiguities of SFS can be eliminated by propagation approaches. However, patch ambiguities st...
134
Voted
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...