Integration of generic program analysis tools into a software development environment. - Erica Glynn; Ian J. Hayes; Anthony MacDonald (ACSC, 2005)