ASE 2009 Organization (PDF)
Sponsors (PDF)
[Copyright notice] (PDF)
[Publisher's information] (PDF)
Table of contents (PDF)
Program Committee (PDF)
Additional reviewers (PDF)
Title Page i (PDF)
Title Page iii (PDF)
Foreword (PDF)
Type Inference for Soft-Error Fault-Tolerance Prediction (Abstract)
Spectrum-Based Multiple Fault Localization (Abstract)
Improving API Usage through Automatic Detection of Redundant Code (Abstract)
Clone-Aware Configuration Management (Abstract)
Static Validation of C Preprocessor Macros (Abstract)
Improving the Efficiency of Dependency Analysis in Logical Decision Models (Abstract)
Explicit Concern-Driven Development with ArchEvol (Abstract)
Adaptive Random Test Case Prioritization (Abstract)
Self-Repair through Reconfiguration: A Requirements Engineering Approach (Abstract)
Model Checking of Domain Artifacts in Product Line Engineering (Abstract)
Alattin: Mining Alternative Patterns for Detecting Neglected Conditions (Abstract)
Mining Temporal Specifications from Object Usage (Abstract)
Inferring Resource Specifications from Natural Language API Documentation (Abstract)
Code Completion from Abbreviated Input (Abstract)
Mining Health Models for Performance Monitoring of Services (Abstract)
ReAssert: Suggesting Repairs for Broken Unit Tests (Abstract)
Using String Distances for Test Case Prioritisation (Abstract)
An Open Source-Based Approach to Software Development Infrastructures (Abstract)
Adding Examples into Java Documents (Abstract)
Generating Fixes from Object Behavior Anomalies (Abstract)
Service Substitution Revisited (Abstract)
Automated Comprehension Tasks in Software Exploration (Abstract)
Static Typing for Ruby on Rails (Abstract)
Reducing Features to Improve Bug Prediction (Abstract)
Using Spectrum-Based Fault Localization for Test Case Grouping (Abstract)
Cluster-Based I/O-Efficient LTL Model Checking (Abstract)
Lost in Translation: Forgetful Semantic Anchoring (Abstract)
Zoltar: A Toolset for Automatic Fault Localization (Abstract)
A Tool for Attributed Goal-Oriented Requirements Analysis (Abstract)
Jtop: Managing JUnit Test Cases in Absence of Coverage Information (Abstract)
Automated Software Tool Support for Checking the Inconsistency of Requirements (Abstract)
Migration from Procedural Programming to Aspect Oriented Paradigm (Abstract)
Author Index (PDF)