Powered by
Conference Publishing Consulting

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

ICSE 2011 – Proceedings

Contents - Abstracts - Authors

Preface

Title Page
Foreword
Committees
Sponsors

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 Search
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 Search
Camouflage: Automated Anonymization of Field Data
James Clause and Alessandro Orso
(University of Delaware, USA; Georgia Institute of Technology, USA)
Article Search

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 Search
Towards Quantitative Software Reliability Assessment in Incremental Development Processes
Tadashi Dohi and Takaji Fujiwara
(Hiroshima University, Japan; Fujitsu Quality Laboratory, Japan)
Article Search
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 Search

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 Search
Refactoring Java Programs for Flexible Locking
Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip
(Oxford University, UK; IBM Research Watson, USA)
Article Search
Refactoring Pipe-like Mashups for End-User Programmers
Kathryn T. Stolee and Sebastian Elbaum
(University of Nebraska-Lincoln, USA)
Article Search

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 Search
Automatically Detecting and Describing High Level Actions within Methods
Giriprasad Sridhara, Lori Pollock, and K. Vijay-Shanker
(University of Delaware, USA)
Article Search
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 Search

Debugging the Surf

Angelic Debugging
Satish Chandra, Emina Torlak, Shaon Barman, and Rastislav Bodik
(IBM Research, USA; UC Berkeley, USA)
Article Search
Static Extraction of Program Configuration Options
Ariel S. Rabkin and Randy Katz
(UC Berkeley, USA)
Article Search
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 Search

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 Search
Factors Leading to Integration Failures in Global Feature-Oriented Development: An Empirical Analysis
Marcelo Cataldo and James D. Herbsleb
(CMU, USA)
Article Search
Assessing Programming Language Impact on Development and Maintenance: A Study on C and C++
Pamela Bhattacharya and Iulian Neamtiu
(UC Riverside, USA)
Article Search

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 Search
Inferring Better Contracts
Yi Wei, Carlo A. Furia, Nikolay Kazmin, and Bertrand Meyer
(ETH Zurich, Switzerland)
Article Search

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 Search
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 Search
Coverage Guided Systematic Concurrency Testing
Chao Wang, Mahmoud Said, and Aarti Gupta
(NEC Laboratories America, USA; Western Michigan University, USA)
Article Search

Program Surfing I

Inference of Field Initialization
Fausto Spoto and Michael D. Ernst
(Università di Verona, Italy; University of Washington, USA)
Article Search
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 Search
Patching Vulnerabilities with Sanitization Synthesis
Fang Yu, Muath Alkhalaf, and Tevfik Bultan
(National Chengchi University, Taiwan; UC Santa Barbara, USA)
Article Search

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 Search
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 Search
Socio-Technical Developer Networks: Should We Trust Our Measurements?
Andrew Meneely and Laurie Williams
(North Carolina State University, USA)
Article Search

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 Search
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 Search
Frequency and Risks of Changes to Clones
Nils Göde and Rainer Koschke
(University of Bremen, Germany)
Article Search

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 Search
Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking
Lucas Cordeiro and Bernd Fischer
(University of Southampton, UK)
Article Search
Run-Time Efficient Probabilistic Model Checking
Antonio Filieri, Carlo Ghezzi, and Giordano Tamburrelli
(Politecnico di Milano, Italy)
Article Search

Comprehending the Drift II

Non-Essential Changes in Version Histories
David Kawrykow and Martin P. Robillard
(McGill University, Canada)
Article Search
Aspect Recommendation for Evolving Software
Tung Thanh Nguyen, Hung Viet Nguyen, Hoan Anh Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Article Search
Identifying Program, Test, and Environmental Changes That Affect Behaviour
Reid Holmes and David Notkin
(University of Waterloo, Canada; University of Washington, USA)
Article Search

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 Search
Programs, Tests, and Oracles: The Foundations of Testing Revisited
Matt Staats, Michael W. Whalen, and Mats P. E. Heimdahl
(University of Minnesota, USA)
Article Search
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 Search

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 Search
Feature Cohesion in Software Product Lines: An Exploratory Study
Sven Apel and Dirk Beyer
(University of Passau, Germany; Simon Fraser University, Canada)
Article Search
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 Search

Refactoring Your Lei II

Refactoring to Role Objects
Friedrich Steimann and Fabian Urs Stolz
(Fernuniversität in Hagen, Germany; Volkswohl Bund Versicherungen, Germany)
Article Search
Supporting Professional Spreadsheet Users by Generating Leveled Dataflow Diagrams
Felienne Hermans, Martin Pinzger, and Arie van Deursen
(Delft University of Technology, Netherlands)
Article Search
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 Search

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 Search
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 Search
Ownership, Experience and Defects: A Fine-Grained Study of Authorship
Foyzur Rahman and Premkumar Devanbu
(UC Davis, USA)
Article Search

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 Search
Unifying Execution of Imperative and Declarative Code
Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, and Daniel Jackson
(Massachusetts Institute of Technology, USA)
Article Search
Always-Available Static and Dynamic Feedback
Michael Bayne, Richard Cook, and Michael D. Ernst
(University of Washington, USA)
Article Search

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 Search
Understanding Broadcast Based Peer Review on Open Source Software Projects
Peter C. Rigby and Margaret-Anne Storey
(University of Victoria, Canada)
Article Search
Software Systems as Cities: A Controlled Experiment
Richard Wettel, Michele Lanza, and Romain Robbes
(University of Lugano, Switzerland; University of Chile, Chile)
Article Search

Web Surfing

Automated Cross-Browser Compatibility Testing
Ali Mesbah and Mukul R. Prasad
(University of British Columbia, Canada; Fujitsu Laboratories of America, USA)
Article Search
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 Search
Coalescing Executions for Fast Uncertainty Analysis
William N. Sumner, Tao Bao, Xiangyu Zhang, and Sunil Prabhakar
(Purdue University, USA)
Article Search

Testing the Waters III

Mining Parametric Specifications
Choonghwan Lee, Feng Chen, and Grigore Roşu
(University of Illinois at Urbana-Champaign, USA)
Article Search
Estimating Footprints of Model Operations
Cédric Jeanneret, Martin Glinz, and Benoit Baudry
(University of Zurich, Switzerland; IRISA, France)
Article Search
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 Search

Keynotes

Interactivity, Continuity, Sketching, and Experience (Keynote Abstract)
Kumiyo Nakakoji
(Software Research Associates Inc., Japan)
Article Search
Exciting New Trends in Design Thinking (Keynote Abstract)
Bill Dresselhaus
(DRESSELHAUSgroup Inc., USA/Korea)
Article Search

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 Search
Model-Driven Engineering Practices in Industry
John Hutchinson, Mark Rouncefield, and Jon Whittle
(Lancaster University, UK)
Article Search
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 Search

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 Search
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 Search
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 Search

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 Search
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 Search
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 Search

Software Metrics

An Evaluation of the Internal Quality of Business Applications: Does Size Matter?
Bill Curtis, Jay Sappidi, and Jitendra Subramanyam
(CAST, USA)
Article Search
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 Search
Why Software Quality Improvement Fails (and How to Succeed Nevertheless)
Jonathan Streit and Markus Pizka
(itestra GmbH, Germany)
Article Search

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 Search
Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems
Mithun Acharya and Brian Robinson
(ABB Corporate Research, USA)
Article Search
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 Search

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 Search
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 Search
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 Search

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 Search
The Hidden Experts in Software-Engineering Communication (NIER Track)
Irwin Kwan and Daniela Damian
(University of Victoria, Canada)
Article Search
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 Search

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 Search
Digitally Annexing Desk Space for Software Development (NIER Track)
John Hardy, Christopher Bull, Gerald Kotonya, and Jon Whittle
(Lancaster University, UK)
Article Search
Information Foraging as a Foundation for Code Navigation (NIER Track)
Nan Niu, Anas Mahmoud, and Gary Bradshaw
(Mississippi State University, USA)
Article Search

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 Search
The Code Orb -- Supporting Contextualized Coding via At-a-Glance Views (NIER Track)
Nicolas Lopez and André van der Hoek
(UC Irvine, USA)
Article Search
Permission-Based Programming Languages (NIER Track)
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, and Roger Wolff
(CMU, USA; Karlsruhe Institute of Technology, Germany; University of Chile, Chile)
Article Search

Process

Toward a Better Understanding of Tool Usage (NIER Track)
Alberto Sillitti, Giancarlo Succi, and Jelena Vlasenko
(Free University of Bozen, Italy)
Article Search
Characterizing Process Variation (NIER Track)
Borislava I. Simidchieva and Leon J. Osterweil
(University of Massachusetts at Amherst, USA)
Article Search
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 Search
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 Search

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 Search
CREWW - Collaborative Requirements Engineering with Wii-Remotes (NIER Track)
Felix Bott, Stephan Diehl, and Rainer Lutz
(University of Trier, Germany)
Article Search
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 Search
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 Search

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 Search
Matching Logic: A New Program Verification Approach (NIER Track)
Grigore Roşu and Andrei Ştefănescu
(University of Illinois at Urbana-Champaign, USA)
Article Search

Testing

Model-based Performance Testing (NIER Track)
Cornel Barna, Marin Litoiu, and Hamoun Ghanbari
(York University, Canada)
Article Search
Tuple Density: A New Metric for Combinatorial Test Suites (NIER Track)
Baiqiang Chen and Jian Zhang
(Chinese Academy of Sciences, China)
Article Search
Search-Enhanced Testing (NIER Track)
Colin Atkinson, Oliver Hummel, and Werner Janjic
(University of Mannheim, Germany)
Article Search

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 Search
Exploiting Hardware Advances for Software Testing and Debugging (NIER Track)
Mary Lou Soffa, Kristen R. Walcott, and Jason Mars
(University of Virginia, USA)
Article Search
Better Testing Through Oracle Selection (NIER Track)
Matt Staats, Michael W. Whalen, and Mats P. E. Heimdahl
(University of Minnesota, USA)
Article Search

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 Search
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 Search
A Study of Ripple Effects in Software Ecosystems (NIER Track)
Romain Robbes and Mircea Lungu
(University of Chile, Chile; University of Bern, Switzerland)
Article Search

Design Traceability

Tracing Architectural Concerns in High Assurance Systems (NIER Track)
Mehdi Mirakhorli and Jane Cleland-Huang
(DePaul University, USA)
Article Search
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 Search
Capturing Tacit Architectural Knowledge Using the Repertory Grid Technique (NIER Track)
Dan Tofan, Matthias Galster, and Paris Avgeriou
(University of Groningen, Netherlands)
Article Search

Modeling (or not)

Flexible Generators for Software Reuse and Evolution (NIER Track)
Stanislaw Jarzabek and Ha Duy Trung
(National University of Singapore, Singapore)
Article Search
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 Search
Towards Architectural Information in Implementation (NIER Track)
Henrik Bærbak Christensen and Klaus Marius Hansen
(Aarhus University, Denmark; University of Copenhagen, Denmark)
Article Search

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 Search
Automated Usability Evaluation of Parallel Programming Constructs (NIER Track)
Victor Pankratius
(Karlsruhe Institute of Technology, Germany)
Article Search
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 Search

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 Search
A Software Behaviour Analysis Framework Based on the Human Perception Systems (NIER Track)
Heidar Pirzadeh and Abdelwahab Hamou-Lhadj
(Concordia University, Canada)
Article Search
Dynamic Shape Analysis of Program Heap using Graph Spectra (NIER Track)
Muhammad Zubair Malik
(University of Texas at Austin, USA)
Article Search
Program Analysis: From Qualitative Analysis to Quantitative Analysis (NIER Track)
Sheng Liu and Jian Zhang
(Chinese Academy of Sciences, China)
Article Search

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 Search
Empirical Results on the Study of Software Vulnerabilities (NIER Track)
Yan Wu, Harvey Siy, and Robin Gandhi
(University of Nebraska at Omaha, USA)
Article Search

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 Search
The American Law Institute's Principles on Software Contracts and their Ramifications for Software Engineering Research (NIER Track)
James B. Williams and Jens H. Weber-Jahnke
(University of Victoria, Canada)
Article Search
Toward Sustainable Software Engineering (NIER Track)
Nadine Amsel, Zaid Ibrahim, Amir Malik, and Bill Tomlinson
(UC Irvine, USA)
Article Search

Research Demonstrations

DemoSurf: Software Analysis and Model Evolution

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 Search Video
Inconsistent Path Detection for XML IDEs
Pierre Genevès and Nabil Layaïda
(CNRS, France; INRIA, France)
Article Search Video
Automated Security Hardening for Evolving UML Models
Jan Jürjens
(TU Dortmund, Germany; Fraunhofer ISST, Germany)
Article Search Video

DemoSun: Dynamic Software Updates and Analysis

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 Search Video
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 Search Video
Identifying Opaque Behavioural Changes
Reid Holmes and David Notkin
(University of Waterloo, Canada; University of Washington, USA)
Article Search Video
FireDetective: Understanding Ajax Client/Server Interactions
Nick Matthijssen and Andy Zaidman
(Delft University of Technology, Netherlands)
Article Search Video

DemoSky: Software Testing and Quality Assessment

BQL: Capturing and Reusing Debugging Knowledge
Zhongxian Gu, Earl T. Barr, and Zhendong Su
(UC Davis, USA)
Article Search Video
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 Search Video
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 Search Video
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 Search Video
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 Search Video

DemoSand: Computer Supported Cooperative Work and Software Engineering

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 Search Video
SEREBRO: Facilitating Student Project Team Collaboration
Noah M. Jorgenson, Matthew L. Hale, and Rose F. Gamble
(University of Tulsa, USA)
Article Search Video
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 Search Video
Miler: A Toolset for Exploring Email Data
Alberto Bacchelli, Michele Lanza, and Marco D'Ambros
(University of Lugano, Switzerland)
Article Search Video
A Demonstration of a Distributed Software Design Sketching Tool
Nicolas Mangano, Mitch Dempsey, Nicolas Lopez, and André van der Hoek
(UC Irvine, USA)
Article Search Video

DemoShore: Software Development and Maintenance

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 Search Video
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 Search Video
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 Search Video
Evolve: Tool Support for Architecture Evolution
Andrew McVeigh, Jeff Kramer, and Jeff Magee
(Imperial College London, UK)
Article Search Video
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 Search Video

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 Search
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 Search
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 Search

Technical Briefings

ICSE 2011 Technical Briefings
Gail C. Murphy and Andreas Zeller
(University of British Columbia, Canada; Saarland University, Germany)
Article Search

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 Search
GATE: Game-based Testing Environment
Ning Chen
(Hong Kong University of Science and Technology, China)
Article Search
Reuse vs. Maintainability: Revealing the Impact of Composition Code Properties
Francisco Dantas
(PUC-Rio, Brazil)
Article Search
Specification Mining in Concurrent and Distributed Systems
Sandeep Kumar
(National University of Singapore, Singapore)
Article Search
Detecting Architecturally-Relevant Code Smells in Evolving Software Systems
Isela Macia Bertran
(PUC Rio, Brazil)
Article Search
Pragmatic Reuse in Web Application Development
Josip Maras
(University of Split, Croatia)
Article Search
Inconsistency Management Framework for Model-Based Development
Alexander Reder
(Johannes Kepler University, Austria)
Article Search
Mental Models and Parallel Program Maintenance
Caitlin Sadowski
(UC Santa Cruz, USA)
Article Search
Pragmatic Prioritization of Software Quality Assurance Efforts
Emad Shihab
(Queen's University, Canada)
Article Search
Directed Test Suite Augmentation
Zhihong Xu
(University of Nebraska-Lincoln, USA)
Article Search
Reengineering Legacy Software Products into Software Product Line Based on Automatic Variability Analysis
Yinxing Xue
(National University of Singapore, Singapore)
Article Search
1.x-Way Architecture-Implementation Mapping
Yongjie Zheng
(UC Irvine, USA)
Article Search

Early Phase Extended Abstracts

Using Software Evolution History to Facilitate Development and Maintenance
Pamela Bhattacharya
(UC Riverside, USA)
Article Search
Searching, Selecting, and Synthesizing Source Code
Collin McMillan
(College of William and Mary, USA)
Article Search
Tracing Architecturally Significant Requirements: A Decision-Centric Approach
Mehdi Mirakhorli
(DePaul University, USA)
Article Search
Predictable Dynamic Deployment of Components in Embedded Systems
Ana Petričić
(Mälardalen University, Sweden)
Article Search
A Declarative Approach to Enable Flexible and Dynamic Service Compositions
Leandro Sales Pinto
(Politecnico di Milano, Italy)
Article Search
A Framework for the Integration of User Centered Design and Agile Software Development Processes
Dina Salah
(University of York, UK)
Article Search
Improving Open Source Software Patch Contribution Process: Methods and Tools
Bhuricha Deen Sethanandha
(Portland State University, USA)
Article Search
Systematizing Security Test Case Planning Using Functional Requirements Phrases
Ben Smith
(North Carolina State University, USA)
Article Search
Mining Software Repositories Using Topic Models
Stephen W. Thomas
(Queen's University, Canada)
Article Search

ACM Student Research Competition

Test Blueprint: An Effective Visual Support for Test Coverage
Vanessa Peña Araya
(University of Chile, Chile)
Article Search
A Formal Approach to Software Synthesis for Architectural Platforms
Hamid Bagheri
(University of Virginia, USA)
Article Search
Detecting Cross-browser Issues in Web Applications
Shauvik Roy Choudhary
(Georgia Institute of Technology, USA)
Article Search
Measuring Subversions: Security and Legal Risk in Reused Software Artifacts
Julius Davies
(University of Victoria, Canada)
Article Search
Building Domain Specific Software Architectures from Software Architectural Design Patterns
Julie Street Fant
(George Mason University, USA)
Article Search
Using Impact Analysis in Industry
Robert Goeritzer
(University of Klagenfurt, Austria)
Article Search
A Decision Support System for the Classification of Software Coding Faults: A Research Abstract
Billy Kidwell
(University of Kentucky, USA)
Article Search
Specification Mining in Concurrent and Distributed Systems
Sandeep Kumar
(National University of Singapore, Singapore)
Article Search
A Case Study on Refactoring in Haskell Programs
Da Young Lee
(North Carolina State University, USA)
Article Search
Build System Maintenance
Shane McIntosh
(Queen's University, Canada)
Article Search
Finding Relevant Functions in Millions of Lines of Code
Collin McMillan
(College of William and Mary, USA)
Article Search
Requirements Tracing: Discovering Related Documents through Artificial Pheromones and Term Proximity
Hakim Sultanov
(University of Kentucky, USA)
Article Search
An End-User Demonstration Approach to Support Aspect-Oriented Modeling
Yu Sun
(University of Alabama at Birmingham, USA)
Article Search
Problem Identification for Structural Test Generation: First Step Towards Cooperative Developer Testing
Xusheng Xiao
(North Carolina State University, USA)
Article Search
Palus: A Hybrid Automated Test Generation Tool for Java
Sai Zhang
(University of Washington, USA)
Article Search
Scalable Automatic Linearizability Checking
Shao Jie Zhang
(National University of Singapore, Singapore)
Article Search

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 Search
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 Search
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 Search
Workshop on Games and Software Engineering (GAS 2011)
Jim Whitehead and Chris Lewis
(UC Santa Cruz, USA)
Article Search
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 Search
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 Search
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 Search
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 Search
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 Search
Third International Workshop on Software Engineering in Healthcare (SEHC 2011)
Eleni Stroulia and Kevin Sullivan
(University of Alberta, Canada; University of Virginia, USA)
Article Search
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 Search
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 Search
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 Search
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 Search
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 Search
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 Search
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 Search
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 Search
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 Search
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 Search
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 Search
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 Search

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 Search

proc time: 0.77