| 2003 | 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada |
| 2003 | A Java Component Model for Evolving Software Systems. Moacir C. da Silva Jr., Paulo Asterio de Castro Guerra, Cecília M. F. Rubira |
| 2003 | A Model-Driven Approach to Non-Functional Analysis of Software Architectures. James Skene, Wolfgang Emmerich |
| 2003 | A New Structural Coverage Criterion for Dynamic Detection of Program Invariants. Neelam Gupta, Zachary V. Heidepriem |
| 2003 | A Pragmatic Study of Binary Class Relationships. Yann-Gaël Guéhéneuc, Hervé Albin-Amiot |
| 2003 | A Programmable Client-Server Model: Robust Extensibility via DSLs. Charles Consel, Laurent Réveillère |
| 2003 | A Type System for Statically Detecting Spreadsheet Errors. Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi |
| 2003 | An Approach for Tracing and Understanding Asynchronous Architectures. Scott A. Hendrickson, Eric M. Dashofy, Richard N. Taylor |
| 2003 | An Empirical Study on Groupware Support for Software Inspection Meetings. Paul Grünbacher, Michael Halling, Stefan Biffl |
| 2003 | An Incremental Approach to Task-Specific Information Delivery in SE Processe. Harald Holz |
| 2003 | An Infrastructure to Support Meta-Differencing and Refactoring of Source Code. Michael L. Collard |
| 2003 | Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. Mehrdad Sabetzadeh, Steve M. Easterbrook |
| 2003 | Applying AutoBayes to the Analysis of Planetary Nebulae Images. Bernd Fischer, Johann Schumann |
| 2003 | Architecture Style-Based Calculi for Non-functional Properties. David S. Wile |
| 2003 | Aspectizing Server-Side Distribution. Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc J. Fleury |
| 2003 | Automated Environment Generation for Software Model Checking. Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu |
| 2003 | Automated Requirements-based Generation of Test Cases for Product Families. Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel |
| 2003 | Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. Eugenia Díaz, Javier Tuya, Raquel Blanco |
| 2003 | Automatic Generation of Content Management Systems from EER-Based Specifications. Sebastiano Vigna |
| 2003 | Automatically Inferring Concern Code from Program Investigation Activities. Martin P. Robillard, Gail C. Murphy |
| 2003 | Automating Component Adaptation for Reuse. Brandon Morel, Perry Alexander |
| 2003 | Automating Relative Debugging. Aaron Searle, K. John Gough, David Abramson |
| 2003 | Automation for Exception Freedom Proofs. Bill J. Ellis, Andrew Ireland |
| 2003 | Certifying Measurement Unit Safety Polic. Grigore Rosu, Feng Chen |
| 2003 | Communicating Requirements Using End-User GUI Constructions with Argumentation. J. Michael Moore |
| 2003 | DeCo: A Declarative Coordination Framework for Scientific Model Federations. Dean Herington, P. David Stotts |
| 2003 | Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri |
| 2003 | Depiction and Playout of Multi-threaded Program Executions. Abhik Roychoudhury |
| 2003 | Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications. Andrew Strelzoff, Linda R. Petzold |
| 2003 | Detecting Requirements Interactions: A Three-Level Framework. Mohamed Shehata, Armin Eberlein |
| 2003 | Extending Diagnosis to Debug Programs with Exceptions. Wolfgang Mayer, Markus Stumptner |
| 2003 | Fault Localization With Nearest Neighbor Queries. Manos Renieris, Steven P. Reiss |
| 2003 | Generating Design Pattern Detectors from Pattern Specifications. Dirk Heuzeroth, Stefan Mandel, Welf Löwe |
| 2003 | Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck. Aditya Agrawal |
| 2003 | Model Checking Software Requirement Specifications using Domain Reduction Abstraction. Yunja Choi, Mats Per Erik Heimdahl |
| 2003 | Model-based Verification of Web Service Compositions. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
| 2003 | On the automatic evolution of an OS kernel using temporal logic and AOP. Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur |
| 2003 | Overview of OpenModel-based Validation with Partial Information. Robert J. Hall, Andrea Zisman |
| 2003 | Parallel Breadth-First Search LTL Model-Checking. Jiri Barnat, Lubos Brim, Jakub Chaloupka |
| 2003 | Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks. Lan Guo, Bojan Cukic, Harshinder Singh |
| 2003 | Refactoring C with Conditional Compilation. Alejandra Garrido, Ralph E. Johnson |
| 2003 | SPQR: Flexible Automated Design Pattern Extraction From Source Code. Jason McC. Smith, P. David Stotts |
| 2003 | Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models. Peter Bunus, Peter Fritzson |
| 2003 | Specification and Synthesis of Hybrid Automata for Physics-Based Animation. Thomas Ellman |
| 2003 | Test Suite Design for Code Generation Tools. Ingo Stürmer, Mirko Conrad |
| 2003 | Testing Database Transaction Concurrency. Yuetang Deng, Phyllis G. Frankl, Zhongqiang Chen |
| 2003 | The Feature Signatures of Evolving Programs. Daniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi |
| 2003 | Theoretical Foundations of Updating Systems. Hannah Harris, Mark Ryan |
| 2003 | Tool-Assisted Unit Test Selection Based on Operational Violations. Tao Xie, David Notkin |
| 2003 | Unspeculation. Noah Snavely, Saumya K. Debray, Gregory R. Andrews |
| 2003 | VUML : a Viewpoint oriented UML Extension. Mahmoud Nassar |
| 2003 | Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations. Christopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman |
| 2003 | Visual Specification of Concurrent Systems. David Safránek |
| 2003 | What Test Oracle Should I Use for Effective GUI Testing? Atif M. Memon, Ishan Banerjee, Adithya Nagarajan |
| 2003 | XRay Views: Understanding the Internals of Classes. Gabriela Arévalo, Stéphane Ducasse, Oscar Nierstrasz |