ICSE 2011 – Proceedings

33rd International Conference on Software Engineering, May 21–28, 2011, Waikiki, Honolulu, HI, USA

Preface

Technical / Research Track

Testing the Waters I

A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering
Andrea Arcuri and Lionel C. Briand
(Simula Research Laboratory, Norway)
Article: icse11-fp032-p (type: Technical/Research Track) doi:

aComment: Mining Annotations from Comments and Code to Detect Interrupt Related Concurrency Bugs
Lin Tan, Yuanyuan Zhou, and Yoann Padioleau
(University of Waterloo, Canada; UC San Diego, USA; Facebook Inc., USA)
Article: icse11-fp140-p (type: Technical/Research Track) doi:

Camouflage: Automated Anonymization of Field Data
James Clause and Alessandro Orso
(University of Delaware, USA; Georgia Institute of Technology, USA)
Article: icse11-fp274-p (type: Technical/Research Track) doi:

Surfing the Dependability Wave

A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, and Daniel Jackson
(Massachusetts Institute of Technology, USA)
Article: icse11-fp363-p (type: Technical/Research Track) doi:

Towards Quantitative Software Reliability Assessment in Incremental Development Processes
Tadashi Dohi and Takaji Fujiwara
(Hiroshima University, Japan; Fujitsu Quality Laboratory, Japan)
Article: icse11-fp162-p (type: Technical/Research Track) doi:

The Impact of Fault Models on Software Robustness Evaluations
Stefan Winter, Constantin Sârbu, Neeraj Suri, and Brendan Murphy
(TU Darmstadt, Germany; Microsoft Research, UK)
Article: icse11-fp012-p (type: Technical/Research Track) doi:

Refactoring Your Lei I

Transformation for Class Immutability
Fredrik Kjolstad, Danny Dig, Gabriel Acevedo, and Marc Snir
(University of Illinois at Urbana-Champaign, USA)
Article: icse11-fp361-p (type: Technical/Research Track) doi:

Refactoring Java Programs for Flexible Locking
Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip
(Oxford University, UK; IBM Research Watson, USA)
Article: icse11-fp114-p (type: Technical/Research Track) doi:

Refactoring Pipe-like Mashups for End-User Programmers
Kathryn T. Stolee and Sebastian Elbaum
(University of Nebraska-Lincoln, USA)
Article: icse11-fp076-p (type: Technical/Research Track) doi:

Comprehending the Drift I

Mining Message Sequence Graphs
Sandeep Kumar, Siau Cheng Khoo, Abhik Roychoudhury, and David Lo
(National University of Singapore, Singapore; Singapore Management University, Singapore)
Article: icse11-fp144-p (type: Technical/Research Track) doi:

Automatically Detecting and Describing High Level Actions within Methods
Giriprasad Sridhara, Lori Pollock, and K. Vijay-Shanker
(University of Delaware, USA)
Article: icse11-fp341-p (type: Technical/Research Track) doi:

Portfolio: Finding Relevant Functions and Their Usages
Collin McMillan, Mark Grechanik, Denys Poshyvanyk, Qing Xie, and Chen Fu
(College of William and Mary, USA; Accenture Technology Lab, USA)
Article: icse11-fp026-p (type: Technical/Research Track) doi:

Debugging the Surf

Angelic Debugging
Satish Chandra, Emina Torlak, Shaon Barman, and Rastislav Bodik
(IBM Research, USA; UC Berkeley, USA)
Article: icse11-fp397-p (type: Technical/Research Track) doi:

Static Extraction of Program Configuration Options
Ariel S. Rabkin and Randy Katz
(UC Berkeley, USA)
Article: icse11-fp130-p (type: Technical/Research Track) doi:

An Empirical Study of Build Maintenance Effort
Shane McIntosh, Bram Adams, Thanh H. D. Nguyen, Yasutaka Kamei, and Ahmed E. Hassan
(Queen's University, Canada)
Article: icse11-fp432-p (type: Technical/Research Track) doi:

Empirical Luau I

An Empirical Investigation into the Role of API-Level Refactorings during Software Evolution
Miryung Kim, Dongxiang Cai, and Sunghun Kim
(University of Texas at Austin, USA; Hong Kong University of Science and Technology, China)
Article: icse11-fp227-p (type: Technical/Research Track) doi:

Factors Leading to Integration Failures in Global Feature-Oriented Development: An Empirical Analysis
Marcelo Cataldo and James D. Herbsleb
(CMU, USA)
Article: icse11-fp021-p (type: Technical/Research Track) doi:

Assessing Programming Language Impact on Development and Maintenance: A Study on C and C++
Pamela Bhattacharya and Iulian Neamtiu
(UC Riverside, USA)
Article: icse11-fp104-p (type: Technical/Research Track) doi:

Far-out Surfware Engineering

On-demand Feature Recommendations Derived from Mining Public Product Descriptions
Horatiu Dumitru, Marek Gibiec, Negar Hariri, Jane Cleland-Huang, Bamshad Mobasher, Carlos Castro-Herrera, and Mehdi Mirakhorli
(DePaul University, USA)
Article: icse11-fp303-p (type: Technical/Research Track) doi:

Inferring Better Contracts
Yi Wei, Carlo A. Furia, Nikolay Kazmin, and Bertrand Meyer
(ETH Zurich, Switzerland)
Article: icse11-fp165-p (type: Technical/Research Track) doi:

Riding the Design Wave I

LIME: A Framework for Debugging Load Imbalance in Multi-threaded Execution
Jungju Oh, Christopher J. Hughes, Guru Venkataramani, and Milos Prvulovic
(Georgia Institute of Technology, USA; Intel Corporation, USA; George Washington University, USA)
Article: icse11-fp283-p (type: Technical/Research Track) doi:

Synthesis of Live Behaviour Models for Fallible Domains
Nicolás D'Ippolito, Víctor Braberman, Nir Piterman, and Sebastián Uchitel
(Imperial College London, UK; Universidad de Buenos Aires, Argentina; University of Leicester, UK)
Article: icse11-fp317-p (type: Technical/Research Track) doi:

Coverage Guided Systematic Concurrency Testing
Chao Wang, Mahmoud Said, and Aarti Gupta
(NEC Laboratories America, USA; Western Michigan University, USA)
Article: icse11-fp093-p (type: Technical/Research Track) doi:

Program Surfing I

Inference of Field Initialization
Fausto Spoto and Michael D. Ernst
(Università di Verona, Italy; University of Washington, USA)
Article: icse11-fp187-p (type: Technical/Research Track) doi:

Taming Reflection: Aiding Static Analysis in the Presence of Reflection and Custom Class Loaders
Eric Bodden, Andreas Sewe, Jan Sinschek, Hela Oueslati, and Mira Mezini
(TU Darmstadt, Germany; Center for Advanced Security Research Darmstadt, Germany)
Article: icse11-fp011-p (type: Technical/Research Track) doi:

Patching Vulnerabilities with Sanitization Synthesis
Fang Yu, Muath Alkhalaf, and Tevfik Bultan
(National Chengchi University, Taiwan; UC Santa Barbara, USA)
Article: icse11-fp436-p (type: Technical/Research Track) doi:

Developer Waves

Configuring Global Software Teams: A Multi-Company Analysis of Project Productivity, Quality, and Profits
Narayan Ramasubbu, Marcelo Cataldo, Rajesh Krishna Balan, and James D. Herbsleb
(Singapore Management University, Singapore; CMU, USA)
Article: icse11-fp231-p (type: Technical/Research Track) doi:

Does the Initial Environment Impact the Future of Developers?
Minghui Zhou and Audris Mockus
(Peking University, China; Ministry of Education, China; Avaya Labs Research, USA)
Article: icse11-fp091-p (type: Technical/Research Track) doi:

Socio-Technical Developer Networks: Should We Trust Our Measurements?
Andrew Meneely and Laurie Williams
(North Carolina State University, USA)
Article: icse11-fp211-p (type: Technical/Research Track) doi:

Outrigger Models and Clones

Model Projection: Simplifying Models in Response to Restricting the Environment
Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, and Zheng Li
(University College London, UK; Loyola University Maryland, USA; King's College London, UK)
Article: icse11-fp242-p (type: Technical/Research Track) doi:

MeCC: Memory Comparison-based Clone Detector
Heejung Kim, Yungbum Jung, Sunghun Kim, and Kwankeun Yi
(Seoul National University, South Korea; Hong Kong University of Science and Technology, China)
Article: icse11-fp145-p (type: Technical/Research Track) doi:

Frequency and Risks of Changes to Clones
Nils Göde and Rainer Koschke
(University of Bremen, Germany)
Article: icse11-fp148-p (type: Technical/Research Track) doi:

Surfer Model Checking

Symbolic Model Checking of Software Product Lines
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, and Axel Legay
(University of Namur, Belgium; IRISA/INRIA Rennes, France; University of Liège, Belgium)
Article: icse11-fp237-p (type: Technical/Research Track) doi:

Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking
Lucas Cordeiro and Bernd Fischer
(University of Southampton, UK)
Article: icse11-fp220-p (type: Technical/Research Track) doi:

Run-Time Efficient Probabilistic Model Checking
Antonio Filieri, Carlo Ghezzi, and Giordano Tamburrelli
(Politecnico di Milano, Italy)
Article: icse11-fp052-p (type: Technical/Research Track) doi:

Comprehending the Drift II

Non-Essential Changes in Version Histories
David Kawrykow and Martin P. Robillard
(McGill University, Canada)
Article: icse11-fp271-p (type: Technical/Research Track) doi:

Aspect Recommendation for Evolving Software
Tung Thanh Nguyen, Hung Viet Nguyen, Hoan Anh Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Article: icse11-fp292-p (type: Technical/Research Track) doi:

Identifying Program, Test, and Environmental Changes That Affect Behaviour
Reid Holmes and David Notkin
(University of Waterloo, Canada; University of Washington, USA)
Article: icse11-fp210-p (type: Technical/Research Track) doi:

Testing the Waters II

Program Abstractions for Behaviour Validation
Guido de Caso, Víctor Braberman, Diego Garbervetsky, and Sebastián Uchitel
(Universidad de Buenos Aires, Argentina; Imperial College London, UK)
Article: icse11-fp157-p (type: Technical/Research Track) doi:

Programs, Tests, and Oracles: The Foundations of Testing Revisited
Matt Staats, Michael W. Whalen, and Mats P. E. Heimdahl
(University of Minnesota, USA)
Article: icse11-fp329-p (type: Technical/Research Track) doi:

RACEZ: A Lightweight and Non-Invasive Race Detection Tool for Production Applications
Tianwei Sheng, Neil Vachharajani, Stephane Eranian, Robert Hundt, Wenguang Chen, and Weimin Zheng
(Tsinghua University, China; Google Inc., USA)
Article: icse11-fp128-p (type: Technical/Research Track) doi:

Riding the Design Wave II

Detecting Software Modularity Violations
Sunny Wong, Yuanfang Cai, Miryung Kim, and Michael Dalton
(Drexel University, USA; University of Texas at Austin, USA)
Article: icse11-fp335-p (type: Technical/Research Track) doi:

Feature Cohesion in Software Product Lines: An Exploratory Study
Sven Apel and Dirk Beyer
(University of Passau, Germany; Simon Fraser University, Canada)
Article: icse11-fp160-p (type: Technical/Research Track) doi:

Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
Damien Cassou, Emilie Balland, Charles Consel, and Julia Lawall
(University of Bordeaux, France; INRIA, France; DIKU, Denmark; LIP6, France)
Article: icse11-fp057-p (type: Technical/Research Track) doi:

Refactoring Your Lei II

Refactoring to Role Objects
Friedrich Steimann and Fabian Urs Stolz
(Fernuniversität in Hagen, Germany; Volkswohl Bund Versicherungen, Germany)
Article: icse11-fp360-p (type: Technical/Research Track) doi:

Supporting Professional Spreadsheet Users by Generating Leveled Dataflow Diagrams
Felienne Hermans, Martin Pinzger, and Arie van Deursen
(Delft University of Technology, Netherlands)
Article: icse11-fp186-p (type: Technical/Research Track) doi:

Reverse Engineering Feature Models
Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, and Krzysztof Czarnecki
(University of Waterloo, Canada; University of Leipzig, Germany; IT University of Copenhagen, Denmark)
Article: icse11-fp387-p (type: Technical/Research Track) doi:

Empirical Luau II

Empirical Assessment of MDE in Industry
John Hutchinson, Jon Whittle, Mark Rouncefield, and Steinar Kristoffersen
(Lancaster University, UK; Østfold University College, Norway; Møreforskning Molde AS, Norway)
Article: icse11-fp159-p (type: Technical/Research Track) doi:

Dealing with Noise in Defect Prediction
Sunghun Kim, Hongyu Zhang, Rongxin Wu, and Liang Gong
(Hong Kong University of Science and Technology, China; Tsinghua University, China)
Article: icse11-fp105-p (type: Technical/Research Track) doi:

Ownership, Experience and Defects: A Fine-Grained Study of Authorship
Foyzur Rahman and Premkumar Devanbu
(UC Davis, USA)
Article: icse11-fp046-p (type: Technical/Research Track) doi:

Program Surfing II

Interface Decomposition for Service Compositions
Domenico Bianculli, Dimitra Giannakopoulou, and Corina S. Păsăreanu
(University of Lugano, Switzerland; NASA Ames Research Center, USA; Carnegie Mellon Silicon Valley, USA)
Article: icse11-fp330-p (type: Technical/Research Track) doi:

Unifying Execution of Imperative and Declarative Code
Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, and Daniel Jackson
(Massachusetts Institute of Technology, USA)
Article: icse11-fp328-p (type: Technical/Research Track) doi:

Always-Available Static and Dynamic Feedback
Michael Bayne, Richard Cook, and Michael D. Ernst
(University of Washington, USA)
Article: icse11-fp219-p (type: Technical/Research Track) doi:

Comprehending the Drift III

Improving Requirements Quality using Essential Use Case Interaction Patterns
Massila Kamalrudin, John Hosking, and John Grundy
(University of Auckland, New Zealand; Swinburne University of Technology at Hawthorn, Australia)
Article: icse11-fp077-p (type: Technical/Research Track) doi:

Understanding Broadcast Based Peer Review on Open Source Software Projects
Peter C. Rigby and Margaret-Anne Storey
(University of Victoria, Canada)
Article: icse11-fp230-p (type: Technical/Research Track) doi:

Software Systems as Cities: A Controlled Experiment
Richard Wettel, Michele Lanza, and Romain Robbes
(University of Lugano, Switzerland; University of Chile, Chile)
Article: icse11-fp191-p (type: Technical/Research Track) doi:

Web Surfing

Automated Cross-Browser Compatibility Testing
Ali Mesbah and Mukul R. Prasad
(University of British Columbia, Canada; Fujitsu Laboratories of America, USA)
Article: icse11-fp017-p (type: Technical/Research Track) doi:

A Framework for Automated Testing of JavaScript Web Applications
Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, and Frank Tip
(IBM Research, USA; Aarhus University, Denmark)
Article: icse11-fp063-p (type: Technical/Research Track) doi:

Coalescing Executions for Fast Uncertainty Analysis
William N. Sumner, Tao Bao, Xiangyu Zhang, and Sunil Prabhakar
(Purdue University, USA)
Article: icse11-fp327-p (type: Technical/Research Track) doi:

Testing the Waters III

Mining Parametric Specifications
Choonghwan Lee, Feng Chen, and Grigore Roşu
(University of Illinois at Urbana-Champaign, USA)
Article: icse11-fp070-p (type: Technical/Research Track) doi:

Estimating Footprints of Model Operations
Cédric Jeanneret, Martin Glinz, and Benoit Baudry
(University of Zurich, Switzerland; IRISA, France)
Article: icse11-fp228-p (type: Technical/Research Track) doi:

Precise Identification of Problems for Structural Test Generation
Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux
(North Carolina State University, USA; Microsoft Research, USA)
Article: icse11-fp374-p (type: Technical/Research Track) doi:

Keynotes

Interactivity, Continuity, Sketching, and Experience (Keynote Abstract)
Kumiyo Nakakoji
(Software Research Associates Inc., Japan)
Article: icse11_2keynotes-np001-p (type: Abstract) doi:

Exciting New Trends in Design Thinking (Keynote Abstract)
Bill Dresselhaus
(DRESSELHAUSgroup Inc., USA/Korea)
Article: icse11_2keynotes-np002-p (type: Abstract) doi:

Software Engineering in Practice

Empirical Software Engineering

A Case Study of Measuring Process Risk for Early Insights into Software Safety
Lucas Layman, Victor R. Basili, Marvin V. Zelkowitz, and Karen L. Fisher
(Fraunhofer CESE, USA; University of Maryland, USA; NASA Goddard Spaceflight Center, USA)
Article: icse11seip-fp061-p (type: SEIP Track) doi:

Model-Driven Engineering Practices in Industry
John Hutchinson, Mark Rouncefield, and Jon Whittle
(Lancaster University, UK)
Article: icse11seip-fp092-p (type: SEIP Track) doi:

SORASCS: A Case Study in SOA-based Platform Design for Socio-Cultural Analysis
Bradley Schmerl, David Garlan, Vishal Dwivedi, Michael W. Bigrigg, and Kathleen M. Carley
(CMU, USA)
Article: icse11seip-fp060-p (type: SEIP Track) doi:

Industry Software Architecture

A Method for Selecting SOA Pilot Projects Including a Pilot Metrics Framework
Liam O'Brien, James Gibson, and Jon Gray
(CSIRO, Australia; ANU, Australia; NICTA, Australia)
Article: icse11seip-fp035-p (type: SEIP Track) doi:

Architecture Evaluation without an Architecture: Experience with the Smart Grid
Rick Kazman, Len Bass, James Ivers, and Gabriel A. Moreno
(SEI/CMU, USA; University of Hawaii, USA)
Article: icse11seip-fp068-p (type: SEIP Track) doi:

Bringing Domain-Specific Languages to Digital Forensics
Jeroen van den Bos and Tijs van der Storm
(Netherlands Forensic Institute, Netherlands; Centrum Wiskunde en Informatica, Netherlands)
Article: icse11seip-fp078-p (type: SEIP Track) doi:

Software Engineering at Large

Building and Using Pluggable Type-Checkers
Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kıvanç Muşlu, and Todd W. Schiller
(University of Washington, USA)
Article: icse11seip-fp098-p (type: SEIP Track) doi:

Deploying CogTool: Integrating Quantitative Usability Assessment into Real-World Software Development
Rachel Bellamy, Bonnie E. John, and Sandra Kogan
(IBM Research Watson, USA; CMU, USA; IBM Software Group, USA)
Article: icse11seip-fp059-p (type: SEIP Track) doi:

Experiences with Text Mining Large Collections of Unstructured Systems Development Artifacts at JPL
Daniel Port, Allen Nikora, Jairus Hihn, and LiGuo Huang
(University of Hawaii, USA; Jet Propulsion Laboratory, USA; Southern Methodist University, USA)
Article: icse11seip-fp057-p (type: SEIP Track) doi:

Software Metrics

An Evaluation of the Internal Quality of Business Applications: Does Size Matter?
Bill Curtis, Jay Sappidi, and Jitendra Subramanyam
(CAST, USA)
Article: icse11seip-fp075-p (type: SEIP Track) doi:

Characterizing the Differences Between Pre- and Post- Release Versions of Software
Paul Luo Li, Ryan Kivett, Zhiyuan Zhan, Sung-eok Jeon, Nachiappan Nagappan, Brendan Murphy, and Andrew J. Ko
(Microsoft Inc., USA; University of Washington, USA; Microsoft Research, USA)
Article: icse11seip-fp053-p (type: SEIP Track) doi:

Why Software Quality Improvement Fails (and How to Succeed Nevertheless)
Jonathan Streit and Markus Pizka
(itestra GmbH, Germany)
Article: icse11seip-fp034-p (type: SEIP Track) doi:

Software Testing and Analysis

Code Coverage Analysis in Practice for Large Systems
Yoram Adler, Noam Behar, Orna Raz, Onn Shehory, Nadav Steindler, Shmuel Ur, and Aviad Zlotnick
(IBM Research Haifa, Israel; Microsoft, Israel; Shmuel Ur Innovation, Israel)
Article: icse11seip-fp032-p (type: SEIP Track) doi:

Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems
Mithun Acharya and Brian Robinson
(ABB Corporate Research, USA)
Article: icse11seip-fp080-p (type: SEIP Track) doi:

Value-Based Program Characterization and Its Application to Software Plagiarism Detection
Yoon-Chan Jhi, Xinran Wang, Xiaoqi Jia, Sencun Zhu, Peng Liu, and Dinghao Wu
(Pennsylvania State University, USA; Chinese Academy of Sciences, China)
Article: icse11seip-fp066-p (type: SEIP Track) doi:

Tools and Environments

A Comparison of Model-based and Judgment-based Release Planning in Incremental Software Projects
Hans Christian Benestad and Jo E. Hannay
(Simula Research Laboratory, Norway)
Article: icse11seip-fp025-p (type: SEIP Track) doi:

An Industrial Case Study on Quality Impact Prediction for Evolving Service-Oriented Software
Heiko Koziolek, Bastian Schlich, Carlos Bilich, Roland Weiss, Steffen Becker, Klaus Krogmann, Mircea Trifu, Raffaela Mirandola, and Anne Koziolek
(ABB Corporate Research, Germany; University of Paderborn, Germany; FZI, Germany; Politecnico di Milano, Italy; KIT, Germany)
Article: icse11seip-fp037-p (type: SEIP Track) doi:

Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language
Wladimir Araujo, Lionel C. Briand, and Yvan Labiche
(Juniper Networks, Canada; Simula Research Laboratory, Norway; University of Oslo, Norway; Carleton University, Canada)
Article: icse11seip-fp001-p (type: SEIP Track) doi:

New Ideas and Emerging Results

Collaboration

Perspectives of Delegation in Team-Based Distributed Software Development over the GENI Infrastructure (NIER Track)
Pierre F. Tiako
(Langston University, USA; Tiako University, USA)
Article: icse11_2nier-p015-p (type: NIER Paper) doi:

The Hidden Experts in Software-Engineering Communication (NIER Track)
Irwin Kwan and Daniela Damian
(University of Victoria, Canada)
Article: icse11_2nier-p133-p (type: NIER Paper) doi:

How Do Programmers Ask and Answer Questions on the Web? (NIER Track)
Christoph Treude, Ohad Barzilay, and Margaret-Anne Storey
(University of Victoria, Canada; Tel-Aviv University, Israel)
Article: icse11_2nier-p121-p (type: NIER Paper) doi:

Tools

Sketching Tools for Ideation (NIER Track)
Rachel Bellamy, Michael Desmond, Jacquelyn Martino, Paul Matchen, Harold Ossher, John Richards, and Cal Swart
(IBM Research Watson, USA)
Article: icse11_2nier-p047-p (type: NIER Paper) doi:

Digitally Annexing Desk Space for Software Development (NIER Track)
John Hardy, Christopher Bull, Gerald Kotonya, and Jon Whittle
(Lancaster University, UK)
Article: icse11_2nier-p049-p (type: NIER Paper) doi:

Information Foraging as a Foundation for Code Navigation (NIER Track)
Nan Niu, Anas Mahmoud, and Gary Bradshaw
(Mississippi State University, USA)
Article: icse11_2nier-p050-p (type: NIER Paper) doi:

Tools & Languages

Identifying Method Friendships to Remove the Feature Envy Bad Smell (NIER Track)
Rocco Oliveto, Malcom Gethers, Gabriele Bavota, Denys Poshyvanyk, and Andrea De Lucia
(University of Molise, Italy; College of William and Mary, USA; University of Salerno, Italy)
Article: icse11_2nier-p080-p (type: NIER Paper) doi:

The Code Orb -- Supporting Contextualized Coding via At-a-Glance Views (NIER Track)
Nicolas Lopez and André van der Hoek
(UC Irvine, USA)
Article: icse11_2nier-p176-p (type: NIER Paper) doi:

Permission-Based Programming Languages (NIER Track)
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, and Roger Wolff
(CMU, USA; Karlsruhe Institute of Technology, Germany; University of Chile, Chile)
Article: icse11_2nier-p155-p (type: NIER Paper) doi:

Process

Toward a Better Understanding of Tool Usage (NIER Track)
Alberto Sillitti, Giancarlo Succi, and Jelena Vlasenko
(Free University of Bozen, Italy)
Article: icse11_2nier-p052-p (type: NIER Paper) doi:

Characterizing Process Variation (NIER Track)
Borislava I. Simidchieva and Leon J. Osterweil
(University of Massachusetts at Amherst, USA)
Article: icse11_2nier-p147-p (type: NIER Paper) doi:

Blending Freeform and Managed Information in Tables (NIER Track)
Nicolas Mangano, Harold Ossher, Ian Simmonds, Matthew Callery, Michael Desmond, and Sophia Krasikov
(UC Irvine, USA; IBM Research Watson, USA)
Article: icse11_2nier-p131-p (type: NIER Paper) doi:

Design and Implementation of a Data Analytics Infrastructure in Support of Crisis Informatics Research (NIER Track)
Kenneth M. Anderson and Aaron Schram
(University of Colorado, USA)
Article: icse11_2nier-p099-p (type: NIER Paper) doi:

Requirements

A Domain Specific Requirements Model for Scientific Computing (NIER Track)
Yang Li, Nitesh Narayan, Jonas Helming, and Maximilian Koegel
(TU München, Germany)
Article: icse11_2nier-p023-p (type: NIER Paper) doi:

CREWW - Collaborative Requirements Engineering with Wii-Remotes (NIER Track)
Felix Bott, Stephan Diehl, and Rainer Lutz
(University of Trier, Germany)
Article: icse11_2nier-p039-p (type: NIER Paper) doi:

Learning to Adapt Requirements Specifications of Evolving Systems (NIER Track)
Rafael V. Borges, Artur d'Avila Garcez, Luis C. Lamb, and Bashar Nuseibeh
(City University London, UK; UFRGS, Brazil; The Open University, UK; Lero, Ireland)
Article: icse11_2nier-p084-p (type: NIER Paper) doi:

Towards Overcoming Human Analyst Fallibility in the Requirements Tracing Process (NIER Track)
David Cuddeback, Alex Dekhtyar, Jane Huffman Hayes, Jeff Holden, and Wei-Keat Kong
(California Polytechnic State University, USA; University of Kentucky, USA)
Article: icse11_2nier-p104-p (type: NIER Paper) doi:

Verification 1

Positive Effects of Utilizing Relationships Between Inconsistencies for more Effective Inconsistency Resolution (NIER Track)
Alexander Nöhrer, Alexander Reder, and Alexander Egyed
(Johannes Kepler University, Austria)
Article: icse11_2nier-p071-p (type: NIER Paper) doi:

Matching Logic: A New Program Verification Approach (NIER Track)
Grigore Roşu and Andrei Ştefănescu
(University of Illinois at Urbana-Champaign, USA)
Article: icse11_2nier-p183-p (type: NIER Paper) doi:

Testing

Model-based Performance Testing (NIER Track)
Cornel Barna, Marin Litoiu, and Hamoun Ghanbari
(York University, Canada)
Article: icse11_2nier-p053-p (type: NIER Paper) doi:

Tuple Density: A New Metric for Combinatorial Test Suites (NIER Track)
Baiqiang Chen and Jian Zhang
(Chinese Academy of Sciences, China)
Article: icse11_2nier-p108-p (type: NIER Paper) doi:

Search-Enhanced Testing (NIER Track)
Colin Atkinson, Oliver Hummel, and Werner Janjic
(University of Mannheim, Germany)
Article: icse11_2nier-p136-p (type: NIER Paper) doi:

Testing & Debugging

Fuzzy Set-based Automatic Bug Triaging (NIER Track)
Ahmed Tamrawi, Tung Thanh Nguyen, Jafar Al-Kofahi, and Tien N. Nguyen
(Iowa State University, USA)
Article: icse11_2nier-p137-p (type: NIER Paper) doi:

Exploiting Hardware Advances for Software Testing and Debugging (NIER Track)
Mary Lou Soffa, Kristen R. Walcott, and Jason Mars
(University of Virginia, USA)
Article: icse11_2nier-p189-p (type: NIER Paper) doi:

Better Testing Through Oracle Selection (NIER Track)
Matt Staats, Michael W. Whalen, and Mats P. E. Heimdahl
(University of Minnesota, USA)
Article: icse11_2nier-p162-p (type: NIER Paper) doi:

Program Analysis 1

Tracking Data Structures for Postmortem Analysis (NIER Track)
Xiao Xiao, Jinguo Zhou, and Charles Zhang
(Hong Kong University of Science and Technology, Hong Kong)
Article: icse11_2nier-p057-p (type: NIER Paper) doi:

Iterative Context-Aware Feature Location (NIER Track)
Xin Peng, Zhenchang Xing, Xi Tan, Yijun Yu, and Wenyun Zhao
(Fudan University, China; National University of Singapore, Singapore; The Open University, UK)
Article: icse11_2nier-p075-p (type: NIER Paper) doi:

A Study of Ripple Effects in Software Ecosystems (NIER Track)
Romain Robbes and Mircea Lungu
(University of Chile, Chile; University of Bern, Switzerland)
Article: icse11_2nier-p083-p (type: NIER Paper) doi:

Design Traceability

Tracing Architectural Concerns in High Assurance Systems (NIER Track)
Mehdi Mirakhorli and Jane Cleland-Huang
(DePaul University, USA)
Article: icse11_2nier-p030-p (type: NIER Paper) doi:

A Combination Approach for Enhancing Automated Traceability (NIER Track)
Xiaofan Chen, John Hosking, and John Grundy
(University of Auckland, New Zealand; Swinburne University of Technology at Melbourne, Australia)
Article: icse11_2nier-p032-p (type: NIER Paper) doi:

Capturing Tacit Architectural Knowledge Using the Repertory Grid Technique (NIER Track)
Dan Tofan, Matthias Galster, and Paris Avgeriou
(University of Groningen, Netherlands)
Article: icse11_2nier-p112-p (type: NIER Paper) doi:

Modeling (or not)

Flexible Generators for Software Reuse and Evolution (NIER Track)
Stanislaw Jarzabek and Ha Duy Trung
(National University of Singapore, Singapore)
Article: icse11_2nier-p013-p (type: NIER Paper) doi:

The Lazy Initialization Multilayered Modeling Framework (NIER Track)
Fahad R. Golra and Fabien Dagnat
(Université Européenne de Bretagne, France; Institut Télécom, France)
Article: icse11_2nier-p123-p (type: NIER Paper) doi:

Towards Architectural Information in Implementation (NIER Track)
Henrik Bærbak Christensen and Klaus Marius Hansen
(Aarhus University, Denmark; University of Copenhagen, Denmark)
Article: icse11_2nier-p073-p (type: NIER Paper) doi:

Empirical SE

Topic-based Defect Prediction (NIER Track)
Tung Thanh Nguyen, Tien N. Nguyen, and Tu Minh Phuong
(Iowa State University, USA; Posts and Telecommunications Institute of Technology, Vietnam)
Article: icse11_2nier-p126-p (type: NIER Paper) doi:

Automated Usability Evaluation of Parallel Programming Constructs (NIER Track)
Victor Pankratius
(Karlsruhe Institute of Technology, Germany)
Article: icse11_2nier-p117-p (type: NIER Paper) doi:

Data Analytics for Game Development (NIER Track)
Kenneth Hullett, Nachiappan Nagappan, Eric Schuh, and John Hopson
(UC Santa Cruz, USA; Microsoft Research, USA; Microsoft Game Studios, USA; Bungie Studios, USA)
Article: icse11_2nier-p128-p (type: NIER Paper) doi:

Program Analysis 2

Mining Service Abstractions (NIER Track)
Dionysis Athanasopoulos, Apostolos V. Zarras, Panos Vassiliadis, and Valerie Issarny
(University of Ioannina, Greece; INRIA-Paris, France)
Article: icse11_2nier-p101-p (type: NIER Paper) doi:

A Software Behaviour Analysis Framework Based on the Human Perception Systems (NIER Track)
Heidar Pirzadeh and Abdelwahab Hamou-Lhadj
(Concordia University, Canada)
Article: icse11_2nier-p171-p (type: NIER Paper) doi:

Dynamic Shape Analysis of Program Heap using Graph Spectra (NIER Track)
Muhammad Zubair Malik
(University of Texas at Austin, USA)
Article: icse11_2nier-p191-p (type: NIER Paper) doi:

Program Analysis: From Qualitative Analysis to Quantitative Analysis (NIER Track)
Sheng Liu and Jian Zhang
(Chinese Academy of Sciences, China)
Article: icse11_2nier-p024-p (type: NIER Paper) doi:

Verification 2

Diagnosing New Faults Using Mutants and Prior Faults (NIER Track)
Syed Shariyar Murtaza, Nazim Madhavji, Mechelle Gittens, and Zude Li
(University of Western Ontario, Canada; University of West Indies, Barbados)
Article: icse11_2nier-p198-p (type: NIER Paper) doi:

Empirical Results on the Study of Software Vulnerabilities (NIER Track)
Yan Wu, Harvey Siy, and Robin Gandhi
(University of Nebraska at Omaha, USA)
Article: icse11_2nier-p163-p (type: NIER Paper) doi:

Different Angles

Multifractal Aspects of Software Development (NIER Track)
Abram Hindle, Michael W. Godfrey, and Richard C. Holt
(UC Davis, USA; University of Waterloo, Canada)
Article: icse11_2nier-p180-p (type: NIER Paper) doi:

Toward Sustainable Software Engineering (NIER Track)
Nadine Amsel, Zaid Ibrahim, Amir Malik, and Bill Tomlinson
(UC Irvine, USA)
Article: icse11_2nier-p124-p (type: NIER Paper) doi:

Research Demonstrations

DemoSurf: Software Analysis and Model Evolution
Wed, May 25, 10:45 - 12:15, South Pacific 3-4 (Chair: Andy Zaidman)

MT-Scribe: An End-User Approach to Automate Software Model Evolution
Yu Sun, Jeff Gray, and Jules White
(University of Alabama at Birmingham, USA; University of Alabama, USA; Virginia Tech, USA)
Article: icse11_2demos-p050-p (type: Demonstrations) doi:

Inconsistent Path Detection for XML IDEs
Pierre Genevès and Nabil Layaïda
(CNRS, France; INRIA, France)
Article: icse11_2demos-p018-p (type: Demonstrations) doi:

Automated Security Hardening for Evolving UML Models
Jan Jürjens
(TU Dortmund, Germany; Fraunhofer ISST, Germany)
Article: icse11_2demos-p032-p (type: Demonstrations) doi:

DemoSun: Dynamic Software Updates and Analysis
Wed, May 25, 13:45 - 15:15, South Pacific 3-4 (Chair: George Spanoudakis)

JavAdaptor: Unrestricted Dynamic Software Updates for Java
Mario Pukall, Alexander Grebhahn, Reimar Schröter, Christian Kästner, Walter Cazzola, and Sebastian Götz
(University of Magdeburg, Germany; Philipps-University Marburg, Germany; University of Milano, Italy; University of Dresden, Germany)
Article: icse11_2demos-p021-p (type: Demonstrations) doi:

DyTa: Dynamic Symbolic Execution Guided with Static Verification Results
Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann
(North Carolina State University, USA; Microsoft Research, USA)
Article: icse11_2demos-p058-p (type: Demonstrations) doi:

Identifying Opaque Behavioural Changes
Reid Holmes and David Notkin
(University of Waterloo, Canada; University of Washington, USA)
Article: icse11_2demos-p047-p (type: Demonstrations) doi:

FireDetective: Understanding Ajax Client/Server Interactions
Nick Matthijssen and Andy Zaidman
(Delft University of Technology, Netherlands)
Article: icse11_2demos-p001-p (type: Demonstrations) doi:

DemoSky: Software Testing and Quality Assessment
Thu, May 26, 10:45 - 12:15, South Pacific 3-4 (Chair: John Grundy)

BQL: Capturing and Reusing Debugging Knowledge
Zhongxian Gu, Earl T. Barr, and Zhendong Su
(UC Davis, USA)
Article: icse11_2demos-p036-p (type: Demonstrations) doi:

Covana: Precise Identification of Problems in Pex
Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux
(North Carolina State University, USA; Microsoft Research, USA)
Article: icse11_2demos-p012-p (type: Demonstrations) doi:

The Quamoco Tool Chain for Quality Modeling and Assessment
Florian Deissenboeck, Lars Heinemann, Markus Herrmannsdoerfer, Klaus Lochmann, and Stefan Wagner
(TU München, Germany)
Article: icse11_2demos-p017-p (type: Demonstrations) doi:

ReAssert: A Tool for Repairing Broken Unit Tests
Brett Daniel, Danny Dig, Tihomir Gvero, Vilas Jagannath, Johnston Jiaa, Damion Mitchell, Jurand Nogiec, Shin Hwei Tan, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; EPFL, Switzerland)
Article: icse11_2demos-p044-p (type: Demonstrations) doi:

AutoBlackTest: A Tool for Automatic Black-Box Testing
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Mauro Santoro
(University of Milano Bicocca, Italy; University of Lugano, Switzerland)
Article: icse11_2demos-p027-p (type: Demonstrations) doi:

DemoSand: Computer Supported Cooperative Work and Software Engineering
Fri, May 27, 08:30 - 10:00, South Pacific 3-4 (Chair: Andrew Begel)

Using MATCON to Generate CASE Tools That Guide Deployment of Pre-Packaged Applications
Elad Fein, Natalia Razinkov, Shlomit Shachor, Pietro Mazzoleni, Sweefen Goh, Richard Goodwin, Manisha Bhandar, Shyh-Kwei Chen, Juhnyoung Lee, Vibha Singhal Sinha, Senthil Mani, Debdoot Mukherjee, Biplav Srivastava, and Pankaj Dhoolia
(IBM Research Haifa, Israel; IBM Research Watson, USA; IBM Research, India)
Article: icse11_2demos-p043-p (type: Demonstrations) doi:

SEREBRO: Facilitating Student Project Team Collaboration
Noah M. Jorgenson, Matthew L. Hale, and Rose F. Gamble
(University of Tulsa, USA)
Article: icse11_2demos-p054-p (type: Demonstrations) doi:

StakeSource2.0: Using Social Networks of Stakeholders to Identify and Prioritise Requirements
Soo Ling Lim, Daniela Damian, and Anthony Finkelstein
(University College London, UK; University of Victoria, Canada)
Article: icse11_2demos-p028-p (type: Demonstrations) doi:

Miler: A Toolset for Exploring Email Data
Alberto Bacchelli, Michele Lanza, and Marco D'Ambros
(University of Lugano, Switzerland)
Article: icse11_2demos-p031-p (type: Demonstrations) doi:

A Demonstration of a Distributed Software Design Sketching Tool
Nicolas Mangano, Mitch Dempsey, Nicolas Lopez, and André van der Hoek
(UC Irvine, USA)
Article: icse11_2demos-p057-p (type: Demonstrations) doi:

DemoShore: Software Development and Maintenance
Fri, May 27, 10:30 - 12:00, South Pacific 3-4 (Chair: Andrea Zisman)

View Infinity: A Zoomable Interface for Feature-Oriented Software Development
Michael Stengel, Janet Feigenspan, Mathias Frisch, Christian Kästner, Sven Apel, and Raimund Dachselt
(University of Magdeburg, Germany; University of Marburg, Germany; University of Passau, Germany)
Article: icse11_2demos-p040-p (type: Demonstrations) doi:

CodeTopics: Which Topic am I Coding Now?
Malcom Gethers, Trevor Savage, Massimiliano Di Penta, Rocco Oliveto, Denys Poshyvanyk, and Andrea De Lucia
(College of William and Mary, USA; CMU, USA; University of Sannio, Italy; University of Molise, Italy; University of Salerno, Italy)
Article: icse11_2demos-p045-p (type: Demonstrations) doi:

JDeodorant: Identification and Application of Extract Class Refactorings
Marios Fokaefs, Nikolaos Tsantalis, Eleni Stroulia, and Alexander Chatzigeorgiou
(University of Alberta, Canada; University of Macedonia, Greece)
Article: icse11_2demos-p003-p (type: Demonstrations) doi:

Evolve: Tool Support for Architecture Evolution
Andrew McVeigh, Jeff Kramer, and Jeff Magee
(Imperial College London, UK)
Article: icse11_2demos-p007-p (type: Demonstrations) doi:

Portfolio: A Search Engine for Finding Functions and Their Usages
Collin McMillan, Mark Grechanik, Denys Poshyvanyk, Qing Xie, and Chen Fu
(College of William and Mary, USA; University of Illinois at Chicago, USA; Accenture Technology Labs, USA)
Article: icse11_2demos-p022-p (type: Demonstrations) doi:

Impact Project Focus Area

Impact of Process Simulation on Software Practice: An Initial Report
He Zhang, Ross Jeffery, Dan Houston, LiGuo Huang, and Liming Zhu
(NICTA, Australia; University of New South Wales, Australia; The Aerospace Corporation, USA; Southern Methodist University, USA)
Article: icse11impact-fp001-p (type: Full Paper) doi:

Impact of Software Resource Estimation Research on Practice: A Preliminary Report on Achievements, Synergies, and Challenges
Barry W. Boehm and Ricardo Valerdi
(University of Southern California, USA; MIT, USA)
Article: icse11impact-fp001-p (type: Full Paper) doi:

Symbolic Execution for Software Testing in Practice -- Preliminary Assessment
Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser
(Imperial College London, UK; Microsoft Research, USA; University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA; UC Berkeley, USA; Stellenbosch University, South Africa)
Article: icse11impact-fp001-p (type: Full Paper) doi:

Technical Briefings

ICSE 2011 Technical Briefings
Gail C. Murphy and Andreas Zeller
(University of British Columbia, Canada; Saarland University, Germany)
Article: icse11_2briefings-np001-p (type: Notes) doi:

Doctoral Symposium

Mature Phase Extended Abstracts

Exploring, Exposing, and Exploiting Emails to Include Human Factors in Software Engineering
Alberto Bacchelli
(University of Lugano, Switzerland)
Article: icse11_2doctoralpresent-p016-p (type: Doctoral-Mature-Paper) doi:

GATE: Game-based Testing Environment
Ning Chen
(Hong Kong University of Science and Technology, China)
Article: icse11_2doctoralpresent-p007-p (type: Doctoral-Mature-Paper) doi:

Reuse vs. Maintainability: Revealing the Impact of Composition Code Properties
Francisco Dantas
(PUC-Rio, Brazil)
Article: icse11_2doctoralpresent-p039-p (type: Doctoral-Mature-Paper) doi:

Specification Mining in Concurrent and Distributed Systems
Sandeep Kumar
(National University of Singapore, Singapore)
Article: icse11_2doctoralpresent-p047-p (type: Doctoral-Mature-Paper) doi:

Detecting Architecturally-Relevant Code Smells in Evolving Software Systems
Isela Macia Bertran
(PUC Rio, Brazil)
Article: icse11_2doctoralpresent-p048-p (type: Doctoral-Mature-Paper) doi:

Pragmatic Reuse in Web Application Development
Josip Maras
(University of Split, Croatia)
Article: icse11_2doctoralpresent-p005-p (type: Doctoral-Mature-Paper) doi:

Inconsistency Management Framework for Model-Based Development
Alexander Reder
(Johannes Kepler University, Austria)
Article: icse11_2doctoralpresent-p012-p (type: Doctoral-Mature-Paper) doi:

Mental Models and Parallel Program Maintenance
Caitlin Sadowski
(UC Santa Cruz, USA)
Article: icse11_2doctoralpresent-p044-p (type: Doctoral-Mature-Paper) doi:

Pragmatic Prioritization of Software Quality Assurance Efforts
Emad Shihab
(Queen's University, Canada)
Article: icse11_2doctoralpresent-p046-p (type: Doctoral-Mature-Paper) doi:

Directed Test Suite Augmentation
Zhihong Xu
(University of Nebraska-Lincoln, USA)
Article: icse11_2doctoralpresent-p023-p (type: Doctoral-Mature-Paper) doi:

Reengineering Legacy Software Products into Software Product Line Based on Automatic Variability Analysis
Yinxing Xue
(National University of Singapore, Singapore)
Article: icse11_2doctoralpresent-p010-p (type: Doctoral-Mature-Paper) doi:

1.x-Way Architecture-Implementation Mapping
Yongjie Zheng
(UC Irvine, USA)
Article: icse11_2doctoralpresent-p028-p (type: Doctoral-Mature-Paper) doi:

Early Phase Extended Abstracts

Using Software Evolution History to Facilitate Development and Maintenance
Pamela Bhattacharya
(UC Riverside, USA)
Article: icse11_2doctoralposter-p031-p (type: Doctoral-Mature-Poster) doi:

Searching, Selecting, and Synthesizing Source Code
Collin McMillan
(College of William and Mary, USA)
Article: icse11_2doctoralposter-p026-p (type: Doctoral-Mature-Poster) doi:

Tracing Architecturally Significant Requirements: A Decision-Centric Approach
Mehdi Mirakhorli
(DePaul University, USA)
Article: icse11_2doctoralposter-p043-p (type: Doctoral-Initial-Poster) doi:

Predictable Dynamic Deployment of Components in Embedded Systems
Ana Petričić
(Mälardalen University, Sweden)
Article: icse11_2doctoralposter-p021-p (type: Doctoral-Initial-Poster) doi:

A Declarative Approach to Enable Flexible and Dynamic Service Compositions
Leandro Sales Pinto
(Politecnico di Milano, Italy)
Article: icse11_2doctoralposter-p018-p (type: Doctoral-Initial-Poster) doi:

A Framework for the Integration of User Centered Design and Agile Software Development Processes
Dina Salah
(University of York, UK)
Article: icse11_2doctoralposter-p033-p (type: Doctoral-Mature-Poster) doi:

Improving Open Source Software Patch Contribution Process: Methods and Tools
Bhuricha Deen Sethanandha
(Portland State University, USA)
Article: icse11_2doctoralposter-p034-p (type: Doctoral-Initial-Poster) doi:

Systematizing Security Test Case Planning Using Functional Requirements Phrases
Ben Smith
(North Carolina State University, USA)
Article: icse11_2doctoralposter-p022-p (type: Doctoral-Mature-Poster) doi:

Mining Software Repositories Using Topic Models
Stephen W. Thomas
(Queen's University, Canada)
Article: icse11_2doctoralposter-p017-p (type: Doctoral-Initial-Poster) doi:

ACM Student Research Competition

Test Blueprint: An Effective Visual Support for Test Coverage
Vanessa Peña Araya
(University of Chile, Chile)
Article: icse11_2src-src027-p (type: Student Paper) doi:

A Formal Approach to Software Synthesis for Architectural Platforms
Hamid Bagheri
(University of Virginia, USA)
Article: icse11_2src-src008-p (type: Student Paper) doi:

Detecting Cross-browser Issues in Web Applications
Shauvik Roy Choudhary
(Georgia Institute of Technology, USA)
Article: icse11_2src-src037-p (type: Student Paper) doi:

Measuring Subversions: Security and Legal Risk in Reused Software Artifacts
Julius Davies
(University of Victoria, Canada)
Article: icse11_2src-src017-p (type: Student Paper) doi:

Building Domain Specific Software Architectures from Software Architectural Design Patterns
Julie Street Fant
(George Mason University, USA)
Article: icse11_2src-src025-p (type: Student Paper) doi:

Using Impact Analysis in Industry
Robert Goeritzer
(University of Klagenfurt, Austria)
Article: icse11_2src-src036-p (type: Student Paper) doi:

A Decision Support System for the Classification of Software Coding Faults: A Research Abstract
Billy Kidwell
(University of Kentucky, USA)
Article: icse11_2src-src018-p (type: Student Paper) doi:

Specification Mining in Concurrent and Distributed Systems
Sandeep Kumar
(National University of Singapore, Singapore)
Article: icse11_2src-src041-p (type: Student Paper) doi:

A Case Study on Refactoring in Haskell Programs
Da Young Lee
(North Carolina State University, USA)
Article: icse11_2src-src035-p (type: Student Paper) doi:

Build System Maintenance
Shane McIntosh
(Queen's University, Canada)
Article: icse11_2src-src034-p (type: Student Paper) doi:

Finding Relevant Functions in Millions of Lines of Code
Collin McMillan
(College of William and Mary, USA)
Article: icse11_2src-src023-p (type: Student Paper) doi:

Requirements Tracing: Discovering Related Documents through Artificial Pheromones and Term Proximity
Hakim Sultanov
(University of Kentucky, USA)
Article: icse11_2src-src022-p (type: Student Paper) doi:

An End-User Demonstration Approach to Support Aspect-Oriented Modeling
Yu Sun
(University of Alabama at Birmingham, USA)
Article: icse11_2src-src039-p (type: Student Paper) doi:

Problem Identification for Structural Test Generation: First Step Towards Cooperative Developer Testing
Xusheng Xiao
(North Carolina State University, USA)
Article: icse11_2src-src016-p (type: Student Paper) doi:

Palus: A Hybrid Automated Test Generation Tool for Java
Sai Zhang
(University of Washington, USA)
Article: icse11_2src-src020-p (type: Student Paper) doi:

Scalable Automatic Linearizability Checking
Shao Jie Zhang
(National University of Singapore, Singapore)
Article: icse11_2src-src040-p (type: Student Paper) doi:

Workshop Summaries

Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 2011)
Marcelo Cataldo, Cleidson de Souza, Yvonne Dittrich, Rashina Hoda, and Helen Sharp
(Robert Bosch Research, USA; IBM Research, Brazil; IT University of Copenhagen, Denmark; Victoria University of Wellington, New Zealand; The Open University, UK)
Article: icse11_2workshops-fp035-p (type: Workshop) doi:

Fourth International Workshop on Multicore Software Engineering (IWMSE 2011)
Victor Pankratius and Michael Philippsen
(Karlsruhe Institute of Technology, Germany; University of Erlangen-Nuremberg, Germany)
Article: icse11_2workshops-fp005-p (type: Workshop) doi:

Workshop on Flexible Modeling Tools (FlexiTools 2011)
Harold Ossher, André van der Hoek, Margaret-Anne Storey, John Grundy, Rachel Bellamy, and Marian Petre
(IBM Research Watson, USA; UC Irvine, USA; University of Victoria, Canada; Swinburne University of Technology at Hawthorn, Australia; The Open University, UK)
Article: icse11_2workshops-fp027-p (type: Workshop) doi:

Workshop on Games and Software Engineering (GAS 2011)
Jim Whitehead and Chris Lewis
(UC Santa Cruz, USA)
Article: icse11_2workshops-fp023-p (type: Workshop) doi:

Workshop on Software Engineering for Cloud Computing (SECLOUD 2011)
Chris A. Mattmann, Nenad Medvidovic, T. S. Mohan, and Owen O'Malley
(Jet Propulsion Laboratory, USA; University of Southern California, USA; Infosys Technologies, India; Yahoo Inc., USA)
Article: icse11_2workshops-fp033-p (type: Workshop) doi:

Second International Workshop on Software Engineering for Sensor Network Applications (SESENA 2011)
Kurt Geihs, Luca Mottola, Gian Pietro Picco, and Kay Römer
(University of Kassel, Germany; Swedish Institute of Computer Science, Sweden; University of Trento, Italy; University of Lübeck, Germany)
Article: icse11_2workshops-fp017-p (type: Workshop) doi:

Seventh International Workshop on Software Engineering for Secure Systems (SESS 2011)
Seok-Won Lee, Mattia Monga, and Jan Jürjens
(University of Nebraska-Lincoln, USA; Università degli Studi di Milano, Italy; TU Dortmund, Germany)
Article: icse11_2workshops-fp012-p (type: Workshop) doi:

Fourth Workshop on Refactoring Tools (WRT 2011)
Danny Dig and Don Batory
(University of Illinois at Urbana-Champaign, USA; University of Texas at Austin, USA)
Article: icse11_2workshops-fp036-p (type: Workshop) doi:

Second International Workshop on Product Line Approaches in Software Engineering (PLEASE 2011)
Julia Rubin, Goetz Botterweck, Andreas Pleuss, and David M. Weiss
(IBM Research Haifa, Israel; Lero, Ireland; University of Limerick, Ireland; Iowa State University, USA)
Article: icse11_2workshops-fp016-p (type: Workshop) doi:

Third International Workshop on Software Engineering in Healthcare (SEHC 2011)
Eleni Stroulia and Kevin Sullivan
(University of Alberta, Canada; University of Virginia, USA)
Article: icse11_2workshops-fp029-p (type: Workshop) doi:

Collaborative Teaching of Globally Distributed Software Development: Community Building Workshop (CTGDSD 2011)
Stuart Faulk, Michal Young, David M. Weiss, and Lian Yu
(University of Oregon, USA; Iowa State University, USA; Peking University, China)
Article: icse11_2workshops-fp015-p (type: Workshop) doi:

Fifth International Workshop on Software Clones (IWSC 2011)
James R. Cordy, Katsuro Inoue, Stanislaw Jarzabek, and Rainer Koschke
(Queen's University, Canada; Osaka University, Japan; National University of Singapore, Singapore; University of Bremen, Germany)
Article: icse11_2workshops-fp001-p (type: Workshop) doi:

Second International Workshop on Managing Technical Debt (MTD 2011)
Ipek Ozkaya, Philippe Kruchten, Robert L. Nord, and Nanette Brown
(SEI/CMU, USA; University of British Columbia, Canada)
Article: icse11_2workshops-fp026-p (type: Workshop) doi:

Sixth International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE 2011)
Denys Poshyvanyk, Massimiliano Di Penta, and Huzefa Kagdi
(College of William and Mary, USA; University of Sannio, Italy; Winston-Salem State University, USA)
Article: icse11_2workshops-fp010-p (type: Workshop) doi:

Sixth International Workshop on Automation of Software Test (AST 2011)
Howard Foster, Antonia Bertolino, and J. Jenny Li
(City University London, UK; ISTI-CNR, Italy; Avaya Research Labs, USA)
Article: icse11_2workshops-fp018-p (type: Workshop) doi:

Third International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2011)
Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, and Anna Liu
(Universidad Politécnica de Madrid, Spain; University of Stuttgart, Germany; CMU, USA; NICTA, Australia)
Article: icse11_2workshops-fp022-p (type: Workshop) doi:

Workshop on SHAring and Reusing architectural Knowledge (SHARK 2011)
Paris Avgeriou, Patricia Lago, and Philippe Kruchten
(University of Groningen, Netherlands; VU University Amsterdam, Netherlands; University of British Columbia, Canada)
Article: icse11_2workshops-fp021-p (type: Workshop) doi:

Second International Workshop on Web 2.0 for Software Engineering (Web2SE 2011)
Christoph Treude, Margaret-Anne Storey, Arie van Deursen, Andrew Begel, and Sue Black
(University of Victoria, Canada; Delft University of Technology, Netherlands; Microsoft Research, USA; University College London, UK)
Article: icse11_2workshops-fp025-p (type: Workshop) doi:

Workshop on Emerging Trends in Software Metrics (WETSoM 2011)
Giulio Concas, Massimiliano Di Penta, Ewan Tempero, and Hongyu Zhang
(University of Cagliari, Italy; University of Sannio, Italy; University of Auckland, New Zealand; Tsinghua University, China)
Article: icse11_2workshops-fp028-p (type: Workshop) doi:

Fourth International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE 2011)
Jeffrey C. Carver, Roscoe Bartlett, Ian Gorton, Lorin Hochstein, Diane Kelly, and Judith Segal
(University of Alabama, USA; Sandia National Laboratories, USA; Pacific Northwest National Laboratory, USA; USC-ISI, USA; Royal Military College, Canada; The Open University, UK)
Article: icse11_2workshops-fp009-p (type: Workshop) doi:

Third International Workshop on Search-Driven Development: Users, Infrastructure, Tools, and Evaluation (SUITE 2011)
Sushil Bajracharya, Adrian Kuhn, and Yunwen Ye
(Black Duck Software, USA; University of Bern, Switzerland; Software Research Associates Inc., Japan)
Article: icse11_2workshops-fp031-p (type: Workshop) doi:

First Workshop on Developing Tools as Plug-ins (TOPI 2011)
Judith Bishop, David Notkin, and Karin K. Breitman
(Microsoft Research, USA; University of Washington, USA; PUC-Rio, Brazil)
Article: icse11_2workshops-fp008-p (type: Workshop) doi:

SCORE Student Contest

SCORE 2011, the Second Student Contest on Software Engineering
Matteo Rossi and Michal Young
(Politecnico di Milano, Italy; University of Oregon, USA)
Article: icse11score-np001-p (type: Short Paper) doi: