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

@proceedings{ASE-2003,
	address       = "Montreal, Canada",
	isbn          = "0-7695-2035-9",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 18th IEEE International Conference on Automated Software Engineering}",
	year          = 2003,
}

Event page: http://www.ase-conferences.org/ase/past/ase2003/index.htm

Contents (54 items)

11 ×#automation
6 ×#testing
5 ×#modelling
5 ×#specification
5 ×#using
4 ×#approach
4 ×#detection
4 ×#fault
4 ×#generative
4 ×#requirements

ASE-2003-GrunbacherHB #empirical

An Empirical Study on Groupware Support for Software Inspection Meetings (PG, MH, SB), pp. 4–11.

ASE-2003-SabetzadehE #analysis #approach #consistency #graph #nondeterminism

Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach (MS, SME), pp. 12–21.

ASE-2003-StrelzoffP #requirements #user interface

Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications (AS, LRP), pp. 22–29.

ASE-2003-RenierisR #fault #locality #nearest neighbour #query

Fault Localization With Nearest Neighbor Queries (MR, SPR), pp. 30–39.

ASE-2003-XieN #testing

Tool-Assisted Unit Test Selection Based on Operational Violations (TX, DN), pp. 40–48.

ASE-2003-GuptaH #detection #invariant #test coverage

A New Structural Coverage Criterion for Dynamic Detection of Program Invariants (NG, ZVH), pp. 49–59.

ASE-2003-HeringtonS #coordination #declarative #framework #named

DeCo: A Declarative Coordination Framework for Scientific Model Federations (DH, PDS), pp. 60–69.

ASE-2003-ConselR #domain-specific language #programmable #robust

A Programmable Client-Server Model: Robust Extensibility via DSLs (CC, LR), pp. 70–79.

ASE-2003-Ellman #animation #automaton #hybrid #specification #synthesis

Specification and Synthesis of Hybrid Automata for Physics-Based Animation (TE), pp. 80–93.

ASE-2003-ShlyakhterSJST #debugging #declarative #modelling #satisfiability #using

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores (IS, RS, DJ, MS, MT), pp. 94–105.

ASE-2003-BarnatBC #ltl #model checking #parallel

Parallel Breadth-First Search LTL Model-Checking (JB, LB, JC), pp. 106–115.

ASE-2003-TkachukDP #automation #generative #model checking

Automated Environment Generation for Software Model Checking (OT, MBD, CSP), pp. 116–129.

ASE-2003-TilevichUSF #aspect-oriented

Aspectizing Server-Side Distribution (ET, SU, YS, MF), pp. 130–141.

ASE-2003-MorelA #adaptation #automation #component #reuse

Automating Component Adaptation for Reuse (BM, PA), pp. 142–151.

ASE-2003-FosterUMK #composition #modelling #verification #web #web service

Model-based Verification of Web Service Compositions (HF, SU, JM, JK), pp. 152–163.

ASE-2003-MemonBN #effectiveness #question #testing #user interface #what

What Test Oracle Should I Use for Effective GUI Testing? (AMM, IB, AN), pp. 164–173.

ASE-2003-AhmadAGK #detection #fault #spreadsheet #type system

A Type System for Statically Detecting Spreadsheet Errors (YA, TA, SG, SK), pp. 174–183.

ASE-2003-DengFC #concurrent #database #testing #transaction

Testing Database Transaction Concurrency (YD, PGF, ZC), pp. 184–195.

ASE-2003-AbergLSMM #aspect-oriented #automation #evolution #kernel #logic #on the #using

On the automatic evolution of an OS kernel using temporal logic and AOP (RAÅ, JLL, MS, GM, AFLM), pp. 196–204.

ASE-2003-SnavelyDA

Unspeculation (NS, SKD, GRA), pp. 205–214.

ASE-2003-SmithS #automation #design pattern #flexibility #named #source code

SPQR: Flexible Automated Design Pattern Extraction From Source Code (JMS, PDS), pp. 215–224.

ASE-2003-RobillardM #automation #process

Automatically Inferring Concern Code from Program Investigation Activities (MPR, GCM), pp. 225–235.

ASE-2003-SkeneE #analysis #approach #architecture #modelling #non-functional

A Model-Driven Approach to Non-Functional Analysis of Software Architectures (JS, WE), pp. 236–239.

ASE-2003-MayerS #debugging #exception #source code

Extending Diagnosis to Debug Programs with Exceptions (WM, MS), pp. 240–244.

ASE-2003-HeuzerothML #design pattern #detection #generative #specification

Generating Design Pattern Detectors from Pattern Specifications (DH, SM, WL), pp. 245–248.

ASE-2003-GuoCS #fault #network #predict

Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks (LG, BC, HS), pp. 249–252.

ASE-2003-BunusF #automation #behaviour #fault #locality #modelling #physics #simulation #verification

Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models (PB, PF), pp. 253–258.

ASE-2003-Vigna #automation #content management #generative #specification

Automatic Generation of Content Management Systems from EER-Based Specifications (SV), pp. 259–262.

ASE-2003-NebutPTJ #automation #generative #product line #testing

Automated Requirements-based Generation of Test Cases for Product Families (CN, SP, YLT, JMJ), pp. 263–266.

ASE-2003-ArevaloDN #comprehension

XRay Views: Understanding the Internals of Classes (GA, SD, ON), pp. 267–270.

ASE-2003-TurnerGWBHSR #consistency #constraints #diagrams #implementation #modelling #runtime #uml #visual notation

Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations (CJT, TCNG, CW, JB, DH, HDS, AGR), pp. 271–276.

ASE-2003-GueheneucA

A Pragmatic Study of Binary Class Relationships (YGG, HAA), pp. 277–280.

ASE-2003-LicataHK #evolution #source code

The Feature Signatures of Evolving Programs (DRL, CDH, SK), pp. 281–285.

ASE-2003-SturmerC #code generation #design #testing #tool support

Test Suite Design for Code Generation Tools (IS, MC), pp. 286–290.

ASE-2003-HarrisR

Theoretical Foundations of Updating Systems (HH, MR), pp. 291–294.

ASE-2003-Holz #approach #delivery #incremental

An Incremental Approach to Task-Specific Information Delivery in SE Processe (HH), pp. 295–298.

ASE-2003-Wile #architecture #calculus #non-functional

Architecture Style-Based Calculi for Non-functional Properties (DSW), pp. 299–303.

ASE-2003-RosuC #metric #safety

Certifying Measurement Unit Safety Polic (GR, FC), pp. 304–309.

ASE-2003-DiazTB #automation #metaheuristic #testing #using

Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search (ED, JT, RB), pp. 310–313.

ASE-2003-ChoiH #abstraction #model checking #reduction #requirements #specification #using

Model Checking Software Requirement Specifications using Domain Reduction Abstraction (YC, MPEH), pp. 314–317.

ASE-2003-HendricksonDT #approach #architecture #comprehension

An Approach for Tracing and Understanding Asynchronous Architectures (SAH, EMD, RNT), pp. 318–322.

ASE-2003-GarridoJ #c #compilation #refactoring

Refactoring C with Conditional Compilation (AG, REJ), pp. 323–326.

ASE-2003-SilvaGR #component #evolution #java

A Java Component Model for Evolving Software Systems (MCdSJ, PAdCG, CMFR), pp. 327–330.

ASE-2003-Roychoudhury #concurrent #multi #thread

Depiction and Playout of Multi-threaded Program Executions (AR), pp. 331–336.

ASE-2003-FischerS #analysis #image

Applying AutoBayes to the Analysis of Planetary Nebulae Images (BF, JS), pp. 337–342.

ASE-2003-EllisI #automation #exception #proving

Automation for Exception Freedom Proofs (BJE, AI), pp. 343–346.

ASE-2003-HallZ #overview #validation

Overview of OpenModel-based Validation with Partial Information (RJH, AZ), pp. 347–351.

ASE-2003-ShehataE #detection #framework #interactive #requirements

Detecting Requirements Interactions: A Three-Level Framework (MS, AE), pp. 352–355.

ASE-2003-SearleGA #automation #debugging

Automating Relative Debugging (AS, JG, DA), pp. 356–359.

ASE-2003-Moore #communication #requirements #user interface #using

Communicating Requirements Using End-User GUI Constructions with Argumentation (JMM), pp. 360–363.

ASE-2003-Agrawal #graph grammar

Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck (AA), pp. 364–368.

ASE-2003-Safranek #concurrent #specification #visual notation

Visual Specification of Concurrent Systems (DS), pp. 369–372.

ASE-2003-Nassar #uml

VUML : a Viewpoint oriented UML Extension (MN), pp. 373–376.

ASE-2003-Collard #difference #framework #refactoring #source code

An Infrastructure to Support Meta-Differencing and Refactoring of Source Code (MLC), pp. 377–380.