The Community for Technology Leaders
Software Engineering, International Conference on (2011)
Waikiki, Honolulu, HI, USA
May 21, 2011 to May 28, 2011
ISBN: 978-1-4503-0445-0
TABLE OF CONTENTS
Papers

A practical guide for using statistical tests to assess randomized algorithms in software engineering (Abstract)

Andrea Arcuri , Simula Research Laboratory, Lysaker, Norway
Lionel Briand , Simula Research Laboratory & University of Oslo, Lysaker, Norway
pp. 1-10

aComment: mining annotations from comments and code to detect interrupt related concurrency bugs (Abstract)

Yuanyuan Zhou , University of California, San Diego, La Jolla, CA, USA
Lin Tan , University of Waterloo, Waterloo, ON, Canada
Yoann Padioleau , Facebook, Inc., Palo Alto, CA, USA
pp. 11-20

Camouflage: automated anonymization of field data (Abstract)

James Clause , University of Delaware, Newark, DE, USA
Alessandro Orso , Georgia Institute of Technology, Atlanta, GA, USA
pp. 21-30

A lightweight code analysis and its role in evaluation of a dependability case (Abstract)

Daniel Jackson , Massachusetts Institute of Technology, Cambridge, MA, USA
Joseph P. Near , Massachusetts Institute of Technology, Cambridge, MA, USA
Eunsuk Kang , Massachusetts Institute of Technology, Cambridge, MA, USA
Aleksandar Milicevic , Massachusetts Institute of Technology, Cambridge, MA, USA
pp. 31-40

Towards quantitative software reliability assessment in incremental development processes (Abstract)

Takaji Fujiwara , Fujitsu Quality Laboratory, Kawasaki, Japan
Tadashi Dohi , Hiroshima University, Higashi-Hiroshima, Japan
Toshiya Fujii , Hiroshima University, Higashi-Hiroshima, Japan
pp. 41-50

The impact of fault models on software robustness evaluations (Abstract)

Neeraj Suri , Technischen Universität Darmstadt, Darmstadt, Germany
Constantin Sârbu , Technischen Universität Darmstadt, Darmstadt, Germany
Brendan Murphy , Microsoft Research, Redmond, WA, USA
Stefan Winter , Technischen Universität Darmstadt, Darmstadt, Germany
pp. 51-60

Transformation for class immutability (Abstract)

Gabriel Acevedo , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Danny Dig , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Fredrik Kjolstad , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Marc Snir , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
pp. 61-70

Refactoring Java programs for flexible locking (Abstract)

Frank Tip , IBM T.J. Watson Research Center, Yorktown Heights, USA
Manu Sridharan , IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
Max Schäfer , Oxford University, Oxford, United Kingdom
Julian Dolby , IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
pp. 71-80

Refactoring pipe-like mashups for end-user programmers (Abstract)

Sebastian Elbaum , University of Nebraska - Lincoln, Lincoln, NE, USA
Kathryn T. Stolee , University of Nebraska - Lincoln, Lincoln, NE, USA
pp. 81-90

Mining message sequence graphs (Abstract)

Sandeep Kumar , National University of Singapore, Singapore, Singapore
Siau-Cheng Khoo , National University of Singapore, Singapore, Singapore
Abhik Roychoudhury , National University of Singapore, Singapore, Singapore
David Lo , Singapore Management University, Singapore, Singapore
pp. 91-100

Automatically detecting and describing high level actions within methods (Abstract)

Lori Pollock , University of Delaware, Newark, DE, USA
K. Vijay-Shanker , University of Delaware, Newark, DE, USA
Giriprasad Sridhara , University of Delaware, Newark, DE, USA
pp. 101-110

Portfolio: finding relevant functions and their usage (Abstract)

Collin McMillan , College of William & Mary, Williamsburg, VA, USA
Denys Poshyvanyk , College of William & Mary, Williamsburg, VA, USA
Chen Fu , Accenture Technology Lab, Chicago, IL, USA
Qing Xie , Accenture Technology Lab, Chicago, IL, USA
Mark Grechanik , Accenture Technology Lab, Chicago, IL, USA
pp. 111-120

Angelic debugging (Abstract)

Satish Chandra , IBM Research, Yorktown Heights, NY, USA
Emina Torlak , IBM Research, Yorktown Heights, NY, USA
Rastislav Bodik , University of California, Berkeley, Berkeley, CA, USA
Shaon Barman , University of California, Berkeley, Berkeley, CA, USA
pp. 121-130

Static extraction of program configuration options (Abstract)

Ariel Rabkin , University of California, Berkeley, Berkeley, CA, USA
Randy Katz , University of California, Berkeley, Berkeley, CA, USA
pp. 131-140

An empirical study of build maintenance effort (Abstract)

Bram Adams , Queen's University, Kingston, ON, Canada
Thanh H.D. Nguyen , Queen's University, Kingston, ON, Canada
Yasutaka Kamei , Queen's University, Kingston, ON, Canada
Shane McIntosh , Queen's University, Kingston, ON, Canada
Ahmed E. Hassan , Queen's University, Kingston, ON, Canada
pp. 141-150

An empirical investigation into the role of API-level refactorings during software evolution (Abstract)

Miryung Kim , The University of Texas at Austin, Austin, TX, USA
Dongxiang Cai , Hong Kong University of Science and Technology, Hong Kong, China
Sunghun Kim , Hong Kong University of Science and Technology, Hong Kong, China
pp. 151-160

Factors leading to integration failures in global feature-oriented development: an empirical analysis (Abstract)

Marcelo Cataldo , Carnegie Mellon University, Pittsburgh, PA, USA
James D. Herbsleb , Carnegie Mellon University, Pittsburgh, PA, USA
pp. 161-170

Assessing programming language impact on development and maintenance: a study on c and c++ (Abstract)

Pamela Bhattacharya , University of California, Riverside, Riverside, CA, USA
Iulian Neamtiu , University of California, Riverside, Riverside, CA, USA
pp. 171-180

On-demand feature recommendations derived from mining public product descriptions (Abstract)

Bamshad Mobasher , DePaul University, Chicago, IL, USA
Jane Cleland-Huang , DePaul University, Chicago, IL, USA
Carlos Castro-Herrera , DePaul University, Chicago, IL, USA
Mehdi Mirakhorli , DePaul University, Chicago, IL, USA
Negar Hariri , DePaul University, Chicago, IL, USA
Marek Gibiec , DePaul University, Chicago, IL, USA
Horatiu Dumitru , DePaul University, Chicago, IL, USA
pp. 181-190

Inferring better contracts (Abstract)

Nikolay Kazmin , ETH Zürich, Zürich, Switzerland
Carlo A. Furia , ETH Zürich, Zürich, Switzerland
Bertrand Meyer , ETH Zürich, Zürich, Switzerland
Yi Wei , ETH Zürich, Zürich, Switzerland
pp. 191-200

LIME: a framework for debugging load imbalance in multi-threaded execution (Abstract)

Jungju Oh , Georgia Institute of Technology, Atlanta, GA, USA
Guru Venkataramani , George Washington University, Washington, DC, USA
Christopher J. Hughes , Intel Corporation, Santa Clara, CA, USA
Milos Prvulovic , Georgia Institute of Technology, Atlanta, GA, USA
pp. 201-210

Synthesis of live behaviour models for fallible domains (Abstract)

Nicolás D'Ippolito , Universidad de Buenos Aires, Buenos Aires, Argentina & Imperial College London, London, United Kingdom
Nir Piterman , University of Leicester, Leicester, United Kingdom
Sebastián Uchitel , Imperial College London, London, United Kingdom & Universidad de Buenos Aires, Buenos Aires, Argentina
Victor Braberman , Universidad de Buenos Aires, Buenos Aires, Argentina
pp. 211-220

Coverage guided systematic concurrency testing (Abstract)

Mahmoud Said , Western Michigan University, Kalamazoo, MI, USA
Chao Wang , NEC Laboratories America, United States, USA
Aarti Gupta , NEC Laboratories America, United States, USA
pp. 221-230

Inference of field initialization (Abstract)

Michael D. Ernst , University of Washington, Seattle, WA, USA
Fausto Spoto , Università di Verona, Verona, Italy
pp. 231-240

Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders (Abstract)

Eric Bodden , Technische Universität Darmstadt & Center for Advanced Security Research Darmstadt, Darmstadt, Germany
Jan Sinschek , Technische Universität Darmstadt & Center for Advanced Security Research Darmstadt, Darmstadt, Germany
Andreas Sewe , Technische Universität Darmstadt & Center for Advanced Security Research Darmstadt, Darmstadt, Germany
Mira Mezini , Technische Universität Darmstadt & Center for Advanced Security Research Darmstadt, Darmstadt, Germany
Hela Oueslati , Technische Universität Darmstadt & Center for Advanced Security Research Darmstadt, Darmstadt, Germany
pp. 241-250

Patching vulnerabilities with sanitization synthesis (Abstract)

Muath Alkhalaf , University of California at Santa Barbara, Santa Barbara, CA, USA
Tevfik Bultan , University of California at Santa Barbara, Santa Barbara, CA, USA
Fang Yu , National Chengchi University, Taipei City, Taiwan Roc
pp. 251-260

Configuring global software teams: a multi-company analysis of project productivity, quality, and profits (Abstract)

Marcelo Cataldo , Carnegie Mellon University, Pittsburgh, PA, USA
Rajesh Krishna Balan , Singapore Management University, Singapore, Singapore
Narayan Ramasubbu , Singapore Management University, Singapore, Singapore
James D. Herbsleb , Carnegie Mellon University, Pittsburgh, PA, USA
pp. 261-270

Does the initial environment impact the future of developers (Abstract)

Minghui Zhou , Peking University, Beijing, China
Audris Mockus , Avaya Labs Research, Basking Ridge, NJ, USA
pp. 271-280

Socio-technical developer networks: should we trust our measurements? (Abstract)

Laurie Williams , North Carolina State University, Raleigh, NC, USA
Andrew Meneely , North Carolina State University, Raleigh, NC, USA
pp. 281-290

Model projection: simplifying models in response to restricting the environment (Abstract)

David Clark , University College London, London, United Kingdom
Nicolas Gold , University College London, London, United Kingdom
Mark Harman , University College London, London, United Kingdom
Zheng Li , University College London, London, United Kingdom
David Binkley , Loyola University Maryland, Baltimore, MD, USA
Kelly Androutsopoulos , University College London, London, United Kingdom
Kevin Lano , King's College London, London, United Kingdom
pp. 291-300

MeCC: memory comparison-based clone detector (Abstract)

Yungbum Jung , Seoul National University, Seoul, South Korea
Kwankeun Yi , Seoul National University, Seoul, South Korea
Sunghun Kim , The Hong Kong University of Science and Technology, Hong Kong, China
Heejung Kim , Seoul National University, Seoul, South Korea
pp. 301-310

Frequency and risks of changes to clones (Abstract)

Rainer Koschke , University of Bremen, Bremen, Germany
Nils Göde , University of Bremen, Bremen, Germany
pp. 311-320

Symbolic model checking of software product lines (Abstract)

Andreas Classen , University of Namur, Namur, Belgium
Pierre-Yves Schobbens , University of Namur, Namur, Belgium
Patrick Heymans , University of Namur, Namur, Belgium
Axel Legay , University of Liège, Liège, Belgium
pp. 321-330

Verifying multi-threaded software using smt-based context-bounded model checking (Abstract)

Bernd Fischer , University of Southampton, Southampton, United Kingdom
Lucas Cordeiro , University of Southampton, Southampton, United Kingdom
pp. 331-340

Run-time efficient probabilistic model checking (Abstract)

Giordano Tamburrelli , Politecnico di Milano, Milano, Italy
Carlo Ghezzi , Politecnico di Milano, Milano, Italy
Antonio Filieri , Politecnico di Milano, Milano, Italy
pp. 341-350

Non-essential changes in version histories (Abstract)

David Kawrykow , McGill University, Montréal, PQ, Canada
Martin P. Robillard , McGill University, Montréal, PQ, Canada
pp. 351-360

Aspect recommendation for evolving software (Abstract)

Hoan Anh Nguyen , Iowa State University, Ames, IA, USA
Tien N. Nguyen , Iowa State University, Ames, IA, USA
Hung Viet Nguyen , Iowa State University, Ames, IA, USA
Tung Thanh Nguyen , Iowa State University, Ames, IA, USA
pp. 361-370

Identifying program, test, and environmental changes that affect behaviour (Abstract)

Reid Holmes , University of Waterloo, Waterloo, ON, Canada
David Notkin , University of Washington, Seattle, WA, USA
pp. 371-380

Program abstractions for behaviour validation (Abstract)

Guido de Caso , University of Buenos Aires, Buenos Aires, Argentina
Víctor Braberman , University of Buenos Aires, Buenos Aires, Argentina
Diego Garbervetsky , University of Buenos Aires, Buenos Aires, Argentina
Sebastián Uchitel , Imperial College, London, United Kingdom
pp. 381-390

Programs, tests, and oracles: the foundations of testing revisited (Abstract)

Matt Staats , University of Minnesota, St. Paul, MN, USA
Michael W. Whalen , University of Minnesota, St. Paul, MN, USA
Mats P.E. Heimdahl , University of Minnesota, St. Paul, MN, USA
pp. 391-400

RACEZ: a lightweight and non-invasive race detection tool for production applications (Abstract)

Neil Vachharajani , Google, Inc, Mountain View, CA, USA
Tianwei Sheng , Tsinghua University, Beijing, China
Stephane Eranian , Google, Inc, Mountain View, CA, USA
Robert Hundt , Google, Inc, Mountain View, CA, USA
Wenguang Chen , Tsinghua University, Beijing, China
Weimin Zheng , Tsinghua University, Beijing, China
pp. 401-410

Detecting software modularity violations (Abstract)

Sunny Wong , Drexel University, Philadelphia, PA, USA
Yuanfang Cai , Drexel University, Philadelphia, PA, USA
Michael Dalton , Drexel University, Philadelphia, PA, USA
Miryung Kim , The University of Texas at Austin, Austin, TX, USA
pp. 411-420

Feature cohesion in software product lines: an exploratory study (Abstract)

Dirk Beyer , University of Passau, Passau, Germany and Simon Frasier University, Vancouver, BC, Canada
Sven Apel , University of Passau, Passau, Germany
pp. 421-430

Leveraging software architectures to guide and verify the development of sense/compute/control applications (Abstract)

Julia Lawall , DIKU/INRIA/LIP6, Bordeaux, France
Charles Consel , University of Bordeaux, Bordeaux, France
Emilie Balland , University of Bordeaux, Bordeaux, France
Damien Cassou , University of Bordeaux, Bordeaux, France
pp. 431-440

Refactoring to role objects (Abstract)

Friedrich Steimann , Fernuniversität in Hagen, Hagen, Germany
Fabian Urs Stolz , Volkswohl Bund Versicherungen, Dortmund, Germany
pp. 441-450

Supporting professional spreadsheet users by generating leveled dataflow diagrams (Abstract)

Martin Pinzger , Delft University of Technology, Delft, Netherlands
Arie van Deursen , Delft University of Technology, Delft, Netherlands
Felienne Hermans , Delft University of Technology, Delft, Netherlands
pp. 451-460

Reverse engineering feature models (Abstract)

Steven She , University of Waterloo, Waterloo, ON, Canada
Rafael Lotufo , University of Waterloo, Waterloo, ON, Canada
Krzysztof Czarnecki , University of Waterloo, Waterloo, ON, Canada
Thorsten Berger , University of Leipzig, Leipzig, Germany
Andrzej Wasowski , IT University of Copenhagen, Copenhagen, Denmark
pp. 461-470

Empirical assessment of MDE in industry (Abstract)

John Hutchinson , Lancaster University, Lancaster, United Kingdom
Mark Rouncefield , Lancaster University, Lancaster, United Kingdom
Steinar Kristoffersen , Østfold University College and Møreforskning Molde AS, Halden, Norway
Jon Whittle , Lancaster University, Lancaster, United Kingdom
pp. 471-480

Dealing with noise in defect prediction (Abstract)

Rongxin Wu , Tsinghua University, Beijing, China
Liang Gong , Tsinghua University, Beijing, China
Sunghun Kim , Hong Kong University of Science and Technology, Hong Kong, China
Hongyu Zhang , Tsinghua University, Beijing, China
pp. 481-490

Ownership, experience and defects: a fine-grained study of authorship (Abstract)

Premkumar Devanbu , University of California, Davis, Davis, CA, USA
Foyzur Rahman , University of California, Davis, Davis, CA, USA
pp. 491-500

Interface decomposition for service compositions (Abstract)

Corina S. Pasareanu , NASA Ames Research Center & Carnegie Mellon Silicon Valley, Moffett Field, CA, USA
Domenico Bianculli , University of Lugano, Lugano, Switzerland
Dimitra Giannakopoulou , NASA Ames Research Center & Carnegie Mellon Silicon Valley, Moffett Field, CA, USA
pp. 501-510

Unifying execution of imperative and declarative code (Abstract)

Derek Rayside , Massachusetts Institute of Technology, Cambridge, MA, USA
Kuat Yessenov , Massachusetts Institute of Technology, Cambridge, MA, USA
Aleksandar Milicevic , Massachusetts Institute of Technology, Cambridge, MA, USA
Daniel Jackson , Massachusetts Institute of Technology, Cambridge, MA, USA
pp. 511-520

Always-available static and dynamic feedback (Abstract)

Michael Bayne , University of Washington, Seattle, WA, USA
Richard Cook , University of Washington, Seattle, WA, USA
Michael D. Ernst , University of Washington, Seattle, WA, USA
pp. 521-530

Improving requirements quality using essential use case interaction patterns (Abstract)

Massila Kamalrudin , University of Auckland, Auckland, New Zealand
John Hosking , University of Auckland, Auckland, New Zealand
John Grundy , Swinburne University of Technology, Hawthorn Victoria, New Zealand
pp. 531-540

Understanding broadcast based peer review on open source software projects (Abstract)

Peter C. Rigby , University of Victoria, Victoria, BC, Canada
Margaret-Anne Storey , University of Victoria, Victoria, BC, Canada
pp. 541-550

Software systems as cities: a controlled experiment (Abstract)

Romain Robbes , University of Chile, Santiago, Chile
Michele Lanza , University of Lugano, Lugano, Switzerland
Richard Wettel , University of Lugano, Lugano, Switzerland
pp. 551-560

Automated cross-browser compatibility testing (Abstract)

Mukul R. Prasad , Fujitsu Laboratories of America, Sunnyvale, CA, USA
Ali Mesbah , University of British Columbia, Vancouver, BC, Canada
pp. 561-570

A framework for automated testing of javascript web applications (Abstract)

Shay Artzi , IBM Research, Yorktown Heights, NY, USA
Frank Tip , IBM Research, Yorktown Heights, NY, USA
Simon Holm Jensen , Aarhus University, Aarhus, Denmark
Julian Dolby , IBM Research, Yorktown Heights, NY, USA
Anders Møller , Aarhus University, Aarhus, Denmark
pp. 571-580

Coalescing executions for fast uncertainty analysis (Abstract)

William N. Sumner , Purdue University, Lafayette, IN, USA
Tao Bao , Purdue University, Lafayette, IN, USA
Xiangyu Zhang , Purdue University, Lafayette, IN, USA
Sunil Prabhakar , Purdue University, Lafayette, IN, USA
pp. 581-590

Mining parametric specifications (Abstract)

Choonghwan Lee , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Grigore Rosu , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Feng Chen , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
pp. 591-600

Estimating footprints of model operations (Abstract)

Cédric Jeanneret , University of Zurich, Zurich, Switzerland
Benoit Baudry , IRISA, Rennes, France
Martin Glinz , University of Zurich, Zurich, Switzerland
pp. 601-610

Precise identification of problems for structural test generation (Abstract)

Xusheng Xiao , North Carolina State University, Raleigh, NC, USA
Tao Xie , North Carolina State University, Raleigh, NC, USA
Nikolai Tillmann , Microsoft Research, Redmond, WA, USA
Jonathan de Halleux , Microsoft Research, Redmond, WA, USA
pp. 611-620

Interactivity, continuity, sketching, and experience: (keynote abstract) (Abstract)

Kumiyo Nakakoji , Software Research Associates Inc., Japan, Japan
pp. 621

Exciting new trends in design thinking (Abstract)

Bill Dresselhaus , DRESSELHAUSgroup Inc., USA/Korea, USA, USA
pp. 622

A case study of measuring process risk for early insights into software safety (Abstract)

Lucas Layman , Fraunhofer CESE, College Park, MD, USA
Marvin V. Zelkowitz , University of Maryland & Fraunhofer CESE, College Park, MD, USA
Victor R. Basili , University of Maryland & Fraunhofer CESE, College Park, MD, USA
Karen L. Fisher , NASA Goddard Spaceflight Center, Greenbelt, MD, USA
pp. 623-632

Model-driven engineering practices in industry (Abstract)

Jon Whittle , Lancaster University, Lancaster, United Kingdom
Mark Rouncefield , Lancaster University, Lancaster, United Kingdom
John Hutchinson , Lancaster University, Lancaster, United Kingdom
pp. 633-642

SORASCS: a case study in soa-based platform design for socio-cultural analysis (Abstract)

Kathleen M. Carley , Carnegie Mellon University, Pittsburgh, PA, USA
Vishal Dwivedi , Carnegie Mellon University, Pittsburgh, PA, USA
David Garlan , Carnegie Mellon University, Pittsburgh, PA, USA
Bradley Schmerl , Carnegie Mellon University, Pittsburgh, PA, USA
Michael W. Bigrigg , Carnegie Mellon University, Pittsburgh, PA, USA
pp. 643-652

A method for selecting SOA pilot projects including a pilot metrics framework (Abstract)

Jon Gray , NICTA & ANU, Yarralumla, Australia
Liam O'Brien , CSIRO & ANU, Yarralumla, Australia
James Gibson , NICTA, Canberra, Australia
pp. 653-662

Architecture evaluation without an architecture: experience with the smart grid (Abstract)

James Ivers , Carnegie Mellon University, Pittsburgh, PA, USA
Rick Kazman , Carnegie Mellon University & University of Hawaii, Pittsburgh, PA, USA
Gabriel A. Moreno , Carnegie Mellon University, Pittsburgh, PA, USA
Len Bass , Carnegie Mellon University, Pittsburgh, PA, USA
pp. 663-670

Bringing domain-specific languages to digital forensics (Abstract)

Jeroen van den Bos , Netherlands Forensic Institute, Den Haag, Netherlands
Tijs van der Storm , Centrum Wiskunde & Informatica, Amsterdam, Netherlands
pp. 671-680

Building and using pluggable type-checkers (Abstract)

Todd W. Schiller , University of Washington, Seattle, WA, USA
Stephanie Dietzel , University of Washington, Seattle, WA, USA
Werner Dietl , University of Washington, Seattle, WA, USA
Michael D. Ernst , University of Washington, Seattle, WA, USA
Kivanç Muslu , University of Washington, Seattle, WA, USA
pp. 681-690

Deploying CogTool: integrating quantitative usability assessment into real-world software development (Abstract)

Rachel Bellamy , IBM T. J. Watson Research Center, Hawthorne, NY, USA
Sandra Kogan , IBM Software Group, Cambridge, MA, USA
Bonnie John , IBM T. J. Watson Research Center, Hawthorne, NY & Carnegie Mellon University, Pittsburgh, PA, USA
pp. 691-700

Experiences with text mining large collections of unstructured systems development artifacts at jpl (Abstract)

Allen Nikora , California Institute of Technology, Pasadena, CA, USA
Dan Port , University of Hawaii, Honolulu, HI, USA
LiGuo Huang , Southern Methodist University, Dallas, TX, USA
Jairus Hihn , California Institute of Technology, Pasadena, CA, USA
pp. 701-710

An evaluation of the internal quality of business applications: does size matter? (Abstract)

Bill Curtis , CAST, Fort Worth, TX, USA
Jay Sappidi , CAST, New York, NY, USA
Jitendra Subramanyam , CAST, New York, NY, USA
pp. 711-715

Characterizing the differences between pre- and post- release versions of software (Abstract)

Sung-eok Jeon , Microsoft Windows Reliability Team, Redmond, WA, USA
Andrew J. Ko , University of Washington, Seattle, WA, USA
Nachiappan Nagappan , Microsoft Research, Redmond, WA, USA
Brendan Murphy , Microsoft Research, Redmond, WA, USA
Zhiyuan Zhan , Microsoft Windows Reliability Team, Redmond, WA, USA
Paul Luo Li , Microsoft Windows Reliability Team & University of Washington, Redmond, WA, USA
Ryan Kivett , Microsoft Windows Reliability Team, Redmond, WA, USA
pp. 716-725

Why software quality improvement fails: (and how to succeed nevertheless) (Abstract)

Jonathan Streit , itestra GmbH, München, Germany
Markus Pizka , itestra GmbH, München, Germany
pp. 726-735

Code coverage analysis in practice for large systems (Abstract)

Onn Shehory , IBM Research, Haifa, Israel
Nadav Steindler , IBM Research, Haifa, Israel
Shmuel Ur , Shmuel Ur Innovation, Israel, Israel
Yoram Adler , IBM Research, Haifa, Israel
Noam Behar , Microsoft R&D Center, Israel, Israel
Orna Raz , IBM Research, Haifa, Israel
Aviad Zlotnick , IBM Research, Haifa, Israel
pp. 736-745

Practical change impact analysis based on static program slicing for industrial software systems (Abstract)

Mithun Acharya , ABB Corporate Research, Raleigh, NC, USA
Brian Robinson , ABB Corporate Research, Raleigh, NC, USA
pp. 746-755

Value-based program characterization and its application to software plagiarism detection (Abstract)

Xinran Wang , Penn State University, University Park, PA, USA
Peng Liu , Penn State University, University Park, PA, USA
Yoon-Chan Jhi , Penn State University, University Park, PA, USA
Xiaoqi Jia , Chinese Academy of Sciences, China, China
Sencun Zhu , Penn State University, University Park, PA, USA
Dinghao Wu , Penn State University, University Park, PA, USA
pp. 756-765

A comparison of model-based and judgment-based release planning in incremental software projects (Abstract)

Hans Christian Benestad , Simula Research Laboratory, Lysaker, Norway
Jo E. Hannay , Simula Research Laboratory, Lysaker, Norway
pp. 766-775

An industrial case study on quality impact prediction for evolving service-oriented software (Abstract)

Mircea Trifu , Research Center for Information Technology (FZI), Karlsruhe, Germany
Carlos Bilich , ABB Corporate Research, Ladenburg, Germany
Steffen Becker , University of Paderborn, Paderborn, Germany
Heiko Koziolek , ABB Corporate Research, Ladenburg, Germany
Anne Koziolek , Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany
Bastian Schlich , ABB Corporate Research, Ladenburg, Germany
Raffaela Mirandola , Politecnico di Milano, Milano, Italy
Klaus Krogmann , Research Center for Information Technology (FZI), Karlsruhe, Germany
Roland Weiss , ABB Corporate Research, Ladenburg, Germany
pp. 776-785

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language (Abstract)

Lionel C. Briand , Simula Research Laboratory & University of Oslo, Lysaker, Norway
Yvan Labiche , Carleton University, Ottawa, ON, Canada
Wladimir Araujo , Juniper Networks, Ottawa, ON, Canada
pp. 786-795

The hidden experts in software-engineering communication: NIER track (Abstract)

Irwin Kwan , University of Victoria, Victoria, BC, Canada
Daniela Damian , University of Victoria, Victoria, BC, Canada
pp. 800-803

How do programmers ask and answer questions on the web?: NIER track (Abstract)

Christoph Treude , University of Victoria, Victoria, BC, Canada
Ohad Barzilay , Tel-Aviv University, Tel-Aviv, Israel
Margaret-Anne Storey , University of Victoria, Victoria, BC, Canada
pp. 804-807

Sketching tools for ideation: NIER track (Abstract)

Paul Matchen , IBM T. J. Watson Research Center, Hawthorne, NY, USA
Rachel Bellamy , IBM T. J. Watson Research Center, Hawthorne, NY, USA
Jacquelyn Martino , IBM T. J. Watson Research Center, Hawthorne, NY, USA
Harold Ossher , IBM T. J. Watson Research Center, Hawthorne, NY, USA
John Richards , IBM T. J. Watson Research Center, Hawthorne, NY, USA
Cal Swart , IBM T. J. Watson Research Center, Hawthorne, NY, USA
Michael Desmond , IBM T. J. Watson Research Center, Hawthorne, NY, USA
pp. 808-811

Digitally annexing desk space for software development: NIER track (Abstract)

John Hardy , Lancaster University, Lancaster, United Kingdom
Christopher Bull , Lancaster University, Lancaster, United Kingdom
Gerald Kotonya , Lancaster University, Lancaster, United Kingdom
Jon Whittle , Lancaster University, Lancaster, United Kingdom
pp. 812-815

Information foraging as a foundation for code navigation: NIER track (Abstract)

Gary Bradshaw , Mississippi State University, Mississippi State, MS, USA
Nan Niu , Mississippi State University, Mississippi State, MS, USA
Anas Mahmoud , Mississippi State University, Mississippi State, MS, USA
pp. 816-819

Identifying method friendships to remove the feature envy bad smell: NIER track (Abstract)

Malcom Gethers , The College of William and Mary, Williamsburg, VA, USA
Gabriele Bavota , University of Salerno, Fisciano, Italy
Andrea De Lucia , University of Salerno, Fisciano, Italy
Denys Poshyvanyk , The College of William and Mary, Williamsburg, VA, USA
Rocco Oliveto , University of Molise, Pesche, Italy
pp. 820-823

The code orb: supporting contextualized coding via at-a-glance views (NIER track) (Abstract)

Nicolas Lopez , University of California, Irvine, Irvine, CA, USA
André van der Hoek , University of California, Irvine, Irvine, CA, USA
pp. 824-827

Permission-based programming languages: NIER track (Abstract)

Karl Naden , Carnegie Mellon University, Pittsburgh, PA, USA
Sven Stork , Carnegie Mellon University, Pittsburgh, PA, USA
Joshua Sunshine , Carnegie Mellon University, Pittsburgh, PA, USA
Mark Hahnenberg , Carnegie Mellon University, Pittsburgh, PA, USA
Manuel Mohr , Carnegie Mellon University & Karlsruhe Institute of Technology, Pittsburgh, PA, USA
Éric Tanter , University of Chile, Santiago, Chile
Ronald Garcia , Carnegie Mellon University, Pittsburgh, PA, USA
Darpan Saini , Carnegie Mellon University, Pittsburgh, PA, USA
Jonathan Aldrich , Carnegie Mellon University, Pittsburgh, PA, USA
Roger Wolff , Carnegie Mellon University, Pittsburgh, PA, USA
pp. 828-831

Toward a better understanding of tool usage: NIER track (Abstract)

Jelena Vlasenko , Free University of Bolzano / Bozen, Bozen-Bolzano, Italy
Alberto Sillitti , Free University of Bolzano / Bozen, Bozen-Bolzano, Italy
Giancarlo Succi , Free University of Bolzano / Bozen, Bozen-Bolzano, Italy
pp. 832-835
Papers

Blending freeform and managed information in tables: NIER track (Abstract)

Sophia Krasikov , IBM T.J. Watson Research Center, Hawthorne, NY, USA
Nicolas Mangano , University of California, Irvine & IBM T.J. Watson Research Center, Irvine, CA, USA
Matthew Callery , IBM T.J. Watson Research Center, Hawthorne, NY, USA
Ian Simmonds , IBM T.J. Watson Research Center, Hawthorne, NY, USA
Michael Desmond , IBM T.J. Watson Research Center, Hawthorne, NY, USA
Harold Ossher , IBM T.J. Watson Research Center, Hawthorne, NY, USA
pp. 840-843

Design and implementation of a data analytics infrastructure in support of crisis informatics research: NIER track (Abstract)

Kenneth M. Anderson , University of Colorado, Boulder, CO, USA
Aaron Schram , University of Colorado, Boulder, CO, USA
pp. 844-847

A domain specific requirements model for scientific computing: NIER track (Abstract)

Jonas Helming , Technische Universität München, Garching, Germany
Yang Li , Technische Universität München, Garching, Germany
Maximilian Koegel , Technische Universität München, Garching, Germany
Nitesh Narayan , Technische Universität München, Garching, Germany
pp. 848-851

CREWW: collaborative requirements engineering with wii-remotes (NIER track) (Abstract)

Felix Bott , University of Trier, Trier, Germany
Rainer Lutz , University of Trier, Trier, Germany
Stephan Diehl , University of Trier, Trier, Germany
pp. 852-855

Learning to adapt requirements specifications of evolving systems: (NIER track) (Abstract)

Bashar Nuseibeh , The Open University, UK, Lero, Ireland
Rafael V. Borges , City University London, London, United Kingdom
Artur d'Avila Garcez , City University London, London, United Kingdom
Luis C. Lamb , UFRGS, Brazil, Brazil
pp. 856-859

Towards overcoming human analyst fallibility in the requirements tracing process: NIER track (Abstract)

Jeff Holden , California Polytechnic State University, San Luis Obispo, CA, USA
Jane Huffman Hayes , University of Kentucky, Louisville, KY, USA
Wei-Keat Kong , University of Kentucky, Louisville, KY, USA
Alex Dekhtyar , California Polytechnic State University, San Luis Obispo, CA, USA
David Cuddeback , California Polytechnic State University, San Luis Obispo, CA, USA
pp. 860-863

Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution: NIER track (Abstract)

Alexander Nöhrer , Johannes Kepler University, Linz, Austria
Alexander Egyed , Johannes Kepler University, Linz, Austria
Alexander Reder , Johannes Kepler University, Linz, Austria
pp. 864-867

Matching logic: a new program verification approach (NIER track) (Abstract)

Grigore Rosu , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Andrei Stefanescu , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
pp. 868-871

Model-based performance testing: NIER track (Abstract)

Marin Litoiu , York University, Toronto, ON, Canada
Cornel Barna , York University, Toronto, ON, Canada
Hamoun Ghanbari , York University, Toronto, ON, Canada
pp. 872-875

Tuple density: a new metric for combinatorial test suites (NIER track) (Abstract)

Jian Zhang , Chinese Academy of Sciences, Beijing, China
Baiqiang Chen , Chinese Academy of Sciences, Beijing, China
pp. 876-879

Search-enhanced testing: NIER track (Abstract)

Oliver Hummel , University of Mannheim, Mannheim, Germany
Werner Janjic , University of Mannheim, Mannheim, Germany
Colin Atkinson , University of Mannheim, Mannheim, Germany
pp. 880-883

Fuzzy set-based automatic bug triaging: NIER track (Abstract)

Jafar Al-Kofahi , Iowa State University, Ames, IA, USA
Ahmed Tamrawi , Iowa State University, Ames, IA, USA
Tien N. Nguyen , Iowa State University, Ames, IA, USA
Tung Thanh Nguyen , Iowa State University, Ames, IA, USA
pp. 884-887

Exploiting hardware advances for software testing and debugging: NIER track (Abstract)

Kristen R. Walcott , University of Virginia, Charlottesville, VA, USA
Jason Mars , University of Virginia, Charlottesville, VA, USA
Mary Lou Soffa , University of Virginia, Charlottesville, VA, USA
pp. 888-891

Better testing through oracle selection: (NIER track) (Abstract)

Matt Staats , University of Minnesota, Twin Cities, MN, USA
Mats P.E. Heimdahl , University of Minnesota, Twin Cities, MN, USA
Michael W. Whalen , University of Minnesota, Twin Cities, MN, USA
pp. 892-895

Tracking data structures for postmortem analysis: (NIER track) (Abstract)

Jinguo Zhou , Hong Kong University of Science and Technology, Hong Kong, Hong Kong
Xiao Xiao , Hong Kong University of Science and Technology, Hong Kong, Hong Kong
Charles Zhang , Hong Kong University of Science and Technology, Hong Kong, Hong Kong
pp. 896-899

Iterative context-aware feature location: (NIER track) (Abstract)

Xin Peng , Fudan University, Shanghai, China
Xi Tan , Fudan University, Shanghai, China
Wenyun Zhao , Fudan University, Shanghai, China
Zhenchang Xing , National University of Singapore, Singapore, Singapore
Yijun Yu , The Open University, Walton Hall, United Kingdom
pp. 900-903

A study of ripple effects in software ecosystems: (NIER track) (Abstract)

Mircea Lungu , University of Bern, Bern, Switzerland
Romain Robbes , University of Chile, Santiago, Chile
pp. 904-907

Tracing architectural concerns in high assurance systems: (NIER track) (Abstract)

Jane Cleland-Huang , DePaul University, Chicago, IL, USA
Mehdi Mirakhorli , DePaul University, Chicago, IL, USA
pp. 908-911

A combination approach for enhancing automated traceability: (NIER track) (Abstract)

John Hosking , University of Auckland, Auckland, New Zealand
John Grundy , Swinburne University of Technology, Melbourne, Australia
Xiaofan Chen , University of Auckland, Auckland, New Zealand
pp. 912-915

Capturing tacit architectural knowledge using the repertory grid technique (NIER track): (nier track) (Abstract)

Matthias Galster , University of Groningen, Netherlands, Netherlands
Dan Tofan , University of Groningen, Netherlands, Netherlands
Paris Avgeriou , University of Groningen, Netherlands, Netherlands
pp. 916-919

Flexible generators for software reuse and evolution: NIER Track (Abstract)

Ha Duy Trung , National University of Singapore, Singapore, Singapore
Stan Jarzabek , National University of Singapore, Singapore, Singapore
pp. 920-923

The lazy initialization multilayered modeling framework: NIER track (Abstract)

Fabien Dagnat , Université Européenne de Bretagne & Institut Télécom/Télécom Bretagne, Bretagne, France
Fahad R. Golra , Université Européenne de Bretagne & Institut Télécom/Télécom Bretagne, Bretagne, France
pp. 924-927

Towards architectural information in implementation: NIER track (Abstract)

Klaus Marius Hansen , University of Copenhagen, Copenhagen, Denmark
Henrik Bærbak Christensen , Aarhus University, Aarhus, Denmark
pp. 928-931

Topic-based defect prediction: NIER track (Abstract)

Tien N. Nguyen , Iowa State University, Des Moines, IA, USA
Tung Thanh Nguyen , Iowa State University, Des Moines, IA, USA
Tu Minh Phuong , Posts and Telecommunications Institute of Technology, Vietnam, Vietnam
pp. 932-935

Automated usability evaluation of parallel programming constructs: nier track (Abstract)

Victor Pankratius , Karlsruhe Institute of Technology, Karlsruhe, Germany
pp. 936-939

Data analytics for game development: NIER track (Abstract)

Eric Schuh , Microsoft Game Studios, Redmond, WA, USA
John Hopson , Bungie Studios, Bellevue, WA, USA
Kenneth Hullett , University of California at Santa Cruz, Santa Cruz, CA, USA
Nachiappan Nagappan , Microsoft Research, Redmond, WA, USA
pp. 940-943

Mining service abstractions: NIER track (Abstract)

Panos Vassiliadis , Univ. of Ioannina Greece, Ioannina, Greece
Valerie Issarny , INRIA-Paris-Rocquecourt, Paris, France
Apostolos V. Zarras , University of Ioannina Greece, Ioannina, Greece
Dionysis Athanasopoulos , University of Ioannina Greece, Ioannina, Greece & INRIA-Paris-Rocquecourt, Paris, France
pp. 944-947

A software behaviour analysis framework based on the human perception systems: NIER track (Abstract)

Heidar Pirzadeh , Concordia University, Montreal, Quebec, Canada
Abdelwahab Hamou-Lhadj , Concordia University, Montreal, Quebec, Canada
pp. 948-951

Dynamic shape analysis of program heap using graph spectra: nier track (Abstract)

Muhammad Zubair Malik , University of Texas at Austin, Austin, TX, USA
pp. 952-955

Program analysis: from qualitative analysis to quantitative analysis (NIER track) (Abstract)

Jian Zhang , Chinese Academy of Sciences, Beijing, China
Sheng Liu , Chinese Academy of Sciences, Beijing, China
pp. 956-959

Diagnosing new faults using mutants and prior faults (NIER track) (Abstract)

Zude Li , University of Western Ontario, London, ON, Canada
Nazim Madhavji , University of Western Ontario, London, ON, Canada
Syed Shariyar Murtaza , University of Western Ontario, London, ON, Canada
Mechelle Gittens , University of Western Ontario, London, ON, Canada & University of West Indies, Cave Hill, Barbados
pp. 960-963

Empirical results on the study of software vulnerabilities: NIER track (Abstract)

Harvey Siy , University of Nebraska at Omaha, Omaha, NE, USA
Robin Gandhi , University of Nebraska at Omaha, Omaha, NE, USA
Yan Wu , University of Nebraska at Omaha, Omaha, NE, USA
pp. 964-967

Multifractal aspects of software development: NIER track (Abstract)

Michael W. Godfrey , University of Waterloo, Waterloo, ON, Canada
Abram Hindle , University of California, Davis, Davis, CA, USA
Richard C. Holt , University of Waterloo, Waterloo, ON, Canada
pp. 968-971

The American law institute's principles on software contracts and their ramifications for software engineering research: NIER track (Abstract)

James Williams , University of Victoria, Victoria, BC, Canada
Jens H. Weber-Jahnke , University of Victoria, Victoria, BC, Canada
pp. 972-975

Toward sustainable software engineering: NIER track (Abstract)

Amir Malik , University of California, Irvine, Irvine, CA, USA
Nadine Amsel , University of California, Irvine, Irvine, CA, USA
Bill Tomlinson , University of California, Irvine, Irvine, CA, USA
Zaid Ibrahim , University of California, Irvine, Irvine, CA, USA
pp. 976-979

MT-Scribe: an end-user approach to automate software model evolution (Abstract)

Jules White , Virginia Tech, Blacksburg, VA, USA
Yu Sun , University of Alabama at Birmingham, Birmingham, AL, USA
Jeff Gray , University of Alabama, Tuscaloosa, AL, USA
pp. 980-982

Inconsistent path detection for XML IDEs (Abstract)

Pierre Genevès , CNRS, France, France
Nabil Layaïda , INRIA, France, France
pp. 983-985

Automated security hardening for evolving UML models (Abstract)

Jan Jürjens , TU Dortmund & Fraunhofer ISST, Dortmund, Germany
pp. 986-988

JavAdaptor: unrestricted dynamic software updates for Java (Abstract)

Alexander Grebhahn , University of Magdeburg, Magdeburg, Germany
Sebastian Götz , University of Dresden, Dresden, Germany
Christian Kästner , Philipps-University Marburg, Marburg, Germany
Reimar Schröter , University of Magdeburg, Magdeburg, Germany
Mario Pukall , University of Magdeburg, Magdeburg, Germany
Walter Cazzola , University of Milano, Milan, Italy
pp. 989-991

DyTa: dynamic symbolic execution guided with static verification results (Abstract)

Tao Xie , North Carolina State University, Raleigh, NC, USA
Kunal Taneja , North Carolina State University, Raleigh, NC, USA
Xi Ge , North Carolina State University, Raleigh, NC, USA
Nikolai Tillmann , Microsoft Research, Redmond, WA, USA
pp. 992-994

Identifying opaque behavioural changes (Abstract)

David Notkin , University of Washington, Seattle, WA, USA
Reid Holmes , University of Waterloo, Waterloo, ON, Canada
pp. 995-997

FireDetective: understanding ajax client/server interactions (Abstract)

Nick Matthijssen , Delft University of Technology, Delft, Netherlands
Andy Zaidman , Delft University of Technology, Delft, Netherlands
pp. 998-1000

BQL: capturing and reusing debugging knowledge (Abstract)

Zhongxian Gu , University of California at Davis, Davis, CA, USA
Zhendong Su , University of California at Davis, Davis, CA, USA
Earl T. Barr , University of California at Davis, Davis, CA, USA
pp. 1001-1003

Covana: precise identification of problems in pex (Abstract)

Xusheng Xiao , North Carolina State University, Raleigh, NC, USA
Jonathan de Halleux , Microsoft Research, Redmond, WA, USA
Nikolai Tillmann , Microsoft Research, Redmond, WA, USA
Tao Xie , North Carolina State University, Raleigh, NC, USA
pp. 1004-1006

The quamoco tool chain for quality modeling and assessment (Abstract)

Klaus Lochmann , Technische Universität München, München, Germany
Lars Heinemann , Technische Universität München, München, Germany
Markus Herrmannsdoerfer , Technische Universität München, München, Greenland
Stefan Wagner , Technische Universität München, München, Germany
Florian Deissenboeck , Technische Universität München, München, Germany
pp. 1007-1009

ReAssert: a tool for repairing broken unit tests (Abstract)

Vilas Jagannath , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Danny Dig , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Jurand Nogiec , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Damion Mitchell , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Darko Marinov , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Tihomir Gvero , Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland
Johnston Jiaa , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Brett Daniel , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
Shin Hwei Tan , University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, USA
pp. 1010-1012

AutoBlackTest: a tool for automatic black-box testing (Abstract)

Mauro Pezzè , University of Lugano & University of Milano Bicocca, Lugano, Switzerland
Mauro Santoro , University of Milano Bicocca, Milano, Italy
Leonardo Mariani , University of Milano Bicocca, Milano, Italy
Oliviero Riganelli , University of Milano Bicocca, Milano, Italy
pp. 1013-1015

Using MATCON to generate CASE tools that guide deployment of pre-packaged applications (Abstract)

Debdoot Mukherjee , IBM Research India, Bangalore, India
Pankaj Dhoolia , IBM Research India, Bangalore, India
Sweefen Goh , IBM Research Watson, Yorktown Heights, NY, USA
Juhnyoung Lee , IBM Research Watson, Yorktown Heights, NY, USA
Pietro Mazzoleni , IBM Research Watson, Yorktown Heights, NY, USA
Elad Fein , IBM Research Haifa, Haifa, Israel
Shyh-Kwei Chen , IBM Research Watson, Yorktown Heights, NY, USA
Manisha Bhand , IBM Research Watson, Yorktown Heights, NY, USA
Shlomit Shachor , IBM Research Haifa, Haifa, Israel
Biplav Srivastava , IBM Research India, Bangalore, India
Richard Goodwin , IBM Research Watson, Yorktown Heights, NY, USA
Vibha Singhal Sinha , IBM Research India, Bangalore, India
Natalia Razinkov , IBM Research Haifa, Haifa, Israel
Senthil Mani , IBM Research India, Bangalore, India
pp. 1016-1018

SEREBRO: facilitating student project team collaboration (Abstract)

Matthew L. Hale , University of Tulsa, Tulsa, OK, USA
Rose F. Gamble , University of Tulsa, Tulsa, OK, USA
Noah M. Jorgenson , University of Tulsa, Tulsa, OK, USA
pp. 1019-1021

StakeSource2.0: using social networks of stakeholders to identify and prioritise requirements (Abstract)

Soo Ling Lim , University College London, London, United Kingdom
Anthony Finkelstein , University College London, London, United Kingdom
Daniela Damian , University of Victoria, Victoria, BC, Canada
pp. 1022-1024

Miler: a toolset for exploring email data (Abstract)

Alberto Bacchelli , University of Lugano, Lugano, Switzerland
Marco D'Ambros , University of Lugano, Lugano, Switzerland
Michele Lanza , University of Lugano, Lugano, Switzerland
pp. 1025-1027

A demonstration of a distributed software design sketching tool (Abstract)

André van der Hoek , University of California, Irvine, Irvine, CA, USA
Mitch Dempsey , University of California, Irvine, Irvine, CA, USA
Nicolas Mangano , University of California, Irvine, Irvine, CA, USA
Nicolas Lopez , University of California, Irvine, Irvine, CA, USA
pp. 1028-1030

View infinity: a zoomable interface for feature-oriented software development (Abstract)

Mathias Frisch , University of Magdeburg, Magdeburg, Germany
Janet Feigenspan , University of Magdeburg, Magdeburg, Germany
Raimund Dachselt , University of Magdeburg, Magdeburg, Germany
Michael Stengel , University of Magdeburg, Magdeburg, Germany
Christian Kästner , University of Marburg, Marburg, Germany
Sven Apel , University of Passau, Passau, Germany
pp. 1031-1033

CodeTopics: which topic am I coding now? (Abstract)

Trevor Savage , Carnegie Mellon University, Pittsburgh, PA, USA
Andrea De Lucia , University of Salerno, Fisciano, Italy
Rocco Oliveto , University of Molise, Pesche, Italy
Denys Poshyvanyk , College of William and Mary, Williamsburg, VA, USA
Massimiliano Di Penta , University of Sannio, Benevento, Italy
Malcom Gethers , College of William and Mary, Williamsburg, VA, USA
pp. 1034-1036

JDeodorant: identification and application of extract class refactorings (Abstract)

Marios Fokaefs , University of Alberta, Edmonton, AB, Canada
Nikolaos Tsantalis , University of Macedonia, Thessaloniki, Greece
Alexander Chatzigeorgiou , University of Macedonia, Thessaloniki, Greece
Eleni Stroulia , University of Alberta, Edmonton, AB, Canada
pp. 1037-1039

Evolve: tool support for architecture evolution (Abstract)

Jeff Kramer , Imperial College London, London, United Kingdom
Andrew McVeigh , Imperial College London, London, United Kingdom
Jeff Magee , Imperial College London, London, United Kingdom
pp. 1040-1042

Portfolio: a search engine for finding functions and their usages (Abstract)

Qing Xie , Accenture Technology Lab, Chicago, IL, USA
Mark Grechanik , Accenture & University of Illinios, Chicago, Chicago, IL, USA
Chen Fu , Accenture Technology Lab, Chicago, IL, USA
Denys Poshyvanyk , College of William & Mary, Williamsburg, VA, USA
Collin McMillan , College of William & Mary, Williamsburg, VA, USA
pp. 1043-1045

Impact of process simulation on software practice: an initial report (Abstract)

Dan Houston , The Aerospace Corporation, El Segundo, CA, USA
Liming Zhu , University of New South Wales, Sydney, Australia
Ross Jeffery , University of New South Wales, Sydney, Australia
He Zhang , University of New South Wales, Sydney, Australia
Liguo Huang , Southern Methodist University, Dallas, TX, USA
pp. 1046-1056

Impact of software resource estimation research on practice: a preliminary report on achievements, synergies, and challenges (Abstract)

Barry Boehm , University of Southern California, Los Angeles, CA, USA
Ricardo Valerdi , Massachusetts Institute of Technology, Cambridge, MA, USA
pp. 1057-1065

Symbolic execution for software testing in practice: preliminary assessment (Abstract)

Willem Visser , Stellenbosch University, Matieland, South Africa
Corina S. Pasareanu , Carnegie Melon University & NASA Ames, Pittsburgh, PA, USA
Cristian Cadar , Imperial College London, London, United Kingdom
Koushik Sen , University of California at Berkeley, Berkeley, CA, USA
Sarfraz Khurshid , University of Texas at Austin, Austin, TX, USA
Patrice Godefroid , Microsoft Research, Redmond, WA, USA
Nikolai Tillmann , Microsoft Research, Redmond, WA, USA
pp. 1066-1071

ICSE 2011 technical briefings (Abstract)

Andreas Zeller , Saarland University, Saarbrücken, Germany
Gail Murphy , University of British Columbia, Vancouver, BC, Canada
pp. 1072-1073

GATE: game-based testing environment (Abstract)

Ning Chen , The Hong Kong University of Science and Technology, Hong Kong, China
pp. 1078-1081

Specification mining in concurrent and distributed systems (Abstract)

Sandeep Kumar , National University of Singapore, Singapore, Singapore
pp. 1086-1089

Detecting architecturally-relevant code smells in evolving software systems (Abstract)

Isela Macia Bertran , Pontifical Catholic University of Rio de Janeiro, Rio de Janeiro, Brazil
pp. 1090-1093

Pragmatic reuse in web application development (Abstract)

Josip Maras , University of Split, Split, Croatia
pp. 1094-1097

Inconsistency management framework for model-based development (Abstract)

Alexander Reder , Johannes Kepler University, Linz, Austria
pp. 1098-1101

Mental models and parallel program maintenance (Abstract)

Caitlin Sadowski , University of California at Santa Cruz, Santa Cruz, CA, USA
pp. 1102-1105

Pragmatic prioritization of software quality assurance efforts (Abstract)

Emad Shihab , Queen's University, Kingston, ON, Canada
pp. 1106-1109

Directed test suite augmentation (Abstract)

Zhihong Xu , University of Nebraska-Lincoln, Lincoln, NE, USA
pp. 1110-1113

Reengineering legacy software products into software product line based on automatic variability analysis (Abstract)

Yinxing Xue , National University of Singapore, Singapore, Singapore
pp. 1114-1117

1.x-Way architecture-implementation mapping (Abstract)

Yongjie Zheng , University of California, Irvine, Irvine, CA, USA
pp. 1118-1121

Using software evolution history to facilitate development and maintenance (Abstract)

Pamela Bhattacharya , University of California, Riverside, Riverside, CA, USA
pp. 1122-1123

Searching, selecting, and synthesizing source code (Abstract)

Collin McMillan , College of William & Mary, Williamsburg, VA, USA
pp. 1124-1125

Predictable dynamic deployment of components in embedded systems (Abstract)

Ana Petricic , Mälardalen University, Västeräs, Sweden
pp. 1128-1129

Improving open source software patch contribution process: methods and tools (Abstract)

Bhuricha Deen Sethanandha , Portland State University, Portland, OR, USA
pp. 1134-1135

Systematizing security test case planning using functional requirements phrases (Abstract)

Ben Smith , North Carolina State University, Raleigh, NC, USA
pp. 1136-1137

Mining software repositories using topic models (Abstract)

Stephen W. Thomas , Queen's University, Kingston, ON, Canada
pp. 1138-1139

Test blueprint: an effective visual support for test coverage (Abstract)

Vanessa Peña Araya , University of Chile, Santiago, Chile
pp. 1140-1142

A formal approach to software synthesis for architectural platforms (Abstract)

Hamid Bagheri , University of Virginia, Charlottesville, VA, USA
pp. 1143-1145

Detecting cross-browser issues in web applications (Abstract)

Shauvik Roy Choudhary , Georgia Institute of Technology, Atlanta, GA, USA
pp. 1146-1148

Measuring subversions: security and legal risk in reused software artifacts (Abstract)

Julius Davies , University of Victoria, Victoria, BC, Canada
pp. 1149-1151

Using impact analysis in industry (Abstract)

Robert Goeritzer , University of Klagenfurt, Klagenfurt, Austria
pp. 1155-1157

Specification mining in concurrent and distributed systems (Abstract)

Sandeep Kumar , National University of Singapore, Singapore, Singapore
pp. 1161-1163

A case study on refactoring in Haskell programs (Abstract)

Da Young Lee , North Carolina State University, Raliegh, NC, USA
pp. 1164-1166

Build system maintenance (Abstract)

Shane McIntosh , Queen's University, Kingston, ON, Canada
pp. 1167-1169

Finding relevant functions in millions of lines of code (Abstract)

Collin McMillan , College of William & Mary, Williamsburg, VA, USA
pp. 1170-1172

An end-user demonstration approach to support aspect-oriented modeling (Abstract)

Yu Sun , University of Alabama at Birmingham, Birmingham, AL, USA
pp. 1176-1178

Palus: a hybrid automated test generation tool for java (Abstract)

Sai Zhang , University of Washington, Seattle, WA, USA
pp. 1182-1184

Scalable automatic linearizability checking (Abstract)

Shao Jie Zhang , National University of Singapore, Singapore, Singapore
pp. 1185-1187

Workshop on cooperative and human aspects of software engineering: (CHASE 2011) (Abstract)

Marcelo Cataldo , Robert Bosch Corporate Research, Pittsburgh, PA, USA
Cleidson de Souza , IBM Research Brazil, Sao Paulo, Brazil
Helen Sharp , Open University, Milton Keynes, United Kingdom
Rashina Hoda , Victoria University of Wellington, Wellington, New Zealand
Yvonne Dittrich , IT University of Copenhagen, Copenhagen, Denmark
pp. 1188-1189

Fourth international workshop on multicore software engineering: (IWMSE 2011) (Abstract)

Michael Philippsen , University of Erlangen-Nuremberg, Erlangen, Germany
Victor Pankratius , Karlsruhe Institute of Technology, Karlsruhe, Germany
pp. 1190-1191

Workshop on flexible modeling tools: (FlexiTools 2011) (Abstract)

André van der Hoek , University of California, Irvine, Irvine, CA, USA
Rachel Bellamy , IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
Harold Ossher , IBM T.J. Watson Research Center, Yorktown Heights, NY, USA
Marian Petre , The Open University, Milton Keynes, United Kingdom
Margaret-Anne Storey , University of Victoria, Victoria, BC, Canada
John Grundy , Swinburne University of Technology, Hawthorn, Australia
pp. 1192-1193

Workshop on games and software engineering: (GAS 2011) (Abstract)

Jim Whitehead , University of California, Santa Cruz, Santa Cruz, CA, USA
Chris Lewis , University of California, Santa Cruz, Santa Cruz, CA, USA
pp. 1194-1195

Workshop on software engineering for cloud computing: (SECLOUD 2011) (Abstract)

T. S. Mohan , Infosys Technologies, Bangalore, India
Nenad Medvidovic , University of Southern California, Los Angeles, CA, USA
Chris A. Mattmann , California Institute of Technology & University of Southern California, Pasadena, CA, USA
Owen O'Malley , Yahoo!, Sunnyvale, CA, USA
pp. 1196-1197

Second international workshop on software engineering for sensor network applications: (SESENA 2011) (Abstract)

Luca Mottola , Swedish Institute of Computer Science, Stockholm, Sweden
Kay Römer , University of Lübeck, Lübeck, Germany
Kurt Geihs , University of Kassel, Kassel, Germany
Gian Pietro Picco , University of Trento, Trento, Italy
pp. 1198-1199

Seventh international workshop on software engineering for secure systems: (SESS 2011) (Abstract)

Mattia Monga , Università degli Studi di Milano, Milan, Italy
Seok-Won Lee , University of Nebraska-Lincoln, Lincoln, NE, USA
Jan Jürjens , TU Dortmund, Dortmund, Germany
pp. 1200-1201

Fourth workshop on refactoring tools: (WRT 2011) (Abstract)

Danny Dig , University of Illinois at Urbana-Champaign, Urbana, IL, USA
Don Batory , University of Texas at Austin, Austin, TX, USA
pp. 1202-1203

Second international workshop on product line approaches in software engineering: (PLEASE 2011) (Abstract)

Andreas Pleuss , University of Limerick, Limerick, Ireland
Julia Rubin , IBM Research at Haifa, Haifa, Israel
David M. Weiss , Iowa State University, Ames, IA, USA
Goetz Botterweck , University of Limerick, Limerick, Ireland
pp. 1204-1205

Third international workshop on software engineering in healthcare: (SEHC 2011) (Abstract)

Eleni Stroulia , University of Alberta, Edmonton, AB, Canada
Kevin Sullivan , University of Virginia, Charlottesville, VA, USA
pp. 1206-1207

Collaborative teaching of globally distributed software development: community building workshop (CTGDSD 2011) (Abstract)

Lian Yu , Peking University, Beijing, China
Michal Young , University of Oregon, Eugene, OR, USA
David Weiss , Iowa State University, Ames, IA, USA
Stuart Faulk , University of Oregon, Eugene, OR, USA
pp. 1208-1209

Fifth international workshop on software clones: (IWSC 2011) (Abstract)

James R. Cordy , Queen's University, Kingston, ON, Canada
Stanislaw Jarzabek , National University of Singapore, Singapore, Singapore
Katsuro Inoue , Osaka University, Osaka, Japan
Rainer Koschke , University of Bremen, Bremen, Germany
pp. 1210-1211

Second international workshop on managing technical debt: (MTD 2011) (Abstract)

Robert Nord , Carnegie Mellon University, Pittsburgh, PA, USA
Philippe Kruchten , University of British Columbia, Vancouver, BC, Canada
Ipek Ozkaya , Carnegie Mellon University, Pittsburgh, PA, USA
Nanette Brown , Carnegie Mellon University, Pittsburgh, PA, USA
pp. 1212-1213

Sixth international workshop on traceability in emerging forms of software engineering: (TEFSE 2011) (Abstract)

Huzefa Kagdi , Winston-Salem State University, Winston-Salem, NC, USA
Massimiliano Di Penta , University of Sannio, Sannio, Italy
Denys Poshyvanyk , The College of William and Mary, Williamsburg, VA, USA
pp. 1214-1215

Sixth international workshop on automation of software test: (AST 2011) (Abstract)

Howard Foster , City University London, London, United Kingdom
J. Jenny Li , Avaya Research Labs, Basking Ridge, NJ, USA
Antonia Bertolino , ISTI-CNR, Pisa, Italy
pp. 1216-1217

Third international workshop on principles of engineering service-oriented systems: (PESOS 2011) (Abstract)

Grace A. Lewis , Carnegie Mellon University, Pittsburgh, PA, USA
Anna Liu , National ICT Australia, Eveleigh, Australia
Manuel Carro , Universidad Politécnica de Madrid, Madrid, Spain
Dimka Karastoyanova , University of Stuttgart, Stuttgart, Germany
pp. 1218-1219

Workshop on SHAring and Reusing architectural Knowledge: (SHARK 2011) (Abstract)

Philippe Kruchten , University of British Columbia, Vancouver, BC, Canada
Paris Avgeriou , University of Groningen, Groningen, Netherlands
Patricia Lago , VU University Amsterdam, Amsterdam, Netherlands
pp. 1220-1221

Second international workshop on web 2.0 for software engineering: (Web2SE 2011) (Abstract)

Sue Black , University College London, London, United Kingdom
Margaret-Anne Storey , University of Victoria, Victoria, BC, Canada
Christoph Treude , University of Victoria, Victoria, BC, Canada
Arie van Deursen , Delft University of Technology, Delft, Netherlands
Andrew Begel , Microsoft Research, Redmond, WA, USA
pp. 1222-1223

Workshop on emerging trends in software metrics: (WETSoM 2011) (Abstract)

Hongyu Zhang , Tsinghua University, Beijing, China
Massimiliano Di Penta , University of Sannio, Sannio, Italy
Ewan Tempero , University of Auckland, Auckland, New Zealand
Giulio Concas , University of Cagliari, Cagliari, Italy
pp. 1224-1225

Fourth international workshop on software engineering for computational science and engineering: (SE-CSE2011) (Abstract)

Judith Segal , The Open University, Milton Keynes, United Kingdom
Lorin Hochstein , University of Southern California - Information Sciences Institute, Arlington, VA, USA
Jeffrey C. Carver , University of Alabama, Tuscaloosa, AL, USA
Ian Gorton , Pacific Northwest National Laboratory, Richland, WA, USA
Roscoe Bartlett , Sandia National Laboratories, Albuquerque, NM, USA
Diane Kelly , Royal Military College, Kingston, ON, Canada
pp. 1226-1227

Third international workshop on search-driven development: users, infrastructure, tools, and evaluation (SUITE 2011) (Abstract)

Yunwen Ye , Software Research Associates, Inc., Japan, Japan
Sushil Bajracharya , Black Duck Software, USA, USA, USA
Adrian Kuhn , University of Bern, Bern, Switzerland
pp. 1228-1229

First workshop on developing tools as plug-ins: (TOPI 2011) (Abstract)

Karin Breitman , PUC-Rio, Rio de Janeiro, Brazil
Judith Bishop , Microsoft Research, Redmond, WA, USA
David Notkin , University of Washington, Seattle, WA, USA
pp. 1230-1231

SCORE 2011: the second student contest on software engineering (Abstract)

Michal Young , University of Oregon, Eugene, OR, USA
Matteo Rossi , Politecnico di Milano, Milano, Italy
pp. 1232-1233
101 ms
(Ver 3.1 (10032016))