962 search results - page 74 / 193 » Input validation analysis and testing |
149
click to vote
RE
2008
Springer
15 years 1 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
199
Voted
JORS
2010
14 years 9 months ago
2010
Monte Carlo simulation is a common method for studying the volatility of market traded instruments. It is less employed in retail lending, because of the inherent nonlinearities in...
122
Voted
CVPR
2001
IEEE
16 years 4 months ago
2001
IEEE
Representing images with layers has many important applications, such as video compression, motion analysis, and 3D scene analysis. This paper presents an approach to reliably ext...
107
Voted
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
148
click to vote
PAMI
2008
15 years 2 months ago
2008
Conventional photometric stereo recovers one normal direction per pixel of the input image. This fundamentally limits the scale of recovered geometry to the resolution of the input...