Robert M. Fuhrer. Leveraging Static Analysis in an IDE. In Ralf Lämmel, João Saraiva, Joost Visser, editors, Generative and Transformational Techniques in Software Engineering IV, International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers. Volume 7680 of Lecture Notes in Computer Science, pages 101-158, Springer, 2011. [doi]
Abstract is missing.