International Static Analysis Symposium (13th 2006 Seoul, Korea)