651 search results - page 56 / 131 » Precise Analysis of Java Programs Using JOANA |
118
click to vote
ACTA
2005
15 years 2 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
117
click to vote
CSMR
2007
IEEE
15 years 8 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
124
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
108
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...