612 search results - page 49 / 123 » Using Static Analysis to Improve Automatic Test Generation |
POLICY
2007
Springer
15 years 6 months ago
2007
Springer
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...
127
click to vote
CIVR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
The XSLT language is used to describe transformations of XML documents into other formats. The transformed XML documents conform to output schemas of the used XSLT stylesheet. Outp...
107
click to vote
AICCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
TCAD
2008
14 years 11 months ago
2008
Abstract--A key design constraint of circuits used in handheld devices is the power consumption, mainly due to battery life limitations. Adaptive power management (APM) techniques ...