ICSE 2012 – Proceedings

Preface

Technical Research

Fault Handling
Wed, Jun 6, 10:45 - 12:45

A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each
Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, and Westley Weimer
(University of Virginia, USA; University of New Mexico, USA)


@InProceedings{ICSE12p3, author = {Claire Le Goues and Michael Dewey-Vogt and Stephanie Forrest and Westley Weimer}, title = {A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {3-2}, doi = {}, year = {2012}, }

Where Should the Bugs Be Fixed? - More Accurate Information Retrieval-Based Bug Localization Based on Bug Reports
Jian Zhou, Hongyu Zhang, and David Lo
(Tsinghua University, China; Singapore Management University, Singapore)


@InProceedings{ICSE12p14, author = {Jian Zhou and Hongyu Zhang and David Lo}, title = {Where Should the Bugs Be Fixed? - More Accurate Information Retrieval-Based Bug Localization Based on Bug Reports}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {14-13}, doi = {}, year = {2012}, }

Developer Prioritization in Bug Repositories
Jifeng Xuan, He Jiang, Zhilei Ren, and Weiqin Zou
(Dalian University of Technology, China)


@InProceedings{ICSE12p25, author = {Jifeng Xuan and He Jiang and Zhilei Ren and Weiqin Zou}, title = {Developer Prioritization in Bug Repositories}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {25-24}, doi = {}, year = {2012}, }

WhoseFault: Automatic Developer-to-Fault Assignment through Fault Localization
Francisco Servant and James A. Jones
(UC Irvine, USA)


@InProceedings{ICSE12p36, author = {Francisco Servant and James A. Jones}, title = {WhoseFault: Automatic Developer-to-Fault Assignment through Fault Localization}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {36-35}, doi = {}, year = {2012}, }

Code Generation and Recovery
Wed, Jun 6, 10:45 - 12:45

Recovering Traceability Links between an API and Its Learning Resources
Barthélémy Dagenais and Martin P. Robillard
(McGill University, Canada)


@InProceedings{ICSE12p47, author = {Barthélémy Dagenais and Martin P. Robillard}, title = {Recovering Traceability Links between an API and Its Learning Resources}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {47-46}, doi = {}, year = {2012}, }

Generating Range Fixes for Software Configuration
Yingfei Xiong, Arnaud Hubaux, Steven She, and Krzysztof Czarnecki
(University of Waterloo, Canada; University of Namur, Belgium)


@InProceedings{ICSE12p58, author = {Yingfei Xiong and Arnaud Hubaux and Steven She and Krzysztof Czarnecki}, title = {Generating Range Fixes for Software Configuration}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {58-57}, doi = {}, year = {2012}, }

Graph-Based Pattern-Oriented, Context-Sensitive Source Code Completion
Anh Tuan Nguyen, Tung Thanh Nguyen, Hoan Anh Nguyen, Ahmed Tamrawi, Hung Viet Nguyen, Jafar Al-Kofahi, and Tien N. Nguyen
(Iowa State University, USA)


@InProceedings{ICSE12p69, author = {Anh Tuan Nguyen and Tung Thanh Nguyen and Hoan Anh Nguyen and Ahmed Tamrawi and Hung Viet Nguyen and Jafar Al-Kofahi and Tien N. Nguyen}, title = {Graph-Based Pattern-Oriented, Context-Sensitive Source Code Completion}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {69-68}, doi = {}, year = {2012}, }

Automatic Input Rectification
Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, and Martin Rinard
(MIT, USA)


@InProceedings{ICSE12p80, author = {Fan Long and Vijay Ganesh and Michael Carbin and Stelios Sidiroglou and Martin Rinard}, title = {Automatic Input Rectification}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {80-79}, doi = {}, year = {2012}, }

Empirical Studies of Development
Wed, Jun 6, 10:45 - 12:45

Overcoming the Challenges in Cost Estimation for Distributed Software Projects
Narayan Ramasubbu and Rajesh Krishna Balan
(Singapore Management University, Singapore)


@InProceedings{ICSE12p91, author = {Narayan Ramasubbu and Rajesh Krishna Balan}, title = {Overcoming the Challenges in Cost Estimation for Distributed Software Projects}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {91-90}, doi = {}, year = {2012}, }

Characterizing Logging Practices in Open-Source Software
Ding Yuan, Soyeon Park, and Yuanyuan Zhou
(University of Illinois at Urbana-Champaign, USA; UC San Diego, USA)


@InProceedings{ICSE12p102, author = {Ding Yuan and Soyeon Park and Yuanyuan Zhou}, title = {Characterizing Logging Practices in Open-Source Software}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {102-101}, doi = {}, year = {2012}, }

The Impacts of Software Process Improvement on Developers: A Systematic Review
Mathieu Lavallée and Pierre N. Robillard
(École Polytechnique de Montréal, Canada)


@InProceedings{ICSE12p113, author = {Mathieu Lavallée and Pierre N. Robillard}, title = {The Impacts of Software Process Improvement on Developers: A Systematic Review}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {113-112}, doi = {}, year = {2012}, }

Combining Functional and Imperative Programming for Multicore Software: An Empirical Study Evaluating Scala and Java
Victor Pankratius, Felix Schmidt, and Gilda Garretón
(KIT, Germany; Oracle Labs, USA)


@InProceedings{ICSE12p124, author = {Victor Pankratius and Felix Schmidt and Gilda Garretón}, title = {Combining Functional and Imperative Programming for Multicore Software: An Empirical Study Evaluating Scala and Java}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {124-123}, doi = {}, year = {2012}, }

Performance Analysis
Wed, Jun 6, 10:45 - 12:45

Uncovering Performance Problems in Java Applications with Reference Propagation Profiling
Dacong Yan, Guoqing Xu, and Atanas Rountev
(Ohio State University, USA; UC Irvine, USA)


@InProceedings{ICSE12p135, author = {Dacong Yan and Guoqing Xu and Atanas Rountev}, title = {Uncovering Performance Problems in Java Applications with Reference Propagation Profiling}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {135-134}, doi = {}, year = {2012}, }

Performance Debugging in the Large via Mining Millions of Stack Traces
Shi Han, Yingnong Dang, Song Ge, Dongmei Zhang, and Tao Xie
(Microsoft Research, China; North Carolina State University, USA)


@InProceedings{ICSE12p146, author = {Shi Han and Yingnong Dang and Song Ge and Dongmei Zhang and Tao Xie}, title = {Performance Debugging in the Large via Mining Millions of Stack Traces}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {146-145}, doi = {}, year = {2012}, }

Automatically Finding Performance Problems with Feedback-Directed Learning Software Testing
Mark Grechanik, Chen Fu, and Qing Xie
(Accenture Technology Labs, USA; University of Illinois at Chicago, USA)


@InProceedings{ICSE12p157, author = {Mark Grechanik and Chen Fu and Qing Xie}, title = {Automatically Finding Performance Problems with Feedback-Directed Learning Software Testing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {157-156}, doi = {}, year = {2012}, }

Predicting Performance via Automated Feature-Interaction Detection
Norbert Siegmund, Sergiy S. Kolesnikov, Christian Kästner, Sven Apel, Don Batory, Marko Rosenmüller, and Gunter Saake
(University of Magdeburg, Germany; University of Passau, Germany; Philipps University of Marburg, Germany; University of Texas at Austin, USA)


@InProceedings{ICSE12p168, author = {Norbert Siegmund and Sergiy S. Kolesnikov and Christian Kästner and Sven Apel and Don Batory and Marko Rosenmüller and Gunter Saake}, title = {Predicting Performance via Automated Feature-Interaction Detection}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {168-167}, doi = {}, year = {2012}, }

Defect Prediction
Wed, Jun 6, 14:00 - 15:30

Sound Empirical Evidence in Software Testing
Gordon Fraser and Andrea Arcuri
(Saarland University, Germany; Simula Research Laboratory, Norway)


@InProceedings{ICSE12p179, author = {Gordon Fraser and Andrea Arcuri}, title = {Sound Empirical Evidence in Software Testing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {179-178}, doi = {}, year = {2012}, }

Privacy and Utility for Defect Prediction: Experiments with MORPH
Fayola Peters and Tim Menzies
(West Virginia University, USA)


@InProceedings{ICSE12p190, author = {Fayola Peters and Tim Menzies}, title = {Privacy and Utility for Defect Prediction: Experiments with MORPH}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {190-189}, doi = {}, year = {2012}, }

Bug Prediction Based on Fine-Grained Module Histories
Hideaki Hata, Osamu Mizuno, and Tohru Kikuno
(Osaka University, Japan; Kyoto Institute of Technology, Japan)


@InProceedings{ICSE12p201, author = {Hideaki Hata and Osamu Mizuno and Tohru Kikuno}, title = {Bug Prediction Based on Fine-Grained Module Histories}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {201-200}, doi = {}, year = {2012}, }

Refactoring
Wed, Jun 6, 14:00 - 15:30

Reconciling Manual and Automatic Refactoring
Xi Ge, Quinton L. DuBose, and Emerson Murphy-Hill
(North Carolina State University, USA)


@InProceedings{ICSE12p212, author = {Xi Ge and Quinton L. DuBose and Emerson Murphy-Hill}, title = {Reconciling Manual and Automatic Refactoring}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {212-211}, doi = {}, year = {2012}, }

WitchDoctor: IDE Support for Real-Time Auto-Completion of Refactorings
Stephen R. Foster, William G. Griswold, and Sorin Lerner
(UC San Diego, USA)


@InProceedings{ICSE12p223, author = {Stephen R. Foster and William G. Griswold and Sorin Lerner}, title = {WitchDoctor: IDE Support for Real-Time Auto-Completion of Refactorings}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {223-222}, doi = {}, year = {2012}, }

Use, Disuse, and Misuse of Automated Refactorings
Mohsen Vakilian, Nicholas Chen, Stas Negara, Balaji Ambresh Rajkumar, Brian P. Bailey, and Ralph E. Johnson
(University of Illinois at Urbana-Champaign, USA)


@InProceedings{ICSE12p234, author = {Mohsen Vakilian and Nicholas Chen and Stas Negara and Balaji Ambresh Rajkumar and Brian P. Bailey and Ralph E. Johnson}, title = {Use, Disuse, and Misuse of Automated Refactorings}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {234-233}, doi = {}, year = {2012}, }

Human Aspects of Development
Wed, Jun 6, 14:00 - 15:30

Test Confessions: A Study of Testing Practices for Plug-In Systems
Michaela Greiler, Arie van Deursen, and Margaret-Anne Storey
(TU Delft, Netherlands; University of Victoria, Canada)


@InProceedings{ICSE12p245, author = {Michaela Greiler and Arie van Deursen and Margaret-Anne Storey}, title = {Test Confessions: A Study of Testing Practices for Plug-In Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {245-244}, doi = {}, year = {2012}, }

How Do Professional Developers Comprehend Software?
Tobias Roehm, Rebecca Tiarks, Rainer Koschke, and Walid Maalej
(TU Munich, Germany; University of Bremen, Germany)


@InProceedings{ICSE12p256, author = {Tobias Roehm and Rebecca Tiarks and Rainer Koschke and Walid Maalej}, title = {How Do Professional Developers Comprehend Software?}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {256-255}, doi = {}, year = {2012}, }

Asking and Answering Questions about Unfamiliar APIs: An Exploratory Study
Ekwa Duala-Ekoko and Martin P. Robillard
(McGill University, Canada)


@InProceedings{ICSE12p267, author = {Ekwa Duala-Ekoko and Martin P. Robillard}, title = {Asking and Answering Questions about Unfamiliar APIs: An Exploratory Study}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {267-266}, doi = {}, year = {2012}, }

Bug Detection
Wed, Jun 6, 16:00 - 18:00

Automated Repair of HTML Generation Errors in PHP Applications Using String Constraint Solving
Hesam Samimi, Max Schäfer, Shay Artzi, Todd Millstein, Frank Tip, and Laurie Hendren
(UC Los Angeles, USA; IBM Research, USA; McGill University, Canada)


@InProceedings{ICSE12p278, author = {Hesam Samimi and Max Schäfer and Shay Artzi and Todd Millstein and Frank Tip and Laurie Hendren}, title = {Automated Repair of HTML Generation Errors in PHP Applications Using String Constraint Solving}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {278-277}, doi = {}, year = {2012}, }

Leveraging Test Generation and Specification Mining for Automated Bug Detection without False Positives
Michael Pradel and Thomas R. Gross
(ETH Zurich, Switzerland)


@InProceedings{ICSE12p289, author = {Michael Pradel and Thomas R. Gross}, title = {Leveraging Test Generation and Specification Mining for Automated Bug Detection without False Positives}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {289-288}, doi = {}, year = {2012}, }

Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints
Peng Liu and Charles Zhang
(Hong Kong University of Science and Technology, China)


@InProceedings{ICSE12p300, author = {Peng Liu and Charles Zhang}, title = {Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {300-299}, doi = {}, year = {2012}, }

CBCD: Cloned Buggy Code Detector
Jingyue Li and Michael D. Ernst
(DNV Research and Innovation, Norway; University of Washington, USA)


@InProceedings{ICSE12p311, author = {Jingyue Li and Michael D. Ernst}, title = {CBCD: Cloned Buggy Code Detector}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {311-310}, doi = {}, year = {2012}, }

Multiversion Software
Wed, Jun 6, 16:00 - 18:00

Crosscutting Revision Control System
Sagi Ifrah and David H. Lorenz
(Open University, Israel)


@InProceedings{ICSE12p322, author = {Sagi Ifrah and David H. Lorenz}, title = {Crosscutting Revision Control System}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {322-321}, doi = {}, year = {2012}, }

Where Does This Code Come from and Where Does It Go? - Integrated Code History Tracker for Open Source Systems -
Katsuro Inoue, Yusuke Sasaki, Pei Xia, and Yuki Manabe
(Osaka University, Japan)


@InProceedings{ICSE12p333, author = {Katsuro Inoue and Yusuke Sasaki and Pei Xia and Yuki Manabe}, title = {Where Does This Code Come from and Where Does It Go? - Integrated Code History Tracker for Open Source Systems -}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {333-332}, doi = {}, year = {2012}, }

Improving Early Detection of Software Merge Conflicts
Mário Luís Guimarães and António Rito Silva
(Technical University of Lisbon, Portugal)


@InProceedings{ICSE12p344, author = {Mário Luís Guimarães and António Rito Silva}, title = {Improving Early Detection of Software Merge Conflicts}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {344-343}, doi = {}, year = {2012}, }

A History-Based Matching Approach to Identification of Framework Evolution
Sichen Meng, Xiaoyin Wang, Lu Zhang, and Hong Mei
(Key Laboratory of High Confidence Software Technologies, China; Peking University, China)


@InProceedings{ICSE12p355, author = {Sichen Meng and Xiaoyin Wang and Lu Zhang and Hong Mei}, title = {A History-Based Matching Approach to Identification of Framework Evolution}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {355-354}, doi = {}, year = {2012}, }

Similarity and Classification
Wed, Jun 6, 16:00 - 18:00

Detecting Similar Software Applications
Collin McMillan, Mark Grechanik, and Denys Poshyvanyk
(College of William and Mary, USA; Accenture Technology Labs, USA; University of Illinois at Chicago, USA)


@InProceedings{ICSE12p366, author = {Collin McMillan and Mark Grechanik and Denys Poshyvanyk}, title = {Detecting Similar Software Applications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {366-365}, doi = {}, year = {2012}, }

Content Classification of Development Emails
Alberto Bacchelli, Tommaso Dal Sasso, Marco D'Ambros, and Michele Lanza
(University of Lugano, Switzerland)


@InProceedings{ICSE12p377, author = {Alberto Bacchelli and Tommaso Dal Sasso and Marco D'Ambros and Michele Lanza}, title = {Content Classification of Development Emails}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {377-376}, doi = {}, year = {2012}, }

Identifying Linux Bug Fixing Patches
Yuan Tian, Julia Lawall, and David Lo
(Singapore Management University, Singapore; INRIA/LIP6, France)


@InProceedings{ICSE12p388, author = {Yuan Tian and Julia Lawall and David Lo}, title = {Identifying Linux Bug Fixing Patches}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {388-387}, doi = {}, year = {2012}, }

Active Refinement of Clone Anomaly Reports
Lucia, David Lo, Lingxiao Jiang, and Aditya Budi
(Singapore Management University, Singapore)


@InProceedings{ICSE12p399, author = { Lucia and David Lo and Lingxiao Jiang and Aditya Budi}, title = {Active Refinement of Clone Anomaly Reports}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {399-398}, doi = {}, year = {2012}, }

Analysis for Evolution
Thu, Jun 7, 10:45 - 12:45

Automated Analysis of CSS Rules to Support Style Maintenance
Ali Mesbah and Shabnam Mirshokraie
(University of British Columbia, Canada)


@InProceedings{ICSE12p410, author = {Ali Mesbah and Shabnam Mirshokraie}, title = {Automated Analysis of CSS Rules to Support Style Maintenance}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {410-409}, doi = {}, year = {2012}, }

Graph-Based Analysis and Prediction for Software Evolution
Pamela Bhattacharya, Marios Iliofotou, Iulian Neamtiu, and Michalis Faloutsos
(UC Riverside, USA)


@InProceedings{ICSE12p421, author = {Pamela Bhattacharya and Marios Iliofotou and Iulian Neamtiu and Michalis Faloutsos}, title = {Graph-Based Analysis and Prediction for Software Evolution}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {421-420}, doi = {}, year = {2012}, }

Integrated Impact Analysis for Managing Software Changes
Malcom Gethers, Bogdan Dit, Huzefa Kagdi, and Denys Poshyvanyk
(College of William and Mary, USA; Wichita State University, USA)


@InProceedings{ICSE12p432, author = {Malcom Gethers and Bogdan Dit and Huzefa Kagdi and Denys Poshyvanyk}, title = {Integrated Impact Analysis for Managing Software Changes}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {432-431}, doi = {}, year = {2012}, }

Detecting and Visualizing Inter-worksheet Smells in Spreadsheets
Felienne Hermans, Martin Pinzger, and Arie van Deursen
(TU Delft, Netherlands)


@InProceedings{ICSE12p443, author = {Felienne Hermans and Martin Pinzger and Arie van Deursen}, title = {Detecting and Visualizing Inter-worksheet Smells in Spreadsheets}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {443-442}, doi = {}, year = {2012}, }

Debugging
Thu, Jun 7, 10:45 - 12:45

An Empirical Study about the Effectiveness of Debugging When Random Test Cases Are Used
Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, and Paolo Tonella
(Fondazione Bruno Kessler, Italy; University of Milano-Bicocca, Italy)


@InProceedings{ICSE12p454, author = {Mariano Ceccato and Alessandro Marchetto and Leonardo Mariani and Cu D. Nguyen and Paolo Tonella}, title = {An Empirical Study about the Effectiveness of Debugging When Random Test Cases Are Used}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {454-453}, doi = {}, year = {2012}, }

Reducing Confounding Bias in Predicate-Level Statistical Debugging Metrics
Ross Gore and Paul F. Reynolds, Jr.
(University of Virginia, USA)


@InProceedings{ICSE12p465, author = {Ross Gore and Paul F. Reynolds, Jr.}, title = {Reducing Confounding Bias in Predicate-Level Statistical Debugging Metrics}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {465-464}, doi = {}, year = {2012}, }

BugRedux: Reproducing Field Failures for In-House Debugging
Wei Jin and Alessandro Orso
(Georgia Tech, USA)


@InProceedings{ICSE12p476, author = {Wei Jin and Alessandro Orso}, title = {BugRedux: Reproducing Field Failures for In-House Debugging}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {476-475}, doi = {}, year = {2012}, }

Object-Centric Debugging
Jorge Ressia, Alexandre Bergel, and Oscar Nierstrasz
(University of Bern, Switzerland; University of Chile, Chile)


@InProceedings{ICSE12p487, author = {Jorge Ressia and Alexandre Bergel and Oscar Nierstrasz}, title = {Object-Centric Debugging}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {487-486}, doi = {}, year = {2012}, }

Human Aspects of Process
Thu, Jun 7, 10:45 - 12:45

Disengagement in Pair Programming: Does It Matter?
Laura Plonka, Helen Sharp, and Janet van der Linden
(Open University, UK)


@InProceedings{ICSE12p498, author = {Laura Plonka and Helen Sharp and Janet van der Linden}, title = {Disengagement in Pair Programming: Does It Matter?}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {498-497}, doi = {}, year = {2012}, }

Ambient Awareness of Build Status in Collocated Software Teams
John Downs, Beryl Plimmer, and John G. Hosking
(University of Melbourne, Australia; University of Auckland, New Zealand; Australian National University, Australia)


@InProceedings{ICSE12p509, author = {John Downs and Beryl Plimmer and John G. Hosking}, title = {Ambient Awareness of Build Status in Collocated Software Teams}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {509-508}, doi = {}, year = {2012}, }

What Make Long Term Contributors: Willingness and Opportunity in OSS Community
Minghui Zhou and Audris Mockus
(Peking University, China; Key Laboratory of High Confidence Software Technologies, China; Avaya Labs Research, USA)


@InProceedings{ICSE12p520, author = {Minghui Zhou and Audris Mockus}, title = {What Make Long Term Contributors: Willingness and Opportunity in OSS Community}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {520-519}, doi = {}, year = {2012}, }

Development of Auxiliary Functions: Should You Be Agile? An Empirical Assessment of Pair Programming and Test-First Programming
Otávio Augusto Lazzarini Lemos, Fabiano Cutigi Ferrari, Fábio Fagundes Silveira, and Alessandro Garcia
(UNIFESP, Brazil; UFSCar, Brazil; PUC-Rio, Brazil)


@InProceedings{ICSE12p531, author = {Otávio Augusto Lazzarini Lemos and Fabiano Cutigi Ferrari and Fábio Fagundes Silveira and Alessandro Garcia}, title = {Development of Auxiliary Functions: Should You Be Agile? An Empirical Assessment of Pair Programming and Test-First Programming}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {531-530}, doi = {}, year = {2012}, }

Models
Thu, Jun 7, 10:45 - 12:45

Maintaining Invariant Traceability through Bidirectional Transformations
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, and Lionel Montrieux
(Open University, UK; University of Illinois at Urbana-Champaign, USA; National Institute of Informatics, Japan)


@InProceedings{ICSE12p542, author = {Yijun Yu and Yu Lin and Zhenjiang Hu and Soichiro Hidaka and Hiroyuki Kato and Lionel Montrieux}, title = {Maintaining Invariant Traceability through Bidirectional Transformations}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {542-541}, doi = {}, year = {2012}, }

Slicing MATLAB Simulink Models
Robert Reicherdt and Sabine Glesner
(TU Berlin, Germany)


@InProceedings{ICSE12p553, author = {Robert Reicherdt and Sabine Glesner}, title = {Slicing MATLAB Simulink Models}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {553-552}, doi = {}, year = {2012}, }

Partial Evaluation of Model Transformations
Ali Razavi and Kostas Kontogiannis
(University of Waterloo, Canada; National Technical University of Athens, Greece)


@InProceedings{ICSE12p564, author = {Ali Razavi and Kostas Kontogiannis}, title = {Partial Evaluation of Model Transformations}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {564-563}, doi = {}, year = {2012}, }

Partial Models: Towards Modeling and Reasoning with Uncertainty
Michalis Famelis, Rick Salay, and Marsha Chechik
(University of Toronto, Canada)


@InProceedings{ICSE12p575, author = {Michalis Famelis and Rick Salay and Marsha Chechik}, title = {Partial Models: Towards Modeling and Reasoning with Uncertainty}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {575-574}, doi = {}, year = {2012}, }

Concurrency and Exceptions
Thu, Jun 7, 16:00 - 17:30

Static Detection of Resource Contention Problems in Server-Side Scripts
Yunhui Zheng and Xiangyu Zhang
(Purdue University, USA)


@InProceedings{ICSE12p586, author = {Yunhui Zheng and Xiangyu Zhang}, title = {Static Detection of Resource Contention Problems in Server-Side Scripts}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {586-585}, doi = {}, year = {2012}, }

Amplifying Tests to Validate Exception Handling Code
Pingyu Zhang and Sebastian Elbaum
(University of Nebraska-Lincoln, USA)


@InProceedings{ICSE12p597, author = {Pingyu Zhang and Sebastian Elbaum}, title = {Amplifying Tests to Validate Exception Handling Code}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {597-596}, doi = {}, year = {2012}, }

MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications
Yan Cai and W. K. Chan
(City University of Hong Kong, China)


@InProceedings{ICSE12p608, author = {Yan Cai and W. K. Chan}, title = {MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {608-607}, doi = {}, year = {2012}, }

Software Architecture
Thu, Jun 7, 16:00 - 17:30

Does Organizing Security Patterns Focus Architectural Choices?
Koen Yskout, Riccardo Scandariato, and Wouter Joosen
(KU Leuven, Belgium)


@InProceedings{ICSE12p619, author = {Koen Yskout and Riccardo Scandariato and Wouter Joosen}, title = {Does Organizing Security Patterns Focus Architectural Choices?}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {619-618}, doi = {}, year = {2012}, }

Enhancing Architecture-Implementation Conformance with Change Management and Support for Behavioral Mapping
Yongjie Zheng and Richard N. Taylor
(UC Irvine, USA)


@InProceedings{ICSE12p630, author = {Yongjie Zheng and Richard N. Taylor}, title = {Enhancing Architecture-Implementation Conformance with Change Management and Support for Behavioral Mapping}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {630-629}, doi = {}, year = {2012}, }

A Tactic-Centric Approach for Automating Traceability of Quality Concerns
Mehdi Mirakhorli, Yonghee Shin, Jane Cleland-Huang, and Murat Cinar
(DePaul University, USA)


@InProceedings{ICSE12p641, author = {Mehdi Mirakhorli and Yonghee Shin and Jane Cleland-Huang and Murat Cinar}, title = {A Tactic-Centric Approach for Automating Traceability of Quality Concerns}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {641-640}, doi = {}, year = {2012}, }

Formal Verification
Thu, Jun 7, 16:00 - 17:30

Build Code Analysis with Symbolic Evaluation
Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, and Tien N. Nguyen
(Iowa State University, USA)


@InProceedings{ICSE12p652, author = {Ahmed Tamrawi and Hoan Anh Nguyen and Hung Viet Nguyen and Tien N. Nguyen}, title = {Build Code Analysis with Symbolic Evaluation}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {652-651}, doi = {}, year = {2012}, }

An Automated Approach to Generating Efficient Constraint Solvers
Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, and Peter Nightingale
(University of St. Andrews, UK)


@InProceedings{ICSE12p663, author = {Dharini Balasubramaniam and Christopher Jefferson and Lars Kotthoff and Ian Miguel and Peter Nightingale}, title = {An Automated Approach to Generating Efficient Constraint Solvers}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {663-662}, doi = {}, year = {2012}, }

Simulation-Based Abstractions for Software Product-Line Model Checking
Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, and Axel Legay
(University of Namur, Belgium; INRIA, France; LIFL–CNRS, France; IRISA, France; Aalborg University, Denmark; University of Liège, Belgium)


@InProceedings{ICSE12p674, author = {Maxime Cordy and Andreas Classen and Gilles Perrouin and Pierre-Yves Schobbens and Patrick Heymans and Axel Legay}, title = {Simulation-Based Abstractions for Software Product-Line Model Checking}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {674-673}, doi = {}, year = {2012}, }

Invariant Generation
Fri, Jun 8, 08:45 - 10:15

Using Dynamic Analysis to Discover Polynomial and Array Invariants
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, and Stephanie Forrest
(University of New Mexico, USA; University of Virginia, USA)


@InProceedings{ICSE12p685, author = {ThanhVu Nguyen and Deepak Kapur and Westley Weimer and Stephanie Forrest}, title = {Using Dynamic Analysis to Discover Polynomial and Array Invariants}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {685-684}, doi = {}, year = {2012}, }

Metadata Invariants: Checking and Inferring Metadata Coding Conventions
Myoungkyu Song and Eli Tilevich
(Virginia Tech, USA)


@InProceedings{ICSE12p696, author = {Myoungkyu Song and Eli Tilevich}, title = {Metadata Invariants: Checking and Inferring Metadata Coding Conventions}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {696-695}, doi = {}, year = {2012}, }

Generating Obstacle Conditions for Requirements Completeness
Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, and Sebastián Uchitel
(Imperial College London, UK; Université Catholique de Louvain, Belgium)


@InProceedings{ICSE12p707, author = {Dalal Alrajeh and Jeff Kramer and Axel van Lamsweerde and Alessandra Russo and Sebastián Uchitel}, title = {Generating Obstacle Conditions for Requirements Completeness}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {707-706}, doi = {}, year = {2012}, }

Regression Testing
Fri, Jun 8, 08:45 - 10:15

make test-zesti: A Symbolic Execution Solution for Improving Regression Testing
Paul Dan Marinescu and Cristian Cadar
(Imperial College London, UK)


@InProceedings{ICSE12p718, author = {Paul Dan Marinescu and Cristian Cadar}, title = {make test-zesti: A Symbolic Execution Solution for Improving Regression Testing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {718-717}, doi = {}, year = {2012}, }

BALLERINA: Automatic Generation and Clustering of Efficient Random Unit Tests for Multithreaded Code
Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; ETH Zurich, Switzerland)


@InProceedings{ICSE12p729, author = {Adrian Nistor and Qingzhou Luo and Michael Pradel and Thomas R. Gross and Darko Marinov}, title = {BALLERINA: Automatic Generation and Clustering of Efficient Random Unit Tests for Multithreaded Code}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {729-728}, doi = {}, year = {2012}, }

On-Demand Test Suite Reduction
Dan Hao, Lu Zhang, Xingxia Wu, Hong Mei, and Gregg Rothermel
(Peking University, China; Key Laboratory of High Confidence Software Technologies, China; University of Nebraska, USA)


@InProceedings{ICSE12p740, author = {Dan Hao and Lu Zhang and Xingxia Wu and Hong Mei and Gregg Rothermel}, title = {On-Demand Test Suite Reduction}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {740-739}, doi = {}, year = {2012}, }

Software Vulnerability
Fri, Jun 8, 08:45 - 10:15

Automated Detection of Client-State Manipulation Vulnerabilities
Anders Møller and Mathias Schwarz
(Aarhus University, Denmark)


@InProceedings{ICSE12p751, author = {Anders Møller and Mathias Schwarz}, title = {Automated Detection of Client-State Manipulation Vulnerabilities}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {751-750}, doi = {}, year = {2012}, }

Understanding Integer Overflow in C/C++
Will Dietz, Peng Li, John Regehr, and Vikram Adve
(University of Illinois at Urbana-Champaign, USA; University of Utah, USA)


@InProceedings{ICSE12p762, author = {Will Dietz and Peng Li and John Regehr and Vikram Adve}, title = {Understanding Integer Overflow in C/C++}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {762-761}, doi = {}, year = {2012}, }

A Large Scale Exploratory Analysis of Software Vulnerability Life Cycles
Muhammad Shahzad, Muhammad Zubair Shafiq, and Alex X. Liu
(Michigan State University, USA)


@InProceedings{ICSE12p773, author = {Muhammad Shahzad and Muhammad Zubair Shafiq and Alex X. Liu}, title = {A Large Scale Exploratory Analysis of Software Vulnerability Life Cycles}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {773-772}, doi = {}, year = {2012}, }

API Learning
Fri, Jun 8, 10:45 - 12:45

Synthesizing API Usage Examples
Raymond P. L. Buse and Westley Weimer
(University of Virginia, USA)


@InProceedings{ICSE12p784, author = {Raymond P. L. Buse and Westley Weimer}, title = {Synthesizing API Usage Examples}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {784-783}, doi = {}, year = {2012}, }

Semi-automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge
Stefan Henß, Martin Monperrus, and Mira Mezini
(TU Darmstadt, Germany; University of Lille, France; INRIA, France)


@InProceedings{ICSE12p795, author = {Stefan Henß and Martin Monperrus and Mira Mezini}, title = {Semi-automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {795-794}, doi = {}, year = {2012}, }

Temporal Analysis of API Usage Concepts
Gias Uddin, Barthélémy Dagenais, and Martin P. Robillard
(McGill University, Canada)


@InProceedings{ICSE12p806, author = {Gias Uddin and Barthélémy Dagenais and Martin P. Robillard}, title = {Temporal Analysis of API Usage Concepts}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {806-805}, doi = {}, year = {2012}, }

Inferring Method Specifications from Natural Language API Descriptions
Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney, and Amit Paradkar
(North Carolina State University, USA; Chinese Academy of Sciences, China; CMU, USA; IBM Research, USA)


@InProceedings{ICSE12p817, author = {Rahul Pandita and Xusheng Xiao and Hao Zhong and Tao Xie and Stephen Oney and Amit Paradkar}, title = {Inferring Method Specifications from Natural Language API Descriptions}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {817-816}, doi = {}, year = {2012}, }

Code Recommenders
Fri, Jun 8, 10:45 - 12:45

Automatic Parameter Recommendation for Practical API Usage
Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, and Peizhao Ou
(Shanghai Jiao Tong University, China)


@InProceedings{ICSE12p828, author = {Cheng Zhang and Juyuan Yang and Yi Zhang and Jing Fan and Xin Zhang and Jianjun Zhao and Peizhao Ou}, title = {Automatic Parameter Recommendation for Practical API Usage}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {828-827}, doi = {}, year = {2012}, }

On the Naturalness of Software
Abram Hindle, Earl T. Barr, Zhendong Su, Mark Gabel, and Premkumar Devanbu
(UC Davis, USA; University of Texas at Dallas, USA)


@InProceedings{ICSE12p839, author = {Abram Hindle and Earl T. Barr and Zhendong Su and Mark Gabel and Premkumar Devanbu}, title = {On the Naturalness of Software}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {839-838}, doi = {}, year = {2012}, }

Recommending Source Code for Use in Rapid Software Prototypes
Collin McMillan, Negar Hariri, Denys Poshyvanyk, Jane Cleland-Huang, and Bamshad Mobasher
(College of William and Mary, USA; DePaul University, USA)


@InProceedings{ICSE12p850, author = {Collin McMillan and Negar Hariri and Denys Poshyvanyk and Jane Cleland-Huang and Bamshad Mobasher}, title = {Recommending Source Code for Use in Rapid Software Prototypes}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {850-849}, doi = {}, year = {2012}, }

Active Code Completion
Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza, and Brad A. Myers
(CMU, USA)


@InProceedings{ICSE12p861, author = {Cyrus Omar and YoungSeok Yoon and Thomas D. LaToza and Brad A. Myers}, title = {Active Code Completion}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {861-860}, doi = {}, year = {2012}, }

Test Automation
Fri, Jun 8, 10:45 - 12:45

Automated Oracle Creation Support, or: How I Learned to Stop Worrying about Fault Propagation and Love Mutation Testing
Matt Staats, Gregory Gay, and Mats P. E. Heimdahl
(KAIST, South Korea; University of Minnesota, USA)


@InProceedings{ICSE12p872, author = {Matt Staats and Gregory Gay and Mats P. E. Heimdahl}, title = {Automated Oracle Creation Support, or: How I Learned to Stop Worrying about Fault Propagation and Love Mutation Testing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {872-871}, doi = {}, year = {2012}, }

Automating Test Automation
Suresh Thummalapenta, Saurabh Sinha, Nimit Singhania, and Satish Chandra
(IBM Research, India; IBM Research, USA)


@InProceedings{ICSE12p883, author = {Suresh Thummalapenta and Saurabh Sinha and Nimit Singhania and Satish Chandra}, title = {Automating Test Automation}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {883-882}, doi = {}, year = {2012}, }

Stride: Search-Based Deterministic Replay in Polynomial Time via Bounded Linkage
Jinguo Zhou, Xiao Xiao, and Charles Zhang
(Hong Kong University of Science and Technology, China)


@InProceedings{ICSE12p894, author = {Jinguo Zhou and Xiao Xiao and Charles Zhang}, title = {Stride: Search-Based Deterministic Replay in Polynomial Time via Bounded Linkage}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {894-893}, doi = {}, year = {2012}, }

iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees
Charles Song, Adam Porter, and Jeffrey S. Foster
(University of Maryland, USA)


@InProceedings{ICSE12p905, author = {Charles Song and Adam Porter and Jeffrey S. Foster}, title = {iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {905-904}, doi = {}, year = {2012}, }

Validation of Specification
Fri, Jun 8, 10:45 - 12:45

Inferring Class Level Specifications for Distributed Systems
Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, and David Lo
(National University of Singapore, Singapore; Singapore Management University, Singapore)


@InProceedings{ICSE12p916, author = {Sandeep Kumar and Siau-Cheng Khoo and Abhik Roychoudhury and David Lo}, title = {Inferring Class Level Specifications for Distributed Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {916-915}, doi = {}, year = {2012}, }

Statically Checking API Protocol Conformance with Mined Multi-Object Specifications
Michael Pradel, Ciera Jaspan, Jonathan Aldrich, and Thomas R. Gross
(ETH Zurich, Switzerland; CMU, USA)


@InProceedings{ICSE12p927, author = {Michael Pradel and Ciera Jaspan and Jonathan Aldrich and Thomas R. Gross}, title = {Statically Checking API Protocol Conformance with Mined Multi-Object Specifications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {927-926}, doi = {}, year = {2012}, }

Behavioral Validation of JFSL Specifications through Model Synthesis
Carlo Ghezzi and Andrea Mocci
(Politecnico di Milano, Italy)


@InProceedings{ICSE12p938, author = {Carlo Ghezzi and Andrea Mocci}, title = {Behavioral Validation of JFSL Specifications through Model Synthesis}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {938-937}, doi = {}, year = {2012}, }

Verifying Client-Side Input Validation Functions Using String Analysis
Muath Alkhalaf, Tevfik Bultan, and Jose L. Gallegos
(UC Santa Barbara, USA)


@InProceedings{ICSE12p949, author = {Muath Alkhalaf and Tevfik Bultan and Jose L. Gallegos}, title = {Verifying Client-Side Input Validation Functions Using String Analysis}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {949-948}, doi = {}, year = {2012}, }

Keynotes

Digital Formations of the Powerful and the Powerless (Keynote)
Saskia Sassen
(Columbia University, USA)


@InProceedings{ICSE12p963, author = {Saskia Sassen}, title = {Digital Formations of the Powerful and the Powerless (Keynote)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {963-962}, doi = {}, year = {2012}, }

Supporting Sustainability with Software - An Industrial Perspective (Keynote)
Frank-Dieter Clesle
(SAP, Germany)


@InProceedings{ICSE12p974, author = {Frank-Dieter Clesle}, title = {Supporting Sustainability with Software - An Industrial Perspective (Keynote)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {974-973}, doi = {}, year = {2012}, }

Whither Software Architecture? (Keynote)
Jeff Kramer
(Imperial College London, UK)


@InProceedings{ICSE12p985, author = {Jeff Kramer}, title = {Whither Software Architecture? (Keynote)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {985-984}, doi = {}, year = {2012}, }

Software Engineering in Practice

Services and Analytics
Wed, Jun 6, 10:45 - 12:45

Towards a Federated Cloud Ecosystem (Invited Industrial Talk)
Clovis Chapman
(Dell, Ireland)


@InProceedings{ICSE12p998, author = {Clovis Chapman}, title = {Towards a Federated Cloud Ecosystem (Invited Industrial Talk)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {998-997}, doi = {}, year = {2012}, }

Specification Patterns from Research to Industry: A Case Study in Service-Based Applications
Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, and Patrick Senti
(University of Lugano, Switzerland; Politecnico di Milano, Italy; Credit Suisse, Switzerland)


@InProceedings{ICSE12p1008, author = {Domenico Bianculli and Carlo Ghezzi and Cesare Pautasso and Patrick Senti}, title = {Specification Patterns from Research to Industry: A Case Study in Service-Based Applications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1008-1007}, doi = {}, year = {2012}, }

Methodology for Migration of Long Running Process Instances in a Global Large Scale BPM Environment in Credit Suisse's SOA Landscape
Tarmo Ploom, Stefan Scheit, and Axel Glaser
(Credit Suisse, Switzerland)


@InProceedings{ICSE12p1018, author = {Tarmo Ploom and Stefan Scheit and Axel Glaser}, title = {Methodology for Migration of Long Running Process Instances in a Global Large Scale BPM Environment in Credit Suisse's SOA Landscape}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1018-1017}, doi = {}, year = {2012}, }

Information Needs for Software Development Analytics
Raymond P. L. Buse and Thomas Zimmermann
(University of Virginia, USA; Microsoft Research, USA)


@InProceedings{ICSE12p1028, author = {Raymond P. L. Buse and Thomas Zimmermann}, title = {Information Needs for Software Development Analytics}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1028-1027}, doi = {}, year = {2012}, }

Mini-Tutorial: Software Analytics
Wed, Jun 6, 14:00 - 15:30

Software Analytics in Practice: Mini Tutorial
Dongmei Zhang and Tao Xie
(Microsoft Research, China; North Carolina State University, USA)


@InProceedings{ICSE12p1038, author = {Dongmei Zhang and Tao Xie}, title = {Software Analytics in Practice: Mini Tutorial}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1038-1037}, doi = {}, year = {2012}, }

Invited Industrial Experts
Wed, Jun 6, 16:00 - 18:00

Software as an Engineering Material: How the Affordances of Programming Have Changed and What to Do about It (Invited Industrial Talk)
Keith Braithwaite
(Zühlke Engineering, UK)


@InProceedings{ICSE12p1048, author = {Keith Braithwaite}, title = {Software as an Engineering Material: How the Affordances of Programming Have Changed and What to Do about It (Invited Industrial Talk)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1048-1047}, doi = {}, year = {2012}, }

Software Architecture - What Does It Mean in Industry? (Invited Industrial Talk)
Eberhard Wolff
(adesso, Germany)


@InProceedings{ICSE12p1058, author = {Eberhard Wolff}, title = {Software Architecture - What Does It Mean in Industry? (Invited Industrial Talk)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1058-1057}, doi = {}, year = {2012}, }

How Software Engineering Can Benefit from Traditional Industries - A Practical Experience Report (Invited Industrial Talk)
Tom Sprenger
(AdNovum Informatik, Switzerland)


@InProceedings{ICSE12p1068, author = {Tom Sprenger}, title = {How Software Engineering Can Benefit from Traditional Industries - A Practical Experience Report (Invited Industrial Talk)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1068-1067}, doi = {}, year = {2012}, }

Formal Methods
Thu, Jun 7, 10:45 - 12:45

Ten Years of Automated Code Analysis at Microsoft (Invited Industrial Talk)
Wolfram Schulte
(Microsoft Research, USA)


@InProceedings{ICSE12p1078, author = {Wolfram Schulte}, title = {Ten Years of Automated Code Analysis at Microsoft (Invited Industrial Talk)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1078-1077}, doi = {}, year = {2012}, }

Large-Scale Formal Verification in Practice: A Process Perspective
June Andronick, Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, and Liming Zhu
(NICTA, Australia; UNSW, Australia)


@InProceedings{ICSE12p1088, author = {June Andronick and Ross Jeffery and Gerwin Klein and Rafal Kolanski and Mark Staples and He Zhang and Liming Zhu}, title = {Large-Scale Formal Verification in Practice: A Process Perspective}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1088-1087}, doi = {}, year = {2012}, }

Constructing Parser for Industrial Software Specifications Containing Formal and Natural Language Description
Futoshi Iwama, Taiga Nakamura, and Hironori Takeuchi
(IBM Research, Japan)


@InProceedings{ICSE12p1098, author = {Futoshi Iwama and Taiga Nakamura and Hironori Takeuchi}, title = {Constructing Parser for Industrial Software Specifications Containing Formal and Natural Language Description}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1098-1097}, doi = {}, year = {2012}, }

Formal Correctness, Safety, Dependability, and Performance Analysis of a Satellite
Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, and Yuri Yushtein
(European Space Agency, Netherlands; RWTH Aachen University, Germany; University of Twente, Netherlands)


@InProceedings{ICSE12p1108, author = {Marie-Aude Esteve and Joost-Pieter Katoen and Viet Yen Nguyen and Bart Postma and Yuri Yushtein}, title = {Formal Correctness, Safety, Dependability, and Performance Analysis of a Satellite}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1108-1107}, doi = {}, year = {2012}, }

Goldfish Bowl Panel: Software Development Analytics
Thu, Jun 7, 16:00 - 17:30

Goldfish Bowl Panel: Software Development Analytics
Tim Menzies and Thomas Zimmermann
(West Virginia University, USA; Microsoft Research, USA)


@InProceedings{ICSE12p1118, author = {Tim Menzies and Thomas Zimmermann}, title = {Goldfish Bowl Panel: Software Development Analytics}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1118-1117}, doi = {}, year = {2012}, }

Re-engineering
Thu, Jun 7, 16:00 - 17:30

Making Sense of Healthcare Benefits
Jonathan Bnayahu, Maayan Goldstein, Mordechai Nisenson, and Yahalomit Simionovici
(IBM Research, Israel)


@InProceedings{ICSE12p1128, author = {Jonathan Bnayahu and Maayan Goldstein and Mordechai Nisenson and Yahalomit Simionovici}, title = {Making Sense of Healthcare Benefits}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1128-1127}, doi = {}, year = {2012}, }

On the Proactive and Interactive Visualization for Feature Evolution Comprehension: An Industrial Investigation
Renato Novais, Camila Nunes, Caio Lima, Elder Cirilo, Francisco Dantas, Alessandro Garcia, and Manoel Mendonça
(Federal University of Bahia, Brazil; Federal Institute of Bahia, Brazil; PUC-Rio, Brazil)


@InProceedings{ICSE12p1138, author = {Renato Novais and Camila Nunes and Caio Lima and Elder Cirilo and Francisco Dantas and Alessandro Garcia and Manoel Mendonça}, title = {On the Proactive and Interactive Visualization for Feature Evolution Comprehension: An Industrial Investigation}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1138-1137}, doi = {}, year = {2012}, }

Extending Static Analysis by Mining Project-Specific Rules
Boya Sun, Gang Shu, Andy Podgurski, and Brian Robinson
(Case Western Reserve University, USA; ABB Research, USA)


@InProceedings{ICSE12p1148, author = {Boya Sun and Gang Shu and Andy Podgurski and Brian Robinson}, title = {Extending Static Analysis by Mining Project-Specific Rules}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1148-1147}, doi = {}, year = {2012}, }

Debugging
Fri, Jun 8, 08:45 - 10:15

Debugger Canvas: Industrial Experience with the Code Bubbles Paradigm
Robert DeLine, Andrew Bragdon, Kael Rowan, Jens Jacobsen, and Steven P. Reiss
(Microsoft Research, USA; Brown University, USA)


@InProceedings{ICSE12p1158, author = {Robert DeLine and Andrew Bragdon and Kael Rowan and Jens Jacobsen and Steven P. Reiss}, title = {Debugger Canvas: Industrial Experience with the Code Bubbles Paradigm}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1158-1157}, doi = {}, year = {2012}, }

Characterizing and Predicting Which Bugs Get Reopened
Thomas Zimmermann, Nachiappan Nagappan, Philip J. Guo, and Brendan Murphy
(Microsoft Research, USA; Stanford University, USA; Microsoft Research, UK)


@InProceedings{ICSE12p1168, author = {Thomas Zimmermann and Nachiappan Nagappan and Philip J. Guo and Brendan Murphy}, title = {Characterizing and Predicting Which Bugs Get Reopened}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1168-1167}, doi = {}, year = {2012}, }

ReBucket: A Method for Clustering Duplicate Crash Reports Based on Call Stack Similarity
Yingnong Dang, Rongxin Wu, Hongyu Zhang, Dongmei Zhang, and Peter Nobel
(Microsoft Research, China; Tsinghua University, China; Microsoft, USA)


@InProceedings{ICSE12p1178, author = {Yingnong Dang and Rongxin Wu and Hongyu Zhang and Dongmei Zhang and Peter Nobel}, title = {ReBucket: A Method for Clustering Duplicate Crash Reports Based on Call Stack Similarity}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1178-1177}, doi = {}, year = {2012}, }

Case Studies
Fri, Jun 8, 08:45 - 10:15

Understanding the Impact of Pair Programming on Developers Attention: A Case Study on a Large Industrial Experimentation
Alberto Sillitti, Giancarlo Succi, and Jelena Vlasenko
(Free University of Bolzano, Italy)


@InProceedings{ICSE12p1188, author = {Alberto Sillitti and Giancarlo Succi and Jelena Vlasenko}, title = {Understanding the Impact of Pair Programming on Developers Attention: A Case Study on a Large Industrial Experimentation}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1188-1187}, doi = {}, year = {2012}, }

How Much Does Unused Code Matter for Maintenance?
Sebastian Eder, Maximilian Junker, Elmar Jürgens, Benedikt Hauptmann, Rudolf Vaas, and Karl-Heinz Prommer
(TU Munich, Germany; Munich Re, Germany)


@InProceedings{ICSE12p1198, author = {Sebastian Eder and Maximilian Junker and Elmar Jürgens and Benedikt Hauptmann and Rudolf Vaas and Karl-Heinz Prommer}, title = {How Much Does Unused Code Matter for Maintenance?}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1198-1197}, doi = {}, year = {2012}, }

Using Knowledge Elicitation to Improve Web Effort Estimation: Lessons from Six Industrial Case Studies
Emilia Mendes
(Zayed University, United Arab Emirates)


@InProceedings{ICSE12p1208, author = {Emilia Mendes}, title = {Using Knowledge Elicitation to Improve Web Effort Estimation: Lessons from Six Industrial Case Studies}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1208-1207}, doi = {}, year = {2012}, }

Testing
Fri, Jun 8, 10:45 - 12:45

Large-Scale Test Automation in the Cloud (Invited Industrial Talk)
John Penix
(Google, USA)


@InProceedings{ICSE12p1218, author = {John Penix}, title = {Large-Scale Test Automation in the Cloud (Invited Industrial Talk)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1218-1217}, doi = {}, year = {2012}, }

Efficient Reuse of Domain-Specific Test Knowledge: An Industrial Case in the Smart Card Domain
Nicolas Devos, Christophe Ponsard, Jean-Christophe Deprez, Renaud Bauvin, Benedicte Moriau, and Guy Anckaerts
(CETIC, Belgium; STMicroelectronics, Belgium)


@InProceedings{ICSE12p1228, author = {Nicolas Devos and Christophe Ponsard and Jean-Christophe Deprez and Renaud Bauvin and Benedicte Moriau and Guy Anckaerts}, title = {Efficient Reuse of Domain-Specific Test Knowledge: An Industrial Case in the Smart Card Domain}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1228-1227}, doi = {}, year = {2012}, }

The Quamoco Product Quality Modelling and Assessment Approach
Stefan Wagner, Klaus Lochmann, Lars Heinemann, Michael Kläs, Adam Trendowicz, Reinhold Plösch, Andreas Seidl, Andreas Goeb, and Jonathan Streit
(University of Stuttgart, Germany; TU Munich, Germany; Fraunhofer IESE, Germany; JKU Linz, Austria; Capgemini, Germany; SAP, Germany; itestra, Germany)


@InProceedings{ICSE12p1238, author = {Stefan Wagner and Klaus Lochmann and Lars Heinemann and Michael Kläs and Adam Trendowicz and Reinhold Plösch and Andreas Seidl and Andreas Goeb and Jonathan Streit}, title = {The Quamoco Product Quality Modelling and Assessment Approach}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1238-1237}, doi = {}, year = {2012}, }

Industrial Application of Concolic Testing Approach: A Case Study on libexif by Using CREST-BV and KLEE
Yunho Kim, Moonzoo Kim, YoungJoo Kim, and Yoonkyu Jang
(KAIST, South Korea; Samsung Electronics, South Korea)


@InProceedings{ICSE12p1248, author = {Yunho Kim and Moonzoo Kim and YoungJoo Kim and Yoonkyu Jang}, title = {Industrial Application of Concolic Testing Approach: A Case Study on libexif by Using CREST-BV and KLEE}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1248-1247}, doi = {}, year = {2012}, }

Software Engineering Education

The Role of Software Projects in Software Engineering Education
Wed, Jun 6, 11:00 - 12:45 (Chair: Kurt Schneider)

Teaching Software Engineering and Software Project Management: An Integrated and Practical Approach
Gabriele Bavota, Andrea De Lucia, Fausto Fasano, Rocco Oliveto, and Carlo Zottoli
(University of Salerno, Italy; University of Molise, Italy)


@InProceedings{ICSE12p1260, author = {Gabriele Bavota and Andrea De Lucia and Fausto Fasano and Rocco Oliveto and Carlo Zottoli}, title = {Teaching Software Engineering and Software Project Management: An Integrated and Practical Approach}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1260-1259}, doi = {}, year = {2012}, }

Teaching Collaborative Software Development: A Case Study
Terhi Kilamo, Imed Hammouda, and Mohamed Amine Chatti
(Tampere University of Technology, Finland; RWTH Aachen University, Germany)


@InProceedings{ICSE12p1270, author = {Terhi Kilamo and Imed Hammouda and Mohamed Amine Chatti}, title = {Teaching Collaborative Software Development: A Case Study}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1270-1269}, doi = {}, year = {2012}, }

Using Continuous Integration of Code and Content to Teach Software Engineering with Limited Resources
Jörn Guy Süß and William Billingsley
(University of Queensland, Australia)


@InProceedings{ICSE12p1280, author = {Jörn Guy Süß and William Billingsley}, title = {Using Continuous Integration of Code and Content to Teach Software Engineering with Limited Resources}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1280-1279}, doi = {}, year = {2012}, }

Aspects of Teaching Software Engineering
Wed, Jun 6, 14:00 - 15:30 (Chair: Martin Naedele)

Stages in Teaching Software Testing
Tony Cowling
(University of Sheffield, UK)


@InProceedings{ICSE12p1290, author = {Tony Cowling}, title = {Stages in Teaching Software Testing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1290-1289}, doi = {}, year = {2012}, }

Integrating Tools and Frameworks in Undergraduate Software Engineering Curriculum
Christopher Fuhrman, Roger Champagne, and Alain April
(University of Québec, Canada)


@InProceedings{ICSE12p1300, author = {Christopher Fuhrman and Roger Champagne and Alain April}, title = {Integrating Tools and Frameworks in Undergraduate Software Engineering Curriculum}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1300-1299}, doi = {}, year = {2012}, }

What Scope Is There for Adopting Evidence-Informed Teaching in SE?
David Budgen, Sarah Drummond, Pearl Brereton, and Nikki Holland
(Durham University, UK; Keele University, UK)


@InProceedings{ICSE12p1310, author = {David Budgen and Sarah Drummond and Pearl Brereton and Nikki Holland}, title = {What Scope Is There for Adopting Evidence-Informed Teaching in SE?}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1310-1309}, doi = {}, year = {2012}, }

Software Engineering Education in Industry
Wed, Jun 6, 16:00 - 18:00 (Chair: Grace Lewis)

FOCUS: An Adaptation of a SWEBOK-Based Curriculum for Industry Requirements
Ganesh Samarthyam, Girish Suryanarayana, Arbind Kumar Gupta, and Raghu Nambiar
(Siemens, India)


@InProceedings{ICSE12p1320, author = {Ganesh Samarthyam and Girish Suryanarayana and Arbind Kumar Gupta and Raghu Nambiar}, title = {FOCUS: An Adaptation of a SWEBOK-Based Curriculum for Industry Requirements}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1320-1319}, doi = {}, year = {2012}, }

Teaching Distributed Software Engineering
Thu, Jun 7, 11:15 - 12:30 (Chair: Richard LeBlanc)

Ten Tips to Succeed in Global Software Engineering Education
Ivica Crnković, Ivana Bosnić, and Mario Žagar
(Mälardalen University, Sweden; University of Zagreb, Croatia)


@InProceedings{ICSE12p1330, author = {Ivica Crnković and Ivana Bosnić and Mario Žagar}, title = {Ten Tips to Succeed in Global Software Engineering Education}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1330-1329}, doi = {}, year = {2012}, }

Collaboration Patterns in Distributed Software Development Projects
Igor Čavrak, Marin Orlić, and Ivica Crnković
(University of Zagreb, Croatia; Mälardalen University, Sweden)


@InProceedings{ICSE12p1340, author = {Igor Čavrak and Marin Orlić and Ivica Crnković}, title = {Collaboration Patterns in Distributed Software Development Projects}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1340-1339}, doi = {}, year = {2012}, }

Improving PSP Education by Pairing: An Empirical Study
Guoping Rong, He Zhang, Mingjuan Xie, and Dong Shao
(Nanjing University, China; NICTA, Australia; UNSW, Australia)


@InProceedings{ICSE12p1350, author = {Guoping Rong and He Zhang and Mingjuan Xie and Dong Shao}, title = {Improving PSP Education by Pairing: An Empirical Study}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1350-1349}, doi = {}, year = {2012}, }

Five Days of Empirical Software Engineering: The PASED Experience
Massimiliano Di Penta, Giuliano Antoniol, Daniel M. Germán, Yann-Gaël Guéhéneuc, and Bram Adams
(University of Sannio, Italy; École Polytechnique de Montréal, Canada; University of Victoria, Canada)


@InProceedings{ICSE12p1360, author = {Massimiliano Di Penta and Giuliano Antoniol and Daniel M. Germán and Yann-Gaël Guéhéneuc and Bram Adams}, title = {Five Days of Empirical Software Engineering: The PASED Experience}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1360-1359}, doi = {}, year = {2012}, }

New Ideas and Emerging Results

NIER in Support of Software Engineers
Wed, Jun 6, 10:45 - 12:45

Automatically Detecting Developer Activities and Problems in Software Development Work
Tobias Roehm and Walid Maalej
(TU Munich, Germany)


@InProceedings{ICSE12p1372, author = {Tobias Roehm and Walid Maalej}, title = {Automatically Detecting Developer Activities and Problems in Software Development Work}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1372-1371}, doi = {}, year = {2012}, }

Software Process Improvement through the Identification and Removal of Project-Level Knowledge Flow Obstacles
Susan M. Mitchell and Carolyn B. Seaman
(University of Maryland in Baltimore County, USA)


@InProceedings{ICSE12p1376, author = {Susan M. Mitchell and Carolyn B. Seaman}, title = {Software Process Improvement through the Identification and Removal of Project-Level Knowledge Flow Obstacles}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1376-1375}, doi = {}, year = {2012}, }

Symbiotic General-Purpose and Domain-Specific Languages
Colin Atkinson, Ralph Gerbig, and Bastian Kennel
(University of Mannheim, Germany)


@InProceedings{ICSE12p1380, author = {Colin Atkinson and Ralph Gerbig and Bastian Kennel}, title = {Symbiotic General-Purpose and Domain-Specific Languages}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1380-1379}, doi = {}, year = {2012}, }

Evaluating the Specificity of Text Retrieval Queries to Support Software Engineering Tasks
Sonia Haiduc, Gabriele Bavota, Rocco Oliveto, Andrian Marcus, and Andrea De Lucia
(Wayne State University, USA; University of Salerno, Italy; University of Molise, Italy)


@InProceedings{ICSE12p1384, author = {Sonia Haiduc and Gabriele Bavota and Rocco Oliveto and Andrian Marcus and Andrea De Lucia}, title = {Evaluating the Specificity of Text Retrieval Queries to Support Software Engineering Tasks}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1384-1383}, doi = {}, year = {2012}, }

Co-adapting Human Collaborations and Software Architectures
Christoph Dorn and Richard N. Taylor
(UC Irvine, USA)


@InProceedings{ICSE12p1388, author = {Christoph Dorn and Richard N. Taylor}, title = {Co-adapting Human Collaborations and Software Architectures}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1388-1387}, doi = {}, year = {2012}, }

Release Engineering Practices and Pitfalls
Hyrum K. Wright and Dewayne E. Perry
(University of Texas at Austin, USA)


@InProceedings{ICSE12p1392, author = {Hyrum K. Wright and Dewayne E. Perry}, title = {Release Engineering Practices and Pitfalls}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1392-1391}, doi = {}, year = {2012}, }

Augmented Intelligence - The New AI - Unleashing Human Capabilities in Knowledge Work
James M. Corrigan
(Stony Brook University, USA)


@InProceedings{ICSE12p1396, author = {James M. Corrigan}, title = {Augmented Intelligence - The New AI - Unleashing Human Capabilities in Knowledge Work}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1396-1395}, doi = {}, year = {2012}, }

NIER for Mining Product and Process Data
Thu, Jun 7, 10:45 - 12:45

On How Often Code Is Cloned across Repositories
Niko Schwarz, Mircea Lungu, and Romain Robbes
(University of Bern, Switzerland; University of Chile, Chile)


@InProceedings{ICSE12p1400, author = {Niko Schwarz and Mircea Lungu and Romain Robbes}, title = {On How Often Code Is Cloned across Repositories}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1400-1399}, doi = {}, year = {2012}, }

Mining Input Sanitization Patterns for Predicting SQL Injection and Cross Site Scripting Vulnerabilities
Lwin Khin Shar and Hee Beng Kuan Tan
(Nanyang Technological University, Singapore)


@InProceedings{ICSE12p1404, author = {Lwin Khin Shar and Hee Beng Kuan Tan}, title = {Mining Input Sanitization Patterns for Predicting SQL Injection and Cross Site Scripting Vulnerabilities}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1404-1403}, doi = {}, year = {2012}, }

Inferring Developer Expertise through Defect Analysis
Tung Thanh Nguyen, Tien N. Nguyen, Evelyn Duesterwald, Tim Klinger, and Peter Santhanam
(Iowa State University, USA; IBM Research, USA)


@InProceedings{ICSE12p1408, author = {Tung Thanh Nguyen and Tien N. Nguyen and Evelyn Duesterwald and Tim Klinger and Peter Santhanam}, title = {Inferring Developer Expertise through Defect Analysis}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1408-1407}, doi = {}, year = {2012}, }

Green Mining: Investigating Power Consumption across Versions
Abram Hindle
(University of Alberta, Canada)


@InProceedings{ICSE12p1412, author = {Abram Hindle}, title = {Green Mining: Investigating Power Consumption across Versions}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1412-1411}, doi = {}, year = {2012}, }

Multi-label Software Behavior Learning
Yang Feng and Zhenyu Chen
(Nanjing University, China)


@InProceedings{ICSE12p1416, author = {Yang Feng and Zhenyu Chen}, title = {Multi-label Software Behavior Learning}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1416-1415}, doi = {}, year = {2012}, }

Trends in Object-Oriented Software Evolution: Investigating Network Properties
Alexander Chatzigeorgiou and George Melas
(University of Macedonia, Greece)


@InProceedings{ICSE12p1420, author = {Alexander Chatzigeorgiou and George Melas}, title = {Trends in Object-Oriented Software Evolution: Investigating Network Properties}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1420-1419}, doi = {}, year = {2012}, }

Exploring Techniques for Rationale Extraction from Existing Documents
Benjamin Rogers, James Gung, Yechen Qiao, and Janet E. Burge
(Miami University, USA)


@InProceedings{ICSE12p1424, author = {Benjamin Rogers and James Gung and Yechen Qiao and Janet E. Burge}, title = {Exploring Techniques for Rationale Extraction from Existing Documents}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1424-1423}, doi = {}, year = {2012}, }

NIER to Leverage Social Aspects
Fri, Jun 8, 08:45 - 10:15

Continuous Social Screencasting to Facilitate Software Tool Discovery
Emerson Murphy-Hill
(North Carolina State University, USA)


@InProceedings{ICSE12p1428, author = {Emerson Murphy-Hill}, title = {Continuous Social Screencasting to Facilitate Software Tool Discovery}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1428-1427}, doi = {}, year = {2012}, }

UDesignIt: Towards Social Media for Community-Driven Design
Phil Greenwood, Awais Rashid, and James Walkerdine
(Lancaster University, UK)


@InProceedings{ICSE12p1432, author = {Phil Greenwood and Awais Rashid and James Walkerdine}, title = {UDesignIt: Towards Social Media for Community-Driven Design}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1432-1431}, doi = {}, year = {2012}, }

Influencing the Adoption of Software Engineering Methods Using Social Software
Leif Singer and Kurt Schneider
(Leibniz Universität Hannover, Germany)


@InProceedings{ICSE12p1436, author = {Leif Singer and Kurt Schneider}, title = {Influencing the Adoption of Software Engineering Methods Using Social Software}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1436-1435}, doi = {}, year = {2012}, }

Toward Actionable, Broadly Accessible Contests in Software Engineering
Jane Cleland-Huang, Yonghee Shin, Ed Keenan, Adam Czauderna, Greg Leach, Evan Moritz, Malcom Gethers, Denys Poshyvanyk, Jane Huffman Hayes, and Wenbin Li
(DePaul University, USA; College of William and Mary, USA; University of Kentucky, USA)


@InProceedings{ICSE12p1440, author = {Jane Cleland-Huang and Yonghee Shin and Ed Keenan and Adam Czauderna and Greg Leach and Evan Moritz and Malcom Gethers and Denys Poshyvanyk and Jane Huffman Hayes and Wenbin Li}, title = {Toward Actionable, Broadly Accessible Contests in Software Engineering}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1440-1439}, doi = {}, year = {2012}, }

CodeTimeline: Storytelling with Versioning Data
Adrian Kuhn and Mirko Stocker
(University of British Columbia, Canada; University of Applied Sciences Rapperswil, Switzerland)


@InProceedings{ICSE12p1444, author = {Adrian Kuhn and Mirko Stocker}, title = {CodeTimeline: Storytelling with Versioning Data}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1444-1443}, doi = {}, year = {2012}, }

NIER for Verification and Evolution
Fri, Jun 8, 10:45 - 12:45

Analyzing Multi-agent Systems with Probabilistic Model Checking Approach
Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-Fung Leung, and Jin Song Dong
(National University of Singapore, Singapore; Chinese University of Hong Kong, China; University of Technology and Design, Singapore)


@InProceedings{ICSE12p1448, author = {Songzheng Song and Jianye Hao and Yang Liu and Jun Sun and Ho-Fung Leung and Jin Song Dong}, title = {Analyzing Multi-agent Systems with Probabilistic Model Checking Approach}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1448-1447}, doi = {}, year = {2012}, }

Brace: An Assertion Framework for Debugging Cyber-Physical Systems
Kevin Boos, Chien-Liang Fok, Christine Julien, and Miryung Kim
(University of Texas at Austin, USA)


@InProceedings{ICSE12p1452, author = {Kevin Boos and Chien-Liang Fok and Christine Julien and Miryung Kim}, title = {Brace: An Assertion Framework for Debugging Cyber-Physical Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1452-1451}, doi = {}, year = {2012}, }

Augmenting Test Suites Effectiveness by Increasing Output Diversity
Nadia Alshahwan and Mark Harman
(University College London, UK)


@InProceedings{ICSE12p1456, author = {Nadia Alshahwan and Mark Harman}, title = {Augmenting Test Suites Effectiveness by Increasing Output Diversity}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1456-1455}, doi = {}, year = {2012}, }

Improving IDE Recommendations by Considering Global Implications of Existing Recommendations
Kıvanç Muşlu, Yuriy Brun, Reid Holmes, Michael D. Ernst, and David Notkin
(University of Washington, USA; University of Waterloo, Canada)


@InProceedings{ICSE12p1460, author = {Kıvanç Muşlu and Yuriy Brun and Reid Holmes and Michael D. Ernst and David Notkin}, title = {Improving IDE Recommendations by Considering Global Implications of Existing Recommendations}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1460-1459}, doi = {}, year = {2012}, }

Towards Flexible Evolution of Dynamically Adaptive Systems
Gilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais, and Jean-Marc Jézéquel
(University of Namur, Belgium; SINTEF, Norway; University of Luxembourg, Luxembourg; IRISA, France)


@InProceedings{ICSE12p1464, author = {Gilles Perrouin and Brice Morin and Franck Chauvel and Franck Fleurey and Jacques Klein and Yves Le Traon and Olivier Barais and Jean-Marc Jézéquel}, title = {Towards Flexible Evolution of Dynamically Adaptive Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1464-1463}, doi = {}, year = {2012}, }

Towards Business Processes Orchestrating the Physical Enterprise with Wireless Sensor Networks
Fabio Casati, Florian Daniel, Guenadi Dantchev, Joakim Eriksson, Niclas Finne, Stamatis Karnouskos, Patricio Moreno Montero, Luca Mottola, Felix Jonathan Oppermann, Gian Pietro Picco, Antonio Quartulli, Kay Römer, Patrik Spiess, Stefano Tranquillini, and Thiemo Voigt
(University of Trento, Italy; SAP, Germany; Swedish Institute of Computer Science, Sweden; Acciona Infraestructuras, Spain; University of Lübeck, Germany)


@InProceedings{ICSE12p1468, author = {Fabio Casati and Florian Daniel and Guenadi Dantchev and Joakim Eriksson and Niclas Finne and Stamatis Karnouskos and Patricio Moreno Montero and Luca Mottola and Felix Jonathan Oppermann and Gian Pietro Picco and Antonio Quartulli and Kay Römer and Patrik Spiess and Stefano Tranquillini and Thiemo Voigt}, title = {Towards Business Processes Orchestrating the Physical Enterprise with Wireless Sensor Networks}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1468-1467}, doi = {}, year = {2012}, }

Engineering and Verifying Requirements for Programmable Self-Assembling Nanomachines
Robyn Lutz, Jack Lutz, James Lathrop, Titus Klinge, Eric Henderson, Divita Mathur, and Dalia Abo Sheasha
(Iowa State University, USA; California Institute of Technology, USA)


@InProceedings{ICSE12p1472, author = {Robyn Lutz and Jack Lutz and James Lathrop and Titus Klinge and Eric Henderson and Divita Mathur and Dalia Abo Sheasha}, title = {Engineering and Verifying Requirements for Programmable Self-Assembling Nanomachines}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1472-1471}, doi = {}, year = {2012}, }

Formal Research Demonstrations

Formal Demos 1
Wed, Jun 6, 16:00 - 18:00

Facilitating Communication between Engineers with CARES
Anja Guzzi and Andrew Begel
(TU Delft, Netherlands; Microsoft Research, USA)


@InProceedings{ICSE12p1478, author = {Anja Guzzi and Andrew Begel}, title = {Facilitating Communication between Engineers with CARES}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1478-1477}, doi = {}, year = {2012}, }

Interactive Refinement of Combinatorial Test Plans
Itai Segall and Rachel Tzoref-Brill
(IBM Research, Israel)


@InProceedings{ICSE12p1482, author = {Itai Segall and Rachel Tzoref-Brill}, title = {Interactive Refinement of Combinatorial Test Plans}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1482-1481}, doi = {}, year = {2012}, }

TraceLab: An Experimental Workbench for Equipping Researchers to Innovate, Synthesize, and Comparatively Evaluate Traceability Solutions
Ed Keenan, Adam Czauderna, Greg Leach, Jane Cleland-Huang, Yonghee Shin, Evan Moritz, Malcom Gethers, Denys Poshyvanyk, Jonathan Maletic, Jane Huffman Hayes, Alex Dekhtyar, Daria Manukian, Shervin Hossein, and Derek Hearn
(DePaul University, USA; College of William and Mary, USA; Kent State University, USA; University of Kentucky, USA; CalPoly, USA)


@InProceedings{ICSE12p1486, author = {Ed Keenan and Adam Czauderna and Greg Leach and Jane Cleland-Huang and Yonghee Shin and Evan Moritz and Malcom Gethers and Denys Poshyvanyk and Jonathan Maletic and Jane Huffman Hayes and Alex Dekhtyar and Daria Manukian and Shervin Hossein and Derek Hearn}, title = {TraceLab: An Experimental Workbench for Equipping Researchers to Innovate, Synthesize, and Comparatively Evaluate Traceability Solutions}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1486-1485}, doi = {}, year = {2012}, }

Specification Engineering and Modular Verification Using a Web-Integrated Verifying Compiler
Charles T. Cook, Heather Harton, Hampton Smith, and Murali Sitaraman
(Clemson University, USA)


@InProceedings{ICSE12p1490, author = {Charles T. Cook and Heather Harton and Hampton Smith and Murali Sitaraman}, title = {Specification Engineering and Modular Verification Using a Web-Integrated Verifying Compiler}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1490-1489}, doi = {}, year = {2012}, }

Writing Dynamic Service Orchestrations with DSOL
Leandro Sales Pinto, Gianpaolo Cugola, and Carlo Ghezzi
(Politecnico di Milano, Italy)


@InProceedings{ICSE12p1494, author = {Leandro Sales Pinto and Gianpaolo Cugola and Carlo Ghezzi}, title = {Writing Dynamic Service Orchestrations with DSOL}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1494-1493}, doi = {}, year = {2012}, }

MASH: A Tool for End-User Plug-In Composition
Leonardo Mariani and Fabrizio Pastore
(University of Milano-Bicocca, Italy)


@InProceedings{ICSE12p1498, author = {Leonardo Mariani and Fabrizio Pastore}, title = {MASH: A Tool for End-User Plug-In Composition}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1498-1497}, doi = {}, year = {2012}, }

BabelRef: Detection and Renaming Tool for Cross-Language Program Entities in Dynamic Web Applications
Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen
(Iowa State University, USA)


@InProceedings{ICSE12p1502, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Tien N. Nguyen}, title = {BabelRef: Detection and Renaming Tool for Cross-Language Program Entities in Dynamic Web Applications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1502-1501}, doi = {}, year = {2012}, }

MDSheet: A Framework for Model-Driven Spreadsheet Engineering
Jácome Cunha, João Paulo Fernandes, Jorge Mendes, and João Saraiva
(University of Minho, Portugal; University of Porto, Portugal)


@InProceedings{ICSE12p1506, author = {Jácome Cunha and João Paulo Fernandes and Jorge Mendes and João Saraiva}, title = {MDSheet: A Framework for Model-Driven Spreadsheet Engineering}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1506-1505}, doi = {}, year = {2012}, }

Formal Demos 2
Fri, Jun 8, 10:45 - 12:45

WorkItemExplorer: Visualizing Software Development Tasks Using an Interactive Exploration Environment
Christoph Treude, Patrick Gorman, Lars Grammel, and Margaret-Anne Storey
(University of Victoria, Canada)


@InProceedings{ICSE12p1510, author = {Christoph Treude and Patrick Gorman and Lars Grammel and Margaret-Anne Storey}, title = {WorkItemExplorer: Visualizing Software Development Tasks Using an Interactive Exploration Environment}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1510-1509}, doi = {}, year = {2012}, }

Runtime Monitoring of Component Changes with Spy@Runtime
Carlo Ghezzi, Andrea Mocci, and Mario Sangiorgio
(Politecnico di Milano, Italy; MIT, USA)


@InProceedings{ICSE12p1514, author = {Carlo Ghezzi and Andrea Mocci and Mario Sangiorgio}, title = {Runtime Monitoring of Component Changes with Spy@Runtime}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1514-1513}, doi = {}, year = {2012}, }

GraPacc: A Graph-Based Pattern-Oriented, Context-Sensitive Code Completion Tool
Anh Tuan Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen
(Iowa State University, USA)


@InProceedings{ICSE12p1518, author = {Anh Tuan Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Tien N. Nguyen}, title = {GraPacc: A Graph-Based Pattern-Oriented, Context-Sensitive Code Completion Tool}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1518-1517}, doi = {}, year = {2012}, }

Code Bubbles: A Practical Working-Set Programming Environment
Steven P. Reiss, Jared N. Bott, and Joseph J. LaViola, Jr.
(Brown University, USA; University of Central Florida, USA)


@InProceedings{ICSE12p1522, author = {Steven P. Reiss and Jared N. Bott and Joseph J. LaViola, Jr.}, title = {Code Bubbles: A Practical Working-Set Programming Environment}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1522-1521}, doi = {}, year = {2012}, }

EVOSS: A Tool for Managing the Evolution of Free and Open Source Software Systems
Davide Di Ruscio, Patrizio Pelliccione, and Alfonso Pierantonio
(University of L'Aquila, Italy)


@InProceedings{ICSE12p1526, author = {Davide Di Ruscio and Patrizio Pelliccione and Alfonso Pierantonio}, title = {EVOSS: A Tool for Managing the Evolution of Free and Open Source Software Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1526-1525}, doi = {}, year = {2012}, }

Supporting Extract Class Refactoring in Eclipse: The ARIES Project
Gabriele Bavota, Andrea De Lucia, Andrian Marcus, Rocco Oliveto, and Fabio Palomba
(University of Salerno, Italy; Wayne State University, USA; University of Molise, Italy)


@InProceedings{ICSE12p1530, author = {Gabriele Bavota and Andrea De Lucia and Andrian Marcus and Rocco Oliveto and Fabio Palomba}, title = {Supporting Extract Class Refactoring in Eclipse: The ARIES Project}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1530-1529}, doi = {}, year = {2012}, }

EXSYST: Search-Based GUI Testing
Florian Gross, Gordon Fraser, and Andreas Zeller
(Saarland University, Germany)


@InProceedings{ICSE12p1534, author = {Florian Gross and Gordon Fraser and Andreas Zeller}, title = {EXSYST: Search-Based GUI Testing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1534-1533}, doi = {}, year = {2012}, }

JavaMOP: Efficient Parametric Runtime Monitoring Framework
Dongyun Jin, Patrick O’Neil Meredith, Choonghwan Lee, and Grigore Roşu
(University of Illinois at Urbana-Champaign, USA)


@InProceedings{ICSE12p1538, author = {Dongyun Jin and Patrick O’Neil Meredith and Choonghwan Lee and Grigore Roşu}, title = {JavaMOP: Efficient Parametric Runtime Monitoring Framework}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1538-1537}, doi = {}, year = {2012}, }

Posters and Informal Demonstrations

Posters
Thu, Jun 7, 15:00 - 16:00

Augmenting Test Suites Automatically
Konstantin Rubinov and Jochen Wuttke
(University of Lugano, Switzerland; University of Washington, USA)


@InProceedings{ICSE12p1544, author = {Konstantin Rubinov and Jochen Wuttke}, title = {Augmenting Test Suites Automatically}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1544-1543}, doi = {}, year = {2012}, }

Using the GPGPU for Scaling Up Mining Software Repositories
Rina Nagano, Hiroki Nakamura, Yasutaka Kamei, Bram Adams, Kenji Hisazumi, Naoyasu Ubayashi, and Akira Fukuda
(Kyushu University, Japan; École Polytechnique de Montréal, Canada)


@InProceedings{ICSE12p1546, author = {Rina Nagano and Hiroki Nakamura and Yasutaka Kamei and Bram Adams and Kenji Hisazumi and Naoyasu Ubayashi and Akira Fukuda}, title = {Using the GPGPU for Scaling Up Mining Software Repositories}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1546-1545}, doi = {}, year = {2012}, }

FastFix: Monitoring Control for Remote Software Maintenance
Dennis Pagano, Miguel A. Juan, Alessandra Bagnato, Tobias Roehm, Bernd Brügge, and Walid Maalej
(TU Munich, Germany; S2 Grupo, Spain; TXT e-solutions, Italy)


@InProceedings{ICSE12p1548, author = {Dennis Pagano and Miguel A. Juan and Alessandra Bagnato and Tobias Roehm and Bernd Brügge and Walid Maalej}, title = {FastFix: Monitoring Control for Remote Software Maintenance}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1548-1547}, doi = {}, year = {2012}, }

Modeling Cloud Performance with Kriging
Alessio Gambi and Giovanni Toffetti
(University of Lugano, Switzerland)


@InProceedings{ICSE12p1550, author = {Alessio Gambi and Giovanni Toffetti}, title = {Modeling Cloud Performance with Kriging}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1550-1549}, doi = {}, year = {2012}, }

SOA Adoption in the Italian Industry
Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, and Tullio Vernazza
(Università di Genova, Italy)


@InProceedings{ICSE12p1552, author = {Maurizio Leotta and Filippo Ricca and Marina Ribaudo and Gianna Reggio and Egidio Astesiano and Tullio Vernazza}, title = {SOA Adoption in the Italian Industry}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1552-1551}, doi = {}, year = {2012}, }

A Bidirectional Model-Driven Spreadsheet Environment
Jácome Cunha, João Paulo Fernandes, Jorge Mendes, and João Saraiva
(University of Minho, Portugal)


@InProceedings{ICSE12p1554, author = {Jácome Cunha and João Paulo Fernandes and Jorge Mendes and João Saraiva}, title = {A Bidirectional Model-Driven Spreadsheet Environment}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1554-1553}, doi = {}, year = {2012}, }

A Self-Healing Technique for Java Applications
Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, and Nicolò Perino
(University of Lugano, Switzerland)


@InProceedings{ICSE12p1556, author = {Antonio Carzaniga and Alessandra Gorla and Andrea Mattavelli and Nicolò Perino}, title = {A Self-Healing Technique for Java Applications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1556-1555}, doi = {}, year = {2012}, }

When Open Source Turns Cold on Innovation - The Challenges of Navigating Licensing Complexities in New Research Domains
Christopher Forbes, Iman Keivanloo, and Juergen Rilling
(Concordia University, Canada)


@InProceedings{ICSE12p1558, author = {Christopher Forbes and Iman Keivanloo and Juergen Rilling}, title = {When Open Source Turns Cold on Innovation - The Challenges of Navigating Licensing Complexities in New Research Domains}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1558-1557}, doi = {}, year = {2012}, }

Informal Demonstrations
Thu, Jun 7, 16:00 - 17:30

Language Modularity with the MPS Language Workbench
Markus Voelter and Vaclav Pech
(itemis, Germany; voelter ingenieurbuero fuer softwaretechnologie, Germany; JetBrains, USA)


@InProceedings{ICSE12p1560, author = {Markus Voelter and Vaclav Pech}, title = {Language Modularity with the MPS Language Workbench}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1560-1559}, doi = {}, year = {2012}, }

Mining Application Repository to Recommend XML Configuration Snippets
Sheng Huang, Yi Qi Lu, Yanghua Xiao, and Wei Wang
(Fudan University, China)


@InProceedings{ICSE12p1562, author = {Sheng Huang and Yi Qi Lu and Yanghua Xiao and Wei Wang}, title = {Mining Application Repository to Recommend XML Configuration Snippets}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1562-1561}, doi = {}, year = {2012}, }

Locating Features in Dynamically Configured Avionics Software
Maxime Ouellet, Ettore Merlo, Neset Sozen, and Martin Gagnon
(École Polytechnique de Montréal, Canada; CMC Electronics, Canada)


@InProceedings{ICSE12p1564, author = {Maxime Ouellet and Ettore Merlo and Neset Sozen and Martin Gagnon}, title = {Locating Features in Dynamically Configured Avionics Software}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1564-1563}, doi = {}, year = {2012}, }

Detecting Metadata Bugs on the Fly
Myoungkyu Song and Eli Tilevich
(Virginia Tech, USA)


@InProceedings{ICSE12p1566, author = {Myoungkyu Song and Eli Tilevich}, title = {Detecting Metadata Bugs on the Fly}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1566-1565}, doi = {}, year = {2012}, }

Blaze
Jan-Peter Krämer, Joachim Kurz, Thorsten Karrer, and Jan Borchers
(RWTH Aachen University, Germany)


@InProceedings{ICSE12p1568, author = {Jan-Peter Krämer and Joachim Kurz and Thorsten Karrer and Jan Borchers}, title = {Blaze}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1568-1567}, doi = {}, year = {2012}, }

ConTexter Feedback System
Tristan Wehrmaker, Stefan Gärtner, and Kurt Schneider
(Leibniz Universität Hannover, Germany)


@InProceedings{ICSE12p1570, author = {Tristan Wehrmaker and Stefan Gärtner and Kurt Schneider}, title = {ConTexter Feedback System}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1570-1569}, doi = {}, year = {2012}, }

xMapper: An Architecture-Implementation Mapping Tool
Yongjie Zheng and Richard N. Taylor
(UC Irvine, USA)


@InProceedings{ICSE12p1572, author = {Yongjie Zheng and Richard N. Taylor}, title = {xMapper: An Architecture-Implementation Mapping Tool}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1572-1571}, doi = {}, year = {2012}, }

ConcernReCS: Finding Code Smells in Software Aspectization
Péricles Alves, Diogo Santana, and Eduardo Figueiredo
(UFMG, Brazil)


@InProceedings{ICSE12p1574, author = {Péricles Alves and Diogo Santana and Eduardo Figueiredo}, title = {ConcernReCS: Finding Code Smells in Software Aspectization}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1574-1573}, doi = {}, year = {2012}, }

Egidio: A Non-Invasive Approach for Synthesizing Organizational Models
Saulius Astromskis, Andrea Janes, and Alireza Rezaei Mahdiraji
(Free University of Bolzano, Italy)


@InProceedings{ICSE12p1576, author = {Saulius Astromskis and Andrea Janes and Alireza Rezaei Mahdiraji}, title = {Egidio: A Non-Invasive Approach for Synthesizing Organizational Models}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1576-1575}, doi = {}, year = {2012}, }

SDiC: Context-Based Retrieval in Eclipse
Bruno Antunes, Joel Cordeiro, and Paulo Gomes
(University of Coimbra, Portugal)


@InProceedings{ICSE12p1578, author = {Bruno Antunes and Joel Cordeiro and Paulo Gomes}, title = {SDiC: Context-Based Retrieval in Eclipse}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1578-1577}, doi = {}, year = {2012}, }

An Integrated Bug Processing Framework
Xiangyu Zhang, Mengxiang Lin, and Kai Yu
(Beihang University, China)


@InProceedings{ICSE12p1580, author = {Xiangyu Zhang and Mengxiang Lin and Kai Yu}, title = {An Integrated Bug Processing Framework}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1580-1579}, doi = {}, year = {2012}, }

Repository for Model Driven Development (ReMoDD)
Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, and Adam C. Jensen
(Colorado State University, USA; Michigan State University, USA)


@InProceedings{ICSE12p1582, author = {Robert B. France and James M. Bieman and Sai Pradeep Mandalaparty and Betty H. C. Cheng and Adam C. Jensen}, title = {Repository for Model Driven Development (ReMoDD)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1582-1581}, doi = {}, year = {2012}, }

Doctoral Symposium

Posters 1-12
Mon, Jun 4, 10:00 - 10:30

Going Global with Agile Service Networks
Damian A. Tamburri
(VU University Amsterdam, Netherlands)


@InProceedings{ICSE12p1586, author = {Damian A. Tamburri}, title = {Going Global with Agile Service Networks}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1586-1585}, doi = {}, year = {2012}, }

Using Structural and Semantic Information to Support Software Refactoring
Gabriele Bavota
(University of Salerno, Italy)


@InProceedings{ICSE12p1590, author = {Gabriele Bavota}, title = {Using Structural and Semantic Information to Support Software Refactoring}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1590-1589}, doi = {}, year = {2012}, }

An Approach to Variability Management in Service-Oriented Product Lines
Sedigheh Khoshnevis
(Shahid Beheshti University G.C., Iran)


@InProceedings{ICSE12p1594, author = {Sedigheh Khoshnevis}, title = {An Approach to Variability Management in Service-Oriented Product Lines}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1594-1593}, doi = {}, year = {2012}, }

Using Machine Learning to Enhance Automated Requirements Model Transformation
Erol-Valeriu Chioaşcă
(University of Manchester, UK)


@InProceedings{ICSE12p1598, author = {Erol-Valeriu Chioaşcă}, title = {Using Machine Learning to Enhance Automated Requirements Model Transformation}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1598-1597}, doi = {}, year = {2012}, }

Security Testing of Web Applications: A Research Plan
Andrea Avancini
(Fondazione Bruno Kessler, Italy)


@InProceedings{ICSE12p1602, author = {Andrea Avancini}, title = {Security Testing of Web Applications: A Research Plan}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1602-1601}, doi = {}, year = {2012}, }

Application of Self-Adaptive Techniques to Federated Authorization Models
Christopher Bailey
(University of Kent, UK)


@InProceedings{ICSE12p1606, author = {Christopher Bailey}, title = {Application of Self-Adaptive Techniques to Federated Authorization Models}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1606-1605}, doi = {}, year = {2012}, }

Improving Information Retrieval-Based Concept Location Using Contextual Relationships
Tezcan Dilshener
(Open University, UK)


@InProceedings{ICSE12p1610, author = {Tezcan Dilshener}, title = {Improving Information Retrieval-Based Concept Location Using Contextual Relationships}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1610-1609}, doi = {}, year = {2012}, }

Effective Specification of Decision Rights and Accountabilities for Better Performing Software Engineering Projects
Monde Kalumbilo
(University College London, UK)


@InProceedings{ICSE12p1614, author = {Monde Kalumbilo}, title = {Effective Specification of Decision Rights and Accountabilities for Better Performing Software Engineering Projects}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1614-1613}, doi = {}, year = {2012}, }

Search Based Design of Software Product Lines Architectures
Thelma Elita Colanzi
(Federal University of Paraná, Brazil)


@InProceedings{ICSE12p1618, author = {Thelma Elita Colanzi}, title = {Search Based Design of Software Product Lines Architectures}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1618-1617}, doi = {}, year = {2012}, }

Software Fault Localization Based on Program Slicing Spectrum
Wanzhi Wen
(Southeast University, China; Chinese Academy of Sciences, China)


@InProceedings{ICSE12p1622, author = {Wanzhi Wen}, title = {Software Fault Localization Based on Program Slicing Spectrum}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1622-1621}, doi = {}, year = {2012}, }

Architectural Task Allocation in Distributed Environment: A Traceability Perspective
Salma Imtiaz
(International Islamic University, Pakistan)


@InProceedings{ICSE12p1626, author = {Salma Imtiaz}, title = {Architectural Task Allocation in Distributed Environment: A Traceability Perspective}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1626-1625}, doi = {}, year = {2012}, }

Using Invariant Relations in the Termination Analysis of While Loops
Wided Ghardallou
(University of Tunis El Manar, Tunisia)


@InProceedings{ICSE12p1630, author = {Wided Ghardallou}, title = {Using Invariant Relations in the Termination Analysis of While Loops}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1630-1629}, doi = {}, year = {2012}, }

Presentations 1-4
Mon, Jun 4, 11:00 - 12:45

Software Regression as Change of Input Partitioning
Marcel Böhme
(National University of Singapore, Singapore)


@InProceedings{ICSE12p1634, author = {Marcel Böhme}, title = {Software Regression as Change of Input Partitioning}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1634-1633}, doi = {}, year = {2012}, }

A Generic Methodology to Derive Domain-Specific Performance Feedback for Developers
Dennis Westermann
(SAP Research, Germany)


@InProceedings{ICSE12p1638, author = {Dennis Westermann}, title = {A Generic Methodology to Derive Domain-Specific Performance Feedback for Developers}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1638-1637}, doi = {}, year = {2012}, }

Towards the Verification of Multi-diagram UML Models
Alfredo Motta
(Politecnico di Milano, Italy)


@InProceedings{ICSE12p1642, author = {Alfredo Motta}, title = {Towards the Verification of Multi-diagram UML Models}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1642-1641}, doi = {}, year = {2012}, }

Documenting and Sharing Knowledge about Code
Anja Guzzi
(TU Delft, Netherlands)


@InProceedings{ICSE12p1646, author = {Anja Guzzi}, title = {Documenting and Sharing Knowledge about Code}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1646-1645}, doi = {}, year = {2012}, }

Presentations 5-6
Mon, Jun 4, 14:00 - 14:50

Timely and Efficient Facilitation of Coordination of Software Developers’ Activities
Kelly Blincoe
(Drexel University, USA)


@InProceedings{ICSE12p1650, author = {Kelly Blincoe}, title = {Timely and Efficient Facilitation of Coordination of Software Developers’ Activities}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1650-1649}, doi = {}, year = {2012}, }

Stack Layout Transformation: Towards Diversity for Securing Binary Programs
Benjamin Rodes
(University of Virginia, USA)


@InProceedings{ICSE12p1654, author = {Benjamin Rodes}, title = {Stack Layout Transformation: Towards Diversity for Securing Binary Programs}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1654-1653}, doi = {}, year = {2012}, }

Posters 13-25
Mon, Jun 4, 14:50 - 15:30

Synthesis of Event-Based Controllers: A Software Engineering Challenge
Nicolás D'Ippolito
(Imperial College London, UK)


@InProceedings{ICSE12p1658, author = {Nicolás D'Ippolito}, title = {Synthesis of Event-Based Controllers: A Software Engineering Challenge}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1658-1657}, doi = {}, year = {2012}, }

Empirically Researching Development of International Software
Malte Ressin
(University of West London, UK)


@InProceedings{ICSE12p1662, author = {Malte Ressin}, title = {Empirically Researching Development of International Software}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1662-1661}, doi = {}, year = {2012}, }

Model Translations among Big-Step Modeling Languages
Fathiyeh Faghih
(University of Waterloo, Canada)


@InProceedings{ICSE12p1666, author = {Fathiyeh Faghih}, title = {Model Translations among Big-Step Modeling Languages}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1666-1665}, doi = {}, year = {2012}, }

HARPPIE: Hyper Algorithmic Recipe for Productive Parallelism Intensive Endeavors
Pedro Monteiro
(Universidade Nova de Lisboa, Portugal)


@InProceedings{ICSE12p1670, author = {Pedro Monteiro}, title = {HARPPIE: Hyper Algorithmic Recipe for Productive Parallelism Intensive Endeavors}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1670-1669}, doi = {}, year = {2012}, }

On the Analysis of Evolution of Software Artefacts and Programs
Fehmi Jaafar
(University of Montreal, Canada)


@InProceedings{ICSE12p1674, author = {Fehmi Jaafar}, title = {On the Analysis of Evolution of Software Artefacts and Programs}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1674-1673}, doi = {}, year = {2012}, }

Societal Computing
Swapneel Sheth
(Columbia University, USA)


@InProceedings{ICSE12p1678, author = {Swapneel Sheth}, title = {Societal Computing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1678-1677}, doi = {}, year = {2012}, }

Finding Suitable Programs: Semantic Search with Incomplete and Lightweight Specifications
Kathryn T. Stolee
(University of Nebraska-Lincoln, USA)


@InProceedings{ICSE12p1682, author = {Kathryn T. Stolee}, title = {Finding Suitable Programs: Semantic Search with Incomplete and Lightweight Specifications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1682-1681}, doi = {}, year = {2012}, }

Certification-Based Development of Critical Systems
Panayiotis Steele
(University of Virginia, USA)


@InProceedings{ICSE12p1686, author = {Panayiotis Steele}, title = {Certification-Based Development of Critical Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1686-1685}, doi = {}, year = {2012}, }

Testing and Debugging UML Models Based on fUML
Tanja Mayerhofer
(Vienna University of Technology, Austria)


@InProceedings{ICSE12p1690, author = {Tanja Mayerhofer}, title = {Testing and Debugging UML Models Based on fUML}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1690-1689}, doi = {}, year = {2012}, }

Bridging the Divide between Software Developers and Operators Using Logs
Weiyi Shang
(Queen's University, Canada)


@InProceedings{ICSE12p1694, author = {Weiyi Shang}, title = {Bridging the Divide between Software Developers and Operators Using Logs}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1694-1693}, doi = {}, year = {2012}, }

The Co-evolution of Socio-technical Structures in Sustainable Software Development: Lessons from the Open Source Software Communities
Marcelo Serrano Zanetti
(ETH Zurich, Switzerland)


@InProceedings{ICSE12p1698, author = {Marcelo Serrano Zanetti}, title = {The Co-evolution of Socio-technical Structures in Sustainable Software Development: Lessons from the Open Source Software Communities}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1698-1697}, doi = {}, year = {2012}, }

Log-Based Testing
Alexander Elyasov
(Utrecht University, Netherlands)


@InProceedings{ICSE12p1702, author = {Alexander Elyasov}, title = {Log-Based Testing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1702-1701}, doi = {}, year = {2012}, }

Moving Mobile Applications between Mobile Devices Seamlessly
Volker Schuchardt
(University of Duisburg-Essen, Germany)


@InProceedings{ICSE12p1706, author = {Volker Schuchardt}, title = {Moving Mobile Applications between Mobile Devices Seamlessly}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1706-1705}, doi = {}, year = {2012}, }

ACM Student Research Competition
Thu, Jun 7, 16:00 - 17:30

Timely Detection of Coordination Requirements to Support Collaboration among Software Developers
Kelly Blincoe
(Drexel University, USA)


@InProceedings{ICSE12p1712, author = {Kelly Blincoe}, title = {Timely Detection of Coordination Requirements to Support Collaboration among Software Developers}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1712-1711}, doi = {}, year = {2012}, }

Improving Failure-Inducing Changes Identification Using Coverage Analysis
Kai Yu
(Beihang University, China)


@InProceedings{ICSE12p1715, author = {Kai Yu}, title = {Improving Failure-Inducing Changes Identification Using Coverage Analysis}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1715-1714}, doi = {}, year = {2012}, }

A Study on Improving Static Analysis Tools: Why Are We Not Using Them?
Brittany Johnson
(North Carolina State University, USA)


@InProceedings{ICSE12p1718, author = {Brittany Johnson}, title = {A Study on Improving Static Analysis Tools: Why Are We Not Using Them?}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1718-1717}, doi = {}, year = {2012}, }

Winbook: A Social Networking Based Framework for Collaborative Requirements Elicitation and WinWin Negotiations
Nupul Kukreja
(University of Southern California, USA)


@InProceedings{ICSE12p1721, author = {Nupul Kukreja}, title = {Winbook: A Social Networking Based Framework for Collaborative Requirements Elicitation and WinWin Negotiations}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1721-1720}, doi = {}, year = {2012}, }

Using Automatic Static Analysis to Identify Technical Debt
Antonio Vetrò
(Politecnico di Torino, Italy; Fraunhofer CESE, USA)


@InProceedings{ICSE12p1724, author = {Antonio Vetrò}, title = {Using Automatic Static Analysis to Identify Technical Debt}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1724-1723}, doi = {}, year = {2012}, }

Coupled Evolution of Model-Driven Spreadsheets
Jorge Mendes
(University of Minho, Portugal)


@InProceedings{ICSE12p1727, author = {Jorge Mendes}, title = {Coupled Evolution of Model-Driven Spreadsheets}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1727-1726}, doi = {}, year = {2012}, }

Managing Evolution of Software Product Line
Cheng Thao
(University of Wisconsin-Milwaukee, USA)


@InProceedings{ICSE12p1730, author = {Cheng Thao}, title = {Managing Evolution of Software Product Line}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1730-1729}, doi = {}, year = {2012}, }

Enabling Dynamic Metamodels through Constraint-Driven Modeling
Andreas Demuth
(JKU Linz, Austria)


@InProceedings{ICSE12p1733, author = {Andreas Demuth}, title = {Enabling Dynamic Metamodels through Constraint-Driven Modeling}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1733-1732}, doi = {}, year = {2012}, }

Assisting End-User Development in Browser-Based Mashup Tools
Soudip Roy Chowdhury
(University of Trento, Italy)


@InProceedings{ICSE12p1736, author = {Soudip Roy Chowdhury}, title = {Assisting End-User Development in Browser-Based Mashup Tools}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1736-1735}, doi = {}, year = {2012}, }

Hot Clones: Combining Search-Driven Development, Clone Management, and Code Provenance
Niko Schwarz
(University of Bern, Switzerland)


@InProceedings{ICSE12p1739, author = {Niko Schwarz}, title = {Hot Clones: Combining Search-Driven Development, Clone Management, and Code Provenance}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1739-1738}, doi = {}, year = {2012}, }

Capturing and Exploiting Fine-Grained IDE Interactions
Zhongxian Gu
(UC Davis, USA)


@InProceedings{ICSE12p1742, author = {Zhongxian Gu}, title = {Capturing and Exploiting Fine-Grained IDE Interactions}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1742-1741}, doi = {}, year = {2012}, }

Restructuring Unit Tests with TestSurgeon
Pablo Estefó
(University of Chile, Chile)


@InProceedings{ICSE12p1745, author = {Pablo Estefó}, title = {Restructuring Unit Tests with TestSurgeon}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1745-1744}, doi = {}, year = {2012}, }

A Requirements-Based Approach for the Design of Adaptive Systems
Vítor E. Silva Souza
(University of Trento, Italy)


@InProceedings{ICSE12p1748, author = {Vítor E. Silva Souza}, title = {A Requirements-Based Approach for the Design of Adaptive Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1748-1747}, doi = {}, year = {2012}, }

Petri Nets State Space Analysis in the Cloud
Matteo Camilli
(University of Milan, Italy)


@InProceedings{ICSE12p1751, author = {Matteo Camilli}, title = {Petri Nets State Space Analysis in the Cloud}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1751-1750}, doi = {}, year = {2012}, }

Mining Java Class Identifier Naming Conventions
Simon Butler
(Open University, UK)


@InProceedings{ICSE12p1754, author = {Simon Butler}, title = {Mining Java Class Identifier Naming Conventions}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1754-1753}, doi = {}, year = {2012}, }

Online Sharing and Integration of Results from Mining Software Repositories
Iman Keivanloo
(Concordia University, Canada)


@InProceedings{ICSE12p1757, author = {Iman Keivanloo}, title = {Online Sharing and Integration of Results from Mining Software Repositories}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1757-1756}, doi = {}, year = {2012}, }

Invited Summaries

Refounding Software Engineering: The Semat Initiative (Invited Presentation)
Mira Kajko-Mattsson, Ivar Jacobson, Ian Spence, Paul McMahon, Brian Elvesæter, Arne J. Berre, Michael Striewe, Michael Goedicke, Shihong Huang, Bruce MacIsaac, and Ed Seymour
(KTH Royal Institute of Technology, Sweden; Ivar Jacobson Int., UK; PEM Systems, USA; SINTEF, Norway; University of Duisburg-Essen, Germany; Florida Atlantic University, USA; IBM, USA; Fujitsu, UK)


@InProceedings{ICSE12p1762, author = {Mira Kajko-Mattsson and Ivar Jacobson and Ian Spence and Paul McMahon and Brian Elvesæter and Arne J. Berre and Michael Striewe and Michael Goedicke and Shihong Huang and Bruce MacIsaac and Ed Seymour}, title = {Refounding Software Engineering: The Semat Initiative (Invited Presentation)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1762-1761}, doi = {}, year = {2012}, }

Summary of the ICSE 2012 Workshops
Alessandro Orso and Ralf Reussner
(Georgia Tech, USA; KIT, Germany; FZI, Germany)


@InProceedings{ICSE12p1764, author = {Alessandro Orso and Ralf Reussner}, title = {Summary of the ICSE 2012 Workshops}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1764-1763}, doi = {}, year = {2012}, }

Summary of the ICSE 2012 Tutorials and Technical Briefings
Andreas Leitner and Oscar Nierstrasz
(Google, Switzerland; University of Bern, Switzerland)


@InProceedings{ICSE12p1766, author = {Andreas Leitner and Oscar Nierstrasz}, title = {Summary of the ICSE 2012 Tutorials and Technical Briefings}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1766-1765}, doi = {}, year = {2012}, }

proc time: 0.25