181 search results - page 23 / 37 » Using Static Analysis to Find Bugs |
ASPLOS
2010
ACM
15 years 5 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
101
Voted
ACCV
1998
Springer
15 years 3 months ago
1998
Springer
One of the important problems related to image analysis and compression is finding repeated structure. Although the focus of this paper is developing digital geometric models and m...
78
Voted
IWPC
2009
IEEE
15 years 5 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
72
Voted
SAC
2008
ACM
14 years 10 months ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
97
Voted
CAV
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...