6960 search results - page 115 / 1392 » Continuity Analysis of Programs |
152
Voted
ICSM
2008
IEEE
15 years 9 months ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
139
click to vote
CJ
2010
15 years 17 days ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
135
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
149
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...
105
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...