2312 search results - page 129 / 463 » Invariance in Property Testing |
121
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
115
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...
161
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
152
click to vote
BMVC
2010
15 years 2 months ago
2010
The paper proposes a new method to perform foreground detection by means of background modeling using the tensor concept. Sometimes, statistical modelling directly on image values...
195
click to vote
JMIV
1998
15 years 3 months ago
1998
The main task of digital image processing is to recognize properties of real objects based on their digital images. These images are obtained by some sampling device, like a CCD c...