86 search results - page 11 / 18 » Scenario-Driven Dynamic Analysis for Comprehending Large Sof... |
108
click to vote
JCS
2011
14 years 2 months ago
2011
Malicious software—so called malware—poses a major threat to the security of computer systems. The amount and diversity of its variants render classic security defenses ineffe...
118
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
104
Voted
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
LCPC
2005
Springer
15 years 5 months ago
2005
Springer
Tera-scale high-performance computing has enabled scientists to tackle very large and computationally challenging scientific problems, making the advancement of scientific discov...
217
click to vote
PLDI
2009
ACM
16 years 10 days ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...