2673 search results - page 6 / 535 » Guided Static Analysis |
CC
2002
Springer
13 years 7 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
IWPC
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper presents an exploratory study of ten feature location techniques that use various combinations of textual, dynamic, and static analyses. Unlike previous studies, the ap...
EUROPAR
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
TVCG
2010
13 years 5 months ago
2010
—We develop an interactive analysis and visualization tool for probabilistic segmentation in medical imaging. The originality of our approach is that the data exploration is guid...
PASTE
2004
ACM
14 years 23 days ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...