• A
  • ASE
  • 2004
  • 19th IEEE International Conference on Automated Software Engineering (ASE'04)
Advanced Search 
19th IEEE International Conference on Automated Software Engineering (ASE'04)
Linz, Austria
September 20-September 24
ISBN: 0-7695-2131-2
Table of Contents
null
Reviewers (PDF)
pp. xiv-xiv
Keynotes
Automating Value-Based Software Engineering
Mehdi Jazayeri, Technical University of Vienna
pp. xviii-xxvii
Deploying Formal Static Analysis
Session T1: Program Analysis
Taweesup Apiwattanapong, Georgia Institute of Technology, Atlanta
Alessandro Orso, Georgia Institute of Technology, Atlanta
Mary Jean Harrold, Georgia Institute of Technology, Atlanta
pp. 2-13
Session T2: Tool Support for V&V Activities
Yuhong Cai, University of Auckland, New Zealand
John Grundy, 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
Teruyoshi Zenmyo, Tokyo Institute of Technology, Japan
Takashi Kobayashi, Tokyo Institute of Technology, Japan
Motoshi Saeki, Tokyo Institute of Technology, Japan
pp. 68-77
Imed Hammouda, Tampure University of Technology, Finland
Johannes Koskinen, Tampure University of Technology, Finland
Mika Pussinen, Tampure University of Technology, Finland
Mika Katara, Tampure University of Technology, Finland
Tommi Mikkonen, Tampure University of Technology, Finland
pp. 78-87
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 Inc., Burnaby, Canada
pp. 88-99
Matthias Book, University of Leipzig, Germany
Volker Gruhn, University of Leipzig, Germany
pp. 100-109
Session T4: Testing 1
Shuhao Li, National Laboratory for Parallel and Distributed Processing, China
Ji Wang, National Laboratory for Parallel and Distributed Processing, China
Zhi-Chang Qi, National Laboratory for Parallel and Distributed Processing, China
pp. 122-131
Sreedevi Sampath, University of Delaware, Newark, DE
Valentin Mihaylov, Drexel University, Philadelphia, PA
Amie Souter, Drexel University, Philadelphia, PA
Lori Pollock, University of Delaware, Newark, DE
pp. 132-141
Session T5: Verification of Code
Mana Taghdiri, Massachusetts Institute of Technology, Cambridge, MA
pp. 144-153
Matthew B. Dwyer, Kansas State University, Manhattan, KS
Robby, Kansas State University, Manhattan, KS
Oksana Tkachuk, Kansas State University, Manhattan, KS
Willem Visser, NASA Ames Research Center, Moffett Field, CA
pp. 154-163
Session T6: Testing 2
Atif Memon, University of Maryland, College Park
Qing Xie, University of Maryland, College Park
pp. 186-195
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
Sebastian Bossung, Technical University of Hamburg, Germany
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
Guillaume Marceau, Brown University, Providence, RI
Gregory H. Cooper, Brown University, Providence, RI
Shriram Krishnamurthi, Brown University, Providence, RI
Steven P. Reiss, 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
Aysu Betin-Can, University of California, Santa Barbara
Tevfik Bultan, University of California, Santa Barbara
pp. 248-257
Session P1: Short Papers
Shuping Cao, University of Auckland, New Zealand
John Grundy, 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
Wu Ji, Beijing University of Aeronautics and Astronautics, Beijing, China
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
Wee Kheng Leow, National University of Singapore
Siau Cheng Khoo, National University of Singapore
Tiong Hoe Loh, National University of Singapore
Vivy Suhendra, National University of Singapore
pp. 282-285
Nicky Williams, CEA/Saclay, France
Bruno Marre, CEA/Saclay, France
Patricia Mouy, CEA/Saclay, France
pp. 290-293
L. du Bousquet, LSR-IMAG, France
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
Daniele Compare, Lab. NMSC2 Marconi-Selenia, L'Aquila, Italy
Antonio D'Onofrio, Lab. NMSC2 Marconi-Selenia, L'Aquila, Italy
Antinisca Di Marco, Universit? dell'Aquila, L'Aquila, Italy
Paola Inverardi, Universit? dell'Aquila, L'Aquila, Italy
pp. 298-301
Steven P. Reiss, Brown University, Providence, RI
pp. 302-305
Franck Fleurey, IRISA, Campus Universitaire de Beaulieu, France
Yves Le Traon, IRISA, Campus Universitaire de Beaulieu, France
Benoit Baudry, CEA-List, France
pp. 306-309
Silvia Breu, MCT/NASA Ames, USA
Jens Krinke, FernUniversit?t in Hagen, Germany
pp. 310-315
Yun Lu, University of Waterloo
Joanne M. Atlee, University of Waterloo
Nancy A. Day, University of Waterloo
Jianwei Niu, University of Waterloo
pp. 320-325
Session P2: Short Papers
Wei Yu, Concordia University, Canada
Jun Li, Concordia University, Canada
Greg Butler, Concordia University, Canada
pp. 328-331
Jia Xu, University of Virginia
Hridesh Rajan, University of Virginia
Kevin Sullivan, University of Virginia
pp. 332-335
Filip Van Rysselberghe, University Of Antwerp, Belgium
Serge Demeyer, University Of Antwerp, Belgium
pp. 336-339
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
Jan Bosch, University of Groningen, The Netherlands
pp. 375-378
Formal Tool Demo Presentations
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
Lothar Hotz, Universit?t Hamburg
Thorsten Krebs, Universit?t Hamburg
Katharina Wolter, Universit?t Hamburg
pp. 388-391
Michele Lanza, University of Zurich, Switzerland
pp. 394-395
Marius Mikucionis, Aalborg University, Denmark
Kim G. Larsen, Aalborg University, Denmark
Brian Nielsen, Aalborg University, Denmark
pp. 396-397
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
Naveed Arshad, University of Colorado at Boulder
pp. 402-405
Roberto Capuano, Universit? degli Studi di Salerno
pp. 418-421
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
Usage of this product signifies your acceptance of the Terms of Use.