Home

 

Automated Software Engineering 2003
18th IEEE International Conference

           
   
Home
Call for Papers
Tutorials
Demos
  Program
Doctoral Symposium
Important Dates
Conference Committee
Program Committee
Steering Committee
  REGISTRATION
Accommodation
Montreal - Touristic
Information
Social Events
Français

A Sneak Peak for ASE 2004

Preliminary Program (8-10 October)

Regular Papers
Short Papers

Regular papers

Requirements, Interfaces and Groupware

  • An Empirical Study on Groupware Support for Software Inspection Meetings, Paul Gruenbacher, Michael Halling, Stefan Biffl
  • Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach, Mehrdad Sabetzadeh, Steve Easterbrook
  • Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications, Andrew Strelzoff, Linda Petzold

Testing I

  • Fault Localization With Nearest Neighbor Queries, Manos Renieris, Steven Reiss
  • Tool-Assisted Unit Test Selection Based on Operational Violations, Tao Xie, David Notkin
  • A New Structural Coverage Criteria for Dynamic Detection of Program Invariants, Neelam Gupta, Zachary V. Heidepriem

Software Architectures and Distributed Systems

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

Model Checking

  • Debugging Overconstrained Declarative Models Using Unsatisfiable Cores, Ilya Shlyakhter, Robert Seater, Manu Sridharan, Mana Taghdiri, Daniel Jackson
  • Parallel Breadth-First Search LTL Model-Checking, Jiri Barnat, Lubos Brim, Jakub Chaloupka
  • Automated Environment Generation for Software Model Checking, Oksana, Tkachuk, Matthew Dwyer, Corina Pasareanu

Software Components

  • Aspectizing Server-Side Distribution, Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc Fleury
  • Automating Component Adaptation for Reuse, Brandon Morel, Perry Alexander
  • Model-based Verification of Web Service Compositions, Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

Testing II

  • What Test Oracle Should I Use for Effective Testing?, Atif Memon, Ishan Banerjee, Adithya Nagarajan
  • Statically Finding Errors in Spreadsheets, Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi
  • Testing Database Transaction Concurrency, Yuetang Deng, Phyllis Frankl, Zhongqiang Chen

Software Evolution and Maintenance

  • 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
  • Unspeculation, Noah Snavely, Saumya Debray, Gregory Andrews
  • SPQR: Flexible Automated Design Pattern Extraction From Source Code, Jason McC. Smith, David Stotts
  • Automatically Inferring Concern Code from Program Investigation Activities, Martin P. Robillard, Gail C. Murphy

 

Short Papers

  • A Model-Driven Approach to the Non-Functional Analysis of Software Architectures, James Skene, Wolfgang Emmerich
  • Extending Diagnosis to Debug Programs With Exceptions, Wolfgang Mayer, Markus Stumptner
  • Generating Design Pattern Detectors from Pattern Specifications, Dirk Heuzeroth, Welf Löwe, Stefan Mandel
  • Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks, Lan Guo, Bojan Cukic, Harshinder Singh
  • Automatic Fault Localization and Behavior Verification for Physical System Simulation Models, Peter Bunus, Peter Fritzson
  • Automatic Generation of Content Management Systems from EER-Based Specifications, Sebastiano Vigna
  • Automated Requirements-based Generation of Test Cases for Product Families, Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel
  • XRay Views: Understanding the Internals of Classes, Gabriela Arevalo, Stephane Ducasse, Oscar Nierstrasz
  • Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations, Christopher Turner, T.C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Arthur G. Ryman
  • A Pragmatic Study of Binary Class Relationships, Yann-Gaël Guéhéneuc, Hervé Albin-Amiot
  • The Features Signatures of Evolving Programs, Daniel Licata, Christopher D. Harris, Shriram Krishnamurthi
  • Test Suite Design for Code Generation Tools, Ingo Stuermer, Mirko Conrad
  • Theoretical Foundations of Updating Systems, Hannah Harris, Mark Ryan
  • An Incremental Approach to Task-Specific Information Delivery in SE Processes, Harald Holz
  • Architecture Style-Based Calculi for Non-functional Properties, David Wile
  • Planware II: Synthesis of Schedulers for Complex Resource Systems, Marcel Becker, Limei Gilham, Douglas Smith
  • Certifying Measurement Unit Safety Policy, Grigore Rosu, Feng Chen
  • Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search, Eugenia Diaz, Javier Tuya, Raquel Blanco
  • Model Checking Software Requirement Specifications Using Domain Reduction Abstraction, Yunja Choi, Mats Heimdahl
  • An Approach for Tracing and Understanding Asynchronous Architectures, Scott A. Hendrickson, Eric M. Dashofy, and Richard N. Taylor
  • Refactoring C with Conditional Compilation, Alejandra Garrido, Ralph Johnson
  • A Java Component Model for Evolving Software Systems, Moacir Silva, Paulo Guerra, Cecília Rubira
  • Depiction and Playout of Multi-threaded Program Executions, Abhik Roychoudhury
  • Automating the Analysis of Planetary Nebulae Images, Bernd Fischer, Johann Schumann
  • Automation for Exception Freedom Proofs, Bill Ellis, Andrew Ireland
  • OpenModel-based Validation with Partial Information, Robert Hall, Andrea Zisman