3688 search results - page 466 / 738 » Static analysis of aspects |
201
click to vote
RAID
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
200
click to vote
ICDM
2006
IEEE
16 years 23 days ago
2006
IEEE
Mining graph data is an increasingly popular challenge, which has practical applications in many areas, including molecular substructure discovery, web link analysis, fraud detect...
197
click to vote
ISSRE
2006
IEEE
16 years 23 days ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
179
click to vote
KBSE
2006
IEEE
16 years 22 days ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
201
click to vote
ACMSE
2006
ACM
16 years 21 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...