Preface |
Conference Committee |
International Program Committee |
Additional Reviewers |
Regular Papers |
Requirements, Interfaces and Groupware |
An Empirical Study on Groupware Support for Software Inspection Meetings / P. Grunbacher ; M. Halling ; S. Biffl |
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach / M. Sabetzadeh ; S. Easterbrook |
Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications / A. Strelzoff ; L. Petzold |
Testing I |
Fault Localization with Nearest Neighbor Queries / M. Renieris ; S. Reiss |
Tool-Assisted Unit Test Selection Based on Operational Violations / T. Xie ; D. Notkin |
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants / N. Gupta ; Z. Heidepriem |
Software Architectures and Distributed Systems |
DeCo: A Declarative Coordination Framework for Scientific Model Federations / D. Herington ; D. Stotts |
A Programmable Client-Server Model: Robust Extensibility via DSLs / L. Reveillere ; C. Consel |
Specification and Synthesis of Hybrid Automata for Physics-Based Animation / T. Ellman |
Model Checking |
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores / I. Shlyakhter ; R. Seater ; M. Sridharan ; M. Taghdiri ; D. Jackson |
Parallel Breadth-First Search LTL Model-Checking / J. Barnat ; L. Brim ; J. Chaloupka |
Automated Environment Generation for Software Model Checking / O. Tkachuk ; M. Dwyer ; C. Pasareanu |
Software Components |
Aspectizing Server-Side Distribution / E. Tilevich ; S. Urbanski ; Y. Smaragdakis ; M. Fleury |
Automating Component Adaptation for Reuse / B. Morel ; P. Alexander |
Model-Based Verification of Web Service Compositions / H. Foster ; S. Uchitel ; J. Magee ; J. Kramer |
Testing II |
What Test Oracle Should I Use for Effective GUI Testing? / A. Memon ; I. Banerjee ; A. Nagarajan |
A Type System for Statically Detecting Spreadsheet Errors / Y. Ahmad ; T. Antoniu ; S. Goldwater ; S. Krishnamurthi |
Testing Database Transaction Concurrency / Y. Deng ; P. Frankl ; Z. Chen |
Software Evolution and Maintenance |
On the Automatic Evolution of an OS Kernel Using Temporal Logic and AOP / R. Aberg ; J. Lawall ; M. Sudholt ; G. Muller ; A. Le Meur |
Unspeculation / N. Snavely ; S. Debray ; G. Andrews |
SPQR: Flexible Automated Design Pattern Extraction from Source Code / J. Smith |
Automatically Inferring Concern Code from Program Investigation Activities / M. Robillard ; G. Murphy |
Short Papers |
A Model-Driven Approach to Non-Functional Analysis of Software Architectures / J. Skene ; W. Emmerich |
Extending Diagnosis to Debug Programs with Exceptions / W. Mayer ; M. Stumptner |
Generating Design Pattern Detectors from Pattern Specifications / D. Heuzeroth ; W. Lowe ; S. Mandel |
Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks / L. Guo ; B. Cukic ; H. Singh |
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models / P. Bunus ; P. Fritzson |
Automatic Generation of Content Management Systems from EER-Based Specifications / S. Vigna |
Automated Requirements-Based Generation of Test Cases for Product Families / C. Nebut ; S. Pickin ; Y. Le Traon ; J. Jezequel |
XRay Views: Understanding the Internals of Classes / G. Arevalo ; S. Ducasse ; O. Nierstrasz |
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations / C. Turner ; T. Graham ; C. Wolfe ; J. Ball ; D. Holman ; H. Stewart ; A. Ryman |
A Pragmatic Study of Binary Class Relationships / Y. Gueheneuc ; H. Albin-Amiot |
The Features Signatures of Evolving Programs / D. Licata ; C. Harris |
Test Suite Design for Code Generation Tools / I. Sturmer ; M. Conrad |
Theoretical Foundations of Updating Systems / H. Harris ; M. Ryan |
An Incremental Approach to Task-Specific Information Delivery in SE Processes / H. Holz |
Architecture Style-Based Calculi for Non-functional Properties / D. Wile |
Certifying Measurement Unit Safety Policy / G. Rosu ; F. Chen |
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search / E. Diaz ; J. Tuya ; R. Blanco |
Model Checking Software Requirement Specifications Using Domain Reduction Abstraction / Y. Choi ; M. Heimdahl |
An Approach for Tracing and Understanding Asynchronous Architectures / S. Hendrickson ; E. Dashofy ; R. Taylor |
Refactoring C with Conditional Compilation / A. Garrido ; R. Johnson |
A Java Component Model for Evolving Software Systems / M. Silva ; P. Guerra ; C. Rubira |
Depiction and Playout of Multi-threaded Program Executions / A. Roychoudhury |
Applying AutoBayes to the Analysis of Planetary Nebulae Images / B. Fischer ; J. Schumann |
Automation for Exception Freedom Proofs / B. Ellis ; A. Ireland |
Overview of OpenModel-Based Validation with Partial Information / R. Hall ; A. Zisman |
Doctoral Symposium Papers |
Detecting Requirements Interactions: A Three-Level Framework / M. Shehata ; A. Eberlein |
Automating Relative Debugging / A. Searle ; J. Gough ; D. Abramson |
Communicating Requirements Using End-User GUI Constructions with Argumentation / J. Moore |
Graph Rewriting and Transformation (GreAT): A Solution for the Model Integrated Computing (MIC) Bottleneck / A. Agrawal |
Visual Specification of Concurrent Systems / D. Safranek |
VUML: A Viewpoint Oriented UML Extension / M. Nassar |
An Infrastructure to Support Meta-Differencing and Refactoring of Source Code / M. Collard |
Author Index |
Preface |
Conference Committee |
International Program Committee |
Additional Reviewers |
Regular Papers |
Requirements, Interfaces and Groupware |