2947 search results - page 59 / 590 » Analyzing Program Analyses |
135
click to vote
ICSM
1994
IEEE
15 years 6 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
157
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
102
click to vote
NDSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Host compromise is a serious computer security problem today. To better protect hosts, several Mandatory Access Control systems, such as Security Enhanced Linux (SELinux) and AppA...
106
Voted
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
109
click to vote
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...