Static Analysis

Refinement-Base Context-Sensitive Points-To Analysis for Java

Author(s): Manu Sridharan, Rastislav Bodik
Venue: ACM SIGPLAN PLDI
Date: 2006

3
Quality

What developers want and need from program analysis: An empirical study

Author(s): Christian Bird, Maria Christakis
Venue: Automated Software Engineering (ASE)
Date: 3-7 Sept. 2016

3
Quality

Flow-insensitive Static Analysis for Detecting Integer Anomalies in Programs

Author(s): Dipanwita Sarkar, Muthu Jagannathan, Jay Thigarajan, Ramanathan Venkatapathy
Venue: IASTED Conference on Software Engineering
Date: 2007

3
Quality

View Infinity: A Zoomable Interface for Feature-Oriented Software Development

Author(s): Janet Feigenspan, Mathias Frisch, Christian Kästner, Sven Apel, Raimund Dachselt
Venue: ICSE 11
Date: 2011

3
Quality

Why Don’t Software Developers Use Static Analysis Tools to Find Bugs?

Author(s): B. Johnson, Y. Song, E. Murphy-Hill, and R. Bowdidge
Venue: 2013 35th International Conference on Software Engineering (ICSE)
Date: 18-26 May 2013

2
Quality