12272 search results - page 309 / 2455 » Experimental program analysis |
177
click to vote
PTS
2010
15 years 4 months ago
2010
The addition of a cross-cutting concern in a program, through aspect weaving, has an impact on its existing behaviors. If test cases exist for the program, it is necessary to ident...
198
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
175
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
184
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
188
click to vote
NDSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...