The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings. 19th International Conference on Automated Software Engineering (2004)
Linz
Sept. 24, 2004 to Sept. 24, 2004
ISBN: 0-7695-2131-2
TABLE OF CONTENTS
Preface (PDF)
pp. x
Preface (PDF)
pp. x
pp. xiii
Reviewers (PDF)
pp. xiv
Keynotes
Mehdi Jazayeri , Technical University of Vienna
pp. xviii-xxvii
Session T1: Program Analysis
Alessandro Orso , Georgia Institute of Technology, Atlanta
Taweesup Apiwattanapong , Georgia Institute of Technology, Atlanta
pp. 2-13
Session T2: Tool Support for V&V Activities
Yuhong Cai , University of Auckland, New Zealand
John Hosking , University of Auckland, New Zealand
pp. 36-45
Robert J. Hall , AT&T Labs Research, Florham Park, NJ
Andrea Zisman , City University, London, UK
pp. 56-66
Session T3: Architecture and Frameworks
Takashi Kobayashi , Tokyo Institute of Technology, Japan
Motoshi Saeki , Tokyo Institute of Technology, Japan
pp. 68-77
Johannes Koskinen , Tampure University of Technology, Finland
Imed Hammouda , Tampure University of Technology, Finland
Mika Katara , Tampure University of Technology, Finland
Tommi Mikkonen , Tampure University of Technology, Finland
pp. 78-87
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
M. McNaughton , University of Alberta, Edmonton, Canada
pp. 88-99
Matthias Book , University of Leipzig, Germany
pp. 100-109
Session T4: Testing 1
Shuhao Li , National Laboratory for Parallel and Distributed Processing, China
Zhi-Chang Qi , National Laboratory for Parallel and Distributed Processing, China
pp. 122-131
Valentin Mihaylov , Drexel University, Philadelphia, PA
Amie Souter , Drexel University, Philadelphia, PA
Sreedevi Sampath , University of Delaware, Newark, DE
pp. 132-141
Session T5: Verification of Code
Mana Taghdiri , Massachusetts Institute of Technology, Cambridge, MA
pp. 144-153
Robby , Kansas State University, Manhattan, KS
Matthew B. Dwyer , Kansas State University, Manhattan, KS
Willem Visser , NASA Ames Research Center, Moffett Field, CA
pp. 154-163
Daniel R. Licata , Brown University
Shriram Krishnamurthi , Brown University
pp. 164-173
Session T6: Testing 2
Tao Xie , University of Washington, Seattle, WA
Darko Marinov , MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA
David Notkin , University of Washington, Seattle, WA
pp. 196-205
Session T7: Automated Programmer Assistance
Hermann Stoeckle , University of Auckland, New Zealand
John Grundy , University of Auckland, New Zealand
Robert Amor , University of Auckland, New Zealand
John Hosking , University of Auckland, New Zealand
pp. 208-217
Gregory H. Cooper , Brown University, Providence, RI
Shriram Krishnamurthi , Brown University, Providence, RI
Guillaume Marceau , Brown University, Providence, RI
pp. 218-227
Rosco Hill , University of Toronto, Canada
Joe Rideout , University of Toronto, Canada
pp. 228-235
Session T8: Modular Verification
Axel Rauschmayer , Universit?t M?nchen
Alexander Knapp , Universit?t M?nchen
Martin Wirsing , Universit?t M?nchen
pp. 238-247
Aysu Betin-Can , University of California, Santa Barbara
pp. 248-257
Colin Blundell , University of Pennsylvania
Shriram Krishnamurthi , Brown University
Pascal Van Hentenryck , Brown University
pp. 258-267
Session P1: Short Papers
Shuping Cao , University of Auckland, New Zealand
John Hosking , University of Auckland, New Zealand
Hermann Stoeckle , University of Auckland, New Zealand
Ewan Tempero , University of Auckland, New Zealand
pp. 270-273
Jia Xiao-xia , Beijing University of Aeronautics and Astronautics, Beijing, China
Liu Chang , Beijing University of Aeronautics and Astronautics, Beijing, China
Yang Hai-yan , Beijing University of Aeronautics and Astronautics, Beijing, China
Liu Chao , Beijing University of Aeronautics and Astronautics, Beijing, China
Jin Mao-zhong , Beijing University of Aeronautics and Astronautics, Beijing, China
pp. 274-277
Ricardo Pereira e Silva , Federal University of Santa Catarina - UFSC
Evandro C?sar Freiberger , CEFET and University of Cuiab? - UNIC
pp. 278-281
Siau Cheng Khoo , National University of Singapore
Tiong Hoe Loh , National University of Singapore
Vivy Suhendra , National University of Singapore
pp. 282-285
Dirk Heuzeroth , Universit?t Karlsruhe, Germany
pp. 286-289
Nicky Williams , CEA/Saclay, France
Bruno Marre , CEA/Saclay, France
Patricia Mouy , CEA/Saclay, France
pp. 290-293
Y. Ledru , LSR-IMAG, France
O. Maury , LSR-IMAG, France
C. Oriat , LSR-IMAG, France
J.-L. Lanet , La Vigie, av. du Jujubier, France
pp. 294-297
Antonio D'Onofrio , Lab. NMSC2 Marconi-Selenia, L'Aquila, Italy
Antinisca Di Marco , Universit? dell'Aquila, L'Aquila, Italy
Daniele Compare , Lab. NMSC2 Marconi-Selenia, L'Aquila, Italy
pp. 298-301
Steven P. Reiss , Brown University, Providence, RI
pp. 302-305
Yves Le Traon , IRISA, Campus Universitaire de Beaulieu, France
Benoit Baudry , CEA-List, France
pp. 306-309
Silvia Breu , MCT/NASA Ames, USA
pp. 310-315
James H. Andrews , Univ. of Western Ontario, London
pp. 316-319
Joanne M. Atlee , University of Waterloo
Nancy A. Day , University of Waterloo
Jianwei Niu , University of Waterloo
pp. 320-325
Session P2: Short Papers
Jun Li , Concordia University, Canada
Wei Yu , Concordia University, Canada
pp. 328-331
Jia Xu , University of Virginia
Kevin Sullivan , University of Virginia
pp. 332-335
Philippa J. Hopcroft , Oxford University Computing Laboratory, United Kingdom
Guy H. Broadfoot , Verum Consultants, The Netherlands
pp. 340-345
Sascha Konrad , Michigan State University, E. Lansing, MI
Laura A. Campbell , Michigan State University, E. Lansing, MI
Betty H. C. Cheng , Michigan State University, E. Lansing, MI
pp. 350-353
Yunja Choi , Fraunhofer Institute for Experimental Software Engineering, Germany
Mats P. E. Heimdahl , University of Minnesota, USA
pp. 354-357
Sven Johann , University of Applied Sciences Mannheim, Germany
Alexander Egyed , Teknowledge Corporation, Marina Del Rey, CA
pp. 362-365
Zakarya Alzamil , Riyadh College of Technology, Saudi Arabia
pp. 366-370
Nikunj R. Mehta , University of Southern California, Los Angeles
Nenad Medvidovic , University of Southern California, Los Angeles
Marjan Sirjani , Centrum Voor Wiskunde en Informatica, The Netherlands
Farhad Arbab , Centrum Voor Wiskunde en Informatica, The Netherlands
pp. 371-374
Anton Jansen , University of Groningen, The Netherlands
pp. 375-378
George Spanoudakis , City University, London, UK
Khaled Mahbub , City University, London, UK
pp. 379-384
Formal Tool Demo Presentations
M. Cutumisu , University of Alberta, Edmonton, Canada
D. Szafron , University of Alberta, Edmonton, Canada
J. Schaeffer , University of Alberta, Edmonton, Canada
M. McNaughton , University of Alberta, Edmonton, Canada
D. Parker , Electronic Arts (Canada) Inc., Canada
pp. 386-387
Lothar Hotz , Universit?t Hamburg
Katharina Wolter , Universit?t Hamburg
pp. 388-391
Michele Lanza , University of Zurich, Switzerland
pp. 394-395
Kim G. Larsen , Aalborg University, Denmark
Marius Mikucionis , Aalborg University, Denmark
pp. 396-397
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
Naveed Arshad , University of Colorado at Boulder
pp. 402-405
Rudolf Ramler , Software Competence Center Hagenberg, Austria
pp. 406-409
Gaoyan Xie , Washington State University, Pullman, WA
pp. 414-417
Roberto Capuano , Universit? degli Studi di Salerno
pp. 418-421
Naoufel Boulila , Technische Universit?t M?nchen
pp. 422-425
Norbert Seyff , Johannes Kepler University Linz, Austria
pp. 426-429
Ping Guo , University of Paderborn, Germany
Reiko Heckel , University of Paderborn, Germany
pp. 430-433
Author Index (PDF)
pp. 434-435
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool