[Front and back cover] (PDF)

[Title page i] (PDF)

[Title page iii] (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

Message from Chairs (PDF)

Conference Organization (PDF)

Program Committee (PDF)

Steering Committee (PDF)

Reviewers (PDF)

Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done (Abstract)

Collections Frameworks for Points-To Analysis (Abstract)

Building Useful Program Analysis Tools Using an Extensible Java Compiler (Abstract)

Impact Analysis in the Presence of Dependence Clusters Using Static Execute after in WebKit (Abstract)

Closed Symbolic Execution for Verifying Program Termination (Abstract)

Alias-Aware Propagation of Simple Pattern-Based Properties in PHP Applications (Abstract)

CAWDOR: Compiler Assisted Worm Defense (Abstract)

Folding Repeated Instructions for Improving Token-Based Code Clone Detection (Abstract)

Evolution of Near-Miss Clones (Abstract)

Optimizing Expression Selection for Lookup Table Program Transformation (Abstract)

Cross-Language Code Analysis and Refactoring (Abstract)

When Does a Refactoring Induce Bugs? An Empirical Study (Abstract)

Aucsmith-Like Obfuscation of Java Bytecode (Abstract)

AccessAnalysis: A Tool for Measuring the Appropriateness of Access Modifiers in Java Systems (Abstract)

Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs (Abstract)

Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK (Abstract)

InputTracer: A Data-Flow Analysis Tool for Manual Program Comprehension of x86 Binaries (Abstract)

Combining Conceptual and Domain-Based Couplings to Detect Database and Code Dependencies (Abstract)

What Does Control Flow Really Look Like? Eyeballing the Cyclomatic Complexity Metric (Abstract)

Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases (Abstract)

Improving Bug Location Using Binary Class Relationships (Abstract)

On the Use of Stemming for Concern Location and Bug Localization in Java (Abstract)

Author index (PDF)

[Publisher's information] (PDF)