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

by John Kodumal, Alex Aiken
Venue:In SAS ’05: Proceedings of the 12th International Static Analysis Symposium. London, United Kingdom