3889 search results - page 216 / 778 » The Use of Program Dependence Graphs in Software Engineering |
142
click to vote
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
145
click to vote
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Most approaches in reverse engineering literature generate a single view of a software system that restricts the scope of the reconstruction process. We propose an orchestrated se...
117
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
138
click to vote
QSIC
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
126
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...