4725 search results - page 94 / 945 » Dependence-Based Program Analysis |
84
Voted
ISSTA
1996
ACM
15 years 6 months ago
1996
ACM
91
Voted
SAS
1997
Springer
15 years 6 months ago
1997
Springer
84
Voted
LPAR
1993
Springer
15 years 6 months ago
1993
Springer
131
Voted
HOTOS
2007
IEEE
15 years 6 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...