The Community for Technology Leaders
RSS Icon
Subscribe
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2008)
L'Aquila
Sept. 15, 2008 to Sept. 19, 2008
ISBN: 978-1-4244-2187-9
TABLE OF CONTENTS
Papers
Forward (PDF)
pp. viii
pp. ix-xxi
Sponsors: (PDF)
pp. xxii
pp. v-vii
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
C.B. Jones , Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne
pp. 7-8
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
D. Beyer , Simon Fraser Univ., Burnaby, BC
pp. 29-38
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
R.H. Bordini , Dept. of Comput. Sci., Durham Univ., Durham
pp. 69-78
R.J. Hall , AT&T Labs. Res., Florham Park, NJ
pp. 79-88
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
A. Egyed , Inst. for Syst. Eng.&Autom., Johannes Kepler Univ., Linz
pp. 99-108
S. Maoz , Singapore Manage. Univ., Singapore
pp. 109-118
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
R. Hegde , Microsoft Res., Redmond, WA
pp. 178-187
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
R. Santelices , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA
pp. 218-227
M.B. Dwyer , Univ. of Nebraska, Lincoln, NE
pp. 228-237
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
C. Kastner , Sch. of Comput. Sci., Univ. of Magdeburg, Magdeburg
pp. 258-267
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
P. Joshi , EECS, UC, Berkeley, CA
K. Sen , EECS, UC, Berkeley, CA
pp. 288-296
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
R. Robbes , Lugano Univ., Lugano
M. Lanza , Lugano Univ., Lugano
pp. 317-326
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
B. Daniel , Univ. of Illinois at Urbana-Champaign, Urbana, IL
pp. 363-366
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
C. Gibbs , Univ. of Victoria, Manchester
J. Baldwin , Univ. of Victoria, Manchester
pp. 395-398
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
D.A. Turner , Dept. of Comput. Sci., California State Univ. San Bernardino, San Bernardino, CA
pp. 411-414
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
R. Martinho , Dept. of Inf. Eng., Polytech. Inst. of Leiria, Leiria
pp. 427-430
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
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
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
Yijun Yu , Open Univ., Milton Keynes
J. Jurjens , Open Univ., Milton Keynes
pp. 503-504
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
V. Papailiopoulou , LIG, Univ. of Grenoble I, Grenoble
pp. 517-520
A.L. Juarez Dominguez , David R. Cheriton Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON
pp. 521-524
A. Eltaher , Dept. of Vehicle Electron. Syst., Univ. of Braunschweig, Braunschweig
pp. 525-528
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool