Banshee: A scalable constraint-based analysis toolkit (2005)

by John Kodumal, Alex Aiken
Venue:Static Analysis (SAS ’05), 12th International Symposium