182 search results - page 1 / 37 » An ASIS-Based Static Analysis Tool for High-Integrity System... |
SIGADA
1998
Springer
13 years 11 months ago
1998
Springer
RTCSA
2003
IEEE
14 years 3 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...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
GI
2004
Springer
14 years 6 days ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
WOMPAT
2004
Springer
14 years 5 days ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...