1018 search results - page 29 / 204 » Generative unbinding of names |
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
A novel background generation method based on nonparametric background model is presented for background subtraction. We introduce a new model, named as effect components descript...
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Although biometrics have garnered significant interest as a source of entropy for cryptographic key generation, recent studies indicate that many biometric modalities may not actu...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...