CSDL - Proceedings A

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-xi

Foreword (PDF)

pp. xi

ASE 2009 Organization (PDF)

pp. xii

Program Committee (PDF)

pp. xiii-xv

Additional Reviewers (PDF)

pp. xvi

Sponsors (PDF)

pp. xvii

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

Werner Retschitzegger

Wieland Schwinger

pp. 3-14

PDF

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

pp. 15-25

PDF

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

pp. 29-39

PDF

A Quantum Algorithm for Software Engineering Search (Abstract)

Robert J. Hall

pp. 40-51

PDF

Understanding the Value of Software Engineering Technologies (Abstract)

pp. 52-61

PDF

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

Gustav Munkby

Sibylle Schupp

pp. 65-75

PDF

Evaluating the Accuracy of Fault Localization Techniques (Abstract)

Shaimaa Ali

James H. Andrews

Tamilselvi Dhandapani

Wantao Wang

pp. 76-87

PDF

Spectrum-Based Multiple Fault Localization (Abstract)

Rui Abreu

Peter Zoeteweij

Arjan J.C. van Gemund

pp. 88-99

PDF

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

Patrycja Wegrzynowicz

Krzysztof Stencel

pp. 103-110

PDF

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

David Kawrykow

Martin P. Robillard

pp. 111-122

PDF

Clone-Aware Configuration Management (Abstract)

pp. 123-134

PDF

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

pp. 137-148

PDF

Static Validation of C Preprocessor Macros (Abstract)

pp. 149-160

PDF

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

pp. 161-169

PDF

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

Sunny Wong

Yuanfang Cai

pp. 173-184

PDF

Explicit Concern-Driven Development with ArchEvol (Abstract)

Eugen C. Nistor

André van der Hoek

pp. 185-196

PDF

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

pp. 197-208

PDF

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

Rattikorn Hewett

Phongphun Kijsanayothin

pp. 211-220

PDF

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

Yu Lin

pp. 221-232

PDF

Adaptive Random Test Case Prioritization (Abstract)

pp. 233-244

PDF

Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences (Abstract)

pp. 247-256

PDF

Self-Repair through Reconfiguration: A Requirements Engineering Approach (Abstract)

Yiqiao Wang

John Mylopoulos

pp. 257-268

PDF

Model Checking of Domain Artifacts in Product Line Engineering (Abstract)

pp. 269-280

PDF

Alattin: Mining Alternative Patterns for Detecting Neglected Conditions (Abstract)

Suresh Thummalapenta

Tao Xie

pp. 283-294

PDF

Mining Temporal Specifications from Object Usage (Abstract)

Andrzej Wasylkowski

Andreas Zeller

pp. 295-306

PDF

Inferring Resource Specifications from Natural Language API Documentation (Abstract)

Tao Xie

pp. 307-318

PDF

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

pp. 321-331

PDF

Code Completion from Abbreviated Input (Abstract)

pp. 332-343

PDF

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

Walid Maalej

pp. 344-355

PDF

Mining Hierarchical Scenario-Based Specifications (Abstract)

David Lo

Shahar Maoz

pp. 359-370

PDF

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

Michael Pradel

Thomas R. Gross

pp. 371-382

PDF

Efficient Formalism-Independent Monitoring of Parametric Properties (Abstract)

Feng Chen

Patrick O'Neil Meredith

Dongyun Jin

Grigore Rosu

pp. 383-394

PDF

Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks (Abstract)

pp. 397-408

PDF

Mining Health Models for Performance Monitoring of Services (Abstract)

Mithun Acharya

Vamshidhar Kommineni

pp. 409-420

PDF

Inferring Method Effect Summaries for Nested Heap Regions (Abstract)

pp. 421-432

PDF

ReAssert: Suggesting Repairs for Broken Unit Tests (Abstract)

pp. 433-444

PDF

Watcharin Leungwattanakit

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

Cyrille Artho

pp. 447-458

PDF

State-Space Coverage Estimation (Abstract)

Ali Taleghani

Joanne M. Atlee

pp. 459-467

PDF

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

pp. 468-479

PDF

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

Jyotirmoy Deshmukh

E. Allen Emerson

Sriram Sankaranarayanan

pp. 480-491

PDF

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

pp. 495-499

PDF

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

pp. 500-504

PDF

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

pp. 505-509

PDF

Using String Distances for Test Case Prioritisation (Abstract)

pp. 510-514

PDF

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

Nuo Li

Tao Xie

pp. 515-519

PDF

Florence Balagtas-Fernandez

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

Heinrich Hussmann

pp. 520-524

PDF

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

Yuhoon Ki

Meongchul Song

pp. 525-529

PDF

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

pp. 530-534

PDF

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

Felipe Lalanne

Stephane Maag

Edgardo Montes de Oca

pp. 535-539

PDF

Adding Examples into Java Documents (Abstract)

pp. 540-544

PDF

Enhanced Automation for Managing Model and Metamodel Inconsistency (Abstract)

pp. 545-549

PDF

Generating Fixes from Object Behavior Anomalies (Abstract)

pp. 550-554

PDF

Service Substitution Revisited (Abstract)

Dionysis Athanasopoulos

Apostolos Zarras

Valerie Issarny

pp. 555-559

PDF

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

Ewen Denney

Bernd Fischer

pp. 560-564

PDF

Towards Augmenting Requirements Models with Preferences (Abstract)

pp. 565-569

PDF

Automated Comprehension Tasks in Software Exploration (Abstract)

Sandro Boccuzzo

Harald C. Gall

pp. 570-574

PDF

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

pp. 575-579

PDF

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

pp. 580-584

PDF

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

pp. 585-589

PDF

Static Typing for Ruby on Rails (Abstract)

pp. 590-594

PDF

Towards Automating Class-Splitting Using Betweenness Clustering (Abstract)

pp. 595-599

PDF

Reducing Features to Improve Bug Prediction (Abstract)

Shivkumar Shivaji

E. James Whitehead Jr.

Ram Akella

Sunghun Kim

pp. 600-604

PDF

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

Fang Yu

Muath Alkhalaf

Tevfik Bultan

pp. 605-609

PDF

Weaving Context Sensitivity into Test Suite Construction (Abstract)

Huai Wang

W.K. Chan

pp. 610-614

PDF

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

Junaid Haroon Siddiqui

Darko Marinov

Sarfraz Khurshid

pp. 615-619

PDF

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

Muhammad Zubair Malik

pp. 620-624

PDF

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

pp. 625-629

PDF

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

pp. 630-634

PDF

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

pp. 635-639

PDF

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

pp. 640-644

PDF

Lost in Translation: Forgetful Semantic Anchoring (Abstract)

Daniel Balasubramanian

Ethan K. Jackson

pp. 645-649

PDF

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

pp. 650-654

PDF

KaitoroBase: Visual Exploration of Software Architecture Documents (Abstract)

pp. 657-659

PDF

phpModeler - A Web Model Extractor (Abstract)

pp. 660-661

PDF

Zoltar: A Toolset for Automatic Fault Localization (Abstract)

Tom Janssen

Rui Abreu

Arjan J.C. van Gemund

pp. 662-664

PDF

Supporting Requirements Validation: The EuRailCheck Tool (Abstract)

pp. 665-667

PDF

Christoph M. Wintersteiger

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

pp. 668-670

PDF

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

Abdelouahed Gherbi

Ali Kanso

Ferhat Khendek

Abdelwahab Hamou-Lhadj

Maria Toeroe

pp. 671-673

PDF

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

pp. 674-676

PDF

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

Lingming Zhang

Ji Zhou

Dan Hao

Lu Zhang

Hong Mei

pp. 677-679

PDF

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

Deva Kumar Deeptimahanti

Muhammad Ali Babar

pp. 680-682

PDF

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

pp. 683-685

PDF

A Modelling Language for Interactive Web Applications (Abstract)

Jevon M. Wright

pp. 689-692

PDF

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

Massila Kamalrudin

pp. 693-697

PDF

A Holistic Approach to Mobile Service Provisioning (Abstract)

Andrew John Dennis Meads

pp. 698-702

PDF

Secure and Usable Requirements Engineering (Abstract)

Jose Romero-Mariona

pp. 703-706

PDF

Goal-Based Testing of Semantic Web Services (Abstract)

Muhammad Shaban Jokhio

pp. 707-711

PDF

Migration from Procedural Programming to Aspect Oriented Paradigm (Abstract)

Dipankar Majumdar

pp. 712-715

PDF

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

Graham D. Jenson

pp. 716-720

PDF

Author Index (PDF)

pp. 721-724

Publisher's Information (PDF)

pp. 726