| 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 |
図書
