Abstract is missing.
- An Empirical Study on Groupware Support for Software Inspection MeetingsPaul Grünbacher, Michael Halling, Stefan Biffl. 4-11 [doi]
- Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic ApproachMehrdad Sabetzadeh, Steve M. Easterbrook. 12-21 [doi]
- Deriving User Interface Requirements from Densely Interleaved Scientific Computing ApplicationsAndrew Strelzoff, Linda R. Petzold. 22-29 [doi]
- Fault Localization With Nearest Neighbor QueriesManos Renieris, Steven P. Reiss. 30-39 [doi]
- Tool-Assisted Unit Test Selection Based on Operational ViolationsTao Xie, David Notkin. 40-48 [doi]
- A New Structural Coverage Criterion for Dynamic Detection of Program InvariantsNeelam Gupta, Zachary V. Heidepriem. 49-59 [doi]
- DeCo: A Declarative Coordination Framework for Scientific Model FederationsDean Herington, P. David Stotts. 60-69 [doi]
- A Programmable Client-Server Model: Robust Extensibility via DSLsCharles Consel, Laurent Réveillère. 70-79 [doi]
- Specification and Synthesis of Hybrid Automata for Physics-Based AnimationThomas Ellman. 80-93 [doi]
- Debugging Overconstrained Declarative Models Using Unsatisfiable CoresIlya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri. 94-105 [doi]
- Parallel Breadth-First Search LTL Model-CheckingJiri Barnat, Lubos Brim, Jakub Chaloupka. 106-115 [doi]
- Automated Environment Generation for Software Model CheckingOksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu. 116-129 [doi]
- Aspectizing Server-Side DistributionEli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc Fleury. 130-141 [doi]
- Automating Component Adaptation for ReuseBrandon Morel, Perry Alexander. 142-151 [doi]
- Model-based Verification of Web Service CompositionsHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer. 152-163 [doi]
- What Test Oracle Should I Use for Effective GUI Testing?Atif M. Memon, Ishan Banerjee, Adithya Nagarajan. 164-173 [doi]
- A Type System for Statically Detecting Spreadsheet ErrorsYanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi. 174-183 [doi]
- Testing Database Transaction ConcurrencyYuetang Deng, Phyllis G. Frankl, Zhongqiang Chen. 184-195 [doi]
- On the automatic evolution of an OS kernel using temporal logic and AOPRickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur. 196-204 [doi]
- UnspeculationNoah Snavely, Saumya K. Debray, Gregory R. Andrews. 205-214 [doi]
- SPQR: Flexible Automated Design Pattern Extraction From Source CodeJason McC. Smith, P. David Stotts. 215-224 [doi]
- Automatically Inferring Concern Code from Program Investigation ActivitiesMartin P. Robillard, Gail C. Murphy. 225-235 [doi]
- A Model-Driven Approach to Non-Functional Analysis of Software ArchitecturesJames Skene, Wolfgang Emmerich. 236-239 [doi]
- Extending Diagnosis to Debug Programs with ExceptionsWolfgang Mayer, Markus Stumptner. 240-244 [doi]
- Generating Design Pattern Detectors from Pattern SpecificationsDirk Heuzeroth, Stefan Mandel, Welf Löwe. 245-248 [doi]
- Predicting Fault Prone Modules by the Dempster-Shafer Belief NetworksLan Guo, Bojan Cukic, Harshinder Singh. 249-252 [doi]
- Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation ModelsPeter Bunus, Peter Fritzson. 253-258 [doi]
- Automatic Generation of Content Management Systems from EER-Based SpecificationsSebastiano Vigna. 259-262 [doi]
- Automated Requirements-based Generation of Test Cases for Product FamiliesClémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel. 263-266 [doi]
- XRay Views: Understanding the Internals of ClassesGabriela Arévalo, Stéphane Ducasse, Oscar Nierstrasz. 267-270 [doi]
- Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus ImplementationsChristopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman. 271-276 [doi]
- A Pragmatic Study of Binary Class RelationshipsYann-Gaël Guéhéneuc, Hervé Albin-Amiot. 277-280 [doi]
- The Feature Signatures of Evolving ProgramsDaniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi. 281-285 [doi]
- Test Suite Design for Code Generation ToolsIngo Stürmer, Mirko Conrad. 286-290 [doi]
- Theoretical Foundations of Updating SystemsHannah Harris, Mark Ryan. 291-294 [doi]
- An Incremental Approach to Task-Specific Information Delivery in SE ProcesseHarald Holz. 295-298 [doi]
- Architecture Style-Based Calculi for Non-functional PropertiesDavid S. Wile. 299-303 [doi]
- Certifying Measurement Unit Safety PolicGrigore Rosu, Feng Chen. 304-309 [doi]
- Automated Software Testing Using a Metaheuristic Technique Based on Tabu SearchEugenia Díaz, Javier Tuya, Raquel Blanco. 310-313 [doi]
- Model Checking Software Requirement Specifications using Domain Reduction AbstractionYunja Choi, Mats Per Erik Heimdahl. 314-317 [doi]
- An Approach for Tracing and Understanding Asynchronous ArchitecturesScott A. Hendrickson, Eric M. Dashofy, Richard N. Taylor. 318-322 [doi]
- Refactoring C with Conditional CompilationAlejandra Garrido, Ralph E. Johnson. 323-326 [doi]
- A Java Component Model for Evolving Software SystemsMoacir C. da Silva Jr., Paulo Asterio de Castro Guerra, Cecília M. F. Rubira. 327-330 [doi]
- Depiction and Playout of Multi-threaded Program ExecutionsAbhik Roychoudhury. 331-336 [doi]
- Applying AutoBayes to the Analysis of Planetary Nebulae ImagesBernd Fischer, Johann Schumann. 337-342 [doi]
- Automation for Exception Freedom ProofsBill J. Ellis, Andrew Ireland. 343-346 [doi]
- Overview of OpenModel-based Validation with Partial InformationRobert J. Hall, Andrea Zisman. 347-351 [doi]
- Detecting Requirements Interactions: A Three-Level FrameworkMohamed Shehata, Armin Eberlein. 352-355 [doi]
- Automating Relative DebuggingAaron Searle, John Gough, David Abramson. 356-359 [doi]
- Communicating Requirements Using End-User GUI Constructions with ArgumentationJ. Michael Moore. 360-363 [doi]
- Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) BottleneckAditya Agrawal. 364-368 [doi]
- Visual Specification of Concurrent SystemsDavid Safránek. 369-372 [doi]
- VUML : a Viewpoint oriented UML ExtensionMahmoud Nassar. 373-376 [doi]
- An Infrastructure to Support Meta-Differencing and Refactoring of Source CodeMichael L. Collard. 377-380 [doi]