3667 search results - page 315 / 734 » Software Rejuvenation - Modeling and Analysis |
191
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Current malware is often transmitted in packed or encrypted form to prevent examination by anti-virus software. To analyze new malware, researchers typically resort to dynamic c...
141
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...
160
click to vote
VMCAI
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
164
click to vote
ISSRE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
168
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...