18. ASE 2003: Montreal, Canada

18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada. IEEE Computer Society 2003, ISBN 0-7695-2035-9

Regular Papers

Requirements, Interfaces and Groupware

Paul Grünbacher, Michael Halling, Stefan Biffl:
An Empirical Study on Groupware Support for Software Inspection Meetings. 4-11
Mehrdad Sabetzadeh, Steve M. Easterbrook:
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. 12-21
Andrew Strelzoff, Linda R. Petzold:
Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications. 22-29

Testing I

Manos Renieris, Steven P. Reiss:
Fault Localization With Nearest Neighbor Queries. 30-39
Tao Xie, David Notkin:
Tool-Assisted Unit Test Selection Based on Operational Violations. 40-48
Neelam Gupta, Zachary V. Heidepriem:
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants. 49-59

Software Architectures and Distributed Systems

Dean Herington, P. David Stotts:
DeCo: A Declarative Coordination Framework for Scientific Model Federations. 60-69
Charles Consel, Laurent Réveillère:
A Programmable Client-Server Model: Robust Extensibility via DSLs. 70-79
Thomas Ellman:
Specification and Synthesis of Hybrid Automata for Physics-Based Animation. 80-93

Model Checking

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri:
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. 94-105
Jiri Barnat, Lubos Brim, Jakub Chaloupka:
Parallel Breadth-First Search LTL Model-Checking. 106-115
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu:
Automated Environment Generation for Software Model Checking. 116-129

Software Components

Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc Fleury:
Aspectizing Server-Side Distribution. 130-141
Brandon Morel, Perry Alexander:
Automating Component Adaptation for Reuse. 142-151
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
Model-based Verification of Web Service Compositions. 152-163

Testing II

Atif M. Memon, Ishan Banerjee, Adithya Nagarajan:
What Test Oracle Should I Use for Effective GUI Testing? 164-173
Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi:
A Type System for Statically Detecting Spreadsheet Errors. 174-183
Yuetang Deng, Phyllis G. Frankl, Zhongqiang Chen:
Testing Database Transaction Concurrency. 184-195

Software Evolution and Maintenance

Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur:
On the automatic evolution of an OS kernel using temporal logic and AOP. 196-204
Noah Snavely, Saumya K. Debray, Gregory R. Andrews:
Unspeculation. 205-214
Jason McC. Smith, P. David Stotts:
SPQR: Flexible Automated Design Pattern Extraction From Source Code. 215-224
Martin P. Robillard, Gail C. Murphy:
Automatically Inferring Concern Code from Program Investigation Activities. 225-235

Short Papers

James Skene, Wolfgang Emmerich:
A Model-Driven Approach to Non-Functional Analysis of Software Architectures. 236-239
Wolfgang Mayer, Markus Stumptner:
Extending Diagnosis to Debug Programs with Exceptions. 240-244
Dirk Heuzeroth, Stefan Mandel, Welf Löwe:
Generating Design Pattern Detectors from Pattern Specifications. 245-248
Lan Guo, Bojan Cukic, Harshinder Singh:
Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks. 249-252
Peter Bunus, Peter Fritzson:
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models. 253-258
Sebastiano Vigna:
Automatic Generation of Content Management Systems from EER-Based Specifications. 259-262
Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel:
Automated Requirements-based Generation of Test Cases for Product Families. 263-266
Gabriela Arévalo, Stéphane Ducasse, Oscar Nierstrasz:
XRay Views: Understanding the Internals of Classes. 267-270
Christopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman:
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations. 271-276
Yann-Gaël Guéhéneuc, Hervé Albin-Amiot:
A Pragmatic Study of Binary Class Relationships. 277-280
Daniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi:
The Feature Signatures of Evolving Programs. 281-285
Ingo Stürmer, Mirko Conrad:
Test Suite Design for Code Generation Tools. 286-290
Hannah Harris, Mark Ryan:
Theoretical Foundations of Updating Systems. 291-294
Harald Holz:
An Incremental Approach to Task-Specific Information Delivery in SE Processe. 295-298
David S. Wile:
Architecture Style-Based Calculi for Non-functional Properties. 299-303
Grigore Rosu, Feng Chen:
Certifying Measurement Unit Safety Polic. 304-309
Eugenia Díaz, Javier Tuya, Raquel Blanco:
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. 310-313
Yunja Choi, Mats Per Erik Heimdahl:
Model Checking Software Requirement Specifications using Domain Reduction Abstraction. 314-317
Scott A. Hendrickson, Eric M. Dashofy, Richard N. Taylor:
An Approach for Tracing and Understanding Asynchronous Architectures. 318-322
Alejandra Garrido, Ralph E. Johnson:
Refactoring C with Conditional Compilation. 323-326
Moacir C. da Silva Jr., Paulo Asterio de Castro Guerra, Cecília M. F. Rubira:
A Java Component Model for Evolving Software Systems. 327-330
Abhik Roychoudhury:
Depiction and Playout of Multi-threaded Program Executions. 331-336
Bernd Fischer, Johann Schumann:
Applying AutoBayes to the Analysis of Planetary Nebulae Images. 337-342
Bill J. Ellis, Andrew Ireland:
Automation for Exception Freedom Proofs. 343-346
Robert J. Hall, Andrea Zisman:
Overview of OpenModel-based Validation with Partial Information. 347-351

Doctoral Symposium Papers

Mohamed Shehata, Armin Eberlein:
Detecting Requirements Interactions: A Three-Level Framework. 352-355
Aaron Searle, John Gough, David Abramson:
Automating Relative Debugging. 356-359
J. Michael Moore:
Communicating Requirements Using End-User GUI Constructions with Argumentation. 360-363
Aditya Agrawal:
Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck. 364-368
David Safránek:
Visual Specification of Concurrent Systems. 369-372
Mahmoud Nassar:
VUML : a Viewpoint oriented UML Extension. 373-376
Michael L. Collard:
An Infrastructure to Support Meta-Differencing and Refactoring of Source Code. 377-380

Last update Sun May 19 23:06:11 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page