ICSE 2013 – Proceedings

Preface

Technical Research

Composition
Wed, May 22, 10:30 - 12:00, Grand Ballroom A (Chair: Sebastian Uchitel)

Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns
Paola Inverardi and Massimo Tivoli
(University of L'Aquila, Italy)

@InProceedings{ICSE13p3, author = {Paola Inverardi and Massimo Tivoli}, title = {Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {3-2}, doi = {}, year = {2013}, } Article: icse13main-p222-p (type: Full Paper) doi:

Robust Reconfigurations of Component Assemblies
Fabienne Boyer, Olivier Gruber, and Damien Pous
(Université Joseph Fourier, France; CNRS, France)

@InProceedings{ICSE13p13, author = {Fabienne Boyer and Olivier Gruber and Damien Pous}, title = {Robust Reconfigurations of Component Assemblies}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {13-12}, doi = {}, year = {2013}, } Article: icse13main-p211-p (type: Full Paper) doi:

Drag-and-Drop Refactoring: Intuitive and Efficient Program Transformation
Yun Young Lee, Nicholas Chen, and Ralph E. Johnson
(University of Illinois at Urbana-Champaign, USA)

@InProceedings{ICSE13p23, author = {Yun Young Lee and Nicholas Chen and Ralph E. Johnson}, title = {Drag-and-Drop Refactoring: Intuitive and Efficient Program Transformation}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {23-22}, doi = {}, year = {2013}, } Article: icse13main-p258-p (type: Full Paper) doi:

Adaptation
Wed, May 22, 13:30 - 15:30, Grand Ballroom A (Chair: Valerie Issarny)

Managing Non-functional Uncertainty via Model-Driven Adaptivity
Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, and Giordano Tamburrelli
(Politecnico di Milano, Italy; Università dell'Insubria, Italy)

@InProceedings{ICSE13p33, author = {Carlo Ghezzi and Leandro Sales Pinto and Paola Spoletini and Giordano Tamburrelli}, title = {Managing Non-functional Uncertainty via Model-Driven Adaptivity}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {33-32}, doi = {}, year = {2013}, } Article: icse13main-p123-p (type: Full Paper) doi:

GuideArch: Guiding the Exploration of Architectural Solution Space under Uncertainty
Naeem Esfahani, Sam Malek, and Kaveh Razavi
(George Mason University, USA)

@InProceedings{ICSE13p43, author = {Naeem Esfahani and Sam Malek and Kaveh Razavi}, title = {GuideArch: Guiding the Exploration of Architectural Solution Space under Uncertainty}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2013}, } Article: icse13main-p213-p (type: Full Paper) doi:

Coupling Software Architecture and Human Architecture for Collaboration-Aware System Adaptation
Christoph Dorn and Richard N. Taylor
(TU Vienna, Austria; UC Irvine, USA)

@InProceedings{ICSE13p53, author = {Christoph Dorn and Richard N. Taylor}, title = {Coupling Software Architecture and Human Architecture for Collaboration-Aware System Adaptation}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {53-52}, doi = {}, year = {2013}, } Article: icse13main-p305-p (type: Full Paper) doi:

Learning Revised Models for Planning in Adaptive Systems
Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, and Katsumi Inoue
(Imperial College London, UK; National Institute of Informatics, Japan)

@InProceedings{ICSE13p63, author = {Daniel Sykes and Domenico Corapi and Jeff Magee and Jeff Kramer and Alessandra Russo and Katsumi Inoue}, title = {Learning Revised Models for Planning in Adaptive Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {63-62}, doi = {}, year = {2013}, } Article: icse13main-p215-p (type: Full Paper) doi:

Apps
Wed, May 22, 16:00 - 17:30, Grand Ballroom A (Chair: Schahram Dustdar)

RERAN: Timing- and Touch-Sensitive Record and Replay for Android
Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, and Todd Millstein
(UC Los Angeles, USA; UC Riverside, USA)

@InProceedings{ICSE13p73, author = {Lorenzo Gomez and Iulian Neamtiu and Tanzirul Azim and Todd Millstein}, title = {RERAN: Timing- and Touch-Sensitive Record and Replay for Android}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {73-72}, doi = {}, year = {2013}, } Article: icse13main-p334-p (type: Full Paper) doi:

Inferring Likely Mappings between APIs
Amruta Gokhale, Vinod Ganapathy, and Yogesh Padmanaban
(Rutgers University, USA)

@InProceedings{ICSE13p83, author = {Amruta Gokhale and Vinod Ganapathy and Yogesh Padmanaban}, title = {Inferring Likely Mappings between APIs}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {83-82}, doi = {}, year = {2013}, } Article: icse13main-p184-p (type: Full Paper) doi:

Estimating Mobile Application Energy Consumption using Program Analysis
Shuai Hao, Ding Li, William G. J. Halfond, and Ramesh Govindan
(University of Southern California, USA)

@InProceedings{ICSE13p93, author = {Shuai Hao and Ding Li and William G. J. Halfond and Ramesh Govindan}, title = {Estimating Mobile Application Energy Consumption using Program Analysis}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {93-92}, doi = {}, year = {2013}, } Article: icse13main-p437-p (type: Full Paper) doi:

Testing
Wed, May 22, 10:30 - 12:00, Grand Ballroom B (Chair: Willem Visser)

Observable Modified Condition/Decision Coverage
Michael Whalen, Gregory Gay, Dongjiang You, Mats P. E. Heimdahl, and Matt Staats
(University of Minnesota, USA; KAIST, South Korea)

@InProceedings{ICSE13p103, author = {Michael Whalen and Gregory Gay and Dongjiang You and Mats P. E. Heimdahl and Matt Staats}, title = {Observable Modified Condition/Decision Coverage}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {103-102}, doi = {}, year = {2013}, } Article: icse13main-p280-p (type: Full Paper) doi:

Creating a Shared Understanding of Testing Culture on a Social Coding Site
Raphael Pham, Leif Singer, Olga Liskin, Fernando Figueira Filho, and Kurt Schneider
(Leibniz Universität Hannover, Germany; UFRN, Brazil)

@InProceedings{ICSE13p113, author = {Raphael Pham and Leif Singer and Olga Liskin and Fernando Figueira Filho and Kurt Schneider}, title = {Creating a Shared Understanding of Testing Culture on a Social Coding Site}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {113-112}, doi = {}, year = {2013}, } Article: icse13main-p355-p (type: Full Paper) doi:

Billions and Billions of Constraints: Whitebox Fuzz Testing in Production
Ella Bounimova, Patrice Godefroid, and David Molnar
(Microsoft Research, USA)

@InProceedings{ICSE13p123, author = {Ella Bounimova and Patrice Godefroid and David Molnar}, title = {Billions and Billions of Constraints: Whitebox Fuzz Testing in Production}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {123-122}, doi = {}, year = {2013}, } Article: icse13main-p136-p (type: Full Paper) doi:

Test-Case Generation
Wed, May 22, 13:30 - 15:30, Grand Ballroom B (Chair: Lionel Briand)

Feedback-Directed Unit Test Generation for C/C++ using Concolic Execution
Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, and Aarti Gupta
(University of Illinois at Urbana-Champaign, USA; NEC Labs, USA; NEC, Japan)

@InProceedings{ICSE13p133, author = {Pranav Garg and Franjo Ivancic and Gogul Balakrishnan and Naoto Maeda and Aarti Gupta}, title = {Feedback-Directed Unit Test Generation for C/C++ using Concolic Execution}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {133-132}, doi = {}, year = {2013}, } Article: icse13main-p303-p (type: Full Paper) doi:

A Learning-Based Method for Combining Testing Techniques
Domenico Cotroneo, Roberto Pietrantuono, and Stefano Russo
(Università di Napoli Federico II, Italy; Lab CINI-ITEM Carlo Savy, Italy)

@InProceedings{ICSE13p143, author = {Domenico Cotroneo and Roberto Pietrantuono and Stefano Russo}, title = {A Learning-Based Method for Combining Testing Techniques}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {143-142}, doi = {}, year = {2013}, } Article: icse13main-p298-p (type: Full Paper) doi:

Human Performance Regression Testing
Amanda Swearngin, Myra B. Cohen, Bonnie E. John, and Rachel K. E. Bellamy
(University of Nebraska-Lincoln, USA; IBM Research, USA)

@InProceedings{ICSE13p153, author = {Amanda Swearngin and Myra B. Cohen and Bonnie E. John and Rachel K. E. Bellamy}, title = {Human Performance Regression Testing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {153-152}, doi = {}, year = {2013}, } Article: icse13main-p287-p (type: Full Paper) doi:

Guided Test Generation for Web Applications
Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, and Satish Chandra
(IBM Research, India; Indian Institute of Science, India; IBM Research, USA)

@InProceedings{ICSE13p163, author = {Suresh Thummalapenta and K. Vasanta Lakshmi and Saurabh Sinha and Nishant Sinha and Satish Chandra}, title = {Guided Test Generation for Web Applications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {163-162}, doi = {}, year = {2013}, } Article: icse13main-p374-p (type: Full Paper) doi:

Test-Case Selection
Wed, May 22, 16:00 - 17:30, Grand Ballroom B (Chair: Mauro Pezzè)

Comparing Multi-point Stride Coverage and Dataflow Coverage
Mohammad Mahdi Hassan and James H. Andrews
(University of Western Ontario, Canada)

@InProceedings{ICSE13p173, author = {Mohammad Mahdi Hassan and James H. Andrews}, title = {Comparing Multi-point Stride Coverage and Dataflow Coverage}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {173-172}, doi = {}, year = {2013}, } Article: icse13main-p256-p (type: Full Paper) doi:

Interaction-Based Test-Suite Minimization
Dale Blue, Itai Segall, Rachel Tzoref-Brill, and Aviad Zlotnick
(IBM, USA; IBM Research, Israel)

@InProceedings{ICSE13p183, author = {Dale Blue and Itai Segall and Rachel Tzoref-Brill and Aviad Zlotnick}, title = {Interaction-Based Test-Suite Minimization}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {183-182}, doi = {}, year = {2013}, } Article: icse13main-p118-p (type: Full Paper) doi:

Bridging the Gap between the Total and Additional Test-Case Prioritization Strategies
Lingming Zhang, Dan Hao, Lu Zhang, Gregg Rothermel, and Hong Mei
(Peking University, China; University of Texas at Austin, USA; University of Nebraska-Lincoln, USA)

@InProceedings{ICSE13p193, author = {Lingming Zhang and Dan Hao and Lu Zhang and Gregg Rothermel and Hong Mei}, title = {Bridging the Gap between the Total and Additional Test-Case Prioritization Strategies}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {193-192}, doi = {}, year = {2013}, } Article: icse13main-p237-p (type: Full Paper) doi:

Formal Analysis
Wed, May 22, 10:30 - 12:00, Grand Ballroom C (Chair: Robyn Lutz)

Detecting Spurious Counterexamples Efficiently in Abstract Model Checking
Cong Tian and Zhenhua Duan
(Xidian University, China)

@InProceedings{ICSE13p203, author = {Cong Tian and Zhenhua Duan}, title = {Detecting Spurious Counterexamples Efficiently in Abstract Model Checking}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {203-202}, doi = {}, year = {2013}, } Article: icse13main-p103-p (type: Full Paper) doi:

Segmented Symbolic Analysis
Wei Le
(Rochester Institute of Technology, USA)

@InProceedings{ICSE13p213, author = {Wei Le}, title = {Segmented Symbolic Analysis}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {213-212}, doi = {}, year = {2013}, } Article: icse13main-p350-p (type: Full Paper) doi:

Explicating Symbolic Execution (xSymExe): An Evidence-Based Verification Framework
John Hatcliff, Robby, Patrice Chalin, and Jason Belt
(Kansas State University, USA)

@InProceedings{ICSE13p223, author = {John Hatcliff and Robby and Patrice Chalin and Jason Belt}, title = {Explicating Symbolic Execution (xSymExe): An Evidence-Based Verification Framework}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {223-222}, doi = {}, year = {2013}, } Article: icse13main-p328-p (type: Full Paper) doi:

Formal Specification
Wed, May 22, 13:30 - 15:30, Grand Ballroom C (Chair: Matt Dwyer)

Aluminum: Principled Scenario Exploration through Minimality
Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi
(Worcester Polytechnic Institute, USA; Brown University, USA)

@InProceedings{ICSE13p233, author = {Tim Nelson and Salman Saghafi and Daniel J. Dougherty and Kathi Fisler and Shriram Krishnamurthi}, title = {Aluminum: Principled Scenario Exploration through Minimality}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {233-232}, doi = {}, year = {2013}, } Article: icse13main-p306-p (type: Full Paper) doi:

Counter Play-Out: Executing Unrealizable Scenario-Based Specifications
Shahar Maoz and Yaniv Sa'ar
(Tel Aviv University, Israel; Weizmann Institute of Science, Israel)

@InProceedings{ICSE13p243, author = {Shahar Maoz and Yaniv Sa'ar}, title = {Counter Play-Out: Executing Unrealizable Scenario-Based Specifications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {243-242}, doi = {}, year = {2013}, } Article: icse13main-p039-p (type: Full Paper) doi:

Unifying FSM-Inference Algorithms through Declarative Specification
Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, and Arvind Krishnamurthy
(University of Washington, USA; University of Massachusetts, USA)

@InProceedings{ICSE13p253, author = {Ivan Beschastnikh and Yuriy Brun and Jenny Abrahamson and Michael D. Ernst and Arvind Krishnamurthy}, title = {Unifying FSM-Inference Algorithms through Declarative Specification}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {253-252}, doi = {}, year = {2013}, } Article: icse13main-p244-p (type: Full Paper) doi:

What Good Are Strong Specifications?
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, and Bertrand Meyer
(ETH Zurich, Switzerland; ITMO National Research University, Russia)

@InProceedings{ICSE13p263, author = {Nadia Polikarpova and Carlo A. Furia and Yu Pei and Yi Wei and Bertrand Meyer}, title = {What Good Are Strong Specifications?}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {263-262}, doi = {}, year = {2013}, } Article: icse13main-p257-p (type: Full Paper) doi:

Analysis
Wed, May 22, 16:00 - 17:30, Grand Ballroom C (Chair: Frank Tip)

Comparative Causality: Explaining the Differences between Executions
William N. Sumner and Xiangyu Zhang
(Purdue University, USA)

@InProceedings{ICSE13p273, author = {William N. Sumner and Xiangyu Zhang}, title = {Comparative Causality: Explaining the Differences between Executions}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {273-272}, doi = {}, year = {2013}, } Article: icse13main-p353-p (type: Full Paper) doi:

Automatic Testing of Sequential and Concurrent Substitutability
Michael Pradel and Thomas R. Gross
(ETH Zurich, Switzerland)

@InProceedings{ICSE13p283, author = {Michael Pradel and Thomas R. Gross}, title = {Automatic Testing of Sequential and Concurrent Substitutability}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {283-282}, doi = {}, year = {2013}, } Article: icse13main-p101-p (type: Full Paper) doi:

Data Clone Detection and Visualization in Spreadsheets
Felienne Hermans, Ben Sedee, Martin Pinzger, and Arie van Deursen
(TU Delft, Netherlands)

@InProceedings{ICSE13p293, author = {Felienne Hermans and Ben Sedee and Martin Pinzger and Arie van Deursen}, title = {Data Clone Detection and Visualization in Spreadsheets}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {293-292}, doi = {}, year = {2013}, } Article: icse13main-p102-p (type: Full Paper) doi:

Code Analysis
Thu, May 23, 10:30 - 12:00, Grand Ballroom A (Chair: Alessandro Orso)

Partition-Based Regression Verification
Marcel Böhme, Bruno C. d. S. Oliveira, and Abhik Roychoudhury
(National University of Singapore, Singapore)

@InProceedings{ICSE13p303, author = {Marcel Böhme and Bruno C. d. S. Oliveira and Abhik Roychoudhury}, title = {Partition-Based Regression Verification}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {303-302}, doi = {}, year = {2013}, } Article: icse13main-p169-p (type: Full Paper) doi:

Automated Diagnosis of Software Configuration Errors
Sai Zhang and Michael D. Ernst
(University of Washington, USA)

@InProceedings{ICSE13p313, author = {Sai Zhang and Michael D. Ernst}, title = {Automated Diagnosis of Software Configuration Errors}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {313-312}, doi = {}, year = {2013}, } Article: icse13main-p022-p (type: Full Paper) doi:

Detecting Deadlock in Programs with Data-Centric Synchronization
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, and Jan Vitek
(Symantec Research Labs, USA; Saarland University, Germany; IBM Research, USA; University of Waterloo, Canada; Purdue University, USA)

@InProceedings{ICSE13p323, author = {Daniel Marino and Christian Hammer and Julian Dolby and Mandana Vaziri and Frank Tip and Jan Vitek}, title = {Detecting Deadlock in Programs with Data-Centric Synchronization}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {323-322}, doi = {}, year = {2013}, } Article: icse13main-p189-p (type: Full Paper) doi:

Debugging
Thu, May 23, 13:30 - 15:30, Grand Ballroom A (Chair: Margaret Burnett)

The Design of Bug Fixes
Emerson Murphy-Hill, Thomas Zimmermann, Christian Bird, and Nachiappan Nagappan
(North Carolina State University, USA; Microsoft Research, USA)

@InProceedings{ICSE13p333, author = {Emerson Murphy-Hill and Thomas Zimmermann and Christian Bird and Nachiappan Nagappan}, title = {The Design of Bug Fixes}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {333-332}, doi = {}, year = {2013}, } Article: icse13main-p319-p (type: Full Paper) doi:

PorchLight: A Tag-Based Approach to Bug Triaging
Gerald Bortis and André van der Hoek
(UC Irvine, USA)

@InProceedings{ICSE13p343, author = {Gerald Bortis and André van der Hoek}, title = {PorchLight: A Tag-Based Approach to Bug Triaging}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {343-342}, doi = {}, year = {2013}, } Article: icse13main-p284-p (type: Full Paper) doi:

Expositor: Scriptable Time-Travel Debugging with First-Class Traces
Yit Phang Khoo, Jeffrey S. Foster, and Michael Hicks
(University of Maryland, USA)

@InProceedings{ICSE13p353, author = {Yit Phang Khoo and Jeffrey S. Foster and Michael Hicks}, title = {Expositor: Scriptable Time-Travel Debugging with First-Class Traces}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {353-352}, doi = {}, year = {2013}, } Article: icse13main-p326-p (type: Full Paper) doi:

Chronicler: Lightweight Recording to Reproduce Field Failures
Jonathan Bell, Nikhil Sarda, and Gail Kaiser
(Columbia University, USA)

@InProceedings{ICSE13p363, author = {Jonathan Bell and Nikhil Sarda and Gail Kaiser}, title = {Chronicler: Lightweight Recording to Reproduce Field Failures}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {363-362}, doi = {}, year = {2013}, } Article: icse13main-p220-p (type: Full Paper) doi:

Bug Prediction
Thu, May 23, 16:00 - 17:30, Grand Ballroom A (Chair: Jane Hayes)

Does Bug Prediction Support Human Developers? Findings from a Google Case Study
Chris Lewis, Zhongpeng Lin, Caitlin Sadowski, Xiaoyan Zhu, Rong Ou, and E. James Whitehead Jr.
(UC Santa Cruz, USA; Google, USA; Xi'an Jiaotong University, China)

@InProceedings{ICSE13p373, author = {Chris Lewis and Zhongpeng Lin and Caitlin Sadowski and Xiaoyan Zhu and Rong Ou and E. James Whitehead Jr.}, title = {Does Bug Prediction Support Human Developers? Findings from a Google Case Study}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {373-372}, doi = {}, year = {2013}, } Article: icse13main-p054-p (type: Full Paper) doi:

Transfer Defect Learning
Jaechang Nam, Sinno Jialin Pan, and Sunghun Kim
(Hong Kong University of Science and Technology, China; Institute for Infocomm Research, Singapore)

@InProceedings{ICSE13p383, author = {Jaechang Nam and Sinno Jialin Pan and Sunghun Kim}, title = {Transfer Defect Learning}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {383-382}, doi = {}, year = {2013}, } Article: icse13main-p386-p (type: Full Paper) doi:

It's Not a Bug, It's a Feature: How Misclassification Impacts Bug Prediction
Kim Herzig, Sascha Just, and Andreas Zeller
(Saarland University, Germany)

@InProceedings{ICSE13p393, author = {Kim Herzig and Sascha Just and Andreas Zeller}, title = {It's Not a Bug, It's a Feature: How Misclassification Impacts Bug Prediction}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {393-392}, doi = {}, year = {2013}, } Article: icse13main-p180-p (type: Full Paper) doi:

Big Data
Thu, May 23, 10:30 - 12:00, Grand Ballroom B (Chair: Prem Devanbu)

Assisting Developers of Big Data Analytics Applications When Deploying on Hadoop Clouds
Weiyi Shang, Zhen Ming Jiang, Hadi Hemmati, Bram Adams, Ahmed E. Hassan, and Patrick Martin
(Queen's University, Canada; Polytechnique Montréal, Canada)

@InProceedings{ICSE13p403, author = {Weiyi Shang and Zhen Ming Jiang and Hadi Hemmati and Bram Adams and Ahmed E. Hassan and Patrick Martin}, title = {Assisting Developers of Big Data Analytics Applications When Deploying on Hadoop Clouds}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {403-402}, doi = {}, year = {2013}, } Article: icse13main-p205-p (type: Full Paper) doi:

Broken Sets in Software Repository Evolution
Jérôme Vouillon and Roberto Di Cosmo
(University of Paris Diderot, France; CNRS, France; INRIA, France)

@InProceedings{ICSE13p413, author = {Jérôme Vouillon and Roberto Di Cosmo}, title = {Broken Sets in Software Repository Evolution}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {413-412}, doi = {}, year = {2013}, } Article: icse13main-p030-p (type: Full Paper) doi:

Boa: A Language and Infrastructure for Analyzing Ultra-Large-Scale Software Repositories
Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, and Tien N. Nguyen
(Iowa State University, USA)

@InProceedings{ICSE13p423, author = {Robert Dyer and Hoan Anh Nguyen and Hridesh Rajan and Tien N. Nguyen}, title = {Boa: A Language and Infrastructure for Analyzing Ultra-Large-Scale Software Repositories}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {423-422}, doi = {}, year = {2013}, } Article: icse13main-p388-p (type: Full Paper) doi:

Process
Thu, May 23, 13:30 - 15:30, Grand Ballroom B (Chair: Paul Grünbacher)

How, and Why, Process Metrics Are Better
Foyzur Rahman and Premkumar Devanbu
(UC Davis, USA)

@InProceedings{ICSE13p433, author = {Foyzur Rahman and Premkumar Devanbu}, title = {How, and Why, Process Metrics Are Better}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {433-432}, doi = {}, year = {2013}, } Article: icse13main-p146-p (type: Full Paper) doi:

The Role of Domain Knowledge and Cross-Functional Communication in Socio-Technical Coordination
Daniela Damian, Remko Helms, Irwin Kwan, Sabrina Marczak, and Benjamin Koelewijn
(University of Victoria, Canada; Utrecht University, Netherlands; Oregon State University, USA; PUCRS, Brazil)

@InProceedings{ICSE13p443, author = {Daniela Damian and Remko Helms and Irwin Kwan and Sabrina Marczak and Benjamin Koelewijn}, title = {The Role of Domain Knowledge and Cross-Functional Communication in Socio-Technical Coordination}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {443-442}, doi = {}, year = {2013}, } Article: icse13main-p038-p (type: Full Paper) doi:

Dual Ecological Measures of Focus in Software Development
Daryl Posnett, Raissa D'Souza, Premkumar Devanbu, and Vladimir Filkov
(UC Davis, USA)

@InProceedings{ICSE13p453, author = {Daryl Posnett and Raissa D'Souza and Premkumar Devanbu and Vladimir Filkov}, title = {Dual Ecological Measures of Focus in Software Development}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {453-452}, doi = {}, year = {2013}, } Article: icse13main-p363-p (type: Full Paper) doi:

Not Going to Take This Anymore: Multi-objective Overtime Planning for Software Engineering Projects
Filomena Ferrucci, Mark Harman, Jian Ren, and Federica Sarro
(University of Salerno, Italy; University College London, UK)

@InProceedings{ICSE13p463, author = {Filomena Ferrucci and Mark Harman and Jian Ren and Federica Sarro}, title = {Not Going to Take This Anymore: Multi-objective Overtime Planning for Software Engineering Projects}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {463-462}, doi = {}, year = {2013}, } Article: icse13main-p061-p (type: Full Paper) doi:

Product Lines
Thu, May 23, 16:00 - 17:30, Grand Ballroom B (Chair: Jean-Marc Jézéquel)

Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-features
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, and Axel Legay
(University of Namur, Belgium; IRISA, France; INRIA, France; University of Liège, Belgium)

@InProceedings{ICSE13p473, author = {Maxime Cordy and Pierre-Yves Schobbens and Patrick Heymans and Axel Legay}, title = {Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-features}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {473-472}, doi = {}, year = {2013}, } Article: icse13main-p447-p (type: Full Paper) doi:

Strategies for Product-Line Verification: Case Studies and Experiments
Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, and Dirk Beyer
(University of Passau, Germany)

@InProceedings{ICSE13p483, author = {Sven Apel and Alexander von Rhein and Philipp Wendler and Armin Größlinger and Dirk Beyer}, title = {Strategies for Product-Line Verification: Case Studies and Experiments}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {483-482}, doi = {}, year = {2013}, } Article: icse13main-p086-p (type: Full Paper) doi:

On the Value of User Preferences in Search-Based Software Engineering: A Case Study in Software Product Lines
Abdel Salam Sayyad, Tim Menzies, and Hany Ammar
(West Virginia University, USA)

@InProceedings{ICSE13p493, author = {Abdel Salam Sayyad and Tim Menzies and Hany Ammar}, title = {On the Value of User Preferences in Search-Based Software Engineering: A Case Study in Software Product Lines}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {493-492}, doi = {}, year = {2013}, } Article: icse13main-p152-p (type: Full Paper) doi:

Search-Based SE
Thu, May 23, 10:30 - 12:00, Grand Ballroom C (Chair: Mark Harman)

LASE: Locating and Applying Systematic Edits by Learning from Examples
Na Meng, Miryung Kim, and Kathryn S. McKinley
(University of Texas at Austin, USA; Microsoft Research, USA)

@InProceedings{ICSE13p503, author = {Na Meng and Miryung Kim and Kathryn S. McKinley}, title = {LASE: Locating and Applying Systematic Edits by Learning from Examples}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {503-502}, doi = {}, year = {2013}, } Article: icse13main-p255-p (type: Full Paper) doi:

Search-Based Genetic Optimization for Deployment and Reconfiguration of Software in the Cloud
Sören Frey, Florian Fittkau, and Wilhelm Hasselbring
(Kiel University, Germany)

@InProceedings{ICSE13p513, author = {Sören Frey and Florian Fittkau and Wilhelm Hasselbring}, title = {Search-Based Genetic Optimization for Deployment and Reconfiguration of Software in the Cloud}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {513-512}, doi = {}, year = {2013}, } Article: icse13main-p232-p (type: Full Paper) doi:

How to Effectively Use Topic Models for Software Engineering Tasks? An Approach Based on Genetic Algorithms
Annibale Panichella, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, and Andrea De Lucia
(University of Salerno, Italy; College of William and Mary, USA; University of Molise, Italy; University of Sannio, Italy)

@InProceedings{ICSE13p523, author = {Annibale Panichella and Bogdan Dit and Rocco Oliveto and Massimiliano Di Penta and Denys Poshyvanyk and Andrea De Lucia}, title = {How to Effectively Use Topic Models for Software Engineering Tasks? An Approach Based on Genetic Algorithms}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {523-522}, doi = {}, year = {2013}, } Article: icse13main-p234-p (type: Full Paper) doi:

Performance
Thu, May 23, 13:30 - 15:30, Grand Ballroom C (Chair: Wilhelm Hasselbring)

Green Streams for Data-Intensive Software
Thomas W. Bartenstein and Yu David Liu
(SUNY Binghamton, USA)

@InProceedings{ICSE13p533, author = {Thomas W. Bartenstein and Yu David Liu}, title = {Green Streams for Data-Intensive Software}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {533-532}, doi = {}, year = {2013}, } Article: icse13main-p372-p (type: Full Paper) doi:

Dynamic Synthesis of Local Time Requirement for Service Composition
Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, and Manman Chen
(National University of Singapore, Singapore; Université Paris 13, France; CNRS, France; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)

@InProceedings{ICSE13p543, author = {Tian Huat Tan and Étienne André and Jun Sun and Yang Liu and Jin Song Dong and Manman Chen}, title = {Dynamic Synthesis of Local Time Requirement for Service Composition}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {543-542}, doi = {}, year = {2013}, } Article: icse13main-p267-p (type: Full Paper) doi:

Supporting Swift Reaction: Automatically Uncovering Performance Problems by Systematic Experiments
Alexander Wert, Jens Happe, and Lucia Happe
(KIT, Germany; SAP Research, Germany)

@InProceedings{ICSE13p553, author = {Alexander Wert and Jens Happe and Lucia Happe}, title = {Supporting Swift Reaction: Automatically Uncovering Performance Problems by Systematic Experiments}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {553-552}, doi = {}, year = {2013}, } Article: icse13main-p105-p (type: Full Paper) doi:

Toddler: Detecting Performance Problems via Similar Memory-Access Patterns
Adrian Nistor, Linhai Song, Darko Marinov, and Shan Lu
(University of Illinois at Urbana-Champaign, USA; University of Wisconsin-Madison, USA)

@InProceedings{ICSE13p563, author = {Adrian Nistor and Linhai Song and Darko Marinov and Shan Lu}, title = {Toddler: Detecting Performance Problems via Similar Memory-Access Patterns}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {563-562}, doi = {}, year = {2013}, } Article: icse13main-p425-p (type: Full Paper) doi:

Requirements Engineering
Thu, May 23, 16:00 - 17:30, Grand Ballroom C (Chair: Jon Whittle)

Departures from Optimality: Understanding Human Analyst's Information Foraging in Assisted Requirements Tracing
Nan Niu, Anas Mahmoud, Zhangji Chen, and Gary Bradshaw
(Mississippi State University, USA)

@InProceedings{ICSE13p573, author = {Nan Niu and Anas Mahmoud and Zhangji Chen and Gary Bradshaw}, title = {Departures from Optimality: Understanding Human Analyst's Information Foraging in Assisted Requirements Tracing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {573-572}, doi = {}, year = {2013}, } Article: icse13main-p285-p (type: Full Paper) doi:

Analysis of User Comments: An Approach for Software Requirements Evolution
Laura V. Galvis Carreño and Kristina Winbladh
(University of Delaware, USA)

@InProceedings{ICSE13p583, author = {Laura V. Galvis Carreño and Kristina Winbladh}, title = {Analysis of User Comments: An Approach for Software Requirements Evolution}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {583-582}, doi = {}, year = {2013}, } Article: icse13main-p344-p (type: Full Paper) doi:

Requirements Modelling by Synthesis of Deontic Input-Output Automata
Emmanuel Letier and William Heaven
(University College London, UK)

@InProceedings{ICSE13p593, author = {Emmanuel Letier and William Heaven}, title = {Requirements Modelling by Synthesis of Deontic Input-Output Automata}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {593-592}, doi = {}, year = {2013}, } Article: icse13main-p012-p (type: Full Paper) doi:

Reliability
Fri, May 24, 10:30 - 12:00, Grand Ballroom A (Chair: John C. Knight)

Automated Reliability Estimation over Partial Systematic Explorations
Esteban Pavese, Víctor Braberman, and Sebastian Uchitel
(Universidad de Buenos Aires, Argentina; Imperial College London, UK)

@InProceedings{ICSE13p603, author = {Esteban Pavese and Víctor Braberman and Sebastian Uchitel}, title = {Automated Reliability Estimation over Partial Systematic Explorations}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {603-602}, doi = {}, year = {2013}, } Article: icse13main-p275-p (type: Full Paper) doi:

Safe Software Updates via Multi-version Execution
Petr Hosek and Cristian Cadar
(Imperial College London, UK)

@InProceedings{ICSE13p613, author = {Petr Hosek and Cristian Cadar}, title = {Safe Software Updates via Multi-version Execution}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {613-612}, doi = {}, year = {2013}, } Article: icse13main-p218-p (type: Full Paper) doi:

Reliability Analysis in Symbolic Pathfinder
Antonio Filieri, Corina S. Păsăreanu, and Willem Visser
(University of Stuttgart, Germany; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa)

@InProceedings{ICSE13p623, author = {Antonio Filieri and Corina S. Păsăreanu and Willem Visser}, title = {Reliability Analysis in Symbolic Pathfinder}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {623-622}, doi = {}, year = {2013}, } Article: icse13main-p376-p (type: Full Paper) doi:

Security and Privacy
Fri, May 24, 13:30 - 15:30, Grand Ballroom A (Chair: Robert B. France)

Engineering Adaptive Privacy: On the Role of Privacy Awareness Requirements
Inah Omoronyia, Luca Cavallaro, Mazeiar Salehie, Liliana Pasquale, and Bashar Nuseibeh
(University of Glasgow, UK; Lero, Ireland; University of Limerick, Ireland; Open University, UK)

@InProceedings{ICSE13p633, author = {Inah Omoronyia and Luca Cavallaro and Mazeiar Salehie and Liliana Pasquale and Bashar Nuseibeh}, title = {Engineering Adaptive Privacy: On the Role of Privacy Awareness Requirements}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {633-632}, doi = {}, year = {2013}, } Article: icse13main-p399-p (type: Full Paper) doi:

Mining SQL Injection and Cross Site Scripting Vulnerabilities using Hybrid Program Analysis
Lwin Khin Shar, Hee Beng Kuan Tan, and Lionel C. Briand
(Nanyang Technological University, Singapore; University of Luxembourg, Luxembourg)

@InProceedings{ICSE13p643, author = {Lwin Khin Shar and Hee Beng Kuan Tan and Lionel C. Briand}, title = {Mining SQL Injection and Cross Site Scripting Vulnerabilities using Hybrid Program Analysis}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {643-642}, doi = {}, year = {2013}, } Article: icse13main-p055-p (type: Full Paper) doi:

Path Sensitive Static Analysis of Web Applications for Remote Code Execution Vulnerability Detection
Yunhui Zheng and Xiangyu Zhang
(Purdue University, USA)

@InProceedings{ICSE13p653, author = {Yunhui Zheng and Xiangyu Zhang}, title = {Path Sensitive Static Analysis of Web Applications for Remote Code Execution Vulnerability Detection}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {653-652}, doi = {}, year = {2013}, } Article: icse13main-p402-p (type: Full Paper) doi:

Automated Software Architecture Security Risk Analysis using Formalized Signatures
Mohamed Almorsy, John Grundy, and Amani S. Ibrahim
(Swinburne University of Technology, Australia)

@InProceedings{ICSE13p663, author = {Mohamed Almorsy and John Grundy and Amani S. Ibrahim}, title = {Automated Software Architecture Security Risk Analysis using Formalized Signatures}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {663-662}, doi = {}, year = {2013}, } Article: icse13main-p364-p (type: Full Paper) doi:

Analysis Studies
Fri, May 24, 10:30 - 12:00, Grand Ballroom B (Chair: Jim Herbsleb)

Why Don't Software Developers Use Static Analysis Tools to Find Bugs?
Brittany Johnson, Yoonki Song, Emerson Murphy-Hill, and Robert Bowdidge
(North Carolina State University, USA; Google, USA)

@InProceedings{ICSE13p673, author = {Brittany Johnson and Yoonki Song and Emerson Murphy-Hill and Robert Bowdidge}, title = {Why Don't Software Developers Use Static Analysis Tools to Find Bugs?}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {673-672}, doi = {}, year = {2013}, } Article: icse13main-p132-p (type: Full Paper) doi:

Exploring the Impact of Inter-smell Relations on Software Maintainability: An Empirical Study
Aiko Yamashita and Leon Moonen
(Simula Research Laboratory, Norway)

@InProceedings{ICSE13p683, author = {Aiko Yamashita and Leon Moonen}, title = {Exploring the Impact of Inter-smell Relations on Software Maintainability: An Empirical Study}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {683-682}, doi = {}, year = {2013}, } Article: icse13main-p106-p (type: Full Paper) doi:

An Empirical Study on the Developers' Perception of Software Coupling
Gabriele Bavota, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, and Andrea De Lucia
(University of Salerno, Italy; College of William and Mary, USA; University of Molise, Italy; University of Sannio, Italy)

@InProceedings{ICSE13p693, author = {Gabriele Bavota and Bogdan Dit and Rocco Oliveto and Massimiliano Di Penta and Denys Poshyvanyk and Andrea De Lucia}, title = {An Empirical Study on the Developers' Perception of Software Coupling}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {693-692}, doi = {}, year = {2013}, } Article: icse13main-p231-p (type: Full Paper) doi:

Empirical Studies
Fri, May 24, 13:30 - 15:30, Grand Ballroom B (Chair: Nachiappan Nagappan)

X-PERT: Accurate Identification of Cross-Browser Issues in Web Applications
Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso
(Georgia Tech, USA; Fujitsu Labs, USA)

@InProceedings{ICSE13p703, author = {Shauvik Roy Choudhary and Mukul R. Prasad and Alessandro Orso}, title = {X-PERT: Accurate Identification of Cross-Browser Issues in Web Applications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {703-702}, doi = {}, year = {2013}, } Article: icse13main-p426-p (type: Full Paper) doi:

Expectations, Outcomes, and Challenges of Modern Code Review
Alberto Bacchelli and Christian Bird
(University of Lugano, Switzerland; Microsoft Research, USA)

@InProceedings{ICSE13p713, author = {Alberto Bacchelli and Christian Bird}, title = {Expectations, Outcomes, and Challenges of Modern Code Review}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {713-712}, doi = {}, year = {2013}, } Article: icse13main-p145-p (type: Full Paper) doi:

UML in Practice
Marian Petre
(Open University, UK)

@InProceedings{ICSE13p723, author = {Marian Petre}, title = {UML in Practice}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {723-722}, doi = {}, year = {2013}, } Article: icse13main-p254-p (type: Full Paper) doi:

Cassandra: Proactive Conflict Minimization through Optimized Task Scheduling
Bakhtiar Khan Kasi and Anita Sarma
(University of Nebraska-Lincoln, USA)

@InProceedings{ICSE13p733, author = {Bakhtiar Khan Kasi and Anita Sarma}, title = {Cassandra: Proactive Conflict Minimization through Optimized Task Scheduling}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {733-732}, doi = {}, year = {2013}, } Article: icse13main-p435-p (type: Full Paper) doi:

Programming Support
Fri, May 24, 10:30 - 12:00, Grand Ballroom C (Chair: Mehdi Jazayeri)

Are Your Incoming Aliases Really Necessary? Counting the Cost of Object Ownership
Alex Potanin, Monique Damitio, and James Noble
(Victoria University of Wellington, New Zealand)

@InProceedings{ICSE13p743, author = {Alex Potanin and Monique Damitio and James Noble}, title = {Are Your Incoming Aliases Really Necessary? Counting the Cost of Object Ownership}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {743-742}, doi = {}, year = {2013}, } Article: icse13main-p129-p (type: Full Paper) doi:

Efficient Construction of Approximate Call Graphs for JavaScript IDE Services
Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip
(Aarhus University, Denmark; Nanyang Technological University, Singapore; IBM Research, USA; University of Waterloo, Canada)

@InProceedings{ICSE13p753, author = {Asger Feldthaus and Max Schäfer and Manu Sridharan and Julian Dolby and Frank Tip}, title = {Efficient Construction of Approximate Call Graphs for JavaScript IDE Services}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {753-752}, doi = {}, year = {2013}, } Article: icse13main-p125-p (type: Full Paper) doi:

Improving Feature Location Practice with Multi-faceted Interactive Exploration
Jinshui Wang, Xin Peng, Zhenchang Xing, and Wenyun Zhao
(Fudan University, China; Nanyang Technological University, Singapore)

@InProceedings{ICSE13p763, author = {Jinshui Wang and Xin Peng and Zhenchang Xing and Wenyun Zhao}, title = {Improving Feature Location Practice with Multi-faceted Interactive Exploration}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {763-762}, doi = {}, year = {2013}, } Article: icse13main-p312-p (type: Full Paper) doi:

Program Repair
Fri, May 24, 13:30 - 15:30, Grand Ballroom C (Chair: David Garlan)

SemFix: Program Repair via Semantic Analysis
Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra
(National University of Singapore, Singapore; IBM Research, USA)

@InProceedings{ICSE13p773, author = {Hoang Duong Thien Nguyen and Dawei Qi and Abhik Roychoudhury and Satish Chandra}, title = {SemFix: Program Repair via Semantic Analysis}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {773-772}, doi = {}, year = {2013}, } Article: icse13main-p191-p (type: Full Paper) doi:

Automatic Recovery from Runtime Failures
Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, and Mauro Pezzè
(University of Lugano, Switzerland; Saarland University, Germany)

@InProceedings{ICSE13p783, author = {Antonio Carzaniga and Alessandra Gorla and Andrea Mattavelli and Nicolò Perino and Mauro Pezzè}, title = {Automatic Recovery from Runtime Failures}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {783-782}, doi = {}, year = {2013}, } Article: icse13main-p307-p (type: Full Paper) doi:

Program Transformations to Fix C Integers
Zack Coker and Munawar Hafiz
(Auburn University, USA)

@InProceedings{ICSE13p793, author = {Zack Coker and Munawar Hafiz}, title = {Program Transformations to Fix C Integers}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {793-792}, doi = {}, year = {2013}, } Article: icse13main-p352-p (type: Full Paper) doi:

Automatic Patch Generation Learned from Human-Written Patches
Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim
(Hong Kong University of Science and Technology, China)

@InProceedings{ICSE13p803, author = {Dongsun Kim and Jaechang Nam and Jaewoo Song and Sunghun Kim}, title = {Automatic Patch Generation Learned from Human-Written Patches}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {803-802}, doi = {}, year = {2013}, } Article: icse13main-p413-p (type: Full Paper) doi:

Tools
Fri, May 24, 13:30 - 15:30, Seacliff A/B (Chair: Wilhelm Schäfer)

Reverb: Recommending Code-Related Web Pages
Nicholas Sawadsky, Gail C. Murphy, and Rahul Jiresal
(University of British Columbia, Canada)

@InProceedings{ICSE13p813, author = {Nicholas Sawadsky and Gail C. Murphy and Rahul Jiresal}, title = {Reverb: Recommending Code-Related Web Pages}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {813-812}, doi = {}, year = {2013}, } Article: icse13main-p209-p (type: Full Paper) doi:

Dynamic Injection of Sketching Features into GEF Based Diagram Editors
Andreas Scharf and Till Amma
(University of Kassel, Germany)

@InProceedings{ICSE13p823, author = {Andreas Scharf and Till Amma}, title = {Dynamic Injection of Sketching Features into GEF Based Diagram Editors}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {823-822}, doi = {}, year = {2013}, } Article: icse13main-p121-p (type: Full Paper) doi:

Discovering Essential Code Elements in Informal Documentation
Peter C. Rigby and Martin P. Robillard
(Concordia University, Canada; McGill University, Canada)

@InProceedings{ICSE13p833, author = {Peter C. Rigby and Martin P. Robillard}, title = {Discovering Essential Code Elements in Informal Documentation}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {833-832}, doi = {}, year = {2013}, } Article: icse13main-p049-p (type: Full Paper) doi:

Automatic Query Reformulations for Text Retrieval in Software Engineering
Sonia Haiduc, Gabriele Bavota, Andrian Marcus, Rocco Oliveto, Andrea De Lucia, and Tim Menzies
(Wayne State University, USA; University of Salerno, Italy; University of Molise, Italy; University of West Virginia, USA)

@InProceedings{ICSE13p843, author = {Sonia Haiduc and Gabriele Bavota and Andrian Marcus and Rocco Oliveto and Andrea De Lucia and Tim Menzies}, title = {Automatic Query Reformulations for Text Retrieval in Software Engineering}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {843-842}, doi = {}, year = {2013}, } Article: icse13main-p433-p (type: Full Paper) doi:

Keynotes

Are Software Patents Bad? (Keynote)
Pamela Samuelson
(UC Berkeley, USA)

@InProceedings{ICSE13p856, author = {Pamela Samuelson}, title = {Are Software Patents Bad? (Keynote)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {856-855}, doi = {}, year = {2013}, } Article: icse13keynotes-key01-p (type: Keynote Paper) doi:

The Connection between Movie Making and Software Development (Keynote)
Tony DeRose
(Pixar Research Group, USA)

@InProceedings{ICSE13p867, author = {Tony DeRose}, title = {The Connection between Movie Making and Software Development (Keynote)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {867-866}, doi = {}, year = {2013}, } Article: icse13keynotes-key02-p (type: Keynote Paper) doi:

Does Scale Really Matter? Ultra-Large-Scale Systems Seven Years after the Study (Keynote)
Linda Northrop
(SEI, USA)

@InProceedings{ICSE13p878, author = {Linda Northrop}, title = {Does Scale Really Matter? Ultra-Large-Scale Systems Seven Years after the Study (Keynote)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {878-877}, doi = {}, year = {2013}, } Article: icse13keynotes-key03-p (type: Keynote Paper) doi:

Software Engineering in Practice

Technical Debt: Past, Present, and Future
Wed, May 22, 10:30 - 12:00, Seacliff A/B (Chair: Steven Fraser)

Technical Debt: Past, Present, and Future (Panel)
Steven Fraser, Judith Bishop, Barry Boehm, Pradeep Kathail, Philippe Kruchten, Ipek Ozkaya, and Alexandra Szynkarski
(Cisco Systems, USA; Microsoft Research, USA; University of Southern California, USA; University of British Columbia, Canada; SEI, USA; CAST, USA)

@InProceedings{ICSE13p891, author = {Steven Fraser and Judith Bishop and Barry Boehm and Pradeep Kathail and Philippe Kruchten and Ipek Ozkaya and Alexandra Szynkarski}, title = {Technical Debt: Past, Present, and Future (Panel)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {891-890}, doi = {}, year = {2013}, } Article: icse13seip-id84-p (type: Panel (2 pages)) doi:

Agile and Distributed Practices
Wed, May 22, 13:30 - 15:30, Seacliff A/B (Chair: Romain Robbes)

Scaling Agile Methods to Regulated Environments: An Industry Case Study
Brian Fitzgerald, Klaas-Jan Stol, Ryan O'Sullivan, and Donal O'Brien
(Lero, Ireland; University of Limerick, Ireland; QUMAS, Ireland)

@InProceedings{ICSE13p893, author = {Brian Fitzgerald and Klaas-Jan Stol and Ryan O'Sullivan and Donal O'Brien}, title = {Scaling Agile Methods to Regulated Environments: An Industry Case Study}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {893-892}, doi = {}, year = {2013}, } Article: icse13seip-id54-p (type: Experience Reports) doi:

Agility at Scale: Economic Governance, Measured Improvement, and Disciplined Delivery
Alan W. Brown, Scott Ambler, and Walker Royce
(University of Surrey, UK; Ambler and Associates, Canada; IBM, USA)

@InProceedings{ICSE13p903, author = {Alan W. Brown and Scott Ambler and Walker Royce}, title = {Agility at Scale: Economic Governance, Measured Improvement, and Disciplined Delivery}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {903-902}, doi = {}, year = {2013}, } Article: icse13seip-id12-p (type: Experience Reports) doi:

Distributed Development Considered Harmful?
Ekrem Kocaguneli, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, and Tim Menzies
(West Virginia University, USA; Microsoft Research, USA)

@InProceedings{ICSE13p913, author = {Ekrem Kocaguneli and Thomas Zimmermann and Christian Bird and Nachiappan Nagappan and Tim Menzies}, title = {Distributed Development Considered Harmful?}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {913-912}, doi = {}, year = {2013}, } Article: icse13seip-id61-p (type: Experience Reports) doi:

Software Architecture
Wed, May 22, 16:00 - 17:30, Seacliff A/B (Chair: Xavier Franch)

Measuring Architecture Quality by Structure Plus History Analysis
Robert Schwanke, Lu Xiao, and Yuanfang Cai
(Siemens, USA; Drexel University, USA)

@InProceedings{ICSE13p923, author = {Robert Schwanke and Lu Xiao and Yuanfang Cai}, title = {Measuring Architecture Quality by Structure Plus History Analysis}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {923-922}, doi = {}, year = {2013}, } Article: icse13seip-id74-p (type: Experience Reports) doi:

Obtaining Ground-Truth Software Architectures
Joshua Garcia, Ivo Krka, Chris Mattmann, and Nenad Medvidovic
(University of Southern California, USA; Jet Propulsion Laboratory, USA)

@InProceedings{ICSE13p933, author = {Joshua Garcia and Ivo Krka and Chris Mattmann and Nenad Medvidovic}, title = {Obtaining Ground-Truth Software Architectures}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {933-932}, doi = {}, year = {2013}, } Article: icse13seip-id80-p (type: Experience Reports) doi:

MIDAS: A Design Quality Assessment Method for Industrial Software
Ganesh Samarthyam, Girish Suryanarayana, Tushar Sharma, and Shrinath Gupta
(Siemens, India)

@InProceedings{ICSE13p943, author = {Ganesh Samarthyam and Girish Suryanarayana and Tushar Sharma and Shrinath Gupta}, title = {MIDAS: A Design Quality Assessment Method for Industrial Software}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {943-942}, doi = {}, year = {2013}, } Article: icse13seip-id49-p (type: Experience Reports) doi:

Metrics and Evaluation
Wed, May 22, 16:00 - 17:30, Seacliff C/D (Chair: Carlos Castro-Herrera)

Evaluating Usefulness of Software Metrics: An Industrial Experience Report
Eric Bouwers, Arie van Deursen, and Joost Visser
(Software Improvement Group, Netherlands; TU Delft, Netherlands; Radboud University Nijmegen, Netherlands)

@InProceedings{ICSE13p953, author = {Eric Bouwers and Arie van Deursen and Joost Visser}, title = {Evaluating Usefulness of Software Metrics: An Industrial Experience Report}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {953-952}, doi = {}, year = {2013}, } Article: icse13seip-id58-p (type: Experience Reports) doi:

Reducing Human Effort and Improving Quality in Peer Code Reviews using Automatic Static Analysis and Reviewer Recommendation
Vipin Balachandran
(VMware, India)

@InProceedings{ICSE13p963, author = {Vipin Balachandran}, title = {Reducing Human Effort and Improving Quality in Peer Code Reviews using Automatic Static Analysis and Reviewer Recommendation}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {963-962}, doi = {}, year = {2013}, } Article: icse13seip-id6-p (type: Experience Reports) doi:

Estimating Software-Intensive Projects in the Absence of Historical Data
Aldo Dagnino
(ABB Research, USA)

@InProceedings{ICSE13p973, author = {Aldo Dagnino}, title = {Estimating Software-Intensive Projects in the Absence of Historical Data}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {973-972}, doi = {}, year = {2013}, } Article: icse13seip-id51-p (type: Experience Reports) doi:

Mini-Tutorial
Thu, May 23, 10:30 - 12:00, Seacliff A/B (Chair: Dongmei Zhang / Tao Xie)

Pathways to Technology Transfer and Adoption: Achievements and Challenges (Mini-Tutorial)
Dongmei Zhang and Tao Xie
(Microsoft Research, China; North Carolina State University, USA)

@InProceedings{ICSE13p983, author = {Dongmei Zhang and Tao Xie}, title = {Pathways to Technology Transfer and Adoption: Achievements and Challenges (Mini-Tutorial)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {983-982}, doi = {}, year = {2013}, } Article: icse13seip-id42-p (type: Mini-Tutorial (4 pages)) doi:

Case Studies
Thu, May 23, 13:30 - 15:30, Seacliff A/B (Chair: Erik Simmons)

User Involvement in Software Evolution Practice: A Case Study
Dennis Pagano and Bernd Brügge
(TU Munich, Germany)

@InProceedings{ICSE13p987, author = {Dennis Pagano and Bernd Brügge}, title = {User Involvement in Software Evolution Practice: A Case Study}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {987-986}, doi = {}, year = {2013}, } Article: icse13seip-id13-p (type: Experience Reports) doi:

A Characteristic Study on Failures of Production Distributed Data-Parallel Programs
Sihan Li, Hucheng Zhou, Haoxiang Lin, Tian Xiao, Haibo Lin, Wei Lin, and Tao Xie
(North Carolina State University, USA; Microsoft Research, China; Tsinghua University, China; Microsoft Bing, China; Microsoft Bing, USA)

@InProceedings{ICSE13p997, author = {Sihan Li and Hucheng Zhou and Haoxiang Lin and Tian Xiao and Haibo Lin and Wei Lin and Tao Xie}, title = {A Characteristic Study on Failures of Production Distributed Data-Parallel Programs}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {997-996}, doi = {}, year = {2013}, } Article: icse13seip-id94-p (type: Experience Reports) doi:

Is Time-Zone Proximity an Advantage for Software Development? The Case of the Brazilian IT Industry
Rafael Prikladnicki and Erran Carmel
(PUCRS, Brazil; American University, USA)

@InProceedings{ICSE13p1007, author = {Rafael Prikladnicki and Erran Carmel}, title = {Is Time-Zone Proximity an Advantage for Software Development? The Case of the Brazilian IT Industry}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1007-1006}, doi = {}, year = {2013}, } Article: icse13seip-id68-p (type: Experience Reports) doi:

A Study of Enabling Factors for Rapid Fielding: Combined Practices to Balance Speed and Stability
Stephany Bellomo, Robert L. Nord, and Ipek Ozkaya
(SEI, USA)

@InProceedings{ICSE13p1017, author = {Stephany Bellomo and Robert L. Nord and Ipek Ozkaya}, title = {A Study of Enabling Factors for Rapid Fielding: Combined Practices to Balance Speed and Stability}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1017-1016}, doi = {}, year = {2013}, } Article: icse13seip-id78-p (type: Experience Reports) doi:

Testing
Thu, May 23, 16:00 - 17:30, Seacliff A/B (Chair: Michael Whalen)

JST: An Automatic Test Generation Tool for Industrial Java Applications with Strings
Indradeep Ghosh, Nastaran Shafiei, Guodong Li, and Wei-Fan Chiang
(Fujitsu Labs, USA; York University, Canada; University of Utah, USA)

@InProceedings{ICSE13p1027, author = {Indradeep Ghosh and Nastaran Shafiei and Guodong Li and Wei-Fan Chiang}, title = {JST: An Automatic Test Generation Tool for Industrial Java Applications with Strings}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1027-1026}, doi = {}, year = {2013}, } Article: icse13seip-id29-p (type: Experience Reports) doi:

Efficient and Change-Resilient Test Automation: An Industrial Case Study
Suresh Thummalapenta, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Sivagami Gnanasundaram, Deepa D. Nagaraj, and Sampathkumar Sathishkumar
(IBM Research, India; IBM Research, USA; IBM, India)

@InProceedings{ICSE13p1037, author = {Suresh Thummalapenta and Pranavadatta Devaki and Saurabh Sinha and Satish Chandra and Sivagami Gnanasundaram and Deepa D. Nagaraj and Sampathkumar Sathishkumar}, title = {Efficient and Change-Resilient Test Automation: An Industrial Case Study}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1037-1036}, doi = {}, year = {2013}, } Article: icse13seip-id83-p (type: Experience Reports) doi:

Automatic Detection of Performance Deviations in the Load Testing of Large Scale Systems
Haroon Malik, Hadi Hemmati, and Ahmed E. Hassan
(Queen's University, Canada; University of Waterloo, Canada)

@InProceedings{ICSE13p1047, author = {Haroon Malik and Hadi Hemmati and Ahmed E. Hassan}, title = {Automatic Detection of Performance Deviations in the Load Testing of Large Scale Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1047-1046}, doi = {}, year = {2013}, } Article: icse13seip-id81-p (type: Experience Reports) doi:

Bug Detection
Fri, May 24, 10:30 - 12:00, Seacliff A/B (Chair: Robert Schwanke)

Detecting Inconsistencies in Wrappers: A Case Study
Henning Femmer, Dharmalingam Ganesan, Mikael Lindvall, and David McComas
(TU Munich, Germany; Fraunhofer CESE, USA; NASA Goddard Space Flight Center, USA)

@InProceedings{ICSE13p1057, author = {Henning Femmer and Dharmalingam Ganesan and Mikael Lindvall and David McComas}, title = {Detecting Inconsistencies in Wrappers: A Case Study}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1057-1056}, doi = {}, year = {2013}, } Article: icse13seip-id8-p (type: Experience Reports) doi:

Categorizing Bugs with Social Networks: A Case Study on Four Open Source Software Communities
Marcelo Serrano Zanetti, Ingo Scholtes, Claudio Juan Tessone, and Frank Schweitzer
(ETH Zurich, Switzerland)

@InProceedings{ICSE13p1067, author = {Marcelo Serrano Zanetti and Ingo Scholtes and Claudio Juan Tessone and Frank Schweitzer}, title = {Categorizing Bugs with Social Networks: A Case Study on Four Open Source Software Communities}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1067-1066}, doi = {}, year = {2013}, } Article: icse13seip-id28-p (type: Experience Reports) doi:

Predicting Bug-Fixing Time: An Empirical Study of Commercial Software Projects
Hongyu Zhang, Liang Gong, and Steve Versteeg
(Tsinghua University, China; CA Technologies, Australia)

@InProceedings{ICSE13p1077, author = {Hongyu Zhang and Liang Gong and Steve Versteeg}, title = {Predicting Bug-Fixing Time: An Empirical Study of Commercial Software Projects}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1077-1076}, doi = {}, year = {2013}, } Article: icse13seip-id30-p (type: Experience Reports) doi:

Software Engineering in Education

Problem-Based and Studio Learning
Wed, May 22, 13:30 - 15:30, Marina Room (Chair: Janet Burge)

Authentic Assessment in Software Engineering Education Based on PBL Principles: A Case Study in the Telecom Market
Simone C. dos Santos and Felipe S. F. Soares
(UFPE, Brazil; Recife Center of Advanced Studies and Systems, Brazil)

@InProceedings{ICSE13p1090, author = {Simone C. dos Santos and Felipe S. F. Soares}, title = {Authentic Assessment in Software Engineering Education Based on PBL Principles: A Case Study in the Telecom Market}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1090-1089}, doi = {}, year = {2013}, } Article: icse13see-id12-p (type: Long Paper (10 pages)) doi:

Studios in Software Engineering Education: Towards an Evaluable Model
Christopher N. Bull, Jon Whittle, and Leon Cruickshank
(Lancaster University, UK)

@InProceedings{ICSE13p1100, author = {Christopher N. Bull and Jon Whittle and Leon Cruickshank}, title = {Studios in Software Engineering Education: Towards an Evaluable Model}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1100-1099}, doi = {}, year = {2013}, } Article: icse13see-id43-p (type: Long Paper (10 pages)) doi:

Enabling a Classroom Design Studio with a Collaborative Sketch Design Tool
Dastyni Loksa, Nicolas Mangano, Thomas D. LaToza, and André van der Hoek
(UC Irvine, USA)

@InProceedings{ICSE13p1110, author = {Dastyni Loksa and Nicolas Mangano and Thomas D. LaToza and André van der Hoek}, title = {Enabling a Classroom Design Studio with a Collaborative Sketch Design Tool}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1110-1109}, doi = {}, year = {2013}, } Article: icse13see-id48-p (type: Long Paper (10 pages)) doi:

A Framework to Evaluate Software Engineering Student Contests: Evaluation and Integration with Academic Programs
Amir Zeid
(American University of Kuwait, Kuwait)

@InProceedings{ICSE13p1120, author = {Amir Zeid}, title = {A Framework to Evaluate Software Engineering Student Contests: Evaluation and Integration with Academic Programs}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1120-1119}, doi = {}, year = {2013}, } Article: icse13see-id29-p (type: Long Paper (10 pages)) doi:

Teaching Introductory Software Engineering
Wed, May 22, 16:00 - 18:00, Marina Room (Chair: Laurie Williams)

An Evaluation of Interactive Test-Driven Labs with WebIDE in CS0
David S. Janzen, John Clements, and Michael Hilton
(Cal Poly, USA)

@InProceedings{ICSE13p1130, author = {David S. Janzen and John Clements and Michael Hilton}, title = {An Evaluation of Interactive Test-Driven Labs with WebIDE in CS0}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1130-1129}, doi = {}, year = {2013}, } Article: icse13see-id35-p (type: Long Paper (10 pages)) doi:

POPT: A Problem-Oriented Programming and Testing Approach for Novice Students
Vicente Lustosa Neto, Roberta Coelho, Larissa Leite, Dalton S. Guerrero, and Andrea P. Mendonça
(UFRN, Brazil; UFCG, Brazil; IFAM, Brazil)

@InProceedings{ICSE13p1140, author = {Vicente Lustosa Neto and Roberta Coelho and Larissa Leite and Dalton S. Guerrero and Andrea P. Mendonça}, title = {POPT: A Problem-Oriented Programming and Testing Approach for Novice Students}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1140-1139}, doi = {}, year = {2013}, } Article: icse13see-id39-p (type: Long Paper (10 pages)) doi:

Teaching Developer Skills in the First Software Engineering Course
Václav Rajlich
(Wayne State University, USA)

@InProceedings{ICSE13p1150, author = {Václav Rajlich}, title = {Teaching Developer Skills in the First Software Engineering Course}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1150-1149}, doi = {}, year = {2013}, } Article: icse13see-id16-p (type: Long Paper (10 pages)) doi:

Teaching and Learning Programming and Software Engineering via Interactive Gaming
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, and Judith Bishop
(Microsoft Research, USA; North Carolina State University, USA)

@InProceedings{ICSE13p1160, author = {Nikolai Tillmann and Jonathan de Halleux and Tao Xie and Sumit Gulwani and Judith Bishop}, title = {Teaching and Learning Programming and Software Engineering via Interactive Gaming}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1160-1159}, doi = {}, year = {2013}, } Article: icse13see-id47-p (type: Long Paper (10 pages)) doi:

Panel: Town Hall Discussion of SE 2004 Revisions
Thu, May 23, 13:30 - 15:30, Marina Room (Chair: Debra Richardson)

Town Hall Discussion of SE 2004 Revisions (Panel)
Mark Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark Sebern, and Willem Visser
(Stevens Institute of Technology, USA; Durham University, UK; Drexel University, USA; George Mason University, USA; Milwaukee School of Engineering, USA; Stellenbosch University, South Africa)

@InProceedings{ICSE13p1170, author = {Mark Ardis and David Budgen and Gregory W. Hislop and Jeff Offutt and Mark Sebern and Willem Visser}, title = {Town Hall Discussion of SE 2004 Revisions (Panel)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1170-1169}, doi = {}, year = {2013}, } Article: icse13see-id15-p (type: Panel (2 pages)) doi:

Advanced Software Engineering Education
Thu, May 23, 16:00 - 17:45, Marina Room (Chair: Rafael Prikladnicki)

Teaching Students Global Software Engineering Skills using Distributed Scrum
Maria Paasivaara, Casper Lassenius, Daniela Damian, Petteri Räty, and Adrian Schröter
(Aalto University, Finland; University of Victoria, Canada)

@InProceedings{ICSE13p1172, author = {Maria Paasivaara and Casper Lassenius and Daniela Damian and Petteri Räty and Adrian Schröter}, title = {Teaching Students Global Software Engineering Skills using Distributed Scrum}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1172-1171}, doi = {}, year = {2013}, } Article: icse13see-id10-p (type: Long Paper (10 pages)) doi:

Teaching Software Process Modeling
Marco Kuhrmann, Daniel Méndez Fernández, and Jürgen Münch
(TU Munich, Germany; University of Helsinki, Finland)

@InProceedings{ICSE13p1182, author = {Marco Kuhrmann and Daniel Méndez Fernández and Jürgen Münch}, title = {Teaching Software Process Modeling}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1182-1181}, doi = {}, year = {2013}, } Article: icse13see-id31-p (type: Long Paper (10 pages)) doi:

Industry Involvement in ICT Curriculum: A Comparative Survey
Chris J. Pilgrim
(Swinburne University of Technology, Australia)

@InProceedings{ICSE13p1192, author = {Chris J. Pilgrim}, title = {Industry Involvement in ICT Curriculum: A Comparative Survey}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1192-1191}, doi = {}, year = {2013}, } Article: icse13see-id19-p (type: Long Paper (10 pages)) doi:

Vulnerability of the Day: Concrete Demonstrations for Software Engineering Undergraduates
Andrew Meneely and Samuel Lucidi
(Rochester Institute of Technology, USA)

@InProceedings{ICSE13p1202, author = {Andrew Meneely and Samuel Lucidi}, title = {Vulnerability of the Day: Concrete Demonstrations for Software Engineering Undergraduates}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1202-1201}, doi = {}, year = {2013}, } Article: icse13see-id24-p (type: Short Paper (4 pages)) doi:

New Ideas and Emerging Results

Dependability Perspectives
Wed, May 22, 10:30 - 12:00, Seacliff C/D (Chair: Paolo Tonella)

Eliminative Induction: A Basis for Arguing System Confidence
John B. Goodenough, Charles B. Weinstock, and Ari Z. Klein
(SEI, USA)

@InProceedings{ICSE13p1209, author = {John B. Goodenough and Charles B. Weinstock and Ari Z. Klein}, title = {Eliminative Induction: A Basis for Arguing System Confidence}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1209-1208}, doi = {}, year = {2013}, } Article: icse13nier-id10-p (type: Regular (4 pages)) doi:

Exploring the Internal State of User Interfaces by Combining Computer Vision Techniques with Grammatical Inference
Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, and Tom Yeh
(University of Colorado at Boulder, USA)

@InProceedings{ICSE13p1213, author = {Paul Givens and Aleksandar Chakarov and Sriram Sankaranarayanan and Tom Yeh}, title = {Exploring the Internal State of User Interfaces by Combining Computer Vision Techniques with Grammatical Inference}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1213-1212}, doi = {}, year = {2013}, } Article: icse13nier-id95-p (type: Regular (4 pages)) doi:

Semantic Smells and Errors in Access Control Models: A Case Study in PHP
François Gauthier and Ettore Merlo
(Polytechnique Montréal, Canada)

@InProceedings{ICSE13p1217, author = {François Gauthier and Ettore Merlo}, title = {Semantic Smells and Errors in Access Control Models: A Case Study in PHP}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1217-1216}, doi = {}, year = {2013}, } Article: icse13nier-id24-p (type: Regular (4 pages)) doi:

Practical Semantic Test Simplification
Sai Zhang
(University of Washington, USA)

@InProceedings{ICSE13p1221, author = {Sai Zhang}, title = {Practical Semantic Test Simplification}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1221-1220}, doi = {}, year = {2013}, } Article: icse13nier-id12-p (type: Regular (4 pages)) doi:

Understanding Regression Failures through Test-Passing and Test-Failing Code Changes
Roykrong Sukkerd, Ivan Beschastnikh, Jochen Wuttke, Sai Zhang, and Yuriy Brun
(University of Washington, USA; University of Massachusetts, USA)

@InProceedings{ICSE13p1225, author = {Roykrong Sukkerd and Ivan Beschastnikh and Jochen Wuttke and Sai Zhang and Yuriy Brun}, title = {Understanding Regression Failures through Test-Passing and Test-Failing Code Changes}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1225-1224}, doi = {}, year = {2013}, } Article: icse13nier-id25-p (type: Regular (4 pages)) doi:

Supporting Tomorrow's Developer
Wed, May 22, 13:30 - 15:30, Seacliff C/D (Chair: Walter Tichy)

Temporal Code Completion and Navigation
Yun Young Lee, Sam Harwell, Sarfraz Khurshid, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; University of Texas at Austin, USA)

@InProceedings{ICSE13p1229, author = {Yun Young Lee and Sam Harwell and Sarfraz Khurshid and Darko Marinov}, title = {Temporal Code Completion and Navigation}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1229-1228}, doi = {}, year = {2013}, } Article: icse13nier-id157-p (type: Regular (4 pages)) doi:

Situational Awareness: Personalizing Issue Tracking Systems
Olga Baysal, Reid Holmes, and Michael W. Godfrey
(University of Waterloo, Canada)

@InProceedings{ICSE13p1233, author = {Olga Baysal and Reid Holmes and Michael W. Godfrey}, title = {Situational Awareness: Personalizing Issue Tracking Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1233-1232}, doi = {}, year = {2013}, } Article: icse13nier-id82-p (type: Regular (4 pages)) doi:

GROPG: A Graphical On-Phone Debugger
Tuan Anh Nguyen, Christoph Csallner, and Nikolai Tillmann
(University of Texas at Arlington, USA; Microsoft Research, USA)

@InProceedings{ICSE13p1237, author = {Tuan Anh Nguyen and Christoph Csallner and Nikolai Tillmann}, title = {GROPG: A Graphical On-Phone Debugger}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1237-1236}, doi = {}, year = {2013}, } Article: icse13nier-id119-p (type: Regular (4 pages)) doi:

Why Did This Code Change?
Sarah Rastkar and Gail C. Murphy
(University of British Columbia, Canada)

@InProceedings{ICSE13p1241, author = {Sarah Rastkar and Gail C. Murphy}, title = {Why Did This Code Change?}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1241-1240}, doi = {}, year = {2013}, } Article: icse13nier-id107-p (type: Regular (4 pages)) doi:

Deciphering the Story of Software Development through Frequent Pattern Mining
Nicolas Bettenburg and Andrew Begel
(Queen's University, Canada; Microsoft Research, USA)

@InProceedings{ICSE13p1245, author = {Nicolas Bettenburg and Andrew Begel}, title = {Deciphering the Story of Software Development through Frequent Pattern Mining}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1245-1244}, doi = {}, year = {2013}, } Article: icse13nier-id137-p (type: Regular (4 pages)) doi:

Collaborative Development
Thu, May 23, 10:30 - 12:00, Seacliff C/D (Chair: Daniela Damian)

Liberating Pair Programming Research from the Oppressive Driver/Observer Regime
Stephan Salinger, Franz Zieris, and Lutz Prechelt
(Freie Universität Berlin, Germany)

@InProceedings{ICSE13p1249, author = {Stephan Salinger and Franz Zieris and Lutz Prechelt}, title = {Liberating Pair Programming Research from the Oppressive Driver/Observer Regime}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1249-1248}, doi = {}, year = {2013}, } Article: icse13nier-id75-p (type: Regular (4 pages)) doi:

Pricing Crowdsourcing-Based Software Development Tasks
Ke Mao, Ye Yang, Mingshu Li, and Mark Harman
(ISCAS, China; UCAS, Cina; University College London, UK)

@InProceedings{ICSE13p1253, author = {Ke Mao and Ye Yang and Mingshu Li and Mark Harman}, title = {Pricing Crowdsourcing-Based Software Development Tasks}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1253-1252}, doi = {}, year = {2013}, } Article: icse13nier-id44-p (type: Regular (4 pages)) doi:

Building Test Suites in Social Coding Sites by Leveraging Drive-By Commits
Raphael Pham, Leif Singer, and Kurt Schneider
(Leibniz Universität Hannover, Germany)

@InProceedings{ICSE13p1257, author = {Raphael Pham and Leif Singer and Kurt Schneider}, title = {Building Test Suites in Social Coding Sites by Leveraging Drive-By Commits}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1257-1256}, doi = {}, year = {2013}, } Article: icse13nier-id88-p (type: Regular (4 pages)) doi:

Supporting Application Development with Structured Queries in the Cloud
Michael Smit, Bradley Simmons, Mark Shtern, and Marin Litoiu
(York University, Canada)

@InProceedings{ICSE13p1261, author = {Michael Smit and Bradley Simmons and Mark Shtern and Marin Litoiu}, title = {Supporting Application Development with Structured Queries in the Cloud}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1261-1260}, doi = {}, year = {2013}, } Article: icse13nier-id151-p (type: Regular (4 pages)) doi:

Hunting for Smells in Natural Language Tests
Benedikt Hauptmann, Maximilian Junker, Sebastian Eder, Lars Heinemann, Rudolf Vaas, and Peter Braun
(TU Munich, Germany; CQSE, Germany; Munich Re, Germany; Validas, Germany)

@InProceedings{ICSE13p1265, author = {Benedikt Hauptmann and Maximilian Junker and Sebastian Eder and Lars Heinemann and Rudolf Vaas and Peter Braun}, title = {Hunting for Smells in Natural Language Tests}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1265-1264}, doi = {}, year = {2013}, } Article: icse13nier-id47-p (type: Regular (4 pages)) doi:

Alternative Modeling
Thu, May 23, 13:30 - 15:30, Seacliff C/D (Chair: Nenad Medvidovic)

Bottom-Up Model-Driven Development
Hamid Bagheri and Kevin Sullivan
(University of Virginia, USA)

@InProceedings{ICSE13p1269, author = {Hamid Bagheri and Kevin Sullivan}, title = {Bottom-Up Model-Driven Development}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1269-1268}, doi = {}, year = {2013}, } Article: icse13nier-id144-p (type: Regular (4 pages)) doi:

An Approach for Restructuring Text Content
Lerina Aversano, Gerardo Canfora, Giuseppe De Ruvo, and Maria Tortorella
(University of Sannio, Italy)

@InProceedings{ICSE13p1273, author = {Lerina Aversano and Gerardo Canfora and Giuseppe De Ruvo and Maria Tortorella}, title = {An Approach for Restructuring Text Content}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1273-1272}, doi = {}, year = {2013}, } Article: icse13nier-id96-p (type: Regular (4 pages)) doi:

A Case for Human-Driven Software Development
Emilie Balland, Charles Consel, Bernard N'Kaoua, and Hélène Sauzéon
(University of Bordeaux, France; INRIA, France)

@InProceedings{ICSE13p1277, author = {Emilie Balland and Charles Consel and Bernard N'Kaoua and Hélène Sauzéon}, title = {A Case for Human-Driven Software Development}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1277-1276}, doi = {}, year = {2013}, } Article: icse13nier-id23-p (type: Regular (4 pages)) doi:

A Framework for Managing Cloned Product Variants
Julia Rubin and Marsha Chechik
(IBM Research, Israel; University of Toronto, Canada)

@InProceedings{ICSE13p1281, author = {Julia Rubin and Marsha Chechik}, title = {A Framework for Managing Cloned Product Variants}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1281-1280}, doi = {}, year = {2013}, } Article: icse13nier-id129-p (type: Regular (4 pages)) doi:

Sketching Software in the Wild
David Socha and Josh Tenenberg
(University of Washington, USA)

@InProceedings{ICSE13p1285, author = {David Socha and Josh Tenenberg}, title = {Sketching Software in the Wild}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1285-1284}, doi = {}, year = {2013}, } Article: icse13nier-id11-p (type: Regular (4 pages)) doi:

Posters
Wed, May 22, 19:00 - 20:30, Hospitality Room OR Ballroom Foyer

On Extracting Unit Tests from Interactive Live Programming Sessions
Adrian Kuhn
(University of British Columbia, Canada)

@InProceedings{ICSE13p1289, author = {Adrian Kuhn}, title = {On Extracting Unit Tests from Interactive Live Programming Sessions}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1289-1288}, doi = {}, year = {2013}, } Article: icse13nier-id162-p (type: Regular (4 pages)) doi:

Towards Automated Testing and Fixing of Re-engineered Feature Models
Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, and Yves Le Traon
(University of Luxembourg, Luxembourg; University of Namur, Belgium)

@InProceedings{ICSE13p1293, author = {Christopher Henard and Mike Papadakis and Gilles Perrouin and Jacques Klein and Yves Le Traon}, title = {Towards Automated Testing and Fixing of Re-engineered Feature Models}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1293-1292}, doi = {}, year = {2013}, } Article: icse13nier-id30-p (type: Regular (4 pages)) doi:

Computational Alignment of Goals and Scenarios for Complex Systems
Dalal Alrajeh, Alessandra Russo, James Lockerbie, Neil Maiden, Alistair Mavin, and Mark Novak
(Imperial College London, UK; City University London, UK; Rolls Royce, UK; Aero Engine Controls, UK)

@InProceedings{ICSE13p1297, author = {Dalal Alrajeh and Alessandra Russo and James Lockerbie and Neil Maiden and Alistair Mavin and Mark Novak}, title = {Computational Alignment of Goals and Scenarios for Complex Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1297-1296}, doi = {}, year = {2013}, } Article: icse13nier-id77-p (type: Regular (4 pages)) doi:

Service Networks for Development Communities
Damian A. Tamburri, Patricia Lago, and Hans van Vliet
(VU University Amsterdam, Netherlands)

@InProceedings{ICSE13p1301, author = {Damian A. Tamburri and Patricia Lago and Hans van Vliet}, title = {Service Networks for Development Communities}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1301-1300}, doi = {}, year = {2013}, } Article: icse13nier-id72-p (type: Regular (4 pages)) doi:

Formal Specifications Better Than Function Points for Code Sizing
Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby Murray, Ross Jeffery, and Len Bass
(NICTA, Australia)

@InProceedings{ICSE13p1305, author = {Mark Staples and Rafal Kolanski and Gerwin Klein and Corey Lewis and June Andronick and Toby Murray and Ross Jeffery and Len Bass}, title = {Formal Specifications Better Than Function Points for Code Sizing}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1305-1304}, doi = {}, year = {2013}, } Article: icse13nier-id27-p (type: Regular (4 pages)) doi:

Using Mutation Analysis for a Model-Clone Detector Comparison Framework
Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, and James R. Cordy
(Queen's University, Canada)

@InProceedings{ICSE13p1309, author = {Matthew Stephan and Manar H. Alalfi and Andrew Stevenson and James R. Cordy}, title = {Using Mutation Analysis for a Model-Clone Detector Comparison Framework}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1309-1308}, doi = {}, year = {2013}, } Article: icse13nier-id141-p (type: Regular (4 pages)) doi:

On the Relationships between Domain-Based Coupling and Code Clones: An Exploratory Study
Md Saidur Rahman, Amir Aryani, Chanchal K. Roy, and Fabrizio Perin
(University of Saskatchewan, Canada; Australian National University, Australia; University of Bern, Switzerland)

@InProceedings{ICSE13p1313, author = {Md Saidur Rahman and Amir Aryani and Chanchal K. Roy and Fabrizio Perin}, title = {On the Relationships between Domain-Based Coupling and Code Clones: An Exploratory Study}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1313-1312}, doi = {}, year = {2013}, } Article: icse13nier-id134-p (type: Regular (4 pages)) doi:

Quantitative Program Slicing: Separating Statements by Relevance
Raul Santelices, Yiji Zhang, Siyuan Jiang, Haipeng Cai, and Ying-Jie Zhang
(University of Notre Dame, USA; Tsinghua University, China)

@InProceedings{ICSE13p1317, author = {Raul Santelices and Yiji Zhang and Siyuan Jiang and Haipeng Cai and Ying-Jie Zhang}, title = {Quantitative Program Slicing: Separating Statements by Relevance}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1317-1316}, doi = {}, year = {2013}, } Article: icse13nier-id112-p (type: Regular (4 pages)) doi:

Example-Driven Modeling: Model = Abstractions + Examples
Kacper Bąk, Dina Zayan, Krzysztof Czarnecki, Michał Antkiewicz, Zinovy Diskin, Andrzej Wąsowski, and Derek Rayside
(University of Waterloo, Canada; IT University of Copenhagen, Denmark)

@InProceedings{ICSE13p1321, author = {Kacper Bąk and Dina Zayan and Krzysztof Czarnecki and Michał Antkiewicz and Zinovy Diskin and Andrzej Wąsowski and Derek Rayside}, title = {Example-Driven Modeling: Model = Abstractions + Examples}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1321-1320}, doi = {}, year = {2013}, } Article: icse13nier-id41-p (type: Regular (4 pages)) doi:

Towards Recognizing and Rewarding Efficient Developer Work Patterns
Will Snipes, Vinay Augustine, Anil R. Nair, and Emerson Murphy-Hill
(ABB Research, USA; ABB Research, India; North Carolina State University, USA)

@InProceedings{ICSE13p1325, author = {Will Snipes and Vinay Augustine and Anil R. Nair and Emerson Murphy-Hill}, title = {Towards Recognizing and Rewarding Efficient Developer Work Patterns}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1325-1324}, doi = {}, year = {2013}, } Article: icse13nier-id34-p (type: Regular (4 pages)) doi:

Selecting Checkpoints along the Time Line: A Novel Temporal Checkpoint Selection Strategy for Monitoring a Batch of Parallel Business Processes
Xiao Liu, Yun Yang, Dahai Cao, and Dong Yuan
(East China Normal University, China; Swinburne University of Technology, Australia)

@InProceedings{ICSE13p1329, author = {Xiao Liu and Yun Yang and Dahai Cao and Dong Yuan}, title = {Selecting Checkpoints along the Time Line: A Novel Temporal Checkpoint Selection Strategy for Monitoring a Batch of Parallel Business Processes}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1329-1328}, doi = {}, year = {2013}, } Article: icse13nier-id117-p (type: Regular (4 pages)) doi:

Formal Demonstrations

Formal Demonstrations 1
Thu, May 23, 13:30 - 15:30, Seacliff C/D (Chair: Yuanfang Cai)

LAMBDAFICATOR: From Imperative to Functional Programming through Automated Refactoring
Lyle Franklin, Alex Gyori, Jan Lahoda, and Danny Dig
(Ball State University, USA; Politehnica University of Timisoara, Romania; Oracle, Czech Republic; University of Illinois at Urbana-Champaign, USA)

@InProceedings{ICSE13p1335, author = {Lyle Franklin and Alex Gyori and Jan Lahoda and Danny Dig}, title = {LAMBDAFICATOR: From Imperative to Functional Programming through Automated Refactoring}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1335-1334}, doi = {}, year = {2013}, } Article: icse13tool-id38-p (type: Short Paper (4 pages)) doi:

JITTAC: A Just-in-Time Tool for Architectural Consistency
Jim Buckley, Sean Mooney, Jacek Rosik, and Nour Ali
(University of Limerick, Ireland; Lero, Ireland; University of Brighton, UK)

@InProceedings{ICSE13p1339, author = {Jim Buckley and Sean Mooney and Jacek Rosik and Nour Ali}, title = {JITTAC: A Just-in-Time Tool for Architectural Consistency}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1339-1338}, doi = {}, year = {2013}, } Article: icse13tool-id5-p (type: Short Paper (4 pages)) doi:

Seahawk: Stack Overflow in the IDE
Luca Ponzanelli, Alberto Bacchelli, and Michele Lanza
(University of Lugano, Switzerland)

@InProceedings{ICSE13p1343, author = {Luca Ponzanelli and Alberto Bacchelli and Michele Lanza}, title = {Seahawk: Stack Overflow in the IDE}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1343-1342}, doi = {}, year = {2013}, } Article: icse13tool-id7-p (type: Short Paper (4 pages)) doi:

DRC: A Detection Tool for Dangling References in PHP-Based Web Applications
Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen
(Iowa State University, USA)

@InProceedings{ICSE13p1347, author = {Hung Viet Nguyen and Hoan Anh Nguyen and Tung Thanh Nguyen and Tien N. Nguyen}, title = {DRC: A Detection Tool for Dangling References in PHP-Based Web Applications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1347-1346}, doi = {}, year = {2013}, } Article: icse13tool-id32-p (type: Short Paper (4 pages)) doi:

TestEvol: A Tool for Analyzing Test-Suite Evolution
Leandro Sales Pinto, Saurabh Sinha, and Alessandro Orso
(Politecnico di Milano, Italy; IBM Research, India; Georgia Tech, USA)

@InProceedings{ICSE13p1351, author = {Leandro Sales Pinto and Saurabh Sinha and Alessandro Orso}, title = {TestEvol: A Tool for Analyzing Test-Suite Evolution}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1351-1350}, doi = {}, year = {2013}, } Article: icse13tool-id39-p (type: Short Paper (4 pages)) doi:

Query Quality Prediction and Reformulation for Source Code Search: The Refoqus Tool
Sonia Haiduc, Giuseppe De Rosa, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, and Andrian Marcus
(Wayne State University, USA; University of Salerno, Italy; University of Molise, Italy)

@InProceedings{ICSE13p1355, author = {Sonia Haiduc and Giuseppe De Rosa and Gabriele Bavota and Rocco Oliveto and Andrea De Lucia and Andrian Marcus}, title = {Query Quality Prediction and Reformulation for Source Code Search: The Refoqus Tool}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1355-1354}, doi = {}, year = {2013}, } Article: icse13tool-id40-p (type: Short Paper (4 pages)) doi:

A Large Scale Linux-Kernel Based Benchmark for Feature Location Research
Zhenchang Xing, Yinxing Xue, and Stan Jarzabek
(Nanyang Technological University, Singapore; National University of Singapore, Singapore)

@InProceedings{ICSE13p1359, author = {Zhenchang Xing and Yinxing Xue and Stan Jarzabek}, title = {A Large Scale Linux-Kernel Based Benchmark for Feature Location Research}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1359-1358}, doi = {}, year = {2013}, } Article: icse13tool-id34-p (type: Short Paper (4 pages)) doi:

NavClus: A Graphical Recommender for Assisting Code Exploration
Seonah Lee, Sungwon Kang, and Matt Staats
(KAIST, South Korea)

@InProceedings{ICSE13p1363, author = {Seonah Lee and Sungwon Kang and Matt Staats}, title = {NavClus: A Graphical Recommender for Assisting Code Exploration}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1363-1362}, doi = {}, year = {2013}, } Article: icse13tool-id12-p (type: Short Paper (4 pages)) doi:

Formal Demonstrations 2
Fri, May 24, 13:30 - 15:30, Marina Room (Chair: Ewan Tempero)

LASE: An Example-Based Program Transformation Tool for Locating and Applying Systematic Edits
John Jacobellis, Na Meng, and Miryung Kim
(University of Texas at Austin, USA)

@InProceedings{ICSE13p1367, author = {John Jacobellis and Na Meng and Miryung Kim}, title = {LASE: An Example-Based Program Transformation Tool for Locating and Applying Systematic Edits}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1367-1366}, doi = {}, year = {2013}, } Article: icse13tool-id3-p (type: Short Paper (4 pages)) doi:

CEL: Modeling Everywhere
Remo Lemma, Michele Lanza, and Fernando Olivero
(University of Lugano, Switzerland)

@InProceedings{ICSE13p1371, author = {Remo Lemma and Michele Lanza and Fernando Olivero}, title = {CEL: Modeling Everywhere}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1371-1370}, doi = {}, year = {2013}, } Article: icse13tool-id4-p (type: Short Paper (4 pages)) doi:

V:ISSUE:LIZER: Exploring Requirements Clarification in Online Communication over Time
Eric Knauss and Daniela Damian
(University of Victoria, Canada)

@InProceedings{ICSE13p1375, author = {Eric Knauss and Daniela Damian}, title = {V:ISSUE:LIZER: Exploring Requirements Clarification in Online Communication over Time}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1375-1374}, doi = {}, year = {2013}, } Article: icse13tool-id13-p (type: Short Paper (4 pages)) doi:

YODA: Young and newcOmer Developer Assistant
Gerardo Canfora, Massimiliano Di Penta, Stefano Giannantonio, Rocco Oliveto, and Sebastiano Panichella
(University of Sannio, Italy; University of Molise, Italy; University of Salerno, Italy)

@InProceedings{ICSE13p1379, author = {Gerardo Canfora and Massimiliano Di Penta and Stefano Giannantonio and Rocco Oliveto and Sebastiano Panichella}, title = {YODA: Young and newcOmer Developer Assistant}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1379-1378}, doi = {}, year = {2013}, } Article: icse13tool-id18-p (type: Short Paper (4 pages)) doi:

RADAR: A Tool for Debugging Regression Problems in C/C++ Software
Fabrizio Pastore, Leonardo Mariani, and Alberto Goffi
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)

@InProceedings{ICSE13p1383, author = {Fabrizio Pastore and Leonardo Mariani and Alberto Goffi}, title = {RADAR: A Tool for Debugging Regression Problems in C/C++ Software}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1383-1382}, doi = {}, year = {2013}, } Article: icse13tool-id27-p (type: Short Paper (4 pages)) doi:

MCT: A Tool for Commenting Programs by Multimedia Comments
Yiyang Hao, Ge Li, Lili Mou, Lu Zhang, and Zhi Jin
(Peking University, China; Chinese Academy of Sciences-AMSS, China)

@InProceedings{ICSE13p1387, author = {Yiyang Hao and Ge Li and Lili Mou and Lu Zhang and Zhi Jin}, title = {MCT: A Tool for Commenting Programs by Multimedia Comments}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1387-1386}, doi = {}, year = {2013}, } Article: icse13tool-id42-p (type: Short Paper (4 pages)) doi:

Memoise: A Tool for Memoized Symbolic Execution
Guowei Yang, Sarfraz Khurshid, and Corina S. Păsăreanu
(University of Texas at Austin, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA)

@InProceedings{ICSE13p1391, author = {Guowei Yang and Sarfraz Khurshid and Corina S. Păsăreanu}, title = {Memoise: A Tool for Memoized Symbolic Execution}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1391-1390}, doi = {}, year = {2013}, } Article: icse13tool-id52-p (type: Short Paper (4 pages)) doi:

Controller Synthesis: From Modelling to Enactment
Víctor Braberman, Nicolas D'Ippolito, Nir Piterman, Daniel Sykes, and Sebastian Uchitel
(Universidad de Buenos Aires, Argentina; Imperial College London, UK; University of Leicester, UK)

@InProceedings{ICSE13p1395, author = {Víctor Braberman and Nicolas D'Ippolito and Nir Piterman and Daniel Sykes and Sebastian Uchitel}, title = {Controller Synthesis: From Modelling to Enactment}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1395-1394}, doi = {}, year = {2013}, } Article: icse13tool-id17-p (type: Short Paper (4 pages)) doi:

Doctoral Symposium
Tue, May 21, 08:30 - 18:00, Bayview A (Chair: Gregor Engels / Paola Inverardi)

Short Papers

A Study of Variability Spaces in Open Source Software
Sarah Nadi
(University of Waterloo, Canada)

@InProceedings{ICSE13p1401, author = {Sarah Nadi}, title = {A Study of Variability Spaces in Open Source Software}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1401-1400}, doi = {}, year = {2013}, } Article: icse13doctoral-1-p (type: Short Paper (4 pages)) doi:

Implementing Database Access Control Policy from Unconstrained Natural Language Text
John Slankas
(North Carolina State University, USA)

@InProceedings{ICSE13p1405, author = {John Slankas}, title = {Implementing Database Access Control Policy from Unconstrained Natural Language Text}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1405-1404}, doi = {}, year = {2013}, } Article: icse13doctoral-9-p (type: Short Paper (4 pages)) doi:

Increasing Anomaly Handling Efficiency in Large Organizations using Applied Machine Learning
Leif Jonsson
(Ericsson, Sweden; Linköping University, Sweden)

@InProceedings{ICSE13p1409, author = {Leif Jonsson}, title = {Increasing Anomaly Handling Efficiency in Large Organizations using Applied Machine Learning}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1409-1408}, doi = {}, year = {2013}, } Article: icse13doctoral-15-p (type: Short Paper (4 pages)) doi:

Analyzing the Change-Proneness of Service-Oriented Systems from an Industrial Perspective
Daniele Romano
(TU Delft, Netherlands)

@InProceedings{ICSE13p1413, author = {Daniele Romano}, title = {Analyzing the Change-Proneness of Service-Oriented Systems from an Industrial Perspective}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1413-1412}, doi = {}, year = {2013}, } Article: icse13doctoral-16-p (type: Short Paper (4 pages)) doi:

Supporting Maintenance Tasks on Transformational Code Generation Environments
Victor Guana
(University of Alberta, Canada)

@InProceedings{ICSE13p1417, author = {Victor Guana}, title = {Supporting Maintenance Tasks on Transformational Code Generation Environments}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1417-1416}, doi = {}, year = {2013}, } Article: icse13doctoral-17-p (type: Short Paper (4 pages)) doi:

An Approach to Documenting and Evolving Architectural Design Decisions
Meiru Che
(University of Texas at Austin, USA)

@InProceedings{ICSE13p1421, author = {Meiru Che}, title = {An Approach to Documenting and Evolving Architectural Design Decisions}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1421-1420}, doi = {}, year = {2013}, } Article: icse13doctoral-19-p (type: Short Paper (4 pages)) doi:

An Observable and Controllable Testing Framework for Modern Systems
Tingting Yu
(University of Nebraska-Lincoln, USA)

@InProceedings{ICSE13p1425, author = {Tingting Yu}, title = {An Observable and Controllable Testing Framework for Modern Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1425-1424}, doi = {}, year = {2013}, } Article: icse13doctoral-25-p (type: Short Paper (4 pages)) doi:

Toward a Software Product Line for Affective-Driven Self-Adaptive Systems
Javier Gonzalez-Sanchez
(Arizona State University, USA)

@InProceedings{ICSE13p1429, author = {Javier Gonzalez-Sanchez}, title = {Toward a Software Product Line for Affective-Driven Self-Adaptive Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1429-1428}, doi = {}, year = {2013}, } Article: icse13doctoral-26-p (type: Short Paper (4 pages)) doi:

Normalizing Source Code Vocabulary to Support Program Comprehension and Software Quality
Latifa Guerrouj
(Polytechnique Montréal, Canada)

@InProceedings{ICSE13p1433, author = {Latifa Guerrouj}, title = {Normalizing Source Code Vocabulary to Support Program Comprehension and Software Quality}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1433-1432}, doi = {}, year = {2013}, } Article: icse13doctoral-27-p (type: Short Paper (4 pages)) doi:

Integrating Systematic Exploration, Analysis, and Maintenance in Software Development
Kıvanç Muşlu
(University of Washington, USA)

@InProceedings{ICSE13p1437, author = {Kıvanç Muşlu}, title = {Integrating Systematic Exploration, Analysis, and Maintenance in Software Development}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1437-1436}, doi = {}, year = {2013}, } Article: icse13doctoral-31-p (type: Short Paper (4 pages)) doi:

Posters

Fostering Software Quality Assessment
Martin Brandtner
(University of Zurich, Switzerland)

@InProceedings{ICSE13p1441, author = {Martin Brandtner}, title = {Fostering Software Quality Assessment}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1441-1440}, doi = {}, year = {2013}, } Article: icse13doctoral-4-p (type: Poster (4 pages)) doi:

A Framework for Self-Healing Software Systems
Nicolò Perino
(University of Lugano, Switzerland)

@InProceedings{ICSE13p1445, author = {Nicolò Perino}, title = {A Framework for Self-Healing Software Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1445-1444}, doi = {}, year = {2013}, } Article: icse13doctoral-6-p (type: Poster (4 pages)) doi:

Building High Assurance Secure Applications using Security Patterns for Capability-Based Platforms
Paul Rimba
(NICTA, Australia; UNSW, Australia)

@InProceedings{ICSE13p1449, author = {Paul Rimba}, title = {Building High Assurance Secure Applications using Security Patterns for Capability-Based Platforms}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1449-1448}, doi = {}, year = {2013}, } Article: icse13doctoral-7-p (type: Poster (4 pages)) doi:

Systematically Selecting a Software Module during Opportunistic Reuse
Naveen Kulkarni
(IIIT Hyderabad, India)

@InProceedings{ICSE13p1453, author = {Naveen Kulkarni}, title = {Systematically Selecting a Software Module during Opportunistic Reuse}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1453-1452}, doi = {}, year = {2013}, } Article: icse13doctoral-11-p (type: Poster (4 pages)) doi:

Informing Development Decisions: From Data to Information
Olga Baysal
(University of Waterloo, Canada)

@InProceedings{ICSE13p1457, author = {Olga Baysal}, title = {Informing Development Decisions: From Data to Information}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1457-1456}, doi = {}, year = {2013}, } Article: icse13doctoral-21-p (type: Poster (4 pages)) doi:

Understanding and Simulating Software Evolution
Zhongpeng Lin
(UC Santa Cruz, USA)

@InProceedings{ICSE13p1461, author = {Zhongpeng Lin}, title = {Understanding and Simulating Software Evolution}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1461-1460}, doi = {}, year = {2013}, } Article: icse13doctoral-23-p (type: Poster (4 pages)) doi:

An Ontology Toolkit for Problem Domain Concept Location in Program Comprehension
Nuno Ramos Carvalho
(University of Minho, Portugal)

@InProceedings{ICSE13p1465, author = {Nuno Ramos Carvalho}, title = {An Ontology Toolkit for Problem Domain Concept Location in Program Comprehension}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1465-1464}, doi = {}, year = {2013}, } Article: icse13doctoral-24-p (type: Poster (4 pages)) doi:

Measuring the Forensic-Ability of Audit Logs for Nonrepudiation
Jason King
(North Carolina State University, USA)

@InProceedings{ICSE13p1469, author = {Jason King}, title = {Measuring the Forensic-Ability of Audit Logs for Nonrepudiation}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1469-1468}, doi = {}, year = {2013}, } Article: icse13doctoral-30-p (type: Poster (4 pages)) doi:

SNIPR: Complementing Code Search with Code Retargeting Capabilities
Huascar Sanchez
(UC Santa Cruz, USA)

@InProceedings{ICSE13p1473, author = {Huascar Sanchez}, title = {SNIPR: Complementing Code Search with Code Retargeting Capabilities}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1473-1472}, doi = {}, year = {2013}, } Article: icse13doctoral-32-p (type: Poster (4 pages)) doi:

ACM Student Research Competition - Posters
Wed, May 22, 15:30 - 16:00, Bayview A

Program Analysis

Supporting Incremental Programming with Ghosts
Oscar Callaú
(University of Chile, Chile)

@InProceedings{ICSE13p1479, author = {Oscar Callaú}, title = {Supporting Incremental Programming with Ghosts}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1479-1478}, doi = {}, year = {2013}, } Article: icse13src-id30-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

Novice Understanding of Program Analysis Tool Notifications
Brittany Johnson
(North Carolina State University, USA)

@InProceedings{ICSE13p1482, author = {Brittany Johnson}, title = {Novice Understanding of Program Analysis Tool Notifications}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1482-1481}, doi = {}, year = {2013}, } Article: icse13src-id17-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

Energy Aware Self-Adaptation in Mobile Systems
Luca Ardito
(Politecnico di Torino, Italy)

@InProceedings{ICSE13p1485, author = {Luca Ardito}, title = {Energy Aware Self-Adaptation in Mobile Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1485-1484}, doi = {}, year = {2013}, } Article: icse13src-id20-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

Debugging

ConfDiagnoser: An Automated Configuration Error Diagnosis Tool for Java Software
Sai Zhang
(University of Washington, USA)

@InProceedings{ICSE13p1488, author = {Sai Zhang}, title = {ConfDiagnoser: An Automated Configuration Error Diagnosis Tool for Java Software}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1488-1487}, doi = {}, year = {2013}, } Article: icse13src-id9-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

Reproducing and Debugging Field Failures in House
Wei Jin
(Georgia Tech, USA)

@InProceedings{ICSE13p1491, author = {Wei Jin}, title = {Reproducing and Debugging Field Failures in House}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1491-1490}, doi = {}, year = {2013}, } Article: icse13src-id32-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

Fault Comprehension for Concurrent Programs
Sangmin Park
(Georgia Tech, USA)

@InProceedings{ICSE13p1494, author = {Sangmin Park}, title = {Fault Comprehension for Concurrent Programs}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1494-1493}, doi = {}, year = {2013}, } Article: icse13src-id11-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

Process and Maintenance

A Proposal for the Improvement of Project's Cost Predictability using EVM and Historical Data of Cost
Adler Diniz de Souza
(UFRJ, Brazil)

@InProceedings{ICSE13p1497, author = {Adler Diniz de Souza}, title = {A Proposal for the Improvement of Project's Cost Predictability using EVM and Historical Data of Cost}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1497-1496}, doi = {}, year = {2013}, } Article: icse13src-id7-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

Studying the Effect of Co-change Dispersion on Software Quality
Ehsan Kouroshfar
(George Mason University, USA)

@InProceedings{ICSE13p1500, author = {Ehsan Kouroshfar}, title = {Studying the Effect of Co-change Dispersion on Software Quality}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1500-1499}, doi = {}, year = {2013}, } Article: icse13src-id28-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

A Roadmap for Software Maintainability Measurement
Juliana Saraiva
(UFPE, Brazil)

@InProceedings{ICSE13p1503, author = {Juliana Saraiva}, title = {A Roadmap for Software Maintainability Measurement}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1503-1502}, doi = {}, year = {2013}, } Article: icse13src-id22-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

Models and Requirements

Reasoning with Qualitative Preferences to Develop Optimal Component-Based Systems
Zachary J. Oster
(Iowa State University, USA)

@InProceedings{ICSE13p1506, author = {Zachary J. Oster}, title = {Reasoning with Qualitative Preferences to Develop Optimal Component-Based Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1506-1505}, doi = {}, year = {2013}, } Article: icse13src-id43-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

From Models to Code and Back: Correct-by-Construction Code from UML and ALF
Federico Ciccozzi
(Mälardalen University, Sweden)

@InProceedings{ICSE13p1509, author = {Federico Ciccozzi}, title = {From Models to Code and Back: Correct-by-Construction Code from UML and ALF}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1509-1508}, doi = {}, year = {2013}, } Article: icse13src-id4-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

Mitigating the Obsolescence of Specification Models of Service-Based Systems
Romina Torres
(Federico Santa María Technical University, Chile)

@InProceedings{ICSE13p1512, author = {Romina Torres}, title = {Mitigating the Obsolescence of Specification Models of Service-Based Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1512-1511}, doi = {}, year = {2013}, } Article: icse13src-id37-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

Decision Theoretic Requirements Prioritization: A Two-Step Approach for Sliding towards Value Realization
Nupul Kukreja
(University of Southern California, USA)

@InProceedings{ICSE13p1515, author = {Nupul Kukreja}, title = {Decision Theoretic Requirements Prioritization: A Two-Step Approach for Sliding towards Value Realization}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1515-1514}, doi = {}, year = {2013}, } Article: icse13src-id33-p (type: Graduate Student Paper (2 pages + 1 page refs)) doi:

Developers and Users

Changeset Based Developer Communication to Detect Software Failures
Braden Simpson
(University of Victoria, Canada)

@InProceedings{ICSE13p1518, author = {Braden Simpson}, title = {Changeset Based Developer Communication to Detect Software Failures}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1518-1517}, doi = {}, year = {2013}, } Article: icse13src-id8-p (type: Undergraduate Student Paper (2 pages + 1 page refs)) doi:

Identifying Failure Inducing Developer Pairs within Developer Networks
Jordan Ell
(University of Victoria, Canada)

@InProceedings{ICSE13p1521, author = {Jordan Ell}, title = {Identifying Failure Inducing Developer Pairs within Developer Networks}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1521-1520}, doi = {}, year = {2013}, } Article: icse13src-id6-p (type: Undergraduate Student Paper (2 pages + 1 page refs)) doi:

On Identifying User Complaints of iOS Apps
Hammad Khalid
(Queen's University, Canada)

@InProceedings{ICSE13p1524, author = {Hammad Khalid}, title = {On Identifying User Complaints of iOS Apps}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1524-1523}, doi = {}, year = {2013}, } Article: icse13src-id39-p (type: Undergraduate Student Paper (2 pages + 1 page refs)) doi:

Tutorial Summaries

Automated Testing of GUI Applications: Models, Tools, and Controlling Flakiness
Atif M. Memon and Myra B. Cohen
(University of Maryland, USA; University of Nebraska-Lincoln, USA)

@InProceedings{ICSE13p1529, author = {Atif M. Memon and Myra B. Cohen}, title = {Automated Testing of GUI Applications: Models, Tools, and Controlling Flakiness}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1529-1528}, doi = {}, year = {2013}, } Article: icse13tutorials-id38-p (type: Tutorial Summary (3 pages)) doi:

Build Your Own Model Checker in One Month
Jin Song Dong, Jun Sun, and Yang Liu
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)

@InProceedings{ICSE13p1532, author = {Jin Song Dong and Jun Sun and Yang Liu}, title = {Build Your Own Model Checker in One Month}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1532-1531}, doi = {}, year = {2013}, } Article: icse13tutorials-id7-p (type: Tutorial Summary (3 pages)) doi:

Data Science for Software Engineering
Tim Menzies, Ekrem Kocaguneli, Fayola Peters, Burak Turhan, and Leandro L. Minku
(West Virginia University, USA; University of Oulu, Finland; University of Birmingham, UK)

@InProceedings{ICSE13p1535, author = {Tim Menzies and Ekrem Kocaguneli and Fayola Peters and Burak Turhan and Leandro L. Minku}, title = {Data Science for Software Engineering}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1535-1534}, doi = {}, year = {2013}, } Article: icse13tutorials-id29-p (type: Tutorial Summary (3 pages)) doi:

Software Analytics: Achievements and Challenges
Dongmei Zhang and Tao Xie
(Microsoft Research, China; North Carolina State University, USA)

@InProceedings{ICSE13p1538, author = {Dongmei Zhang and Tao Xie}, title = {Software Analytics: Achievements and Challenges}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1538-1537}, doi = {}, year = {2013}, } Article: icse13tutorials-id21-p (type: Tutorial Summary (3 pages)) doi:

Developing Verified Programs with Dafny
K. Rustan M. Leino
(Microsoft Research, USA)

@InProceedings{ICSE13p1541, author = {K. Rustan M. Leino}, title = {Developing Verified Programs with Dafny}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1541-1540}, doi = {}, year = {2013}, } Article: icse13tutorials-id42-p (type: Tutorial Summary (3 pages)) doi:

Software Metrics: Pitfalls and Best Practices
Eric Bouwers, Arie van Deursen, and Joost Visser
(Software Improvement Group, Netherlands; TU Delft, Netherlands; Radboud University Nijmegen, Netherlands)

@InProceedings{ICSE13p1544, author = {Eric Bouwers and Arie van Deursen and Joost Visser}, title = {Software Metrics: Pitfalls and Best Practices}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1544-1543}, doi = {}, year = {2013}, } Article: icse13tutorials-id27-p (type: Tutorial Summary (3 pages)) doi:

A Hands-On Java PathFinder Tutorial
Peter Mehlitz, Neha Rungta, and Willem Visser
(NASA Ames Research Center, USA; Stellenbosch University, South Africa)

@InProceedings{ICSE13p1547, author = {Peter Mehlitz and Neha Rungta and Willem Visser}, title = {A Hands-On Java PathFinder Tutorial}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1547-1546}, doi = {}, year = {2013}, } Article: icse13tutorials-id41-p (type: Tutorial Summary (3 pages)) doi:

Efficient Quality Assurance of Variability-Intensive Systems
Patrick Heymans, Axel Legay, and Maxime Cordy
(University of Namur, Belgium; IRISA, France; INRIA, France)

@InProceedings{ICSE13p1550, author = {Patrick Heymans and Axel Legay and Maxime Cordy}, title = {Efficient Quality Assurance of Variability-Intensive Systems}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1550-1549}, doi = {}, year = {2013}, } Article: icse13tutorials-id43-p (type: Tutorial Summary (3 pages)) doi:

Software Requirement Patterns
Xavier Franch
(Universitat Politècnica de Catalunya, Spain)

@InProceedings{ICSE13p1553, author = {Xavier Franch}, title = {Software Requirement Patterns}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1553-1552}, doi = {}, year = {2013}, } Article: icse13tutorials-id20-p (type: Tutorial Summary (3 pages)) doi:

Workshop Summaries

1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2013)
Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, and John Knight
(SGT, USA; NASA Ames Research Center, USA; University of York, UK; University of Virginia, USA)

@InProceedings{ICSE13p1559, author = {Ewen Denney and Ganesh Pai and Ibrahim Habli and Tim Kelly and John Knight}, title = {1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1559-1558}, doi = {}, year = {2013}, } Article: icse13workshops-ws6-p (type: Workshop Summary) doi:

8th International Workshop on Automation of Software Test (AST 2013)
Hong Zhu, Henry Muccini, and Zhenyu Chen
(Oxford Brookes University, UK; University of L'Aquila, Italy; Nanjing University, China)

@InProceedings{ICSE13p1561, author = {Hong Zhu and Henry Muccini and Zhenyu Chen}, title = {8th International Workshop on Automation of Software Test (AST 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1561-1560}, doi = {}, year = {2013}, } Article: icse13workshops-ws1-p (type: Workshop Summary) doi:

1st International Workshop on Conducting Empirical Studies in Industry (CESI 2013)
Xavier Franch, Nazim H. Madhavji, Bill Curtis, and Larry Votta
(Universitat Politècnica de Catalunya, Spain; University of Western Ontario, Canada; CAST, USA; Brincos, USA)

@InProceedings{ICSE13p1563, author = {Xavier Franch and Nazim H. Madhavji and Bill Curtis and Larry Votta}, title = {1st International Workshop on Conducting Empirical Studies in Industry (CESI 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1563-1562}, doi = {}, year = {2013}, } Article: icse13workshops-ws14-p (type: Workshop Summary) doi:

6th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 2013)
Rafael Prikladnicki, Rashina Hoda, Marcelo Cataldo, Helen Sharp, Yvonne Dittrich, and Cleidson R. B. de Souza
(PUCRS, Brazil; University of Auckland, New Zealand; Bosch Research, USA; Open University, UK; IT University of Copenhagen, Denmark; Vale Institute of Technology, Brazil)

@InProceedings{ICSE13p1565, author = {Rafael Prikladnicki and Rashina Hoda and Marcelo Cataldo and Helen Sharp and Yvonne Dittrich and Cleidson R. B. de Souza}, title = {6th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1565-1564}, doi = {}, year = {2013}, } Article: icse13workshops-ws23-p (type: Workshop Summary) doi:

1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE 2013)
Mark Harman, Richard F. Paige, and James Williams
(University College London, UK; University of York, UK)

@InProceedings{ICSE13p1567, author = {Mark Harman and Richard F. Paige and James Williams}, title = {1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1567-1566}, doi = {}, year = {2013}, } Article: icse13workshops-ws10-p (type: Workshop Summary) doi:

3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development (CTGDSD 2013)
Stuart Faulk, Michal Young, Rafael Prikladnicki, David M. Weiss, and Lian Yu
(University of Oregon, USA; PUCRS, Brazil; Iowa State University, USA; Peking University, China)

@InProceedings{ICSE13p1569, author = {Stuart Faulk and Michal Young and Rafael Prikladnicki and David M. Weiss and Lian Yu}, title = {3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development (CTGDSD 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1569-1568}, doi = {}, year = {2013}, } Article: icse13workshops-ws24-p (type: Workshop Summary) doi:

1st International Workshop on Data Analysis Patterns in Software Engineering (DAPSE 2013)
Christian Bird, Tim Menzies, and Thomas Zimmermann
(Microsoft Research, USA; West Virginia University, USA)

@InProceedings{ICSE13p1571, author = {Christian Bird and Tim Menzies and Thomas Zimmermann}, title = {1st International Workshop on Data Analysis Patterns in Software Engineering (DAPSE 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1571-1570}, doi = {}, year = {2013}, } Article: icse13workshops-ws16-p (type: Workshop Summary) doi:

1st FME Workshop on Formal Methods in Software Engineering (FormaliSE 2013)
Stefania Gnesi and Nico Plat
(ISTI-CNR, Italy; West Consulting BV, Netherlands)

@InProceedings{ICSE13p1573, author = {Stefania Gnesi and Nico Plat}, title = {1st FME Workshop on Formal Methods in Software Engineering (FormaliSE 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1573-1572}, doi = {}, year = {2013}, } Article: icse13workshops-ws25-p (type: Workshop Summary) doi:

3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change (GAS 2013)
Kendra M. L. Cooper, Walt Scacchi, and Alf Inge Wang
(University of Texas at Dallas, USA; UC Irvine, USA; NTNU, Norway)

@InProceedings{ICSE13p1575, author = {Kendra M. L. Cooper and Walt Scacchi and Alf Inge Wang}, title = {3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change (GAS 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1575-1574}, doi = {}, year = {2013}, } Article: icse13workshops-ws3-p (type: Workshop Summary) doi:

2nd International Workshop on Green and Sustainable Software (GREENS 2013)
Patricia Lago, Niklaus Meyer, Maurizio Morisio, Hausi A. Müller, and Giuseppe Scanniello
(VU University Amsterdam, Netherlands; Swiss Informatics Society, Switzerland; Politecnico di Torino, Italy; University of Victoria, Canada; University of Basilicata, Italy)

@InProceedings{ICSE13p1577, author = {Patricia Lago and Niklaus Meyer and Maurizio Morisio and Hausi A. Müller and Giuseppe Scanniello}, title = {2nd International Workshop on Green and Sustainable Software (GREENS 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1577-1576}, doi = {}, year = {2013}, } Article: icse13workshops-ws11-p (type: Workshop Summary) doi:

2nd SEMAT Workshop on a General Theory of Software Engineering (GTSE 2013)
Pontus Johnson, Ivar Jacobson, Michael Goedicke, and Mira Kajko-Mattsson
(KTH, Sweden; Ivar Jacobson Int., Switzerland; University of Duisburg-Essen, Germany)

@InProceedings{ICSE13p1579, author = {Pontus Johnson and Ivar Jacobson and Michael Goedicke and Mira Kajko-Mattsson}, title = {2nd SEMAT Workshop on a General Theory of Software Engineering (GTSE 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1579-1578}, doi = {}, year = {2013}, } Article: icse13workshops-ws29-p (type: Workshop Summary) doi:

7th International Workshop on Software Clones (IWSC 2013)
Rainer Koschke, Elmar Juergens, and Juergen Rilling
(University of Bremen, Germany; CQSE, Germany; Concordia University, Canada)

@InProceedings{ICSE13p1581, author = {Rainer Koschke and Elmar Juergens and Juergen Rilling}, title = {7th International Workshop on Software Clones (IWSC 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1581-1580}, doi = {}, year = {2013}, } Article: icse13workshops-ws7-p (type: Workshop Summary) doi:

1st International Workshop on Live Programming (LIVE 2013)
Brian Burg, Adrian Kuhn, and Chris Parnin
(University of Washington, USA; University of British Columbia, Canada; Georgia Tech, USA)

@InProceedings{ICSE13p1583, author = {Brian Burg and Adrian Kuhn and Chris Parnin}, title = {1st International Workshop on Live Programming (LIVE 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1583-1582}, doi = {}, year = {2013}, } Article: icse13workshops-ws8-p (type: Workshop Summary) doi:

5th International Workshop on Modeling in Software Engineering (MiSE 2013)
Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, and Bernhard Rumpe
(University of Waterloo, Canada; Sodius, USA; University of Toronto, Canada; Colorado State University, USA; University of Alabama, USA; University of York, UK; RWTH Aachen University, Germany)

@InProceedings{ICSE13p1585, author = {Joanne M. Atlee and Robert Baillargeon and Marsha Chechik and Robert B. France and Jeff Gray and Richard F. Paige and Bernhard Rumpe}, title = {5th International Workshop on Modeling in Software Engineering (MiSE 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1585-1584}, doi = {}, year = {2013}, } Article: icse13workshops-ws2-p (type: Workshop Summary) doi:

1st International Workshop on the Engineering of Mobile-Enabled Systems (MOBS 2013)
Grace A. Lewis, Jeff Gray, Henry Muccini, Nachiappan Nagappan, David Rosenblum, and Emad Shihab
(SEI, USA; University of Alabama, USA; University of L'Aquila, Italy; Microsoft Research, USA; National University of Singapore, Singapore; Rochester Institute of Technology, USA)

@InProceedings{ICSE13p1587, author = {Grace A. Lewis and Jeff Gray and Henry Muccini and Nachiappan Nagappan and David Rosenblum and Emad Shihab}, title = {1st International Workshop on the Engineering of Mobile-Enabled Systems (MOBS 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1587-1586}, doi = {}, year = {2013}, } Article: icse13workshops-ws26-p (type: Workshop Summary) doi:

4th International Workshop on Managing Technical Debt (MTD 2013)
Philippe Kruchten, Robert L. Nord, and Ipek Ozkaya
(University of British Columbia, Canada; SEI, USA)

@InProceedings{ICSE13p1589, author = {Philippe Kruchten and Robert L. Nord and Ipek Ozkaya}, title = {4th International Workshop on Managing Technical Debt (MTD 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1589-1588}, doi = {}, year = {2013}, } Article: icse13workshops-ws12-p (type: Workshop Summary) doi:

1st International Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE 2013)
Lori Pollock, David Binkley, Dawn Lawrie, Emily Hill, Rocco Oliveto, Gabriele Bavota, and Alberto Bacchelli
(University of Delaware, USA; Loyola University Maryland, USA; Montclair State University, USA; University of Molise, Italy; University of Salerno, Italy; University of Lugano, Switzerland)

@InProceedings{ICSE13p1591, author = {Lori Pollock and David Binkley and Dawn Lawrie and Emily Hill and Rocco Oliveto and Gabriele Bavota and Alberto Bacchelli}, title = {1st International Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1591-1590}, doi = {}, year = {2013}, } Article: icse13workshops-ws27-p (type: Workshop Summary) doi:

5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2013)
Domenico Bianculli, Patricia Lago, Grace A. Lewis, and Hye-Young Paik
(University of Luxembourg, Luxembourg; VU University Amsterdam, Netherlands; SEI, USA; UNSW, Australia)

@InProceedings{ICSE13p1593, author = {Domenico Bianculli and Patricia Lago and Grace A. Lewis and Hye-Young Paik}, title = {5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1593-1592}, doi = {}, year = {2013}, } Article: icse13workshops-ws28-p (type: Workshop Summary) doi:

4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013)
Julia Rubin, Goetz Botterweck, Andreas Pleuss, and David M. Weiss
(IBM Research, Israel; Lero, Ireland; University of Limerick, Ireland; Iowa State University, USA)

@InProceedings{ICSE13p1595, author = {Julia Rubin and Goetz Botterweck and Andreas Pleuss and David M. Weiss}, title = {4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1595-1594}, doi = {}, year = {2013}, } Article: icse13workshops-ws13-p (type: Workshop Summary) doi:

2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2013)
Rachel Harrison, Sol Greenspan, Tim Menzies, Marjan Mernik, Pedro Henriques, Daniela da Cruz, and Daniel Rodriguez
(Oxford Brookes University, UK; NSF, USA; West Virginia University, USA; University of Maribor, Slovenia; University of Minho, Portugal; University of Alcalá, Spain)

@InProceedings{ICSE13p1597, author = {Rachel Harrison and Sol Greenspan and Tim Menzies and Marjan Mernik and Pedro Henriques and Daniela da Cruz and Daniel Rodriguez}, title = {2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1597-1596}, doi = {}, year = {2013}, } Article: icse13workshops-ws22-p (type: Workshop Summary) doi:

1st International Workshop on Release Engineering (RELENG 2013)
Bram Adams, Christian Bird, Foutse Khomh, and Kim Moir
(Polytechnique Montréal, Canada; Microsoft Research, USA; Mozilla, Canada)

@InProceedings{ICSE13p1599, author = {Bram Adams and Christian Bird and Foutse Khomh and Kim Moir}, title = {1st International Workshop on Release Engineering (RELENG 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1599-1598}, doi = {}, year = {2013}, } Article: icse13workshops-ws15-p (type: Workshop Summary) doi:

5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE 2013)
Jeffrey C. Carver, Tom Epperly, Lorin Hochstein, Valerie Maxville, Dietmar Pfahl, and Jonathan Sillito
(University of Alabama, USA; Lawrence Livermore National Laboratory, USA; Nimbis Services, USA; iVEC, Australia; University of Tartu, Estonia; University of Calgary, Canada)

@InProceedings{ICSE13p1601, author = {Jeffrey C. Carver and Tom Epperly and Lorin Hochstein and Valerie Maxville and Dietmar Pfahl and Jonathan Sillito}, title = {5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1601-1600}, doi = {}, year = {2013}, } Article: icse13workshops-ws4-p (type: Workshop Summary) doi:

5th International Workshop on Software Engineering in Health Care (SEHC 2013)
Craig E. Kuziemsky and John Knight
(University of Ottawa, Canada; University of Virginia, USA)

@InProceedings{ICSE13p1603, author = {Craig E. Kuziemsky and John Knight}, title = {5th International Workshop on Software Engineering in Health Care (SEHC 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1603-1602}, doi = {}, year = {2013}, } Article: icse13workshops-ws9-p (type: Workshop Summary) doi:

4th International Workshop on Software Engineering for Sensor Network Applications (SESENA 2013)
Christine Julien and Klaus Wehrle
(University of Texas at Austin, USA; RWTH Aachen University, Germany)

@InProceedings{ICSE13p1605, author = {Christine Julien and Klaus Wehrle}, title = {4th International Workshop on Software Engineering for Sensor Network Applications (SESENA 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1605-1604}, doi = {}, year = {2013}, } Article: icse13workshops-ws18-p (type: Workshop Summary) doi:

2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG 2013)
Ian Gorton, Yan Liu, Heiko Koziolek, Anne Koziolek, and Mazeiar Salehie
(Pacific Northwest National Lab, USA; Concordia University, Canada; ABB Research, Germany; KIT, Germany; Lero, Ireland)

@InProceedings{ICSE13p1607, author = {Ian Gorton and Yan Liu and Heiko Koziolek and Anne Koziolek and Mazeiar Salehie}, title = {2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1607-1606}, doi = {}, year = {2013}, } Article: icse13workshops-ws5-p (type: Workshop Summary) doi:

3rd International Workshop on Developing Tools as Plug-Ins (TOPI 2013)
Michael Barnett, Martin Nordio, Judith Bishop, Karin K. Breitman, and Diego Garbervetsky
(Microsoft Research, USA; ETH Zurich, Switzerland; PUC-Rio, Brazil; Universidad de Buenos Aires, Argentina)

@InProceedings{ICSE13p1609, author = {Michael Barnett and Martin Nordio and Judith Bishop and Karin K. Breitman and Diego Garbervetsky}, title = {3rd International Workshop on Developing Tools as Plug-Ins (TOPI 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1609-1608}, doi = {}, year = {2013}, } Article: icse13workshops-ws19-p (type: Workshop Summary) doi:

2nd International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks 2013)
Paris Avgeriou, Janet E. Burge, Jane Cleland-Huang, Xavier Franch, Matthias Galster, Mehdi Mirakhorli, and Roshanak Roshandel
(University of Groningen, Netherlands; Miami University, USA; DePaul University, USA; Universitat Politècnica de Catalunya, Spain; University of Canterbury, New Zealand; Seattle University, USA)

@InProceedings{ICSE13p1611, author = {Paris Avgeriou and Janet E. Burge and Jane Cleland-Huang and Xavier Franch and Matthias Galster and Mehdi Mirakhorli and Roshanak Roshandel}, title = {2nd International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1611-1610}, doi = {}, year = {2013}, } Article: icse13workshops-ws20-p (type: Workshop Summary) doi:

2nd International Workshop on User Evaluations for Software Engineering Researchers (USER 2013)
Andrew Begel and Caitlin Sadowski
(Microsoft Research, USA; Google, USA)

@InProceedings{ICSE13p1613, author = {Andrew Begel and Caitlin Sadowski}, title = {2nd International Workshop on User Evaluations for Software Engineering Researchers (USER 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1613-1612}, doi = {}, year = {2013}, } Article: icse13workshops-ws30-p (type: Workshop Summary) doi:

4th International Workshop on Emerging Trends in Software Metrics (WETSoM 2013)
Steve Counsell, Michele L. Marchesi, Ewan Tempero, and Aaron Visaggio
(Brunel University, UK; University of Cagliari, Italy; University of Auckland, New Zealand; University of Sannio, Italy)

@InProceedings{ICSE13p1615, author = {Steve Counsell and Michele L. Marchesi and Ewan Tempero and Aaron Visaggio}, title = {4th International Workshop on Emerging Trends in Software Metrics (WETSoM 2013)}, booktitle = {Proc.\ ICSE}, publisher = {IEEE}, pages = {1615-1614}, doi = {}, year = {2013}, } Article: icse13workshops-ws21-p (type: Workshop Summary) doi:

proc time: 0.45