Static Analysis

It’s not a Bug, it’s a Feature: How Misclassification Impacts Bug Prediction

Author(s): Kim Herzig, Sascha Just, Andreas Zeller
Venue: International Conference on Software Engineering
Date: 2013

5
Quality

Automated Detection of Client-State Manipulation Vulnerabilities

Author(s): Anders Møller, Mathias Schwarz
Venue: Transactions on Software Engineering and Methodology
Date: August 2014

5
Quality

Local versus Global Lessons for Defect Prediction and Effort Estimation

Author(s): Tim Menzies, Andrew Butcher, David Cok, Andrian Marcus, Lucas Layman, Forrest Shull, Burak Turhan, Thomas Zimmermann
Venue: Transactions on Software Engineering
Date: 2013

5
Quality

Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes

Author(s): Mijung Kim, Saurabh Sinha, Carsten G¨org, Hina Shah, Mary Jean Harrold, and Mangala Gowri Nanda
Venue: 2010 Third International Conference on Software Testing, Verification and Validation
Date: 2010

4
Quality

Extending static analysis by mining project-specific rules

Author(s): Boya Sun, Gang Shu, Andy Podgurski, Brain Robinson
Venue: International Conference on Software Engineering
Date: 2012

4
Quality

How We Refactor, and How We Know It

Author(s): Emerson Murphy-Hill, Chris Parnin, and Andrew P. Black
Venue: IEEE transactions on software engineering
Date: 2012

4
Quality

Checking for Race Conditions in File Accesses

Author(s): Matt Bishop, Michael Dilger
Venue: Computing Systems
Date: 1996

3
Quality

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions

Author(s): Dawson Engler, Benjamin Chelf, Andy Chou, Seth Hallem
Venue: USENIX OSDI
Date: 2000

3
Quality

Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis

Author(s): X. Wang, L. Zhang, T. Xie, H. Mei, J. Sun
Venue: IEEE Transactions on Software Engineering
Date: 2013

3
Quality

Effective Static Race Detection for Java

Author(s): Mayur Naik, Alex Aiken, John Whaley
Venue: ACM SIGPLAN Conference on Programming Language Design and Implementation
Date: 2006

3
Quality