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)

A Petri Net Based Debugging Environment for QVT Relations (Abstract)

Validating Automotive Control Software Using Instrumentation-Based Verification (Abstract)

Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering (Abstract)

A Quantum Algorithm for Software Engineering Search (Abstract)

Understanding the Value of Software Engineering Technologies (Abstract)

Type Inference for Soft-Error Fault-Tolerance Prediction (Abstract)

Evaluating the Accuracy of Fault Localization Techniques (Abstract)

Spectrum-Based Multiple Fault Localization (Abstract)

Towards a Comprehensive Test Suite for Detectors of Design Patterns (Abstract)

Improving API Usage through Automatic Detection of Redundant Code (Abstract)

Clone-Aware Configuration Management (Abstract)

SMT-Based Bounded Model Checking for Embedded ANSI-C Software (Abstract)

Static Validation of C Preprocessor Macros (Abstract)

Looper: Lightweight Detection of Infinite Loops at Runtime (Abstract)

Improving the Efficiency of Dependency Analysis in Logical Decision Models (Abstract)

Explicit Concern-Driven Development with ArchEvol (Abstract)

Design Rule Hierarchies and Parallelism in Software Development Tasks (Abstract)

Automated Test Order Generation for Software Component Integration Testing (Abstract)

A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs (Abstract)

Adaptive Random Test Case Prioritization (Abstract)

Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences (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)

Specification and Control of Interface Responses to User Input in Rich Internet Applications (Abstract)

Code Completion from Abbreviated Input (Abstract)

Task-First or Context-First? Tool Integration Revisited (Abstract)

Mining Hierarchical Scenario-Based Specifications (Abstract)

Automatic Generation of Object Usage Specifications from Large Method Traces (Abstract)

Efficient Formalism-Independent Monitoring of Parametric Properties (Abstract)

Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks (Abstract)

Mining Health Models for Performance Monitoring of Services (Abstract)

Inferring Method Effect Summaries for Nested Heap Regions (Abstract)

ReAssert: Suggesting Repairs for Broken Unit Tests (Abstract)

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time (Abstract)

State-Space Coverage Estimation (Abstract)

A Framework for State-Space Exploration of Java-Based Actor Programs (Abstract)

Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients (Abstract)

Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking (Abstract)

A Formal Syntax for Probabilistic Timed Property Sequence Charts (Abstract)

Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy (Abstract)

Using String Distances for Test Case Prioritisation (Abstract)

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions (Abstract)

A Methodology and Framework to Simplify Usability Analysis of Mobile Applications (Abstract)

An Open Source-Based Approach to Software Development Infrastructures (Abstract)

EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements (Abstract)

An Automated Passive Testing Approach for the IMS PoC Service (Abstract)

Adding Examples into Java Documents (Abstract)

Enhanced Automation for Managing Model and Metamodel Inconsistency (Abstract)

Generating Fixes from Object Behavior Anomalies (Abstract)

Service Substitution Revisited (Abstract)

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software (Abstract)

Towards Augmenting Requirements Models with Preferences (Abstract)

Automated Comprehension Tasks in Software Exploration (Abstract)

Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software (Abstract)

Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development (Abstract)

Automating the Implementation of Analysis Concerns in Workflow Applications (Abstract)

Static Typing for Ruby on Rails (Abstract)

Towards Automating Class-Splitting Using Betweenness Clustering (Abstract)

Reducing Features to Improve Bug Prediction (Abstract)

Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses (Abstract)

Weaving Context Sensitivity into Test Suite Construction (Abstract)

Optimizing a Structural Constraint Solver for Efficient Software Checking (Abstract)

A Case for Automated Debugging Using Data Structure Repair (Abstract)

Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework (Abstract)

Using Spectrum-Based Fault Localization for Test Case Grouping (Abstract)

Cluster-Based I/O-Efficient LTL Model Checking (Abstract)

A Linear Programming Approach for Automated Localization of Multiple Faults (Abstract)

Lost in Translation: Forgetful Semantic Anchoring (Abstract)

An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software (Abstract)

KaitoroBase: Visual Exploration of Software Architecture Documents (Abstract)

phpModeler - A Web Model Extractor (Abstract)

Zoltar: A Toolset for Automatic Fault Localization (Abstract)

Supporting Requirements Validation: The EuRailCheck Tool (Abstract)

Loopfrog: A Static Analyzer for ANSI-C Programs (Abstract)

A Tool Suite for the Generation and Validation of Configurations for Software Availability (Abstract)

A Tool for Attributed Goal-Oriented Requirements Analysis (Abstract)

Jtop: Managing JUnit Test Cases in Absence of Coverage Information (Abstract)

An Automated Tool for Generating UML Models from Natural Language Requirements (Abstract)

AOWP: Web-Specific AOP Framework for PHP (Abstract)

A Modelling Language for Interactive Web Applications (Abstract)

Automated Software Tool Support for Checking the Inconsistency of Requirements (Abstract)

A Holistic Approach to Mobile Service Provisioning (Abstract)

Secure and Usable Requirements Engineering (Abstract)

Goal-Based Testing of Semantic Web Services (Abstract)

Migration from Procedural Programming to Aspect Oriented Paradigm (Abstract)

Improving Component Dependency Resolution with Soft Constraints, Validation and Verification (Abstract)

Author Index (PDF)