12 search results - page 1 / 3 » Counterexample Guided Path Reduction for Static Program Anal... |
100
Voted
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
117
Voted
ATVA
2008
Springer
15 years 6 days ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
SCAM
2002
IEEE
15 years 3 months ago
2002
IEEE
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...
82
Voted
HPDC
2006
IEEE
15 years 4 months ago
2006
IEEE
Trace-driven simulation is an important technique used in the evaluation of computer architecture innovations. However using it for studying parallel computers and applications is...
102
Voted
ICALP
2010
Springer
15 years 5 days ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...