4722 search results - page 340 / 945 » Representation-independent program analysis |
151
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
138
click to vote
CLUSTER
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Large-scale parallel applications often produce immense quantities of data that need to be analyzed. To avoid performing repeated, costly disk accesses, analysis of larg...
163
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
124
click to vote
ICSEA
2006
IEEE
16 years 20 days ago
2006
IEEE
— In today software industry defect tracking tools either help to improve an organization’s software development process or an individual’s software development process. No d...
172
click to vote
ISSRE
2006
IEEE
16 years 19 days ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...