1. Home
  2. Proceedings
  3. ASE
  4. ASE 2003
Default Cover Image

18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.

Oct. 6 2003 to Oct. 10 2003

Montreal, Quebec, Canada

ISSN: 1527-1366

ISBN: 0-7695-2035-9

Table of Contents

Proceedings 18th IEEE International Conference on Automated Software EngineeringFull-text access may be available. Sign in or learn about subscription options.
PrefaceFreely available from IEEE.pp. ix
Conference CommitteeFreely available from IEEE.pp. x
International Program CommitteeFreely available from IEEE.pp. xi
Additional ReviewersFreely available from IEEE.pp. xii
Requirements, Interfaces and Groupware
An Empirical Study on Groupware Support for Software Inspection MeetingsFull-text access may be available. Sign in or learn about subscription options.pp. 4
by Paul Gr?nbacher, Michael Halling, Stefan Biffl
Requirements, Interfaces and Groupware
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 12
by Mehrdad Sabetzadeh, Steve Easterbrook
Requirements, Interfaces and Groupware
Deriving User Interface Requirements from Densely Interleaved Scientific Computing ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 22
by Andrew Strelzoff, Linda Petzold
Testing I
Fault Localization With Nearest Neighbor QueriesFull-text access may be available. Sign in or learn about subscription options.pp. 30
by Manos Renieris, Steven P. Reiss
Testing I
Tool-Assisted Unit Test Selection Based on Operational ViolationsFull-text access may be available. Sign in or learn about subscription options.pp. 40
by Tao Xie, David Notkin
Testing I
A New Structural Coverage Criterion for Dynamic Detection of Program InvariantsFull-text access may be available. Sign in or learn about subscription options.pp. 49
by Neelam Gupta, Zachary V. Heidepriem
Software Architectures and Distributed Systems
DeCo: A Declarative Coordination Framework for Scientific Model FederationsFull-text access may be available. Sign in or learn about subscription options.pp. 60
by Dean Herington, David Stotts
Software Architectures and Distributed Systems
A Programmable Client-Server Model: Robust Extensibility via DSLsFull-text access may be available. Sign in or learn about subscription options.pp. 70
by Charles Consel, Laurent R?veill?re
Software Architectures and Distributed Systems
Specification and Synthesis of Hybrid Automata for Physics-Based AnimationFull-text access may be available. Sign in or learn about subscription options.pp. 80
by Thomas Ellman
Model Checking
Debugging Overconstrained Declarative Models Using Unsatisfiable CoresFull-text access may be available. Sign in or learn about subscription options.pp. 94
by Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
Model Checking
Parallel Breadth-First Search LTL Model-CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 106
by Jir? Barnat, Lubos Brim, Jakub Chaloupka
Model Checking
Automated Environment Generation for Software Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 116
by Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu
Software Components
Aspectizing Server-Side DistributionFull-text access may be available. Sign in or learn about subscription options.pp. 130
by Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc Fleury
Software Components
Automating Component Adaptation for ReuseFull-text access may be available. Sign in or learn about subscription options.pp. 142
by Brandon Morel, Perry Alexander
Software Components
Model-based Verification of Web Service CompositionsFull-text access may be available. Sign in or learn about subscription options.pp. 152
by Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
Testing II
What Test Oracle Should I Use for Effective GUI Testing?Full-text access may be available. Sign in or learn about subscription options.pp. 164
by Atif Memon, Ishan Banerjee, Adithya Nagarajan
Testing II
A Type System for Statically Detecting Spreadsheet ErrorsFull-text access may be available. Sign in or learn about subscription options.pp. 174
by Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi
Testing II
Testing Database Transaction ConcurrencyFull-text access may be available. Sign in or learn about subscription options.pp. 184
by Yuetang Deng, Phyllis Frankl, Zhongqiang Chen
Software Evolution and Maintenance
On the automatic evolution of an OS kernel using temporal logic and AOPFull-text access may be available. Sign in or learn about subscription options.pp. 196
by Rickard A. ?berg, Julia L. Lawall, Mario S?dholt, Gilles Muller, Anne-Fran?oise Le Meur
Software Evolution and Maintenance
UnspeculationFull-text access may be available. Sign in or learn about subscription options.pp. 205
by Noah Snavely, Saumya Debray, Gregory Andrews
Software Evolution and Maintenance
SPQR: Flexible Automated Design Pattern Extraction From Source CodeFull-text access may be available. Sign in or learn about subscription options.pp. 215
by Jason McC. Smith, David Stotts
Software Evolution and Maintenance
Automatically Inferring Concern Code from Program Investigation ActivitiesFull-text access may be available. Sign in or learn about subscription options.pp. 225
by Martin P. Robillard, Gail C. Murphy
Short Papers
A Model-Driven Approach to Non-Functional Analysis of Software ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 236
by James Skene, Wolfgang Emmerich
Short Papers
Extending Diagnosis to Debug Programs with ExceptionsFull-text access may be available. Sign in or learn about subscription options.pp. 240
by Wolfgang Mayer, Markus Stumptner
Short Papers
Generating Design Pattern Detectors from Pattern SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 245
by Dirk Heuzeroth, Stefan Mandel, Welf L?
Short Papers
Predicting Fault Prone Modules by the Dempster-Shafer Belief NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 249
by Lan Guo, Bojan Cukic, Harshinder Singh
Short Papers
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 253
by Peter Bunus, Peter Fritzson
Short Papers
Automatic Generation of Content Management Systems from EER-Based SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 259
by Sebastiano Vigna
Short Papers
Automated Requirements-based Generation of Test Cases for Product FamiliesFull-text access may be available. Sign in or learn about subscription options.pp. 263
by Cl?mentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc J?z?quel
Short Papers
XRay Views: Understanding the Internals of ClassesFull-text access may be available. Sign in or learn about subscription options.pp. 267
by Gabriela Ar?valo, St?phane Ducasse, Oscar Nierstrasz
Short Papers
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus ImplementationsFull-text access may be available. Sign in or learn about subscription options.pp. 271
by Christopher J. Turner, T.C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman
Short Papers
A Pragmatic Study of Binary Class RelationshipsFull-text access may be available. Sign in or learn about subscription options.pp. 277
by Yann-Ga? Gu?h?neuc, Herv? Albin-Amiot
Short Papers
The Feature Signatures of Evolving ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 281
by Daniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi
Short Papers
Test Suite Design for Code Generation ToolsFull-text access may be available. Sign in or learn about subscription options.pp. 286
by Ingo St?, Mirko Conrad
Short Papers
Theoretical Foundations of Updating SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 291
by Hannah Harris, Mark Ryan
Author indexFreely available from IEEE.pp. 381-382
Short Papers
An Incremental Approach to Task-Specific Information Delivery in SE ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 295
by Harald Holz
Short Papers
Architecture Style-Based Calculi for Non-functional PropertiesFull-text access may be available. Sign in or learn about subscription options.pp. 299
by David S. Wile
Short Papers
Certifying Measurement Unit Safety PolicyFull-text access may be available. Sign in or learn about subscription options.pp. 304
by Grigore Rosu, Feng Chen
Short Papers
Automated Software Testing Using a Metaheuristic Technique Based on Tabu SearchFull-text access may be available. Sign in or learn about subscription options.pp. 310
by Eugenia D?az, Javier Tuya, Raquel Blanco
Short Papers
Model Checking Software Requirement Specifications using Domain Reduction AbstractionFull-text access may be available. Sign in or learn about subscription options.pp. 314
by Yunja Choi, Mats Heimdahl
Short Papers
An Approach for Tracing and Understanding Asynchronous ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 318
by Scott A. Hendrickson, Eric M. Dashofy, Richard N. Taylor
Short Papers
Refactoring C with Conditional CompilationFull-text access may be available. Sign in or learn about subscription options.pp. 323
by Alejandra Garrido, Ralph Johnson
Short Papers
A Java Component Model for Evolving Software SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 327
by Moacir C. da Silva Jr, Paulo A. de C. Guerra, Cec?lia M. F. Rubira
Short Papers
Depiction and Playout of Multi-threaded Program ExecutionsFull-text access may be available. Sign in or learn about subscription options.pp. 331
by Abhik Roychoudhury
Short Papers
Applying AutoBayes to the Analysis of Planetary Nebulae ImagesFull-text access may be available. Sign in or learn about subscription options.pp. 337
by Bernd Fischer, Johann Schumann
Short Papers
Automation for Exception Freedom ProofsFull-text access may be available. Sign in or learn about subscription options.pp. 343
by Bill J. Ellis, Andrew Ireland
Short Papers
Overview of OpenModel-based Validation with Partial InformationFull-text access may be available. Sign in or learn about subscription options.pp. 347
by Robert J. Hall, Andrea Zisman
Doctoral Symposium Papers
Detecting Requirements Interactions: A Three-Level FrameworkFull-text access may be available. Sign in or learn about subscription options.pp. 352
by Mohamed Shehata, Armin Eberlein
Doctoral Symposium Papers
Automating Relative DebuggingFull-text access may be available. Sign in or learn about subscription options.pp. 356
by Aaron Searle, John Gough, David Abramson
Doctoral Symposium Papers
Communicating Requirements Using End-User GUI Constructions with ArgumentationFull-text access may be available. Sign in or learn about subscription options.pp. 360
by J. Michael Moore
Doctoral Symposium Papers
Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) BottleneckFull-text access may be available. Sign in or learn about subscription options.pp. 364
by Aditya Agrawal
Doctoral Symposium Papers
Visual Specification of Concurrent SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 369
by David Safr?nek
Doctoral Symposium Papers
VUML : a Viewpoint oriented UML ExtensionFull-text access may be available. Sign in or learn about subscription options.pp. 373
by Mahmoud Nassar
Doctoral Symposium Papers
An Infrastructure to Support Meta-Differencing and Refactoring of Source CodeFull-text access may be available. Sign in or learn about subscription options.pp. 377
by Michael L. Collard
Doctoral Symposium Papers
Author IndexFreely available from IEEE.pp. 381
Showing 61 out of 61