4719 search results - page 592 / 944 » Newtonian program analysis |
159
click to vote
SEFM
2006
IEEE
16 years 24 days ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
179
click to vote
ACL2
2006
ACM
16 years 23 days ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
174
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
This paper presents a new compile-time analysis that enables a testing methodology for white-box coverage testing of error recovery code (i.e., exception handlers) in Java web ser...
203
click to vote
CASSIS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
216
click to vote
RTCSA
2003
IEEE
16 years 2 days ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...