101
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
KDD
2001
ACM
16 years 3 months ago
2001
ACM