Benvenuti!!!

Welcome to ICSE 2015

in Florence!

Antonia  Bertolino  CNR-­‐ISTI    Italy  General  Chair  

The  37th  ACM/IEEE  Interna9onal  Conference  on  So=ware  Engineering    Florence,  Italy  –  May  20-­‐22,  2015  

Gerardo  Canfora  University  of  Sannio  

Italy  Program  Co-­‐Chair  

Sebas3an  Elbaum  University  of  Nebraska  -­‐  Lincoln  USA  Program  Co-­‐Chair  

Let’s  start  from  the  most  fundamental  component  of  ICSE  2015:  YOU!  

No  audience  no  ICSE!  

Par9cipants  in  numbers    (as  of  May  18th)  

i.e.,  a'endan

ce  third  in  his

tory  for  main  

 and  second  f

or  total  event

 

Par9cipants  in  numbers    (as  of  May  18th)  

Student  Par9cipa9ons  Par9cipa9ons  

Par9cipants  in  numbers    (as  of  May  18th)  

Student  Par9cipa9ons  Par9cipa9ons  

TOP  five:  1.  USA  (278)  2.  Italy  (140)  3.  Germany  (129)    4.  Canada  (108)  5.  UK  (76)

Par9cipants  in  numbers    (as  of  May  18th)  

Student  Par9cipa9ons  Par9cipa9ons  

ICSE  2015  pre-­‐  and  post-­‐  events  

WED 20/05 THU 21/05 FRI 22/05Organizational and Human Factors

Specification and Verification

Symbolic Execution

Archtecture II / Security

SE Techniques as Enablers of Sustainability

ACM SRC Presentations

Methodologies and Practices I Refactoring Keynote Booch

Testing I Analysis II Programming

Mobile Applications Methodologies and Practices II Prediction Models

New Dimensions Novel Programming Analysis III

Empirical I Quality SCORE-it

Panel: Sw Systems and Sustainability Values and Concerns in Society SE Impact on Users

Developing Students' SE Skill Specialised Domains in SE Education

Evolution and Maintenance Mining Working with APIs

Highly Configurable and Adaptive Systems Testing II Testing III

Analysis I Patching and Fixing I Patching and Fixing II

Human and Crowd Commits and Repositories Empirical II

Testing Model-based Journal First TSE/TOSEM

Assistance Authoring and Synthesis Test & Analysis

Panel: InD./UniV. Collaboration in SE Education Infrastructure Support in SE Education

Tools and Environments Search-based

Regression Testing Collaboration and Coordination

Security and Privacy Analysis Infrastructure

Architecture I Performance

New Formalisms NIER Posters

SE Management and Processes, & Short Papers SE Teaching Methods and Technologies

Case Studies Experiences and Experiments Closing ceremony

ACM SRC Posters

Poster visit (Passi Perduti)

8.30|

10.30

COFFEE BREAK

AUDITORIUM

ICSE OpeningAwards I

Keynote Silenzi

AUDITORIUM

Keynote HolzmanAwards II

Keynote Landau

LUNCH

COFFEE BREAK

14.00|

15.30

AUDITORIUM

Keynote ICSE2005 MIPAndrews, Briand, Labiche

Awards III

16.00|

17.30

11.00|

12.30

ICSE  2015  Main  Conference  

Tracks  of  ICSE  2015:  ü  Technical  Research  ü  Joint  SE  Educa9on  and    

Training  (JSEET)  ü  So=ware  Engineering    

In  Prac9ce  (SEIP)  ü  So=ware  Engineering    

in  Society  (SEIS)      ü  New  Ideas  and  Emerging    

Results  (NIER)    ü  ACM  SRC  ü  Demonstra9ons      ü  Posters    ü  Journal  First  TSE/TOSEM  

   ü  SCORE-­‐it      

   •     3  plenary  and  61  parallel  sessions    

•     245  papers  in  main  +  40  presenta9ons  on  Tuesday  (DS,  TBs  and  NFS)          •     900+  authors    of  ICSE  proceedings    

WED 20/05 THU 21/05 FRI 22/05Organizational and Human Factors

Specification and Verification

Symbolic Execution

Archtecture II / Security

SE Techniques as Enablers of Sustainability

ACM SRC Presentations

Methodologies and Practices I Refactoring Keynote Booch

Testing I Analysis II Programming

Mobile Applications Methodologies and Practices II Prediction Models

New Dimensions Novel Programming Analysis III

Empirical I Quality SCORE-it

Panel: Sw Systems and Sustainability Values and Concerns in Society SE Impact on Users

Developing Students' SE Skill Specialised Domains in SE Education

Evolution and Maintenance Mining Working with APIs

Highly Configurable and Adaptive Systems Testing II Testing III

Analysis I Patching and Fixing I Patching and Fixing II

Human and Crowd Commits and Repositories Empirical II

Testing Model-based Journal First TSE/TOSEM

Assistance Authoring and Synthesis Test & Analysis

Panel: InD./UniV. Collaboration in SE Education Infrastructure Support in SE Education

Tools and Environments Search-based

Regression Testing Collaboration and Coordination

Security and Privacy Analysis Infrastructure

Architecture I Performance

New Formalisms NIER Posters

SE Management and Processes, & Short Papers SE Teaching Methods and Technologies

Case Studies Experiences and Experiments Closing ceremony

ACM SRC Posters

Poster visit (Passi Perduti)

8.30|

10.30

COFFEE BREAK

AUDITORIUM

ICSE OpeningAwards I

Keynote Silenzi

AUDITORIUM

Keynote HolzmanAwards II

Keynote Landau

LUNCH

COFFEE BREAK

14.00|

15.30

AUDITORIUM

Keynote ICSE2005 MIPAndrews, Briand, Labiche

Awards III

16.00|

17.30

11.00|

12.30

ICSE  2015  Main  Conference  

Tracks  of  ICSE  2015:  ü  Technical  Research  ü  Joint  SE  Educa9on  and    

Training  (JSEET)  ü  So=ware  Engineering    

In  Prac9ce  (SEIP)  ü  So=ware  Engineering    

in  Society  (SEIS)      ü  New  Ideas  and  Emerging    

Results  (NIER)    ü  ACM  SRC  ü  Demonstra9ons      ü  Posters    ü  Journal  First  TSE/TOSEM  

   ü  SCORE-­‐it      

   

Good  to  know:  

•  We  start  every  day  at

 8.30!  

•  3  plenary  sessions

 here  in  Auditorium

:  

•  Keynotes    

•  Awards  

•  6  or  7  parallel  trac

ks,  all  in  Palazzo  deg

li  Affari  

•  Posters  (ICSE,  NIE

R,  SRC)  are  exhibite

d  in  

Ballatoio    

•     3  plenary  and  61  parallel  sessions    •     245  papers  in  main  +  40  presenta9ons  on  Tuesday  (DS,  TBs  and  NFS)          •     900+  authors    of  ICSE  proceedings    

All  this  thanks  to  the  ICSE  2015  team!  General Chair: Antonia Bertolino, ISTI-CNR, Italy Program Co-Chairs: Gerardo Canfora, University of Sannio, Italy Sebastian Elbaum, U. of Nebraska – Lincoln, USA Workshops Co-Chairs: Raffaela Mirandola, Politecnico di Milano, Italy Zhendong Su, University of California, Davis, USA Technical Briefings Co-Chairs: Natalia Juristo, Universidad Politecnica de Madrid, Spain and University of Oulu, Finland Pamela Zave, AT&T Laboratories--Research, USA Software Engineering in Practice Co-Chairs: Antonino Sabetta, SAP Labs, France Thomas Zimmermann, Microsoft Research, USA Software Engineering In Society Co-Chairs: Daniela Damian, University of Victoria, Canada Patricia Lago, VU Univ. Amsterdam, The Netherlands JSEET Program Co-Chairs: Tony Cowling, University of Sheffield, U.K. Ivica Crnkovic, Mälardalen University, Sweden New Faculty Symposium Co-Chairs: Mehdi Jazayeri, University of Lugano, Switzerland Gail Murphy, Univ. of British Columbia, Canada

New Ideas and Emerging Results Co-Chairs: Tim Menzies, West Virginia University, USA Abhik Roychoudhury, National U. of Singapore, Singapore

Demonstrations Co-Chairs: Sung Kim, Hong Kong U. of Science and Technology, Hong Kong Emerson Murphy-Hill, North Carolina State University, USA

Posters Co-Chairs: Marija Mikic-Rakic, Google Los Angeles, USA Hong Zhu, Oxford Brookes University, U.K Doctoral Symposium Co-Chairs: Alessandro Garcia, PUC-Rio, Brazil Alessandro Orso, Georgia Institute of Technology, USA ACM Student Research Competition Co-Chairs: Massimiliano Di Penta, Univ. of Sannio, Italy Michael W. Whalen, Univ. of Minnesota, USA Student Contest on Software Engineering-Italy (SCORE-it) Co-Chairs: Guglielmo De Angelis, ISTI/IASI - CNR, Italy Antinisca Di Marco, Univ.degli Studi dell'Aquila, Italy Awards and Most Influential Paper (MIP-10) Co-Chairs: Axel van Lamsweerde, U. Catholique de Louvain, Belgium Leon Osterweil, U. of Massachusetts, Amherst, USA

Web Chair: Antonello Calabrò, ISTI-CNR, Italy Social Networking Co-Chairs: Alberto Bacchelli, Delft Univ. of Technology, The Netherlands Sonia Haiduc, Florida State University, USA Proceedings Co-Chairs: Francesca Lonetti, ISTI-CNR, Italy Said Daoudagh, University of Pisa, Italy Publicity Co-Chairs: Domenico Bianculli, Univ. of Luxembourg, Luxembourg Tien Nguyen, Iowa State University, USA Student Volunteers Co-Chairs: Filomena Ferrucci, University of Salerno, Italy Gordon Fraser, University of Sheffield, U.K. Finance Chair: Felicita Di Giandomenico, ISTI-CNR, Italy Promotion Co-Chairs: Stefania Fabbri, Anna Vaccarelli, IIT-CNR, Italy Graphic Designer: Giuseppe Andrea L'Abbate, FTGM, Italy Conference Management: Paola Giunti, Graciela Stiavetti, DGMP , Italy

!

All  this  thanks  to  the  ICSE  2015  team!  

…  actually  thanks  to  the  whole  larger  ICSE  2015  team!  !"#$%&"'%()(*+,,+-.+(/0#+12".+(34")4&+0#5(()(6&-12"17(89(34")4&+0#5(()(:+#;"#+(:9&1"<+(()(=+#.(:+##(()(>0??"#0"(4"#?-..-%%+(()(@.-A(B#"C-(()(D"$0C&0(E9?+?%970(()(F+?#0C$(G+H(()(I+C&0+''+1(I+7+''+1(()(*+.,(*-9%%1-#(()(F-#0(J+##(()(@1?"10"(>+..-C0.."(((J-C&10C+.(:#0-,017%()(I+?+.0+(K9#0%?"(34")4&+0#5(()(F+H-.+(6+<-(34")4&+0#5(()(G9C0+1"(:+#-%0(()(8&017)4&0(4&-917(()(L+10-.(K+C$%"1(()(I-1+2(/-2<02"<0C(()(I+C&0+''+1(I+7+''+1(()(8-;+%?0+1(MC&0?-.(()(4.+-%(!"&.01(((8=NF()(@1?"101"(8+;-??+(34")4&+0#5()(J&"H+%(60HH-#H+11(34")4&+0#5()(@O%-(:-1-#(()(K+1(:"%C&(()(=#0C(:"9P-#%(()(G9070(:97.0"1-(()(*+OH"12(:9%-(()(8+?0%&(4&+12#+(()(4&#0%?",(=;-#?(()(Q+$+1(=#2"7H9%(()(L+<02-(E+.-%%0(()(K"&1(E+<+#"(()(J&"H+%(E#0?R(()(@.-%%+12#+(B"#.+(()(/0C&+-.+(B#-0.-#(()(@&H-2(=S(Q+%%+1(()(D0H(Q-#R07(()(F0-?-#(Q""0H-0T-#(()(>+.-#0-(N%%+#1O(()(U+%9?+$+(D+H-0(()(*"7-#(D0.0+1)D-&#(()(Q-0$"(D"R0".-$(()(F&0.0''-(D#9C&?-1(()(B-"#7(G-O&(()(!+.02(/++.-T(()(=2+(/+#C&-??0(()(D0H(/"0#(()(N'-$(VR$+O+(()(8+C&+#(F+9.9%(()(K"&1(F-10A(()(:#0+1(*";01%"1(()(B9-1?&-#(*9&-(()(L0'?0$+.O+1(8+&+(()(:#+1(8-.0C(()(>0;&9(8+9T+1O+(8&+#H+(()(E"##-%?(8&9..(()(@.;-#?"(80..0??0(()(=#0$(80HH"1%(()(>0;&+(801&+(()(L0"H020%(8'01-..0%(()(8?-,+1(!+71-#(((8=N8()(L+10-.+(L+H0+1(34")4&+0#5(()(F+?#0C0+(G+7"(34")4&+0#5(()(/+#C"(@0-.."(()(*+H0(:+&%""1(()(J#+<0%(:#-+9A(()(:-#12(:#9-77-(()(8?-<-(=+%?-#;#""$(()(Q+$+1(=#7"2"H9%(()(8?-<-(E0C$+%(()(@1?&"1O(E01$-.%?-01(()(8C"??(LS(E.-H017(()(!0..0+H(BSKS(Q+.,"12(()(K0H(Q-#;%.-;(()(G"#-1R(/S(Q0.?O(()(*0C$(D+RH+1(()(F&0.0''-(D#9C&?-1(()(E0.0''"(G+19;0.-(()(4+%'-#(G+%%-109%(()(B#+C-(G-P0%(()(!+.02(/++.-T(()(/+9#0R0"(/"#0%0"(()(Q-1#O(/9CC010(()(K9#7-1(/9-1C&(()(Q+9%0(/9..-#(()(I"#;-#?"(F+?#071+10(()(:0#70?(F-1R-1%?+2.-#(()(B09%-''-(F#"C+CC0+1?0(()(@P+0%(*+%&02(()(/+#O+H(*+R+<0+1(()(L-;#+(*0C&+#2%"1(()(K+10C-(8017-#((K8==J()(J"1O(4"P.017(34")C&+0#5(()(N<0C+(4#1$"<0C(34")C&+0#5(()(8&+%&0$+1?(@.;+.(()(=29+#2"(@.H-02+(()(/0$0"(@"O+H+(()(/+#$(@#20%(()(K"C-.O1(@#H+#-7"(()(=..-1(:+#;"%+(()(G-"1"#(:+##"C+(()(@12#-+%(:"..01(()(N<+1+(:"%10C(()(L+<02(:927-1(()(U9+1,+17(4+0(()(K-,,#-O(4+#<-#(()(N7"#(W+<#+$(()(!+T--(4&""$0??0$9.(()(F+"."(40+1C+#010(()(J+O+1+(4"1?-(()(@#0-<+1(L-9#%-1(()(G+9#-1C-(L9C&0-1(()(*";-#?(E-.2?(()(>+&02(B+#"9%0(()(V..O(B"?-.(()(B-"#7(Q+7-.(()(*-701+(Q-;07(()(=.$-(Q"C&HX..-#(()(K"&1(Q91?(()(8O.<0+(N.0-<+(()(J0H"?&O(G-?&;#027-()(8&+91(G"17%?#--?(()(J0R0+1+(/+#7+#0+)8?-,,-1(()(I+1CO(/-+2(()(K9-#7-1(/"??"$(()(Q+9%0(@S(/9..-#(()(8&01(I+$+T0H+(()(*"#O(VC"11"#(()(L+10-.(F"#?(()(L+H0?&(*+T+'+$%-(()(*"%&+1+$(*"%&+12-.(()(4&+12+1(*9'+$&-?0(()(J"22(8-2+1"(()(:"10?+(8&+#0,(()(/+#$(8&-##0,,(()(L+<02(801C.+0#(()(/9#+.0(80?+#+H+1(()(K920?&(8?+,,"#2(()(=.-10(8?#"9.0+(()(@1O+(J+,.0"<0C&(()(:+##0-(J&"H'%"1(()(8?-<-(J"C$-O(()(@.,(N17-(!+17(()(>-#+(!-#1-C$(()(K"1(!&0??.-(()(/0C&+.(U"917((IN=*()(J0H(/-1R0-%(34")4&+0#5(()(@;&0$(*"OC&"92&9#O(34")4&+0#5(()(/+?&0-9(@C&-#(()(I-..O(:-1C"H"(()(/+#C-.(:Y&H-(()(/+#7+#-?(:9#1-??(()(>0??"#0"(4"#?-..-%%+(()(:#+2.-O(4"%%-??-(()(=29+#2"(491&+(L-(@.H-02+(()(8-#7-(L-H-O-#(()(L+11O(L07(()(@.-A+12-#(=7O-2(()(E#+1C$(E.-9#-O(()(Z+<0-#(E#+1C&(()(8H0?+(B&+0%+%(()(8920'?"(B&"%&(()(/0$-(B"2,#-O(()(8".(B#--1%'+1(()(!0..0+H(BSKSQ+.,"12(()(*"%%(K-,,-#O(()(Z0+"'017(K0+(()(@20?O+(D+1+2-(()(K+C[9-%(D.-01(()(F&0.0''-(D#9C&?-1(()(8&9<-129(G+&0#0(()(4.+0#-(G-(B"9-%(()(8-"$)!"1(G--(()(F+?#0C0+(/+C&+2"(()(Q+9%0(@S/9..-#(()(I+1(I09(()(K+H-%(I";.-(()(8#010<+%(F+2H+1+;&910(()(G0.0+1+(F+%[9+.-(()(@11+(F-#010(()(/+#?01(F01R7-#(()(*+7&9(*-22O(()(*"%&+1+$(*"%&+12-.(()(89;&+T0?(*"O(()(Q"9+#0(8+&#+"90(()(8+1?"19(8+#$+#(()(E"##-%?(8&9..(()(K91(891(()(J-?%9"(J+H+0(()(80#+(>-7+%(()(G9(6&+17(()(K0+1(6&+17(((L"C?"#+.(8OH'"%09H()(@.-%%+12#"(B+#C0+(34")4&+0#5(()(@.-%%+12#"(V#%"(34")4&+0#5(()(:-??O(4&-17(()(L+10-.+(L+H0+1(()(/+??&-P(LPO-#(()(8?-<-(=+%?-#;#""$(()(B#-7"#(=17-.%(()(Q+#+.2(B++.(()(I-1+2(/-2<02"<0C(()(D9H0O"(I+$+$"T0(()(L+<02(*"%-1;.9H(()(8-;+%?0+1(MC&0?-.(()(K"1(!&0??.-(()((@4/(8?92-1?(*-%-+#C&(4"H'-?0?0"1()(/+%%0H0.0+1"(L0(F-1?+(34")4&+0#5(()(/0C&+-.(!&+.-1(34")4&+0#5(()(:#+H(@2+H%(()(K"(@?.--(()(G9C0+1"(:+#-%0(()(B+;#0-.-(:+<"?+(()(/+#%&+(4&-C&0$(()(8?-'&+1(L0-&.(()(*";-#?(Q+..(()(D.+9%(Q+<-.912(()(*";(Q0-#"1%(()(K-,,(Q9+17(()(K+1-(Q9,,H+1(Q+O-%(()(K"&1(Q97&-%(()(@12#-+(/"CC0(()(*"CC"(V.0<-?"(()(@T0?&+(*+T+1(()(I-&+(*917?+(()(89#-%&(J&9HH+.+'-1?+(()(6&-1C&+17(Z017(()((F"%?-#%()(Q"17(6&9(34")4&+0#5(()(/+#0T+(/0$0C)*+$0C(34")4&+0#5(()(L+10-.(F"'-%C9(()(*"%&+1+$(*"%&+12-.(()(N<"(D#$+(()(I0C".\%(*S(L]N''".0?"(()(B"#2"1(E#+%-#(()(K"&1(Q97&-%(()(8&+"O017(G09(()(G9(6&+17(()(@.-A+12-#(F#-?%C&1-#(()(Q-1#O(/9CC010(()(F+9.(8?#""'-#(()(JSUS(4&-1(()(*+9.(8+1?-.0C-%(()(!SDS(4&+1(()((L-H"1%?#+?0"1%()(=H-#%"1(/9#'&O)Q0..(34")C&+0#5(()(8917(D0H(34")C&+0#5(()(*+C&-.(:-..+HO(()(N<+1(:-%C&+%?10$&(()(4&#0%?0+1(:0#2(()(*+O(:9%-(()(8+?0%&(4&+12#+(()(:#0+1(L"..(()(J&"H+%(E#0?R(()(/+17+.+(B"P#0(()(/91+P+#(Q+,0R(()(4&#0%?01-(K9.0-1(()(4&#0%?0+1(D+%?1-#(()(L"17%91(D0H(()(J&"H+%(G+J"R+(()(4.+0#-(G-(B"9-%(()(!-0(G-(()(@.0(/-%;+&(()(/-0(I+77+'+1(()(89$O"917(*O9(()(@10?+(8+#H+(()(D"9%&0$(8-1(()(L+<02(8&-'&-#2(()(/0$-(8H0?(()(Z9%&-17(Z0+"(()(6&-1C&+17(Z017(84V*=)0?()(@.;-#?"(:+CC&-..0()(80H"1+(:-#1+#20()(L"H-10C"(:0+1C9..0()(G+9#+(:"CC&0()(@1?"10"(40CC&-??0()(E#+1C-%C"(L0(4-#;"()(*";-#?"(L0(4"%H"()(L+<02-(E+.-%%0()(@.-%%+12#+(B"#.+()(E+;0"(/+1C01-..0()(/+19-.(/+RR+#+()(@12#-+(/"CC0()(G0.0+1+(F+%[9+.-()(E#+1C"(*+0H"120()(@1?"101"(8+;-??+()(E-2-#0C+(8+##"()(*"H01+(8'+.+RR-%-()(L+H0+1(@12#-P(J+H;9##0()(/0#C"(J#0;+%?"1-()(8?-,+1"(6+CC&0#".0(^(F#"7#+H(4"HH0??--(",(J*((^(*-<0-P(4"HH0??--(",(J*(

The  Venue  

Social  events  (what  is  in  your  badge)  

Social  events  (what  is  in  your  badge)  Tonight  visit  to  Uffizi  Gallery,    open  exclusively  for  us!  To   enter   we   need   to   pass  through  the  security  check.    Please   respect   strictly   the  9me  shown  on  your  9cket    

Only   in   the   badge   of   those  who   bought   the   extra   9cket  for   Corridoio   Vasariano:   they  will   go   from  Uffizi   to   Palazzo  Pij  indoors    

A=erwards  you  are  invited  to   the  welcome   recep9on  in   Cor9le   dell’Ammanna9  of  Palazzo  Pij  from  20.30  to  22:30  

Social  events  (what  is  in  your  badge)  Tomorrow  dinner  at  Mercato  

Centrale  at  20.00    If  you  are  not  going,  please  let  us  know!  Seats  are  sold  out,  and  several  reserva9ons  

are  pending.      

Social  events  (what  is  in  your  badge)  Fill  it,  e.g.:  

 Ask  me  about  ________________  

 SOFTWARE TESTING

_____________________________    Or  

Ask  me  about  ________________    

My last bungee jump _____________________________  

 And  s9ck  on  the  badge  or  wherever  

you  prefer          

Looking  for  info?  

Program >>37th International Conference on Software Engineering

37th International Conference

on Software Engineering

Florence, Italy - May 16 - 24, 2015

Program  Brochure  

Two  Mobile  Apps,  see  info  at:  2015.icse-­‐conferences.org/apps  

Secretariat  and    Registra9on  Desk    

Student  Volunteers    

Gree9ngs  

•  Judith  Bishop,  Director  of  Computer  Science  in  Microso=  Research  Connec9ons,  Redmond,  USA.  

•  Claudio  Montani,  Director  of  ISTI-­‐CNR,  Pisa,  Italy  

•  Marco  Masi,  Responsible  Director  of  the  Educa9on,  University  and  Research  Sector  of  Tuscany  Region,  Florence,  Italy  

Enjoy  

•  Par9cipate,  learn,  network  with  colleagues,  and…  provide  us  feedback:  – You  can  like  a  paper  on  whova  app  – And  please  fill  the  evalua9on  form  which  you  find  at  hop://2015.icse-­‐conferences.org/evalua9on-­‐form