957 search results - page 106 / 192 » Modular Static Program Analysis |
122
Voted
ISORC
2008
IEEE
15 years 8 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
114
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
118
click to vote
CGO
2008
IEEE
15 years 8 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
107
click to vote
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...
124
click to vote
ISSRE
2006
IEEE
15 years 8 months 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...