The Community for Technology Leaders
Proceedings. 19th International Conference on Automated Software Engineering, 2004. (2004)
Linz, Austria
Sept. 20, 2004 to Sept. 24, 2004
ISSN: 1068-3062
ISBN: 0-7695-2131-2
TABLE OF CONTENTS

Preface (PDF)

pp. x

The education of a software engineer (PDF)

M. Jazayeri , Vienna Tech. Univ., Austria
pp. xviii-xxvii

A differencing algorithm for object-oriented programs (PDF)

T. Apiwattanapong , Georgia Inst. of Technol., Atlanta, GA, USA
A. Orso , Georgia Inst. of Technol., Atlanta, GA, USA
M.J. Harrold , Georgia Inst. of Technol., Atlanta, GA, USA
pp. 2-13

Automating traceability for generated software artifacts (PDF)

J. Richardson , Automated Software Eng. Group, NASA Ames Res. Center, Moffett Field, CA, USA
pp. 24-33

Experiences integrating and scaling a performance test bed generator with an open source CASE tool (PDF)

Yuhong Cai , Dept. of Comput. Sci., Auckland Univ., New Zealand
J. Grundy , Dept. of Comput. Sci., Auckland Univ., New Zealand
J. Hosking , Dept. of Comput. Sci., Auckland Univ., New Zealand
pp. 36-45

A computational framework for supporting software inspections (PDF)

M. Kalinowski , Syst. Eng. & Comput. Sci., UFRJ, Brazil
G.H. Travassos , Syst. Eng. & Comput. Sci., UFRJ, Brazil
pp. 46-55

Automated support for framework selection and customization (PDF)

T. Zenmyo , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
pp. 68-77

Adaptable concern-based framework specialization in UML (PDF)

I. Hammouda , Inst. of Software Syst., Tampere Univ. of Technol., Finland
J. Koskinen , Inst. of Software Syst., Tampere Univ. of Technol., Finland
M. Pussinen , Inst. of Software Syst., Tampere Univ. of Technol., Finland
M. Katara , Inst. of Software Syst., Tampere Univ. of Technol., Finland
T. Mikkonen , Inst. of Software Syst., Tampere Univ. of Technol., Finland
pp. 78-87

ScriptEase: generative design patterns for computer role-playing games (PDF)

M. McNaughton , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
M. Cutumisu , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 88-99

Modeling Web-based dialog flows for automatic dialog control (PDF)

M. Book , Dept. of Comput. Sci., Leipzig Univ., Germany
V. Gruhn , Dept. of Comput. Sci., Leipzig Univ., Germany
pp. 100-109

Establishment of automated regression testing at ABB: industrial experience report on 'avoiding the pitfalls' (PDF)

C. Persson , ABB AB Corporate Res., Vasteras, Sweden
N. Yilmazturk , ABB AB Corporate Res., Vasteras, Sweden
pp. 112-121

Property-oriented test generation from UML Statecharts (PDF)

Shuhao Li , National Lab. for Parallel & Distributed Process., Changsha, China
Ji Wang , National Lab. for Parallel & Distributed Process., Changsha, China
Zhi-ChangQi , National Lab. for Parallel & Distributed Process., Changsha, China
pp. 122-131

Inferring specifications to detect errors in code (PDF)

M. Taghdiri , Comput. Sci. & AI Lab, Massachusetts Inst. of Technol., Cambridge, MA, USA
pp. 144-153

Analyzing interaction orderings with model checking (PDF)

M.B. Dwyer , Kansas State Univ., Manhattan, KS, USA
Robby , Kansas State Univ., Manhattan, KS, USA
O. Tkachuk , Kansas State Univ., Manhattan, KS, USA
pp. 154-163

Verifying interactive Web programs (PDF)

D.R. Licata , Brown Univ., Providence, RI, USA
S. Krishnamurthi , Brown Univ., Providence, RI, USA
pp. 164-173

Test-suite reduction for model based tests: effects on test quality and implications for testing (PDF)

M.P.E. Heimdahl , Dept. of Comput. Sci. & Eng., Minnesota Univ., Minneapolis, MN, USA
D. George , Dept. of Comput. Sci. & Eng., Minnesota Univ., Minneapolis, MN, USA
pp. 176-185

Using transient/persistent errors to develop automated test oracles for event-driven software (PDF)

A. Memon , Dept. of Comput. Sci., Maryland Univ., USA
Qing Xie , Dept. of Comput. Sci., Maryland Univ., USA
pp. 186-195

Rostra: a framework for detecting redundant object-oriented unit tests (PDF)

Tao Xie , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
D. Notkin , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
pp. 196-205

A dataflow language for scriptable debugging (PDF)

G. Marceau , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
G.H. Cooper , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
S. Krishnamurthi , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
S.P. Reiss , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
pp. 218-227

Automatic method completion (PDF)

R. Hill , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
J. Rideout , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
pp. 228-235

Consistency checking in an infrastructure for large-scale generative programming (PDF)

A. Rauschmayer , Inst. fur Informatik, Ludwig-Maximilians-Univ. Munchen, Germany
A. Knapp , Inst. fur Informatik, Ludwig-Maximilians-Univ. Munchen, Germany
M. Wirsing , Inst. fur Informatik, Ludwig-Maximilians-Univ. Munchen, Germany
pp. 238-247

Verifiable concurrent programming using concurrency controllers (PDF)

A. Betin-Can , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
T. Bultan , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
pp. 248-257

Architecture for generating Web-based, thin-client diagramming tools (PDF)

Shuping Cao , Dept. of Comput. Sci., Auckland Univ., New Zealand
J. Grundy , Dept. of Comput. Sci., Auckland Univ., New Zealand
J. Hosking , Dept. of Comput. Sci., Auckland Univ., New Zealand
H. Stoeckle , Dept. of Comput. Sci., Auckland Univ., New Zealand
E. Tempero , Dept. of Comput. Sci., Auckland Univ., New Zealand
pp. 270-273

A statistical model to locate faults at input levels (PDF)

Wu Ji , Beijing Univ. of Aeronaut. & Astronaut., China
Jia Xiao-xia , Beijing Univ. of Aeronaut. & Astronaut., China
Liu Chang , Beijing Univ. of Aeronaut. & Astronaut., China
Yang Hai-yan , Beijing Univ. of Aeronaut. & Astronaut., China
Liu Chao , Beijing Univ. of Aeronaut. & Astronaut., China
Jin Mao-zhong , Beijing Univ. of Aeronaut. & Astronaut., China
pp. 274-277

Helping object-oriented framework use and evaluation by means of historical use information (PDF)

R. Pereira e Silva , Dept. of Comput. Sci. & Stat., Fed. Univ. of Santa Catarina, Florianopolis, Brazil
pp. 278-281

Heuristic search with reachability tests for automated generation of test programs (PDF)

Wee Kheng Leow , Dept. of Comput. Sci., Singapore Nat. Univ., Singapore
Siau Cheng Khoo , Dept. of Comput. Sci., Singapore Nat. Univ., Singapore
Tiong Hoe Loh , Dept. of Comput. Sci., Singapore Nat. Univ., Singapore
V. Suhendra , Dept. of Comput. Sci., Singapore Nat. Univ., Singapore
pp. 282-285

COMPASS: tool-supported adaptation of interactions (PDF)

D. Heuzeroth , Program Structures Group, Univ. Karlsruhe, Germany
pp. 286-289

On-the-fly generation of k-path tests for C functions (PDF)

N. Williams , CEA-Saclay, Gif sur Yvette, France
B. Marre , CEA-Saclay, Gif sur Yvette, France
P. Mouy , CEA-Saclay, Gif sur Yvette, France
pp. 290-297

Automated performance validation of software design: an industrial experience (PDF)

D. Compare , Lab NMSC2 Marconi-Selenia, L'Aquila, Italy
A. D'Onofrio , Lab NMSC2 Marconi-Selenia, L'Aquila, Italy
pp. 298-301

CHET: a system for checking dynamic specifications (PDF)

S.P. Reiss , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
pp. 302-305

From testing to diagnosis: an automated approach (PDF)

F. Fleurey , IRISA, Rennes, France
Y. Le Traon , IRISA, Rennes, France
pp. 306-309

Aspect mining using event traces (PDF)

S. Breu , MCT-NASA Ames, Silicon Valley, CA, USA
pp. 310-315

A case study of coverage-checked random data structure testing (PDF)

J.H. Andrews , Dept. of Comput. Sci., Western Ontario Univ., London, Ont., Canada
pp. 316-319

Mapping template semantics to SMV (PDF)

Yun Lu , Sch. of Comput. Sci., Waterloo Univ., Ont., Canada
J.M. Atlee , Sch. of Comput. Sci., Waterloo Univ., Ont., Canada
N.A. Day , Sch. of Comput. Sci., Waterloo Univ., Ont., Canada
J. Niu , Sch. of Comput. Sci., Waterloo Univ., Ont., Canada
pp. 320-325

Refactoring use case models on episodes (PDF)

Wei Yu , Concordia Univ., Montreal, Que., Canada
Jun Li , Concordia Univ., Montreal, Que., Canada
G. Butler , Concordia Univ., Montreal, Que., Canada
pp. 328-335

Evaluating clone detection techniques from a refactoring perspective (PDF)

F. Van Rysselberghe , Lab On Re-Eng., Antwerp Univ., Antwerpen, Belgium
S. Demeyer , Lab On Re-Eng., Antwerp Univ., Antwerpen, Belgium
pp. 336-339

Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically (PDF)

S. Khor , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
P. Grogono , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 346-349

Automated analysis of timing information in UML diagrams (PDF)

S. Konrad , Dept. of Comput. Sci. & Eng., Michigan State Univ., E. Lansing, MI, USA
L.A. Campbell , Dept. of Comput. Sci. & Eng., Michigan State Univ., E. Lansing, MI, USA
B.H.C. Cheng , Dept. of Comput. Sci. & Eng., Michigan State Univ., E. Lansing, MI, USA
pp. 350-357

Combination model checking: approach and a case study (Abstract)

Yunja Choi , Fraunhofer Institute for Experimental Software Engineering
pp. 354-357

Instant and incremental transformation of models (PDF)

S. Johann , Univ. of Appl. Sci., Mannheim, Germany
pp. 362-365

RCAT: a performance analysis tool (PDF)

Z. Alzamil , Dept. of Comput. Technol., Riyadh Coll. of Technol., Saudi Arabia
pp. 366-370

Modeling behavior in compositions of software architectural primitives (PDF)

N.R. Mehta , Dept. of Comput. Sci., Southern California Univ., Los Angeles, CA, USA
N. Medvidovic , Dept. of Comput. Sci., Southern California Univ., Los Angeles, CA, USA
pp. 371-374

Evaluation of tool support for architectural evolution (PDF)

A. Jansen , Dept. of Comput. Sci., Groningen Univ., Netherlands
J. Bosch , Dept. of Comput. Sci., Groningen Univ., Netherlands
pp. 375-378

Requirements monitoring for service-based systems: towards a framework based on event calculus (PDF)

G. Spanoudakis , Dept. of Comput., City Univ., London, UK
K. Mahbub , Dept. of Comput., City Univ., London, UK
pp. 379-384

ScriptEase: generating scripting code for computer role-playing games (PDF)

M. McNaughton , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
M. Cutumisu , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
D. Szafron , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
J. Schaeffer , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 386-387

ISPIS: a framework supporting software inspection processes (PDF)

M. Kalinowski , Syst. Eng. & Comput. Sci. Program, Univ. Fed. do Rio de Janeiro, Brazil
G.H. Travassos , Syst. Eng. & Comput. Sci. Program, Univ. Fed. do Rio de Janeiro, Brazil
pp. 392-393

CodeCrawler - polymetric views in action (PDF)

M. Lanza , Software Eng. Group, Zurich Univ., Switzerland
pp. 394-395

T-UPPAAL: online model-based testing of real-time systems (PDF)

M. Mikucionis , Dept. of Comput. Sci., Aalborg Univ., Denmark
K.G. Larsen , Dept. of Comput. Sci., Aalborg Univ., Denmark
B. Nielsen , Dept. of Comput. Sci., Aalborg Univ., Denmark
pp. 396-397

An environment for building a system out of its requirements (PDF)

C. Smith , ARC Centre for Complex Syst., Queensland Univ., Brisbane, Qld., Australia
K. Winter , ARC Centre for Complex Syst., Queensland Univ., Brisbane, Qld., Australia
I. Hayes , ARC Centre for Complex Syst., Queensland Univ., Brisbane, Qld., Australia
G. Dromey , ARC Centre for Complex Syst., Queensland Univ., Brisbane, Qld., Australia
P. Lindsay , ARC Centre for Complex Syst., Queensland Univ., Brisbane, Qld., Australia
D. Carrington , ARC Centre for Complex Syst., Queensland Univ., Brisbane, Qld., Australia
pp. 398-399

Automated dynamic reconfiguration using AI planning (PDF)

N. Arshad , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 402-405

Decision support for test management in iterative and evolutionary development (PDF)

R. Ramler , Software Competence Center, Hagenberg, Austria
pp. 406-409

Formal framework for automated analysis and verification of Web-based applications (PDF)

M. Haydar , Departement d'Informatique et de Recherche Operationnelle, Univ. de Montreal, Que., Canada
pp. 410-413

Decompositional verification of component-based systems-a hybrid approach (PDF)

Gaoyan Xie , Sch. of Electr. Eng. & Comput. Sci., Washington State Univ., Pullman, WA, USA
pp. 414-417

Interactive visualization of concurrents programs [concurrents read concurrent] (PDF)

R. Capuano , Dipt. di Informatica ed Applicazioni, Universita degli Studi di Salerno, Italy
pp. 418-421

Group support for distributed collaborative concurrent software modeling (PDF)

N. Boulila , Appl. Software Eng., Technische Univ. Munchen, Germany
pp. 422-425

Collaborative tools for mobile requirements acquisition (PDF)

N. Seyff , Syst. Eng. & Autom., Johannes Kepler Univ., Linz, Austria
pp. 426-429

Modeling and simulation of context-aware mobile systems (PDF)

P. Guo , Int. Graduate Sch., Paderborn Univ., Germany
R. Heckel , Int. Graduate Sch., Paderborn Univ., Germany
pp. 430-433
Formal Tool Demo Presentations

ScriptEase: Generating Scripting Code for Computer Role-Playing Games (PDF)

M. McNaughton , University of Alberta, Edmonton, Canada
M. Cutumisu , University of Alberta, Edmonton, Canada
D. Szafron , University of Alberta, Edmonton, Canada
J. Schaeffer , University of Alberta, Edmonton, Canada
J. Redford , BioWare Corp., Edmonton, Canada
D. Parker , Electronic Arts (Canada) Inc., Canada
pp. 386-387

Using a Structure-based Configuration Tool for Product Derivation (Abstract)

Lothar Hotz , Universit?t Hamburg
Thorsten Krebs , Universit?t Hamburg
Katharina Wolter , Universit?t Hamburg
pp. 388-391

CodeCrawler - Polymetric Views in Action (PDF)

Michele Lanza , University of Zurich, Switzerland
pp. 394-395

T-UPPAAL: Online Model-based Testing of Real-Time Systems (PDF)

Marius Mikucionis , Aalborg University, Denmark
Kim G. Larsen , Aalborg University, Denmark
Brian Nielsen , Aalborg University, Denmark
pp. 396-397

An Environment for Building a System out of its Requirements (PDF)

C. Smith , University of Queensland, Australia
K. Winter , University of Queensland, Australia
I. Hayes , University of Queensland, Australia
G. Dromey , University of Queensland, Australia
P. Lindsay , University of Queensland, Australia
D. Carrington , University of Queensland, Australia
pp. 398-399
Doctoral Symposium

Automated Dynamic Reconfiguration using AI Planning (Abstract)

Naveed Arshad , University of Colorado at Boulder
pp. 402-405

Decision Support for Test Management in Iterative and Evolutionary Development (Abstract)

Rudolf Ramler , Software Competence Center Hagenberg, Austria
pp. 406-409

Decompositional Verification of Component-based Systems-A Hybrid Approach (Abstract)

Gaoyan Xie , Washington State University, Pullman, WA
pp. 414-417

Interactive Visualization of Concurrents Programs (Abstract)

Roberto Capuano , Universit? degli Studi di Salerno
pp. 418-421

Collaborative Tools for Mobile Requirements Acquisition (Abstract)

Norbert Seyff , Johannes Kepler University Linz, Austria
pp. 426-429

Modeling and Simulation of Context-Aware Mobile Systems (Abstract)

Ping Guo , University of Paderborn, Germany
Reiko Heckel , University of Paderborn, Germany
pp. 430-433

Author Index (PDF)

pp. 434-435
94 ms
(Ver 3.3 (11022016))