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