• A
  • ASE
  • 2008
  • 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Advanced Search 
2008 23rd IEEE/ACM International Conference on Automated Software Engineering
L'Aquila
September 15-September 19
ISBN: 978-1-4244-2187-9
Table of Contents
Papers
Forward (PDF)
pp. viii
Swarm Verification (Abstract)
G.J. Holzmann, Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA
R. Joshi, Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA
A. Groce, Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA
pp. 1-6
M. Jorde, Univ. of Nebraska - Lincoln, Lincoln, NE
S. Elbaum, Univ. of Nebraska - Lincoln, Lincoln, NE
M.B. Dwyer, Univ. of Nebraska - Lincoln, Lincoln, NE
pp. 9-18
J.H. Andrews, Dept. of Comput. Sci., Univ. of Western Ontario, London, ON
pp. 19-28
A. De Lucia, Dept. of Math.&Inf., Univ. of Salerno, Fisciano
R. Oliveto, Dept. of Math.&Inf., Univ. of Salerno, Fisciano
G. Tortora, Dept. of Math.&Inf., Univ. of Salerno, Fisciano
pp. 39-48
P. Mader, Dept. of Software Syst., Ilmenau Tech. Univ., Ilmenau
O. Gotel, Dept. of Software Syst., Ilmenau Tech. Univ., Ilmenau
pp. 49-58
Z. Rakamaric, Dept. of Comput. Sci., Univ. of British Columbia, Vancouver, BC
A.J. Hu, Dept. of Comput. Sci., Univ. of British Columbia, Vancouver, BC
pp. 89-98
W. Mayer, Adv. Comput. Res. Centre, Univ. of South Australia, Mawson Lakes, SA
M. Stumptner, Adv. Comput. Res. Centre, Univ. of South Australia, Mawson Lakes, SA
pp. 128-137
C. Jaspan, Carnegie Mellon Univ., Pittsburgh, PA
T. Quan, Carnegie Mellon Univ., Pittsburgh, PA
J. Aldrich, Carnegie Mellon Univ., Pittsburgh, PA
pp. 138-147
P.O. Meredith, Univ. of Illinois at Urbana-Champaign, Urbana, IL
D. Jin, Univ. of Illinois at Urbana-Champaign, Urbana, IL
F. Chen, Univ. of Illinois at Urbana-Champaign, Urbana, IL
G. Rosu, Univ. of Illinois at Urbana-Champaign, Urbana, IL
pp. 148-157
A. Zisman, Dept. of Comput., City Univ. London, London
G. Spanoudakis, Dept. of Comput., City Univ. London, London
J. Dooley, Dept. of Comput., City Univ. London, London
pp. 158-167
G. Edwards, Comput. Sci. Dept., Univ. of Southern California, Los Angeles, CA
N. Medvidovic, Comput. Sci. Dept., Univ. of Southern California, Los Angeles, CA
pp. 168-177
H. Post, ITI VerAE Group, Univ. of Karlsruhe, Karlsruhe
C. Sinz, ITI VerAE Group, Univ. of Karlsruhe, Karlsruhe
pp. 188-197
R. Capilla, Depto. de Cienc. de la Comput., Univ. Rey Juan Carlos, Madrid
F. Nava, Depto. de Cienc. de la Comput., Univ. Rey Juan Carlos, Madrid
pp. 208-217
S.A. Khalek, Univ. of Texas at Austin, Austin, TX
B. Elkarablieh, Univ. of Texas at Austin, Austin, TX
Y.O. Laleye, Univ. of Texas at Austin, Austin, TX
S. Khurshid, Univ. of Texas at Austin, Austin, TX
pp. 238-247
N. Walkinshaw, Dept. of Comput. Sci., Univ. of Sheffield, Sheffield
K. Bogdanov, Dept. of Comput. Sci., Univ. of Sheffield, Sheffield
pp. 248-257
D. Port, Inf. Technol. Manage. Univ. of Hawaii, Honolulu, HI
A. Olkov, Inf. Technol. Manage. Univ. of Hawaii, Honolulu, HI
pp. 268-277
Danfeng Zhang, Key Lab. of High Confidence Software Technol., Peking Univ., Beijing
Yao Guo, Key Lab. of High Confidence Software Technol., Peking Univ., Beijing
Xiangqun Chen, Key Lab. of High Confidence Software Technol., Peking Univ., Beijing
pp. 278-287
K. Inkumsah, Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC
Tao Xie, Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC
pp. 297-306
E. Yom-Tov, IBM, Haifa Univ. Campus, Haifa
R. Tzoref, IBM, Haifa Univ. Campus, Haifa
S. Ur, IBM, Haifa Univ. Campus, Haifa
S. Hoory, IBM, Haifa Univ. Campus, Haifa
pp. 307-316
S. Thummalapenta, Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC
Tao Xie, Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC
pp. 327-336
J. Andersen, DIKU, Univ. of Copenhagen, Copenhagen
J.L. Lawall, DIKU, Univ. of Copenhagen, Copenhagen
pp. 337-346
H. Post, Inst. for Theor. Comput. Sci., Univ. of Karlsruhe, Karlsruhe
C. Sinz, Inst. for Theor. Comput. Sci., Univ. of Karlsruhe, Karlsruhe
pp. 347-350
M. Shevertalov, Dept. of Comput. Sci., Drexel Univ., Philadelphia, PA
S. Mancoridis, Dept. of Comput. Sci., Drexel Univ., Philadelphia, PA
pp. 359-362
H. Shen, Sch. of Comput. Eng., Nanyang Technol. Univ., Singapore
S. Liu, Sch. of Comput. Eng., Nanyang Technol. Univ., Singapore
S. Xia, Sch. of Comput. Eng., Nanyang Technol. Univ., Singapore
Chengzheng Sun, Sch. of Comput. Eng., Nanyang Technol. Univ., Singapore
pp. 367-370
A.S. Andreou, Dept. of Comput. Sci., Univ. of Cyprus, Nicosia
E. Papatheocharous, Dept. of Comput. Sci., Univ. of Cyprus, Nicosia
pp. 371-374
Guozheng Ge, Dept. of Comput. Sci., Univ. of California, Santa Cruz, CA
E.J. Whitehead, Dept. of Comput. Sci., Univ. of California, Santa Cruz, CA
pp. 375-378
J.M. Moore, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX
F.M. Shipman, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX
pp. 379-382
R. Adnan, Delft Univ. of Technol., Delft
B. Graaf, Delft Univ. of Technol., Delft
A. van Deursen, Delft Univ. of Technol., Delft
J. Zonneveld, Delft Univ. of Technol., Delft
pp. 383-386
T.E. Hart, Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
K. Ku, Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
pp. 387-390
M. Ispir, Inf. Inst. Middle East Tech. Univ., Ankara
A. Betin Can, Inf. Inst. Middle East Tech. Univ., Ankara
pp. 391-394
A. Bertolino, Consiglio Naz. delle Ric., Ist. di Scienza e Tecnol. dell'Inf., Pisa
G. De Angelis, Consiglio Naz. delle Ric., Ist. di Scienza e Tecnol. dell'Inf., Pisa
A. Sabetta, Consiglio Naz. delle Ric., Ist. di Scienza e Tecnol. dell'Inf., Pisa
pp. 399-402
B. Cabral, CISUC, Univ. of Coimbra, Coimbra
P. Marques, CISUC, Univ. of Coimbra, Coimbra
pp. 403-406
K. Taneja, Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC
Tao Xie, Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC
pp. 407-410
J. Fischer, Comput. Sci. Dept., Univ. of California Los Angeles, Los Angeles, CA
R. Majumdar, Comput. Sci. Dept., Univ. of California Los Angeles, Los Angeles, CA
pp. 415-418
E.C. de Almeida, LINA, Univ. de Nantes, Nantes
G. Sunye, LINA, Univ. de Nantes, Nantes
pp. 419-422
J.-R. Falleri, LIRMM, Univ. Montpellier, Montpellier
M. Huchard, LIRMM, Univ. Montpellier, Montpellier
C. Nebut, LIRMM, Univ. Montpellier, Montpellier
pp. 431-434
Hwa-You Hsu, Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA
J.A. Jones, Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA
A. Orso, Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA
pp. 439-442
J. Burnim, EECS, UC Berkeley, Berkeley, CA
K. Sen, EECS, UC Berkeley, Berkeley, CA
pp. 443-446
R. Salay, Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
J. Mylopoulos, Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
S. Easterbrook, Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
pp. 447-450
Tung Thanh Nguyen, Electr.&Comput. Eng. Dept., Iowa State Univ., Ames, IA
H.A. Nguyen, Electr.&Comput. Eng. Dept., Iowa State Univ., Ames, IA
N.H. Pham, Electr.&Comput. Eng. Dept., Iowa State Univ., Ames, IA
J.M. Al-Kofahi, Electr.&Comput. Eng. Dept., Iowa State Univ., Ames, IA
T.N. Nguyen, Electr.&Comput. Eng. Dept., Iowa State Univ., Ames, IA
pp. 451-454
F. Chauvel, INRIA, Univ. de Rennes 1, Rennes
O. Barais, INRIA, Univ. de Rennes 1, Rennes
J.-M. Jezequel, INRIA, Univ. de Rennes 1, Rennes
pp. 455-458
H. Fukuda, Grad. Sch. of Sci.&Techinology, Keio Univ., Yokohama
Y. Yamamoto, Grad. Sch. of Sci.&Techinology, Keio Univ., Yokohama
pp. 459-462
B. Fluri, Dept. of Inf., Univ. of Zurich, Zurich
E. Giger, Dept. of Inf., Univ. of Zurich, Zurich
H.C. Gall, Dept. of Inf., Univ. of Zurich, Zurich
pp. 463-466
A. Khambati, Dept. of Comput. Sci., Univ. of Auckland, Auckland
J. Grundy, Dept. of Comput. Sci., Univ. of Auckland, Auckland
J. Warren, Dept. of Comput. Sci., Univ. of Auckland, Auckland
J. Hosking, Dept. of Comput. Sci., Univ. of Auckland, Auckland
pp. 467-470
J. Brichau, Univ. Catholique de Louvain, Louvain-la-Neuve
K. Mens, Univ. Catholique de Louvain, Louvain-la-Neuve
pp. 471-472
A. Bucchiarone, Ist. di Sci. e Tecnol. dell'Inf., CNR, Pisa
S. Gnesi, Ist. di Sci. e Tecnol. dell'Inf., CNR, Pisa
G. Lami, Ist. di Sci. e Tecnol. dell'Inf., CNR, Pisa
G. Trentanni, Ist. di Sci. e Tecnol. dell'Inf., CNR, Pisa
A. Fantechi, Ist. di Sci. e Tecnol. dell'Inf., CNR, Pisa
pp. 473-474
N. D'Ippolito, FCEN, Univ. of Buenos Aires, Buenos Aires
D. Fischbein, FCEN, Univ. of Buenos Aires, Buenos Aires
S. Uchitel, FCEN, Univ. of Buenos Aires, Buenos Aires
pp. 475-476
Lei Li, Dept. of Comput. Sci., Univ. of Auckland, Auckland
J. Hosking, Dept. of Comput. Sci., Univ. of Auckland, Auckland
J. Grundy, Dept. of Comput. Sci., Univ. of Auckland, Auckland
pp. 477-478
T.E. Hart, Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
K. Ku, Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON
pp. 479-480
R. Holmes, Lab. for Software Modification Res., Univ. of Calgary, Calgary, AB
R.J. Walker, Lab. for Software Modification Res., Univ. of Calgary, Calgary, AB
pp. 481-482
I. Malavolta, Dipt. di Inf., Univ. dell'Aquila, L'Aquila
H. Muccini, Dipt. di Inf., Univ. dell'Aquila, L'Aquila
P. Pelliccione, Dipt. di Inf., Univ. dell'Aquila, L'Aquila
pp. 483-484
R. Capilla, Dept. de Cienc. de la Comput., Univ. Rey Juan Carlos, Madrid
F. Nava, Dept. de Cienc. de la Comput., Univ. Rey Juan Carlos, Madrid
J. Montes, Dept. de Cienc. de la Comput., Univ. Rey Juan Carlos, Madrid
pp. 487-488
D. Ordonez Camacho, Univ. Catholique de Louvain, Louvain-la-Neuve
Kim Mens, Univ. Catholique de Louvain, Louvain-la-Neuve
pp. 489-490
S. Sentilles, Sch. of Innovation, Malardalen Univ., Vasteras
P. Pettersson, Sch. of Innovation, Malardalen Univ., Vasteras
I. Crnkovic, Sch. of Innovation, Malardalen Univ., Vasteras
pp. 493-494
The Clem Toolkit (Abstract)
D. Gaffe, LEAT Lab., Univ. of Nice, Valbonne
pp. 495-496
M. Staats, Dept. of Comput. Sci.&Eng., Univ. of Minnesota, Minneapolis, MN
W. Deng, Dept. of Comput. Sci.&Eng., Univ. of Minnesota, Minneapolis, MN
A. Rajan, Dept. of Comput. Sci.&Eng., Univ. of Minnesota, Minneapolis, MN
M.P.E. Heimdahl, Dept. of Comput. Sci.&Eng., Univ. of Minnesota, Minneapolis, MN
pp. 499-500
N. Frisby, Inf. Technol.&Telecommun. Center, Univ. of Kansas, Lawrence, KS
pp. 505-508
F.T. Balagtas-Fernandez, Adviser: Heinrich Hussmann Dept. of Comput. Sci., Univ. of Munich, Munich
H. Hussmann, Adviser: Heinrich Hussmann Dept. of Comput. Sci., Univ. of Munich, Munich
pp. 509-512
M. Pinzger, Dept. of Telecooperation, Johannes Kepler Univ., Linz
pp. 513-516
A.L. Juarez Dominguez, David R. Cheriton Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON
pp. 521-524
Usage of this product signifies your acceptance of the Terms of Use.