ICSE 2012 – Proceedings

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)
Article: icse12main-tt-282-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-301-p (type: Full paper (10+1 pages)) doi:

Developer Prioritization in Bug Repositories
Jifeng Xuan, He Jiang, Zhilei Ren, and Weiqin Zou
(Dalian University of Technology, China)
Article: icse12main-tt-413-p (type: Full paper (10+1 pages)) doi:

WhoseFault: Automatic Developer-to-Fault Assignment through Fault Localization
Francisco Servant and James A. Jones
(UC Irvine, USA)
Article: icse12main-tt-483-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-215-p (type: Full paper (10+1 pages)) doi:

Generating Range Fixes for Software Configuration
Yingfei Xiong, Arnaud Hubaux, Steven She, and Krzysztof Czarnecki
(University of Waterloo, Canada; University of Namur, Belgium)
Article: icse12main-tt-359-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-364-p (type: Full paper (10+1 pages)) doi:

Automatic Input Rectification
Fan Long, Vijay Ganesh, Michael Carbin, Stelios Sidiroglou, and Martin Rinard
(MIT, USA)
Article: icse12main-tt-512-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-131-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-210-p (type: Full paper (10+1 pages)) doi:

The Impacts of Software Process Improvement on Developers: A Systematic Review
Mathieu Lavallée and Pierre N. Robillard
(École Polytechnique de Montréal, Canada)
Article: icse12main-tt-227-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-285-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-146-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-149-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-171-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-294-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-225-p (type: Full paper (10+1 pages)) doi:

Privacy and Utility for Defect Prediction: Experiments with MORPH
Fayola Peters and Tim Menzies
(West Virginia University, USA)
Article: icse12main-tt-435-p (type: Full paper (10+1 pages)) doi:

Bug Prediction Based on Fine-Grained Module Histories
Hideaki Hata, Osamu Mizuno, and Tohru Kikuno
(Osaka University, Japan; Kyoto Institute of Technology, Japan)
Article: icse12main-tt-609-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-223-p (type: Full paper (10+1 pages)) doi:

WitchDoctor: IDE Support for Real-Time Auto-Completion of Refactorings
Stephen R. Foster, William G. Griswold, and Sorin Lerner
(UC San Diego, USA)
Article: icse12main-tt-498-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-557-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-345-p (type: Full paper (10+1 pages)) doi:

How Do Professional Developers Comprehend Software?
Tobias Roehm, Rebecca Tiarks, Rainer Koschke, and Walid Maalej
(TU Munich, Germany; University of Bremen, Germany)
Article: icse12main-tt-383-p (type: Full paper (10+1 pages)) doi:

Asking and Answering Questions about Unfamiliar APIs: An Exploratory Study
Ekwa Duala-Ekoko and Martin P. Robillard
(McGill University, Canada)
Article: icse12main-tt-464-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-273-p (type: Full paper (10+1 pages)) doi:

Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints
Peng Liu and Charles Zhang
(Hong Kong University of Science and Technology, China)
Article: icse12main-tt-507-p (type: Full paper (10+1 pages)) doi:

CBCD: Cloned Buggy Code Detector
Jingyue Li and Michael D. Ernst
(DNV Research and Innovation, Norway; University of Washington, USA)
Article: icse12main-tt-541-p (type: Full paper (10+1 pages)) doi:

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

Crosscutting Revision Control System
Sagi Ifrah and David H. Lorenz
(Open University, Israel)
Article: icse12main-tt-237-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-298-p (type: Full paper (10+1 pages)) doi:

Improving Early Detection of Software Merge Conflicts
Mário Luís Guimarães and António Rito Silva
(Technical University of Lisbon, Portugal)
Article: icse12main-tt-459-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-495-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-101-p (type: Full paper (10+1 pages)) doi:

Content Classification of Development Emails
Alberto Bacchelli, Tommaso Dal Sasso, Marco D'Ambros, and Michele Lanza
(University of Lugano, Switzerland)
Article: icse12main-tt-566-p (type: Full paper (10+1 pages)) doi:

Identifying Linux Bug Fixing Patches
Yuan Tian, Julia Lawall, and David Lo
(Singapore Management University, Singapore; INRIA/LIP6, France)
Article: icse12main-tt-569-p (type: Full paper (10+1 pages)) doi:

Active Refinement of Clone Anomaly Reports
Lucia, David Lo, Lingxiao Jiang, and Aditya Budi
(Singapore Management University, Singapore)
Article: icse12main-tt-592-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-133-p (type: Full paper (10+1 pages)) doi:

Graph-Based Analysis and Prediction for Software Evolution
Pamela Bhattacharya, Marios Iliofotou, Iulian Neamtiu, and Michalis Faloutsos
(UC Riverside, USA)
Article: icse12main-tt-449-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-540-p (type: Full paper (10+1 pages)) doi:

Detecting and Visualizing Inter-worksheet Smells in Spreadsheets
Felienne Hermans, Martin Pinzger, and Arie van Deursen
(TU Delft, Netherlands)
Article: icse12main-tt-542-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-265-p (type: Full paper (10+1 pages)) doi:

Reducing Confounding Bias in Predicate-Level Statistical Debugging Metrics
Ross Gore and Paul F. Reynolds, Jr.
(University of Virginia, USA)
Article: icse12main-tt-374-p (type: Full paper (10+1 pages)) doi:

BugRedux: Reproducing Field Failures for In-House Debugging
Wei Jin and Alessandro Orso
(Georgia Tech, USA)
Article: icse12main-tt-485-p (type: Full paper (10+1 pages)) doi:

Object-Centric Debugging
Jorge Ressia, Alexandre Bergel, and Oscar Nierstrasz
(University of Bern, Switzerland; University of Chile, Chile)
Article: icse12main-tt-544-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-226-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-295-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-363-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-397-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-139-p (type: Full paper (10+1 pages)) doi:

Slicing MATLAB Simulink Models
Robert Reicherdt and Sabine Glesner
(TU Berlin, Germany)
Article: icse12main-tt-399-p (type: Full paper (10+1 pages)) doi:

Partial Evaluation of Model Transformations
Ali Razavi and Kostas Kontogiannis
(University of Waterloo, Canada; National Technical University of Athens, Greece)
Article: icse12main-tt-462-p (type: Full paper (10+1 pages)) doi:

Partial Models: Towards Modeling and Reasoning with Uncertainty
Michalis Famelis, Rick Salay, and Marsha Chechik
(University of Toronto, Canada)
Article: icse12main-tt-581-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-330-p (type: Full paper (10+1 pages)) doi:

Amplifying Tests to Validate Exception Handling Code
Pingyu Zhang and Sebastian Elbaum
(University of Nebraska-Lincoln, USA)
Article: icse12main-tt-450-p (type: Full paper (10+1 pages)) doi:

MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications
Yan Cai and W. K. Chan
(City University of Hong Kong, China)
Article: icse12main-tt-539-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-124-p (type: Full paper (10+1 pages)) doi:

Enhancing Architecture-Implementation Conformance with Change Management and Support for Behavioral Mapping
Yongjie Zheng and Richard N. Taylor
(UC Irvine, USA)
Article: icse12main-tt-388-p (type: Full paper (10+1 pages)) doi:

A Tactic-Centric Approach for Automating Traceability of Quality Concerns
Mehdi Mirakhorli, Yonghee Shin, Jane Cleland-Huang, and Murat Cinar
(DePaul University, USA)
Article: icse12main-tt-486-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-445-p (type: Full paper (10+1 pages)) doi:

An Automated Approach to Generating Efficient Constraint Solvers
Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, and Peter Nightingale
(University of St. Andrews, UK)
Article: icse12main-tt-594-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-604-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-230-p (type: Full paper (10+1 pages)) doi:

Metadata Invariants: Checking and Inferring Metadata Coding Conventions
Myoungkyu Song and Eli Tilevich
(Virginia Tech, USA)
Article: icse12main-tt-292-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-444-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-307-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-585-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-489-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-208-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-264-p (type: Full paper (10+1 pages)) doi:

A Large Scale Exploratory Analysis of Software Vulnerability Life Cycles
Muhammad Shahzad, Muhammad Zubair Shafiq, and Alex X. Liu
(Michigan State University, USA)
Article: icse12main-tt-420-p (type: Full paper (10+1 pages)) doi:

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

Synthesizing API Usage Examples
Raymond P. L. Buse and Westley Weimer
(University of Virginia, USA)
Article: icse12main-tt-170-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-385-p (type: Full paper (10+1 pages)) doi:

Temporal Analysis of API Usage Concepts
Gias Uddin, Barthélémy Dagenais, and Martin P. Robillard
(McGill University, Canada)
Article: icse12main-tt-427-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-574-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-104-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-162-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-499-p (type: Full paper (10+1 pages)) doi:

Active Code Completion
Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza, and Brad A. Myers
(CMU, USA)
Article: icse12main-tt-548-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-410-p (type: Full paper (10+1 pages)) doi:

Automating Test Automation
Suresh Thummalapenta, Saurabh Sinha, Nimit Singhania, and Satish Chandra
(IBM Research, India; IBM Research, USA)
Article: icse12main-tt-528-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-387-p (type: Full paper (10+1 pages)) doi:

iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees
Charles Song, Adam Porter, and Jeffrey S. Foster
(University of Maryland, USA)
Article: icse12main-tt-309-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-183-p (type: Full paper (10+1 pages)) doi:

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)
Article: icse12main-tt-323-p (type: Full paper (10+1 pages)) doi:

Behavioral Validation of JFSL Specifications through Model Synthesis
Carlo Ghezzi and Andrea Mocci
(Politecnico di Milano, Italy)
Article: icse12main-tt-429-p (type: Full paper (10+1 pages)) doi:

Verifying Client-Side Input Validation Functions Using String Analysis
Muath Alkhalaf, Tevfik Bultan, and Jose L. Gallegos
(UC Santa Barbara, USA)
Article: icse12main-tt-538-p (type: Full paper (10+1 pages)) doi:

Keynotes

Digital Formations of the Powerful and the Powerless (Keynote)
Saskia Sassen
(Columbia University, USA)
Article: icse12keynotes-key01-p (type: Keynote Paper) doi:

Supporting Sustainability with Software - An Industrial Perspective (Keynote)
Frank-Dieter Clesle
(SAP, Germany)
Article: icse12keynotes-key02-p (type: Keynote Paper) doi:

Whither Software Architecture? (Keynote)
Jeff Kramer
(Imperial College London, UK)
Article: icse12keynotes-key03-p (type: Keynote Paper) doi:

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)
Article: icse12seip-seip-inv-01-p (type: Invited Paper) doi:

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)
Article: icse12seip-seip-189-p (type: Full Paper) doi:

Information Needs for Software Development Analytics
Raymond P. L. Buse and Thomas Zimmermann
(University of Virginia, USA; Microsoft Research, USA)
Article: icse12seip-seip-110-p (type: Full Paper) doi:

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)
Article: icse12seip-seip-130-p (type: Mini Tutorial) doi:

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

Software Architecture - What Does It Mean in Industry? (Invited Industrial Talk)
Eberhard Wolff
(adesso, Germany)
Article: icse12seip-seip-inv-03-p (type: Invited Paper) doi:

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)
Article: icse12seip-seip-inv-05-p (type: Invited Paper) doi:

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)
Article: icse12seip-seip-167-p (type: Full Paper) doi:

Constructing Parser for Industrial Software Specifications Containing Formal and Natural Language Description
Futoshi Iwama, Taiga Nakamura, and Hironori Takeuchi
(IBM Research, Japan)
Article: icse12seip-seip-175-p (type: Full Paper) doi:

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)
Article: icse12seip-seip-233-p (type: Full Paper) doi:

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)
Article: icse12seip-seip-138-p (type: Goldfish Bowl) doi:

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)
Article: icse12seip-seip-235-p (type: Full Paper) doi:

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)
Article: icse12seip-seip-136-p (type: Full Paper) doi:

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)
Article: icse12seip-seip-165-p (type: Full Paper) doi:

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)
Article: icse12seip-seip-213-p (type: Full Paper) doi:

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)
Article: icse12seip-seip-201-p (type: Full Paper) doi:

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)
Article: icse12seip-seip-216-p (type: Full Paper) doi:

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)
Article: icse12seip-seip-240-p (type: Full Paper) doi:

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)
Article: icse12seip-seip-230-p (type: Full Paper) doi:

Using Knowledge Elicitation to Improve Web Effort Estimation: Lessons from Six Industrial Case Studies
Emilia Mendes
(Zayed University, United Arab Emirates)
Article: icse12seip-seip-184-p (type: Full Paper) doi:

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

Large-Scale Test Automation in the Cloud (Invited Industrial Talk)
John Penix
(Google, USA)
Article: icse12seip-seip-inv-06-p (type: Invited Paper) doi:

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)
Article: icse12seip-seip-166-p (type: Full Paper) doi:

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)
Article: icse12seip-seip-174-p (type: Full Paper) doi:

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)
Article: icse12seip-seip-181-p (type: Full Paper) doi:

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)
Article: icse12see-see-01-157-p (type: Full paper) doi:

Teaching Collaborative Software Development: A Case Study
Terhi Kilamo, Imed Hammouda, and Mohamed Amine Chatti
(Tampere University of Technology, Finland; RWTH Aachen University, Germany)
Article: icse12see-see-10-159-p (type: Full paper) doi:

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)
Article: icse12see-see-06-152-p (type: Full paper) doi:

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)
Article: icse12see-see-05-121-p (type: Full paper) doi:

Integrating Tools and Frameworks in Undergraduate Software Engineering Curriculum
Christopher Fuhrman, Roger Champagne, and Alain April
(University of Québec, Canada)
Article: icse12see-see-03-132-p (type: Full paper) doi:

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)
Article: icse12see-see-07-137-p (type: Full paper) doi:

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)
Article: icse12see-see-04-115-p (type: Full paper) doi:

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)
Article: icse12see-see-08-158-p (type: Full paper) doi:

Collaboration Patterns in Distributed Software Development Projects
Igor Čavrak, Marin Orlić, and Ivica Crnković
(University of Zagreb, Croatia; Mälardalen University, Sweden)
Article: icse12see-see-09-166-p (type: Full paper) doi:

Improving PSP Education by Pairing: An Empirical Study
Guoping Rong, He Zhang, Mingjuan Xie, and Dong Shao
(Nanjing University, China; NICTA, Australia; UNSW, Australia)
Article: icse12see-see-02-141-p (type: Full paper) doi:

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)
Article: icse12see-see-11-138-p (type: Short paper) doi:

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)
Article: icse12nier-nier-181-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-243-p (type: NIER (4 Pages)) doi:

Symbiotic General-Purpose and Domain-Specific Languages
Colin Atkinson, Ralph Gerbig, and Bastian Kennel
(University of Mannheim, Germany)
Article: icse12nier-nier-215-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-251-p (type: NIER (4 Pages)) doi:

Co-adapting Human Collaborations and Software Architectures
Christoph Dorn and Richard N. Taylor
(UC Irvine, USA)
Article: icse12nier-nier-193-p (type: NIER (4 Pages)) doi:

Release Engineering Practices and Pitfalls
Hyrum K. Wright and Dewayne E. Perry
(University of Texas at Austin, USA)
Article: icse12nier-nier-238-p (type: NIER (4 Pages)) doi:

Augmented Intelligence - The New AI - Unleashing Human Capabilities in Knowledge Work
James M. Corrigan
(Stony Brook University, USA)
Article: icse12nier-nier-180-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-257-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-137-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-242-p (type: NIER (4 Pages)) doi:

Green Mining: Investigating Power Consumption across Versions
Abram Hindle
(University of Alberta, Canada)
Article: icse12nier-nier-202-p (type: NIER (4 Pages)) doi:

Multi-label Software Behavior Learning
Yang Feng and Zhenyu Chen
(Nanjing University, China)
Article: icse12nier-nier-245-p (type: NIER (4 Pages)) doi:

Trends in Object-Oriented Software Evolution: Investigating Network Properties
Alexander Chatzigeorgiou and George Melas
(University of Macedonia, Greece)
Article: icse12nier-nier-168-p (type: NIER (4 Pages)) doi:

Exploring Techniques for Rationale Extraction from Existing Documents
Benjamin Rogers, James Gung, Yechen Qiao, and Janet E. Burge
(Miami University, USA)
Article: icse12nier-nier-239-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-187-p (type: NIER (4 Pages)) doi:

UDesignIt: Towards Social Media for Community-Driven Design
Phil Greenwood, Awais Rashid, and James Walkerdine
(Lancaster University, UK)
Article: icse12nier-nier-102-p (type: NIER (4 Pages)) doi:

Influencing the Adoption of Software Engineering Methods Using Social Software
Leif Singer and Kurt Schneider
(Leibniz Universität Hannover, Germany)
Article: icse12nier-nier-212-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-247-p (type: NIER (4 Pages)) doi:

CodeTimeline: Storytelling with Versioning Data
Adrian Kuhn and Mirko Stocker
(University of British Columbia, Canada; University of Applied Sciences Rapperswil, Switzerland)
Article: icse12nier-nier-264-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-159-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-241-p (type: NIER (4 Pages)) doi:

Augmenting Test Suites Effectiveness by Increasing Output Diversity
Nadia Alshahwan and Mark Harman
(University College London, UK)
Article: icse12nier-nier-127-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-236-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-275-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-263-p (type: NIER (4 Pages)) doi:

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)
Article: icse12nier-nier-141-p (type: NIER (4 Pages)) doi:

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)
Article: icse12tool-td106-p (type: Formal Demo Paper) doi:

Interactive Refinement of Combinatorial Test Plans
Itai Segall and Rachel Tzoref-Brill
(IBM Research, Israel)
Article: icse12tool-td111-p (type: Formal Demo Paper) doi:

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)
Article: icse12tool-td122-p (type: Formal Demo Paper) doi:

Specification Engineering and Modular Verification Using a Web-Integrated Verifying Compiler
Charles T. Cook, Heather Harton, Hampton Smith, and Murali Sitaraman
(Clemson University, USA)
Article: icse12tool-td131-p (type: Formal Demo Paper) doi:

Writing Dynamic Service Orchestrations with DSOL
Leandro Sales Pinto, Gianpaolo Cugola, and Carlo Ghezzi
(Politecnico di Milano, Italy)
Article: icse12tool-td147-p (type: Formal Demo Paper) doi:

MASH: A Tool for End-User Plug-In Composition
Leonardo Mariani and Fabrizio Pastore
(University of Milano-Bicocca, Italy)
Article: icse12tool-td151-p (type: Formal Demo Paper) doi:

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)
Article: icse12tool-td160-p (type: Formal Demo Paper) doi:

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)
Article: icse12tool-td163-p (type: Formal Demo Paper) doi:

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)
Article: icse12tool-td101-p (type: Formal Demo Paper) doi:

Runtime Monitoring of Component Changes with Spy@Runtime
Carlo Ghezzi, Andrea Mocci, and Mario Sangiorgio
(Politecnico di Milano, Italy; MIT, USA)
Article: icse12tool-td130-p (type: Formal Demo Paper) doi:

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)
Article: icse12tool-td133-p (type: Formal Demo Paper) doi:

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)
Article: icse12tool-td134-p (type: Formal Demo Paper) doi:

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)
Article: icse12tool-td136-p (type: Formal Demo Paper) doi:

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)
Article: icse12tool-td138-p (type: Formal Demo Paper) doi:

EXSYST: Search-Based GUI Testing
Florian Gross, Gordon Fraser, and Andreas Zeller
(Saarland University, Germany)
Article: icse12tool-td141-p (type: Formal Demo Paper) doi:

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)
Article: icse12tool-td165-p (type: Formal Demo Paper) doi:

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)
Article: icse12poster-po-112-p (type: Poster Paper (2 pages)) doi:

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)
Article: icse12poster-po-119-p (type: Poster Paper (2 pages)) doi:

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)
Article: icse12poster-po-126-p (type: Poster Paper (2 pages)) doi:

Modeling Cloud Performance with Kriging
Alessio Gambi and Giovanni Toffetti
(University of Lugano, Switzerland)
Article: icse12poster-po-140-p (type: Poster Paper (2 pages)) doi:

SOA Adoption in the Italian Industry
Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, and Tullio Vernazza
(Università di Genova, Italy)
Article: icse12poster-po-141-p (type: Poster Paper (2 pages)) doi:

A Bidirectional Model-Driven Spreadsheet Environment
Jácome Cunha, João Paulo Fernandes, Jorge Mendes, and João Saraiva
(University of Minho, Portugal)
Article: icse12poster-po-142-p (type: Poster Paper (2 pages)) doi:

A Self-Healing Technique for Java Applications
Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, and Nicolò Perino
(University of Lugano, Switzerland)
Article: icse12poster-po-149-p (type: Poster Paper (2 pages)) doi:

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)
Article: icse12poster-po-153-p (type: Poster Paper (2 pages)) doi:

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)
Article: icse12poster-po-105-p (type: Tool-Demo Paper (2 pages)) doi:

Mining Application Repository to Recommend XML Configuration Snippets
Sheng Huang, Yi Qi Lu, Yanghua Xiao, and Wei Wang
(Fudan University, China)
Article: icse12poster-po-107-p (type: Tool-Demo Paper (2 pages)) doi:

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)
Article: icse12poster-po-110-p (type: Tool-Demo Paper (2 pages)) doi:

Detecting Metadata Bugs on the Fly
Myoungkyu Song and Eli Tilevich
(Virginia Tech, USA)
Article: icse12poster-po-115-p (type: Tool-Demo Paper (2 pages)) doi:

Blaze
Jan-Peter Krämer, Joachim Kurz, Thorsten Karrer, and Jan Borchers
(RWTH Aachen University, Germany)
Article: icse12poster-po-116-p (type: Tool-Demo Paper (2 pages)) doi:

ConTexter Feedback System
Tristan Wehrmaker, Stefan Gärtner, and Kurt Schneider
(Leibniz Universität Hannover, Germany)
Article: icse12poster-po-120-p (type: Tool-Demo Paper (2 pages)) doi:

xMapper: An Architecture-Implementation Mapping Tool
Yongjie Zheng and Richard N. Taylor
(UC Irvine, USA)
Article: icse12poster-po-130-p (type: Tool-Demo Paper (2 pages)) doi:

ConcernReCS: Finding Code Smells in Software Aspectization
Péricles Alves, Diogo Santana, and Eduardo Figueiredo
(UFMG, Brazil)
Article: icse12poster-po-134-p (type: Tool-Demo Paper (2 pages)) doi:

Egidio: A Non-Invasive Approach for Synthesizing Organizational Models
Saulius Astromskis, Andrea Janes, and Alireza Rezaei Mahdiraji
(Free University of Bolzano, Italy)
Article: icse12poster-po-144-p (type: Tool-Demo Paper (2 pages)) doi:

SDiC: Context-Based Retrieval in Eclipse
Bruno Antunes, Joel Cordeiro, and Paulo Gomes
(University of Coimbra, Portugal)
Article: icse12poster-po-147-p (type: Tool-Demo Paper (2 pages)) doi:

An Integrated Bug Processing Framework
Xiangyu Zhang, Mengxiang Lin, and Kai Yu
(Beihang University, China)
Article: icse12poster-po-157-p (type: Tool-Demo Paper (2 pages)) doi:

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)
Article: icse12poster-po-160-p (type: Tool-Demo Paper (2 pages)) doi:

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)
Article: icse12doctoral-ds-107-p (type: Short (4 pages)) doi:

Using Structural and Semantic Information to Support Software Refactoring
Gabriele Bavota
(University of Salerno, Italy)
Article: icse12doctoral-ds-112-p (type: Short (4 pages)) doi:

An Approach to Variability Management in Service-Oriented Product Lines
Sedigheh Khoshnevis
(Shahid Beheshti University G.C., Iran)
Article: icse12doctoral-ds-113-p (type: Short (4 pages)) doi:

Using Machine Learning to Enhance Automated Requirements Model Transformation
Erol-Valeriu Chioaşcă
(University of Manchester, UK)
Article: icse12doctoral-ds-115-p (type: Short (4 pages)) doi:

Security Testing of Web Applications: A Research Plan
Andrea Avancini
(Fondazione Bruno Kessler, Italy)
Article: icse12doctoral-ds-117-p (type: Short (4 pages)) doi:

Application of Self-Adaptive Techniques to Federated Authorization Models
Christopher Bailey
(University of Kent, UK)
Article: icse12doctoral-ds-124-p (type: Short (4 pages)) doi:

Improving Information Retrieval-Based Concept Location Using Contextual Relationships
Tezcan Dilshener
(Open University, UK)
Article: icse12doctoral-ds-119-p (type: Short (4 pages)) doi:

Search Based Design of Software Product Lines Architectures
Thelma Elita Colanzi
(Federal University of Paraná, Brazil)
Article: icse12doctoral-ds-136-p (type: Short (4 pages)) doi:

Software Fault Localization Based on Program Slicing Spectrum
Wanzhi Wen
(Southeast University, China; Chinese Academy of Sciences, China)
Article: icse12doctoral-ds-137-p (type: Short (4 pages)) doi:

Architectural Task Allocation in Distributed Environment: A Traceability Perspective
Salma Imtiaz
(International Islamic University, Pakistan)
Article: icse12doctoral-ds-139-p (type: Short (4 pages)) doi:

Using Invariant Relations in the Termination Analysis of While Loops
Wided Ghardallou
(University of Tunis El Manar, Tunisia)
Article: icse12doctoral-ds-140-p (type: Short (4 pages)) doi:

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)
Article: icse12doctoral-ds-103-p (type: Short (4 pages)) doi:

A Generic Methodology to Derive Domain-Specific Performance Feedback for Developers
Dennis Westermann
(SAP Research, Germany)
Article: icse12doctoral-ds-121-p (type: Short (4 pages)) doi:

Towards the Verification of Multi-diagram UML Models
Alfredo Motta
(Politecnico di Milano, Italy)
Article: icse12doctoral-ds-123-p (type: Short (4 pages)) doi:

Documenting and Sharing Knowledge about Code
Anja Guzzi
(TU Delft, Netherlands)
Article: icse12doctoral-ds-125-p (type: Short (4 pages)) doi:

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)
Article: icse12doctoral-ds-127-p (type: Short (4 pages)) doi:

Stack Layout Transformation: Towards Diversity for Securing Binary Programs
Benjamin Rodes
(University of Virginia, USA)
Article: icse12doctoral-ds-144-p (type: Short (4 pages)) doi:

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)
Article: icse12doctoral-ds-118-p (type: Short (4 pages)) doi:

Empirically Researching Development of International Software
Malte Ressin
(University of West London, UK)
Article: icse12doctoral-ds-141-p (type: Short (4 pages)) doi:

Model Translations among Big-Step Modeling Languages
Fathiyeh Faghih
(University of Waterloo, Canada)
Article: icse12doctoral-ds-132-p (type: Short (4 pages)) doi:

HARPPIE: Hyper Algorithmic Recipe for Productive Parallelism Intensive Endeavors
Pedro Monteiro
(Universidade Nova de Lisboa, Portugal)
Article: icse12doctoral-ds-108-p (type: Short (4 pages)) doi:

On the Analysis of Evolution of Software Artefacts and Programs
Fehmi Jaafar
(University of Montreal, Canada)
Article: icse12doctoral-ds-145-p (type: Short (4 pages)) doi:

Societal Computing
Swapneel Sheth
(Columbia University, USA)
Article: icse12doctoral-ds-143-p (type: Short (4 pages)) doi:

Finding Suitable Programs: Semantic Search with Incomplete and Lightweight Specifications
Kathryn T. Stolee
(University of Nebraska-Lincoln, USA)
Article: icse12doctoral-ds-146-p (type: Short (4 pages)) doi:

Certification-Based Development of Critical Systems
Panayiotis Steele
(University of Virginia, USA)
Article: icse12doctoral-ds-148-p (type: Short (4 pages)) doi:

Testing and Debugging UML Models Based on fUML
Tanja Mayerhofer
(Vienna University of Technology, Austria)
Article: icse12doctoral-ds-149-p (type: Short (4 pages)) doi:

Bridging the Divide between Software Developers and Operators Using Logs
Weiyi Shang
(Queen's University, Canada)
Article: icse12doctoral-ds-147-p (type: Short (4 pages)) doi:

Log-Based Testing
Alexander Elyasov
(Utrecht University, Netherlands)
Article: icse12doctoral-ds-130-p (type: Short (4 pages)) doi:

Moving Mobile Applications between Mobile Devices Seamlessly
Volker Schuchardt
(University of Duisburg-Essen, Germany)
Article: icse12doctoral-ds-150-p (type: Short (4 pages)) doi:

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)
Article: icse12src-id26-p (type: SRC (2 + 1 pages)) doi:

Improving Failure-Inducing Changes Identification Using Coverage Analysis
Kai Yu
(Beihang University, China)
Article: icse12src-id2-p (type: SRC (2 + 1 pages)) doi:

A Study on Improving Static Analysis Tools: Why Are We Not Using Them?
Brittany Johnson
(North Carolina State University, USA)
Article: icse12src-id32-p (type: SRC (2 + 1 pages)) doi:

Winbook: A Social Networking Based Framework for Collaborative Requirements Elicitation and WinWin Negotiations
Nupul Kukreja
(University of Southern California, USA)
Article: icse12src-id17-p (type: SRC (2 + 1 pages)) doi:

Using Automatic Static Analysis to Identify Technical Debt
Antonio Vetrò
(Politecnico di Torino, Italy; Fraunhofer CESE, USA)
Article: icse12src-id18-p (type: SRC (2 + 1 pages)) doi:

Coupled Evolution of Model-Driven Spreadsheets
Jorge Mendes
(University of Minho, Portugal)
Article: icse12src-id24-p (type: SRC (2 + 1 pages)) doi:

Managing Evolution of Software Product Line
Cheng Thao
(University of Wisconsin-Milwaukee, USA)
Article: icse12src-id16-p (type: SRC (2 + 1 pages)) doi:

Enabling Dynamic Metamodels through Constraint-Driven Modeling
Andreas Demuth
(JKU Linz, Austria)
Article: icse12src-id25-p (type: SRC (2 + 1 pages)) doi:

Assisting End-User Development in Browser-Based Mashup Tools
Soudip Roy Chowdhury
(University of Trento, Italy)
Article: icse12src-id33-p (type: SRC (2 + 1 pages)) doi:

Hot Clones: Combining Search-Driven Development, Clone Management, and Code Provenance
Niko Schwarz
(University of Bern, Switzerland)
Article: icse12src-id38-p (type: SRC (2 + 1 pages)) doi:

Capturing and Exploiting Fine-Grained IDE Interactions
Zhongxian Gu
(UC Davis, USA)
Article: icse12src-id13-p (type: SRC (2 + 1 pages)) doi:

Restructuring Unit Tests with TestSurgeon
Pablo Estefó
(University of Chile, Chile)
Article: icse12src-id35-p (type: SRC (2 + 1 pages)) doi:

A Requirements-Based Approach for the Design of Adaptive Systems
Vítor E. Silva Souza
(University of Trento, Italy)
Article: icse12src-id11-p (type: SRC (2 + 1 pages)) doi:

Petri Nets State Space Analysis in the Cloud
Matteo Camilli
(University of Milan, Italy)
Article: icse12src-id19-p (type: SRC (2 + 1 pages)) doi:

Mining Java Class Identifier Naming Conventions
Simon Butler
(Open University, UK)
Article: icse12src-id31-p (type: SRC (2 + 1 pages)) doi:

Online Sharing and Integration of Results from Mining Software Repositories
Iman Keivanloo
(Concordia University, Canada)
Article: icse12src-id36-p (type: SRC (2 + 1 pages)) doi:

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)
Article: icse12invited-inv01-p (type: Invited Paper) doi:

Summary of the ICSE 2012 Workshops
Alessandro Orso and Ralf Reussner
(Georgia Tech, USA; KIT, Germany; FZI, Germany)
Article: icse12invited-inv02-p (type: Summary Paper) doi:

Summary of the ICSE 2012 Tutorials and Technical Briefings
Andreas Leitner and Oscar Nierstrasz
(Google, Switzerland; University of Bern, Switzerland)
Article: icse12invited-inv03-p (type: Summary Paper) doi:

ICSE 2012 – Proceedings

Preface

Technical Research

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Keynotes

Software Engineering in Practice

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

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

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

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

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

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

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

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

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