The Community for Technology Leaders
2013 35th International Conference on Software Engineering (ICSE) (2013)
San Francisco, CA, USA
May 18, 2013 to May 26, 2013
ISBN: 978-1-4673-3073-2
TABLE OF CONTENTS

[Front cover] (PDF)

pp. 1

[Front matter] (PDF)

pp. 1-2

Contents (PDF)

pp. 1-15

Message from the chairs (PDF)

David Notkin , University of Washington, USA
Betty H.C. Cheng , Michigan State University, USA
Klaus Pohl , University of Duisburg-Essen, Germany
pp. v-xi

Organization committee (PDF)

pp. xii-xvi

Automatic synthesis of modular connectors via composition of protocol mediation patterns (Abstract)

Paola Inverardi , Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Università degli Studi dell'Aquila, Italy
Massimo Tivoli , Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Università degli Studi dell'Aquila, Italy
pp. 3-12

Robust reconfigurations of component assemblies (Abstract)

Fabienne Boyer , LIG, Université Joseph Fourier, Grenoble, France
Olivier Gruber , LIG, Université Joseph Fourier, Grenoble, France
Damien Pous , CNRS, Grenoble, France
pp. 13-22

Drag-and-drop refactoring: Intuitive and efficient program transformation (Abstract)

Yun Young Lee , University of Illinois at Urbana-Champaign, Urbana, IL 61801, USA
Nicholas Chen , University of Illinois at Urbana-Champaign, Urbana, IL 61801, USA
Ralph E. Johnson , University of Illinois at Urbana-Champaign, Urbana, IL 61801, USA
pp. 23-32

Managing non-functional uncertainty via model-driven adaptivity (Abstract)

Carlo Ghezzi , DeepSE, Politecnico di Milano, Italy
Leandro Sales Pinto , DeepSE, Politecnico di Milano, Italy
Paola Spoletini , Università dell'Insubria, Italy
Giordano Tamburrelli , DeepSE, Politecnico di Milano, Italy
pp. 33-42

GuideArch: Guiding the exploration of architectural solution space under uncertainty (Abstract)

Naeem Esfahani , Department of Computer Science, George Mason University, Fairfax, Virginia, USA
Sam Malek , Department of Computer Science, George Mason University, Fairfax, Virginia, USA
Kaveh Razavi , Department of Computer Science, George Mason University, Fairfax, Virginia, USA
pp. 43-52

Coupling software architecture and human architecture for collaboration-aware system adaptation (Abstract)

Christoph Dorn , Distributed Systems Group, Vienna University of Technology, Austria
Richard N. Taylor , Institute for Software Research, University of California, Irvine, USA
pp. 53-62

Learning revised models for planning in adaptive systems (Abstract)

Daniel Sykes , Imperial College London, UK
Domenico Corapi , Imperial College London, UK
Jeff Magee , Imperial College London, UK
Jeff Kramer , Imperial College London, UK
Alessandra Russo , Imperial College London, UK
Katsumi Inoue , National Institute of Informatics, Tokyo, Japan
pp. 63-71

RERAN: Timing- and touch-sensitive record and replay for Android (Abstract)

Lorenzo Gomez , University of California, Los Angeles, USA
Iulian Neamtiu , University of California, Riverside, USA
Tanzirul Azim , University of California, Riverside, USA
Todd Millstein , University of California, Los Angeles, USA
pp. 72-81

Inferring likely mappings between APIs (Abstract)

Amruta Gokhale , Department of Computer Science, Rutgers University, Piscataway, NJ, USA
Vinod Ganapathy , Department of Computer Science, Rutgers University, Piscataway, NJ, USA
Yogesh Padmanaban , Department of Computer Science, Rutgers University, Piscataway, NJ, USA
pp. 82-91

Estimating mobile application energy consumption using program analysis (Abstract)

Shuai Hao , University of Southern California, USA
Ding Li , University of Southern California, USA
William G. J. Halfond , University of Southern California, USA
Ramesh Govindan , University of Southern California, USA
pp. 92-101

Observable modified condition/decision coverage (Abstract)

Michael Whalen , Department of Computer Science and Engineering, University of Minnesota, USA
Gregory Gay , Department of Computer Science and Engineering, University of Minnesota, USA
Dongjiang You , Department of Computer Science and Engineering, University of Minnesota, USA
Mats P. E. Heimdahl , Department of Computer Science and Engineering, University of Minnesota, USA
Matt Staats , Division of Web Sciences & Technology, Korea Advanced Institute of Science & Technology, South Korea
pp. 102-111

Creating a shared understanding of testing culture on a social coding site (Abstract)

Raphael Pham , Leibniz Universität Hannover, Hannover, Germany
Leif Singer , Leibniz Universität Hannover, Hannover, Germany
Olga Liskin , Leibniz Universität Hannover, Hannover, Germany
Fernando Figueira Filho , Universidade Federal do Rio Grande do Norte, Natal, Brazil
Kurt Schneider , Leibniz Universität Hannover, Hannover, Germany
pp. 112-121

Billions and billions of constraints: Whitebox fuzz testing in production (Abstract)

Ella Bounimova , Microsoft Research, USA
Patrice Godefroid , Microsoft Research, USA
David Molnar , Microsoft Research, USA
pp. 122-131

Feedback-directed unit test generation for C/C++ using concolic execution (Abstract)

Pranav Garg , NEC Laboratories America, Princeton, NJ, USA
Franjo Ivancic , NEC Laboratories America, Princeton, NJ, USA
Gogul Balakrishnan , NEC Laboratories America, Princeton, NJ, USA
Naoto Maeda , NEC Laboratories America, Princeton, NJ, USA
Aarti Gupta , NEC Laboratories America, Princeton, NJ, USA
pp. 132-141

A learning-based method for combining testing techniques (Abstract)

Domenico Cotroneo , Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione, Universita' di Napoli Federico II, Naples, Italy
Roberto Pietrantuono , Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione, Universita' di Napoli Federico II, Naples, Italy
Stefano Russo , Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione, Universita' di Napoli Federico II, Naples, Italy
pp. 142-151

Human performance regression testing (Abstract)

Amanda Swearngin , Dept. of Computer Science & Eng., University of Nebraska-Lincoln, USA, Lincoln, NE 68588-0115
Myra B. Cohen , Dept. of Computer Science & Eng., University of Nebraska-Lincoln, USA, Lincoln, NE 68588-0115
Bonnie E. John , IBM T. J. Watson Research Center, P.O. Box 704 Yorktown Heights, NY 10598, USA
Rachel K. E. Bellamy , IBM T. J. Watson Research Center, P.O. Box 704 Yorktown Heights, NY 10598, USA
pp. 152-161

Guided test generation for web applications (Abstract)

Suresh Thummalapenta , IBM Research, India
K. Vasanta Lakshmi , Indian Institute of Science, India
Saurabh Sinha , IBM Research, India
Nishant Sinha , IBM Research, India
Satish Chandra , IBM TJ. Watson Research Center, USA
pp. 162-171

Comparing Multi-Point Stride Coverage and dataflow coverage (Abstract)

Mohammad Mahdi Hassan , Computer Science Department, University of Western Ontario, London, Canada
James H. Andrews , Computer Science Department University of Western Ontario London, Canada
pp. 172-181

Interaction-based test-suite minimization (Abstract)

Dale Blue , IBM Systems & Technology Group, 2455 South Road, Poughkeepsie, NY 12601, USA
Itai Segall , IBM, Haifa Research Lab, Haifa University Campus, Haifa, 31905, Israel
Rachel Tzoref-Brill , IBM, Haifa Research Lab Haifa University Campus, Haifa, 31905, Israel
Aviad Zlotnick , IBM, Haifa Research Lab, Haifa University Campus, Haifa, 31905, Israel
pp. 182-191

Bridging the gap between the total and additional test-case prioritization strategies (Abstract)

Lingming Zhang , Key Laboratory of High Confidence Software Technologies (Peking University), MoE, Beijing, 100871, China
Dan Hao , Key Laboratory of High Confidence Software Technologies (Peking University), MoE, Beijing, 100871, China
Lu Zhang , Key Laboratory of High Confidence Software Technologies (Peking University), MoE, Beijing, 100871, China
Gregg Rothermel , Department of Computer Science and Engineering, University of Nebraska, Lincoln, 68588, USA
Hong Mei , Key Laboratory of High Confidence Software Technologies (Peking University), MoE, Beijing, 100871, China
pp. 192-201

Detecting spurious counterexamples efficiently in abstract model checking (Abstract)

Cong Tian , ICTT and ISN Laboratory, Xidian University, Xi'an, 710071, P.R. China
Zhenhua Duan , ICTT and ISN Laboratory, Xidian University, Xi'an, 710071, P.R. China
pp. 202-211

Segmented symbolic analysis (Abstract)

Wei Le , Rochester Institute of Technology, One Lomb Memorial Drive, Rochester, NY, USA
pp. 212-221

Explicating symbolic execution (xSymExe): An evidence-based verification framework (Abstract)

John Hatcliff , Department of Computing and Information Sciences, College of Engineering, Kansas State University, USA
Robby , Department of Computing and Information Sciences, College of Engineering, Kansas State University, USA
Patrice Chalin , Department of Computing and Information Sciences, College of Engineering, Kansas State University, USA
Jason Belt , Department of Computing and Information Sciences, College of Engineering, Kansas State University, USA
pp. 222-231

Aluminum: Principled scenario exploration through minimality (Abstract)

Tim Nelson , Department of Computer Science, WPI, Worcester, MA 01609, USA
Salman Saghafi , Department of Computer Science, WPI, Worcester, MA 01609, USA
Daniel J. Dougherty , Department of Computer Science, WPI, Worcester, MA 01609, USA
Kathi Fisler , Department of Computer Science, WPI, Worcester, MA 01609, USA
Shriram Krishnamurthi , Computer Science Department, Brown University, Providence, RI 02912, USA
pp. 232-241

Unifying FSM-inference algorithms through declarative specification (Abstract)

Ivan Beschastnikh , Computer Science and Engineering, University of Washington, Seattle, WA, USA
Yuriy Brun , University of Massachusetts Amherst, MA, USA
Jenny Abrahamson , Computer Science and Engineering, University of Washington, Seattle, WA, USA
Michael D. Ernst , Computer Science and Engineering, University of Washington, Seattle, WA, USA
Arvind Krishnamurthy , Computer Science and Engineering, University of Washington, Seattle, WA, USA
pp. 252-261

What good are strong specifications? (Abstract)

Nadia Polikarpova , Chair of Software Engineering, ETH Zurich, Switzerland
Carlo A. Furia , Chair of Software Engineering, ETH Zurich, Switzerland
Yu Pei , Chair of Software Engineering, ETH Zurich, Switzerland
Yi Wei , Chair of Software Engineering, ETH Zurich, Switzerland
Bertrand Meyer , Chair of Software Engineering, ETH Zurich, Switzerland
pp. 262-271

Comparative causality: Explaining the differences between executions (Abstract)

William N. Sumner , Department of Computer Science, Purdue University, USA
Xiangyu Zhang , Department of Computer Science, Purdue University, USA
pp. 272-281

Automatic testing of sequential and concurrent substitutability (Abstract)

Michael Pradel , Department of Computer Science, ETH Zurich, Switzerland
Thomas R. Gross , Department of Computer Science, ETH Zurich, Switzerland
pp. 282-291

Data clone detection and visualization in spreadsheets (Abstract)

Felienne Hermans , Software Engineering Research Group, Delft University of Technology, Infotron, Netherlands
Ben Sedee , Software Engineering Research Group, Delft University of Technology, Infotron, Netherlands
Martin Pinzger , Software Engineering Research Group, Delft University of Technology, Infotron, Netherlands
Arie van Deursen , Software Engineering Research Group, Delft University of Technology, Infotron, Netherlands
pp. 292-301

Partition-based regression verification (Abstract)

Marcel Bohme , School of Computing, National University of Singapore
Bruno C. D. S. Oliveira , School of Computing, National University of Singapore
Abhik Roychoudhury , School of Computing, National University of Singapore
pp. 302-311

Automated diagnosis of software configuration errors (Abstract)

Sai Zhang , Computer Science & Engineering, University of Washington, USA
Michael D. Ernst , Computer Science & Engineering, University of Washington, USA
pp. 312-321

Detecting deadlock in programs with data-centric synchronization (Abstract)

Daniel Marino , Symantec Research Labs, USA
Christian Hammer , Saarland University, Germany
Julian Dolby , IBM T.J. Watson Research Center, USA
Mandana Vaziri , IBM T.J. Watson Research Center, USA
Frank Tip , University of Waterloo, Canada
Jan Vitek , Purdue University, USA
pp. 322-331

The design of bug fixes (Abstract)

Emerson Murphy-Hill , Department of Computer Science, North Carolina State University, Raleigh, North Carolina, USA
Thomas Zimmermann , Microsoft Research, Redmond, Washington, USA
Christian Bird , Microsoft Research, Redmond, Washington, USA
Nachiappan Nagappan , Microsoft Research, Redmond, Washington, USA
pp. 332-341

PorchLight: A tag-based approach to bug triaging (Abstract)

Gerald Bortis , Department of Informatics, University of California, Irvine, Irvine, CA 92697-3440 U.S.A.
Andre van der Hoek , Department of Informatics, University of California, Irvine, Irvine, CA 92697-3440 U.S.A.
pp. 342-351

Expositor: Scriptable time-travel debugging with first-class traces (Abstract)

Khoo Yit Phang , Computer Science Department, University of Maryland, College Park, MD 20742, USA
Jeffrey S. Foster , Computer Science Department, University of Maryland, College Park, MD 20742, USA
Michael Hicks , Computer Science Department, University of Maryland, College Park, MD 20742, USA
pp. 352-361

Chronicler: Lightweight recording to reproduce field failures (Abstract)

Jonathan Bell , Department of Computer Science, Columbia University, New York, NY, USA
Nikhil Sarda , Department of Computer Science, Columbia University, New York, NY, USA
Gail Kaiser , Department of Computer Science, Columbia University, New York, NY, USA
pp. 362-371

Does bug prediction support human developers? Findings from a Google case study (Abstract)

Chris Lewis , University of California, Santa Cruz, USA
Zhongpeng Lin , University of California, Santa Cruz, USA
Caitlin Sadowski , Google Inc., USA
Xiaoyan Zhu , Xi'an Jiaotong University, China
Rong Ou , Google Inc., USA
E. James Whitehead , University of California, Santa Cruz, USA
pp. 372-381

Transfer defect learning (Abstract)

Jaechang Nam , Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, China
Sinno Jialin Pan , Institute for Infocomm Research, Singapore
Sunghun Kim , Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, China
pp. 382-391

It's not a bug, it's a feature: How misclassification impacts bug prediction (Abstract)

Kim Herzig , Saarland University, Saarbrücken, Germany
Sascha Just , Saarland University, Saarbrücken, Germany
Andreas Zeller , Saarland University, Saarbrücken, Germany
pp. 392-401

Assisting developers of Big Data Analytics Applications when deploying on Hadoop clouds (Abstract)

Weiyi Shang , Software Analysis and Intelligence Lab (SAIL), School of Computing, Queen's University, Kingston, Canada
Zhen Ming Jiang , Software Analysis and Intelligence Lab (SAIL), School of Computing, Queen's University, Kingston, Canada
Hadi Hemmati , Software Analysis and Intelligence Lab (SAIL), School of Computing, Queen's University, Kingston, Canada
Brain Adams , Département de Génie Informatique et Génie Logiciel, Polytechnique Montréal, Montréal, Québec, Canada
Ahmed E. Hassan , Software Analysis and Intelligence Lab (SAIL), School of Computing, Queen's University, Kingston, Canada
Patrick Martin , Database Systems Laboratory, School of Computing, Queen's University, Kingston, Canada
pp. 402-411

Broken sets in software repository evolution (Abstract)

Jerome Vouillon , CNRS, PPS UMR 7126, Univ Paris Diderot, Sorbonne Paris Cité, F-75205 Paris, France
Roberto Di Cosmo , Univ Paris Diderot, Sorbonne Paris Cité, PPS, UMR 7126, CNRS, INRIA, F-75205 Paris, France
pp. 412-421

Boa: A language and infrastructure for analyzing ultra-large-scale software repositories (Abstract)

Robert Dyer , Iowa State University, USA
Hoan Anh Nguyen , Iowa State University, USA
Hridesh Rajan , Iowa State University, USA
Tien N. Nguyen , Iowa State University, USA
pp. 422-431

How, and why, process metrics are better (Abstract)

Foyzur Rahman , University of California, Davis, USA
Premkumar Devanbu , University of California, Davis, USA
pp. 432-441

The role of domain knowledge and cross-functional communication in socio-technical coordination (Abstract)

Daniela Damian , Dept. of Computer Science, University of Victoria, Victoria, Canada
Remko Helms , Dept. of Computer Science, Utrecht University, Utrecht, The Netherlands
Irwin Kwan , School of Elec. Engr. and Computer Science, Oregon State University, Corvallis, USA
Sabrina Marczak , Computer Science School, PUCRS, Porto Alegre, Brazil
Benjamin Koelewijn , Dept. of Computer Science, Utrecht University, Utrecht, The Netherlands
pp. 442-451

Dual ecological measures of focus in software development (Abstract)

Daryl Posnett , University of California Davis, USA
Raissa D'Souza , University of California Davis, USA
Premkumar Devanbu , University of California Davis, USA
Vladimir Filkov , University of California Davis, USA
pp. 452-461

Not going to take this anymore: Multi-objective overtime planning for Software Engineering projects (Abstract)

Filomena Ferrucci , University of Salerno, Fisciano (SA), Italy
Mark Harman , University College London, CREST centre, London, WC1E 6BT, UK
Jian Ren , University College London, CREST centre, London, WC1E 6BT, UK
Federica Sarro , University of Salerno, Fisciano (SA), Italy
pp. 462-471

Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features (Abstract)

Maxime Cordy , University of Namur, Belgium
Pierre-Yves Schobbens , University of Namur, Belgium
Patrick Heymans , University of Namur, Belgium
Axel Legay , IRISA/INRIA Rennes, France. University of Liège, Belgium
pp. 472-481

Strategies for product-line verification: Case studies and experiments (Abstract)

Sven Apel , University of Passau, Germany
Alexander von Rhein , University of Passau, Germany
Philipp Wendler , University of Passau, Germany
Armin Groslinger , University of Passau, Germany
Dirk Beyer , University of Passau, Germany
pp. 482-491

On the value of user preferences in search-based software engineering: A case study in software product lines (Abstract)

Abdel Salam Sayyad , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WV, USA
Tim Menzies , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WV, USA
Hany Ammar , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WV, USA
pp. 492-501

Lase: Locating and applying systematic edits by learning from examples (Abstract)

Na Meng , The University of Texas at Austin, Austin, US
Miryung Kim , The University of Texas at Austin, Austin, US
Kathryn S. McKinley , The University of Texas at Austin, Austin, US
pp. 502-511

Search-based genetic optimization for deployment and reconfiguration of software in the cloud (Abstract)

Soren Frey , Software Engineering Group, Kiel University, 24118 Kiel, Germany
Florian Fittkau , Software Engineering Group, Kiel University, 24118 Kiel, Germany
Wilhelm Hasselbring , Software Engineering Group, Kiel University, 24118 Kiel, Germany
pp. 512-521

How to effectively use topic models for software engineering tasks? An approach based on Genetic Algorithms (Abstract)

Annibale Panichella , University of Salerno, Fisciano (SA), Italy
Bogdan Dit , The College of William and Mary, Williamsburg, VA, USA
Rocco Oliveto , University of Molise, Pesche (IS), Italy
Massimilano Di Penta , University of Sannio, Benevento, Italy
Denys Poshynanyk , The College of William and Mary, Williamsburg, VA, USA
Andrea De Lucia , University of Salerno, Fisciano (SA), Italy
pp. 522-531

Green Streams for data-intensive software (Abstract)

Thomas W. Bartenstein , SUNY Binghamton, Binghamton, NY13902, USA
Yu David Liu , SUNY Binghamton, Binghamton, NY13902, USA
pp. 532-541

Dynamic synthesis of local time requirement for service composition (Abstract)

Tian Huat Tan , NUS Graduate School for Integrative Sciences and Engineering, Singapore
Etienne Andre , Université Paris 13, Sorbonne Paris Cité, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
Jun Sun , Singapore University of Technology and Design, Singapore
Yang Liu , Nanyang Technological University, Singapore
Jin Song Dong , National University of Singapore, Singapore
Manman Chen , National University of Singapore, Singapore
pp. 542-551

Supporting swift reaction: Automatically uncovering performance problems by systematic experiments (Abstract)

Alexander Wert , Karlsruhe Institute of Technology, Am Fasanengarten 5, Karlsruhe, Germany
Jens Happe , SAP Research, Vincenz-Priessnitz-Str. 1, Karlsruhe, Germany
Lucia Happe , Karlsruhe Institute of Technology, Am Fasanengarten 5, Karlsruhe, Germany
pp. 552-561

Toddler: Detecting performance problems via similar memory-access patterns (Abstract)

Adrian Nistor , University of Illinois at Urbana-Champaign, USA
Linhai Song , University of Wisconsin-Madison, USA
Darko Marinov , University of Illinois at Urbana-Champaign, USA
Shan Lu , University of Wisconsin-Madison, USA
pp. 562-571

Departures from optimality: Understanding human analyst's information foraging in assisted requirements tracing (Abstract)

Nan Niu , Department of Computer Science and Engineering, Mississippi State University, USA
Anas Mahmoud , Department of Computer Science and Engineering, Mississippi State University, USA
Zhangji Chen , Department of Computer Science and Engineering, Mississippi State University, USA
Gary Bradshaw , Department of Psychology, Mississippi State University, USA
pp. 572-581

Analysis of user comments: An approach for software requirements evolution (Abstract)

Laura V. Galvis Carreno , Department of Electrical and Computer Engineering, University of Delaware, Newark, DE USA
Kristina Winbladh , Department of Electrical and Computer Engineering, University of Delaware, Newark, DE USA
pp. 582-591

Requirements modelling by synthesis of deontic input-output automata (Abstract)

Emmanuel Letier , Department of Computer Science, University College London, London, United Kingdom
William Heaven , Department of Computer Science, University College London, London, United Kingdom
pp. 592-601

Automated reliability estimation over partial systematic explorations (Abstract)

Esteban Pavese , Universidad de Buenos Aires
Victor Braberman , Universidad de Buenos Aires
Sebastian Uchitel , Universidad de Buenos Aires and Imperial College London
pp. 602-611

Safe software updates via multi-version execution (Abstract)

Petr Hosek , Department of Computing Imperial College London
Cristian Cadar , Department of Computing Imperial College London
pp. 612-621

Reliability analysis in Symbolic PathFinder (Abstract)

Antonio Filieri , Institute of Software Technology, University of Stuttgart, Stuttgart, Germany
Corina S. Pasareanu , Carnegie Mellon Silicon Valley, NASA Ames, Moffet Field, CA, USA
Willem Visser , Stellenbosch University, Stellenbosch, South Africa
pp. 622-631

Engineering adaptive privacy: On the role of privacy awareness requirements (Abstract)

Inah Omoronyia , School of Computing, University of Glasgow, UK
Luca Cavallaro , Lero - The Irish Software Engineering Research Centre, University of Limerick, Ireland
Mazeiar Salehie , Lero - The Irish Software Engineering Research Centre, University of Limerick, Ireland
Liliana Pasquale , Lero - The Irish Software Engineering Research Centre, University of Limerick, Ireland
Bashar Nuseibeh , Lero - The Irish Software Engineering Research Centre, University of Limerick, Ireland
pp. 632-641

Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis (Abstract)

Lwin Khin Shar , Block S2, School of Electrical and Electronic Engineering, Nanyang Technological University, Nanyang Avenue, Singapore 639798
Hee Beng Kuan Tan , Block S2, School of Electrical and Electronic Engineering, Nanyang Technological University, Nanyang Avenue, Singapore 639798
Lionel C. Briand , SnT Centre, University of Luxembourg, 4 rue Alphonse Weicker, L-2721, Luxembourg
pp. 642-651

Path sensitive static analysis of web applications for remote code execution vulnerability detection (Abstract)

Yunhui Zheng , Department of Computer Science, Purdue University, West Lafayette, IN, USA
Xiangyu Zhang , Department of Computer Science, Purdue University, West Lafayette, IN, USA
pp. 652-661

Automated software architecture security risk analysis using formalized signatures (Abstract)

Mohamed Almorsy , Centre for Computing and Engineering Software Systems, Swinburne University of Technology, Melbourne, Australia
John Grundy , Centre for Computing and Engineering Software Systems, Swinburne University of Technology, Melbourne, Australia
Amani S. Ibrahim , Centre for Computing and Engineering Software Systems, Swinburne University of Technology, Melbourne, Australia
pp. 662-671

Why don't software developers use static analysis tools to find bugs? (Abstract)

Brittany Johnson , North Carolina State University, Raleigh, NC, U.S.A.
Yoonki Song , North Carolina State University, Raleigh, NC, U.S.A.
Emerson Murphy-Hill , North Carolina State University, Raleigh, NC, U.S.A.
Robert Bowdidge , Google, Mountain View, CA, U.S.A.
pp. 672-681

Exploring the impact of inter-smell relations on software maintainability: An empirical study (Abstract)

Aiko Yamashita , Simula Research Laboratory, Lysaker, Norway
Leon Moonen , Simula Research Laboratory, Lysaker, Norway
pp. 682-691

An empirical study on the developers' perception of software coupling (Abstract)

Gabriele Bavota , University of Salerno, Fisciano (SA), Italy
Bogdan Dit , The College of William and Mary, Williamsburg, VA, USA
Rocco Oliveto , University of Molise, Pesche (IS), Italy
Massimilano Di Penta , University of Sannio, Benevento, Italy
Denys Poshyvanyk , The College of William and Mary, Williamsburg, VA, USA
Andrea De Lucia , University of Salerno, Fisciano (SA), Italy
pp. 692-701

X-PERT: Accurate identification of cross-browser issues in web applications (Abstract)

Shauvik Roy Choudhary , Georgia Institute of Technology, USA
Mukul R. Prasad , Fujitsu Laboratories of America, USA
Alessandro Orso , Georgia Institute of Technology, USA
pp. 702-711

Expectations, outcomes, and challenges of modern code review (Abstract)

Alberto Bacchelli , REVEAL @ Faculty of Informatics, University of Lugano, Switzerland
Christian Bird , Microsoft Research, Redmond, Washington, USA
pp. 712-721

UML in practice (Abstract)

Marian Petre , Centre for Research in Computing, The Open University, Milton Keynes, UK
pp. 722-731

Cassandra: Proactive conflict minimization through optimized task scheduling (Abstract)

Bakhtiar Khan Kasi , Computer Science and Engineering Department, University of Nebraska-Lincoln, Lincoln, NE, USA
Anita Sarma , Computer Science and Engineering Department, University of Nebraska-Lincoln, Lincoln, NE, USA
pp. 732-741

Are your incoming aliases really necessary? Counting the cost of object ownership (Abstract)

Alex Potanin , Victoria University of Wellington, New Zealand
Monique Damitio , Victoria University of Wellington, New Zealand
James Noble , Victoria University of Wellington, New Zealand
pp. 742-751

Efficient construction of approximate call graphs for JavaScript IDE services (Abstract)

Asger Feldthaus , Aarhus University, Denmark
Max Schafer , Nanyang Technological University, Singapore
Manu Sridharan , IBM T.J. Watson Research Center, USA
Julian Dolby , IBM T.J. Watson Research Center, USA
Frank Tip , University of Waterloo, Canada
pp. 752-761

Improving feature location practice with multi-faceted interactive exploration (Abstract)

Jinshui Wang , School of Computer Science, Fudan University, Shanghai, China
Xin Peng , School of Computer Science, Fudan University, Shanghai, China
Zhenchang Xing , School of Computer Engineering, Nanyang Technological University, Singapore
Wenyun Zhao , School of Computer Science, Fudan University, Shanghai, China
pp. 762-771

SemFix: Program repair via semantic analysis (Abstract)

Hoang Duong Thien Nguyen , School of Computing, National University of Singapore, Singapore
Dawei Qi , School of Computing, National University of Singapore, Singapore
Abhik Roychoudhury , School of Computing, National University of Singapore, Singapore
Satish Chandra , IBM Research, USA
pp. 772-781

Automatic recovery from runtime failures (Abstract)

Antonio Carzaniga , University of Lugano, Faculty of Informatics, Lugano, Switzerland
Alessandra Gorla , Saarland University, Computer Science Saarbrücken, Germany
Andrea Mattavelli , University of Lugano, Faculty of Informatics, Lugano, Switzerland
Nicolo Perino , University of Lugano, Faculty of Informatics, Lugano, Switzerland
Mauro Pezze , University of Lugano, Faculty of Informatics, Lugano, Switzerland
pp. 782-791

Program transformations to fix C integers (Abstract)

Zack Coker , Auburn University, AL, USA
Munawar Hafiz , Auburn University, AL, USA
pp. 792-801

Automatic patch generation learned from human-written patches (Abstract)

Dongsun Kim , The Hong Kong University of Science and Technology, China
Jaechang Nam , The Hong Kong University of Science and Technology, China
Jaewoo Song , The Hong Kong University of Science and Technology, China
Sunghun Kim , The Hong Kong University of Science and Technology, China
pp. 802-811

Reverb: Recommending code-related web pages (Abstract)

Nicholas Sawadsky , Dept. of Computer Science, University of British Columbia, Vancouver, Canada
Gail C. Murphy , Dept. of Computer Science, University of British Columbia, Vancouver, Canada
Rahul Jiresal , Dept. of Computer Science, University of British Columbia, Vancouver, Canada
pp. 812-821

Dynamic injection of sketching features into GEF based diagram editors (Abstract)

Andreas Scharf , Software Engineering Research Group, University of Kassel, Kassel, Germany
Till Amma , Software Engineering Research Group, University of Kassel, Kassel, Germany
pp. 822-831

Discovering essential code elements in informal documentation (Abstract)

Peter C. Rigby , Department of Software Engineering Concordia University Montreal, QC, Canada
Martin P. Robillard , School of Computer Science, McGill University, Montreal, QC, Canada
pp. 832-841

Automatic query reformulations for text retrieval in software engineering (Abstract)

Sonia Haiduc , Wayne State University, Detroit MI, USA
Gabriele Bavota , University of Salerno, Fisciano (SA), Italy
Andrian Marcus , Wayne State University, Detroit MI, USA
Rocco Oliveto , University of Molise, Pesche (IS), Italy
Andrea De Lucia , University of Salerno, Fisciano (SA), Italy
Tim Menzies , University of West Virginia, Morgantown VA, USA
pp. 842-851

Technical Debt: Past, present, and future (Panel) (Abstract)

Steven Fraser , Cisco Research Center, San Jose, USA
Judith Bishop , Microsoft Research, Redmond, USA
Barry Boehm , USC, Los Angeles, USA
Pradeep Kathail , Cisco Systems San Jose, USA
Philippe Kruchten , UBC Vancouver, Canada
Ipek Ozkaya , Software Engineering Institute, Pittsburgh, USA
Alexandra Szynkarski , CAST Software Research Labs, NYC, USA
pp. 861-862

Scaling agile methods to regulated environments: An industry case study (Abstract)

Brian Fitzgerald , Lero-The Irish Software Engineering Research Centre, University of Limerick, Ireland
Klaas-Jan Stol , Lero-The Irish Software Engineering Research Centre, University of Limerick, Ireland
Ryan O'Sullivan , QUMAS, Cleve Business Park, Monahan Road, Cork, Ireland
Donal O'Brien , QUMAS, Cleve Business Park, Monahan Road, Cork, Ireland
pp. 863-872

Agility at scale: Economic governance, measured improvement, and disciplined delivery (Abstract)

Alan W. Brown , Surrey Business School, University of Surrey, UK
Scott Ambler , Scott Ambler + Associates Canada
Walker Royce , IBM USA
pp. 873-881

Distributed development considered harmful? (Abstract)

Ekrem Kocaguneli , Lane Department of CS&EE, West Virginia University, Morgantown, WV, USA
Thomas Zimmermann , Microsoft Research, Redmond, USA
Christian Bird , Microsoft Research, Redmond, USA
Nachiappan Nagappan , Microsoft Research, Redmond, USA
Tim Menzies , Lane Department of CS&EE, West Virginia University, Morgantown, WV, USA
pp. 882-890

Measuring architecture quality by structure plus history analysis (Abstract)

Robert Schwanke , Siemens Corporation, Corporate Technology, Princeton, New Jersey, USA
Lu Xiao , Computer Science Department, Drexel University, Philadelphia, Pennsylvania, USA
Yuanfang Cai , Computer Science Department, Drexel University, Philadelphia, Pennsylvania, USA
pp. 891-900

Obtaining ground-truth software architectures (Abstract)

Joshua Garcia , Computer Science Department University of Southern California, Los Angeles, CA 90089, USA
Ivo Krka , Computer Science Department University of Southern California, Los Angeles, CA 90089, USA
Chris Mattmann , Computer Science Department University of Southern California, Los Angeles, CA 90089, USA
Nenad Medvidovic , Computer Science Department University of Southern California, Los Angeles, CA 90089, USA
pp. 901-910

MIDAS: A design quality assessment method for industrial software (Abstract)

Ganesh Samarthyam , Siemens Corporate Research & Technologies, Siemens Technology & Services Pvt. Ltd., Bangalore, India
Girish Suryanarayana , Siemens Corporate Research & Technologies, Siemens Technology & Services Pvt. Ltd., Bangalore, India
Tushar Sharma , Siemens Corporate Research & Technologies, Siemens Technology & Services Pvt. Ltd., Bangalore, India
Shrinath Gupta , Siemens Corporate Research & Technologies, Siemens Technology & Services Pvt. Ltd., Bangalore, India
pp. 911-920

Evaluating usefulness of software metrics: An industrial experience report (Abstract)

Eric Bouwers , Software Improvement Group, Amsterdam, The Netherlands
Arie van Deursen , Software Improvement Group, Amsterdam, The Netherlands
Joost Visser , Software Improvement Group, Amsterdam, The Netherlands
pp. 921-930

Estimating software-intensive projects in the absence of historical data (Abstract)

Aldo Dagnino , Industrial Software Systems, ABB Corporate Research, Raleigh, NC, USA
pp. 941-950

Pathways to technology transfer and adoption: Achievements and challenges (mini-tutorial) (Abstract)

Dongmei Zhang , Microsoft Research Asia, Beijing, 100080, China
Tao Xie , North Carolina State University, Raleigh, NC 27695, USA
pp. 951-952

User involvement in software evolution practice: A case study (Abstract)

Dennis Pagano , Technische Universität München, Munich, Germany
Bernd Bruegge , Technische Universität München, Munich, Germany
pp. 953-962

A characteristic study on failures of production distributed data-parallel programs (Abstract)

Sihan Li , North Carolina State University, USA
Hucheng Zhou , Microsoft Research Asia, China
Haoxiang Lin , Microsoft Research Asia, China
Tian Xiao , Microsoft Research Asia, China
Haibo Lin , Microsoft Bing, China
Wei Lin , Microsoft Bing, USA
Tao Xie , North Carolina State University, USA
pp. 963-972

Is time-zone proximity an advantage for software development? The case of the Brazilian IT industry (Abstract)

Rafael Prikladnicki , Computer Science School, PUCRS, Porto Alegre, Brazil
Erran Carmel , Kogod School of Business, American University Washington DC, USA
pp. 973-981

A study of enabling factors for rapid fielding combined practices to balance speed and stability (Abstract)

Stephany Bellomo , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA
Robert L. Nord , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA
Ipek Ozkaya , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA
pp. 982-991

JST: An automatic test generation tool for industrial Java applications with strings (Abstract)

Indradeep Ghosh , Software Systems Innovation Group, Fujitsu Laboratories of America, Sunnyvale, CA, USA
Nastaran Shafiei , Department of Computer Science and Engineering, York University, Toronto, ON, Canada
Guodong Li , Software Systems Innovation Group, Fujitsu Laboratories of America, Sunnyvale, CA, USA
Wei-Fan Chiang , School of Computing, University of Utah, Salt Lake City, UT, USA
pp. 992-1001

Automatic detection of performance deviations in the load testing of Large Scale Systems (Abstract)

Haroon Malik , Software Analysis and Intelligence Lab (SAIL) School of Computing, Queen's University, Kingston, Canada
Hadi Hemmati , David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada
Ahmed E. Hassan , Software Analysis and Intelligence Lab (SAIL) School of Computing, Queen's University, Kingston, Canada
pp. 1012-1021

Detecting inconsistencies in wrappers: A case study (Abstract)

Henning Femmer , Technische Universität München, Munich, Germany
Dharmalingam Ganesan , Fraunhofer CESE, College Park, Maryland, USA
Mikael Lindvall , Fraunhofer CESE, College Park, Maryland, USA
David McComas , NASA Goddard Space Flight Center, Greenbelt, Maryland, USA
pp. 1022-1031

Categorizing bugs with social networks: A case study on four open source software communities (Abstract)

Marcelo Serrano Zanetti , Chair of Systems Design - http://www.sg.ethz.ch/ - ETH Zurich, Switzerland
Ingo Scholtes , Chair of Systems Design - http://www.sg.ethz.ch/ - ETH Zurich, Switzerland
Claudio Juan Tessone , Chair of Systems Design - http://www.sg.ethz.ch/ - ETH Zurich, Switzerland
Frank Schweitzer , Chair of Systems Design - http://www.sg.ethz.ch/ - ETH Zurich, Switzerland
pp. 1032-1041

Predicting bug-fixing time: An empirical study of commercial software projects (Abstract)

Hongyu Zhang , Tsinghua University Beijing 100084, China
Liang Gong , Tsinghua University Beijing 100084, China
Steve Versteeg , CA Technologies Melbourne, Australia
pp. 1042-1051

Authentic assessment in Software Engineering education based on PBL principles a case study in the telecom market (Abstract)

Simone C. dos Santos , Informatics Center, Federal University of Pernambuco, Recife, Brazil
Felipe S. F. Soares , C.E.S.A.R - Recife Center of Advanced Studies and Systems Informatics Center - Federal University of Pernambuco Recife, Brazil
pp. 1055-1062

Studios in software engineering education: Towards an evaluable model (Abstract)

Christopher N. Bull , HighWire DTC, School of Computing and Communications, Imagination Lancaster, Lancaster University Lancaster, UK
Jon Whittle , HighWire DTC, School of Computing and Communications, Imagination Lancaster, Lancaster University Lancaster, UK
Leon Cruickshank , HighWire DTC, School of Computing and Communications, Imagination Lancaster, Lancaster University Lancaster, UK
pp. 1063-1072

Enabling a classroom design studio with a collaborative sketch design tool (Abstract)

Dastyni Loksa , Department of Informatics University of California, Irvine Irvine, CA 92697-3425 USA
Nicolas Mangano , Department of Informatics University of California, Irvine Irvine, CA 92697-3425 USA
Thomas D. LaToza , Department of Informatics University of California, Irvine Irvine, CA 92697-3425 USA
Andre van der Hoek , Department of Informatics University of California, Irvine Irvine, CA 92697-3425 USA
pp. 1073-1082

A framework to evaluate software engineering student contests: Evaluation and integration with academic programs (Abstract)

Amir Zeid , Department of Computer Science and Information Systems, American University of Kuwait, Kuwait
pp. 1083-1089

An evaluation of interactive test-driven labs with WebIDE in CS0 (Abstract)

David S. Janzen , California Polytechnic State University, San Luis Obispo, California 93407
John Clements , California Polytechnic State University, San Luis Obispo, California 93407
Michael Hilton , California Polytechnic State University, San Luis Obispo, California 93407
pp. 1090-1098

POPT: A Problem-Oriented Programming and Testing approach for novice students (Abstract)

Vicente Lustosa Neto , Department of Informatics and Applied Mathematics (DIMAp), Federal University of Rio Grande do Norte, Brazil
Roberta Coelho , Department of Informatics and Applied Mathematics (DIMAp), Federal University of Rio Grande do Norte, Brazil
Larissa Leite , Department of Informatics and Applied Mathematics (DIMAp), Federal University of Rio Grande do Norte, Brazil
Dalton S. Guerrero , Computing and System Department, Federal University of Campina Grande, Brazil
Andrea P. Mendonca , Computing and Systems Department, Federal Institute of Education, Science and Technology, Amazonas, Brazil
pp. 1099-1108

Teaching developer skills in the first software engineering course (Abstract)

Vaclav Rajlich , Department of Computer Science, Wayne State University, Detroit, MI 48202, U.S.A.
pp. 1109-1116

Teaching and learning programming and software engineering via interactive gaming (Abstract)

Nikolai Tillmann , Microsoft Research, One Microsoft Way, Redmond, WA, USA
Jonathan de Halleux , Microsoft Research One Microsoft Way, Redmond, WA, USA
Tao Xie , Computer Science Dept. NC State University, Raleigh, NC, USA
Sumit Gulwani , Microsoft Research, One Microsoft Way, Redmond, WA, USA
Judith Bishop , Microsoft Research, One Microsoft Way, Redmond, WA, USA
pp. 1117-1126

Teaching students global software engineering skills using distributed Scrum (Abstract)

Maria Paasivaara , Software Process Research Group, Aalto University, FI-00076 Aalto, Finland
Casper Lassenius , Software Process Research Group, Aalto University, FI-00076 Aalto, Finland
Daniela Damian , SEGAL, University of Victoria, Victoria, BC, Canada
Petteri Raty , Software Process Research Group, Aalto University, FI-00076 Aalto, Finland
Adrian Schroter , SEGAL, University of Victoria, Victoria, BC, Canada
pp. 1128-1137

Teaching software process modeling (Abstract)

Marco Kuhrmann , Technische Universität München, Faculty of Informatics, Garching, Germany
Daniel Mendez Fernandez , Technische Universität München, Faculty of Informatics, Garching, Germany
Jurgen Munch , University of Helsinki, Department of Computer Science, Helsinki, Finnland
pp. 1138-1147

Industry involvement in ICT curriculum: A comparative survey (Abstract)

Chris J. Pilgrim , Faculty of Information and Communication Technology, Swinburne University of Technology, Hawthorn, Vic, Australia
pp. 1148-1153

Vulnerability of the Day: Concrete demonstrations for software engineering undergraduates (Abstract)

Andrew Meneely , Department of Software Engineering, Rochester Institute of Technology, Rochester, NY 14623, USA
Samuel Lucidi , Department of Software Engineering, Rochester Institute of Technology, Rochester, NY 14623, USA
pp. 1154-1157

Eliminative induction: A basis for arguing system confidence (Abstract)

John B. Goodenough , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA
Charles B. Weinstock , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA
Ari Z. Klein , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA
pp. 1161-1164

Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference (Abstract)

Paul Givens , University of Colorado, Boulder, USA
Aleksandar Chakarov , University of Colorado, Boulder, USA
Sriram Sankaranarayanan , University of Colorado, Boulder, USA
Tom Yeh , University of Colorado, Boulder, USA
pp. 1165-1168

Semantic smells and errors in access control models: A case study in PHP (Abstract)

Francois Gauthier , Polytechnique Montréal, Canada
Ettore Merlo , Polytechnique Montréal, Canada
pp. 1169-1172

Practical semantic test simplification (Abstract)

Sai Zhang , University of Washington, USA
pp. 1173-1176

Understanding regression failures through test-passing and test-failing code changes (Abstract)

Roykrong Sukkerd , University of Washington Seattle, WA, USA
Ivan Beschastnikh , University of Washington Seattle, WA, USA
Jochen Wuttke , University of Washington Seattle, WA, USA
Sai Zhang , University of Washington Seattle, WA, USA
Yuriy Brun , University of Massachusetts Amherst, MA, USA
pp. 1177-1180

Temporal code completion and navigation (Abstract)

Yun Young Lee , University of Illinois at Urbana-Champaign, USA
Sam Harwell , The University of Texas at Austin, USA
Sarfraz Khurshid , The University of Texas at Austin, USA
Darko Marinov , University of Illinois at Urbana-Champaign, USA
pp. 1181-1184

Situational awareness: Personalizing issue tracking systems (Abstract)

Olga Baysal , Software Architecture Group (SWAG), David R. Cheriton School of Computer Science, University of Waterloo, Canada
Reid Holmes , Software Architecture Group (SWAG), David R. Cheriton School of Computer Science, University of Waterloo, Canada
Michael W. Godfrey , Software Architecture Group (SWAG), David R. Cheriton School of Computer Science, University of Waterloo, Canada
pp. 1185-1188

GROPG: A graphical on-phone debugger (Abstract)

Tuan Anh Nguyen , Computer Science and Engineering Department, University of Texas at Arlington, Arlington, TX 76019, USA
Christoph Csallner , Computer Science and Engineering Department, University of Texas at Arlington, Arlington, TX 76019, USA
Nikolai Tillmann , Microsoft Research, One Microsoft Way, Redmond, WA 98052, USA
pp. 1189-1192

Why did this code change? (Abstract)

Sarah Rastkar , Department of Computer Science University of British Columbia, Canada
Gail C. Murphy , Department of Computer Science University of British Columbia, Canada
pp. 1193-1196

Deciphering the story of software development through frequent pattern mining (Abstract)

Nicolas Bettenburg , Software Analysis and Intelligence Lab (SAIL), Queen's University, School of Computing, Kingston, Ontario K1N 3L6 Canada
Andrew Begel , Microsoft Research, Microsoft Corporation, Redmond, WA, USA
pp. 1197-1200

Liberating pair programming research from the oppressive driver/observer regime (Abstract)

Stephan Salinger , Freie Universität Berlin, Institut für Informatik, Takustr. 9, 14195 Berlin, Germany
Franz Zieris , Freie Universität Berlin, Institut für Informatik, Takustr. 9, 14195 Berlin, Germany
Lutz Prechelt , Freie Universität Berlin, Institut für Informatik, Takustr. 9, 14195 Berlin, Germany
pp. 1201-1204

Pricing crowdsourcing-based software development tasks (Abstract)

Ke Mao , Institute of Software, Chinese Academy of Sciences, Beijing, China
Ye Yang , Institute of Software, Chinese Academy of Sciences, Beijing, China
Mingshu Li , Institute of Software, Chinese Academy of Sciences, Beijing, China
Mark Harman , Dept. of Computer Science, University of College London London, UK
pp. 1205-1208

Building test suites in social coding sites by leveraging drive-by commits (Abstract)

Raphael Pham , Leibniz Universität Hannover, Software Engineering Group, Hannover, Germany
Leif Singer , Leibniz Universität Hannover, Software Engineering Group, Hannover, Germany
Kurt Schneider , Leibniz Universität Hannover, Software Engineering Group, Hannover, Germany
pp. 1209-1212

Supporting application development with structured queries in the cloud (Abstract)

Michael Smit , York University, Toronto, Canada
Bradley Simmons , York University, Toronto, Canada
Mark Shtern , York University, Toronto, Canada
Marin Litoiu , York University, Toronto, Canada
pp. 1213-1216

Hunting for smells in natural language tests (Abstract)

Benedikt Hauptmann , Maximilian Junker, Sebastian Eder, Technische Universität München, Germany
Lars Heinemann , CQSE GmbH, Germany
Rudolf Vaas , Munich Re Group, Germany
Peter Braun , Validas AG, Germany
pp. 1217-1220

Bottom-up model-driven development (Abstract)

Hamid Bagheri , University of Virginia, 151 Engineer's Way, Charlottesville, VA 22903 USA
Kevin Sullivan , University of Virginia, 151 Engineer's Way, Charlottesville, VA 22903 USA
pp. 1221-1224

An approach for restructuring text content (Abstract)

Lerina Aversano , Department of Engineering, University of Sannio, Italy
Gerardo Canfora , Department of Engineering, University of Sannio, Italy
Giuseppe De Ruvo , Department of Engineering, University of Sannio, Italy
Maria Tortorella , Department of Engineering, University of Sannio, Italy
pp. 1225-1228

A case for human-driven software development (Abstract)

Emilie Balland , Inria/University of Bordeaux, France
Charles Consel , Inria/University of Bordeaux, France
Bernard N'Kaoua , Inria/University of Bordeaux, France
Helene Sauzeon , Inria/University of Bordeaux, France
pp. 1229-1232

A framework for managing cloned product variants (Abstract)

Julia Rubin , IBM Research at Haifa, Israel
Marsha Chechik , University of Toronto, Canada
pp. 1233-1236

Sketching software in the wild (Abstract)

David Socha , Computing and Software Systems, University of Washington, Bothell, Bothell, WA, USA
Josh Tenenberg , Institute of Technology, University of Washington, Tacoma, Tacoma, WA, USA
pp. 1237-1240

On extracting unit tests from interactive live programming sessions (Abstract)

Adrian Kuhn , Department of Computer Science, University of British Columbia, Canada
pp. 1241-1244

Towards automated testing and fixing of re-engineered Feature Models (Abstract)

Christopher Henard , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg, Luxembourg
Mike Papadakis , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg, Luxembourg
Gilles Perrouin , Precise Research Center In Software Engineering (PReCISE), University of Namur, Namur, Belgium
Jacques Klein , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg, Luxembourg
Yves Le Traon , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg, Luxembourg
pp. 1245-1248

Computational alignment of goals and scenarios for complex systems (Abstract)

Dalai Alrajeh , Imperial College London London, United Kingdom
Alessandra Russo , Imperial College London London, United Kingdom
James Lockerbie , City University London London, United Kingdom
Neil Maiden , City University London London, United Kingdom
Alistair Mavin , Rolls-Royce plc Derby, United Kingdom
Mark Novak , Aero Engine Controls Derby, United Kingdom
pp. 1249-1252

Service networks for development communities (Abstract)

Damian A. Tamburri , Department of Computer Science, VU University Amsterdam, The Netherlands
Patricia Lago , Department of Computer Science, VU University Amsterdam, The Netherlands
Hans van Vliet , Department of Computer Science, VU University Amsterdam, The Netherlands
pp. 1253-1256

Formal specifications better than function points for code sizing (Abstract)

Mark Staples , NICTA, 13 Garden St, Eveleigh NSW 2015, Australia School of Computer Science and Engineering, University of New South Wales 2052, Australia
Rafal Kolanski , NICTA, 13 Garden St, Eveleigh NSW 2015, Australia School of Computer Science and Engineering, University of New South Wales 2052, Australia
Gerwin Klein , NICTA, 13 Garden St, Eveleigh NSW 2015, Australia School of Computer Science and Engineering, University of New South Wales 2052, Australia
Corey Lewis , NICTA, 13 Garden St, Eveleigh NSW 2015, Australia School of Computer Science and Engineering, University of New South Wales 2052, Australia
June Andronick , NICTA, 13 Garden St, Eveleigh NSW 2015, Australia School of Computer Science and Engineering, University of New South Wales 2052, Australia
Toby Murray , NICTA, 13 Garden St, Eveleigh NSW 2015, Australia School of Computer Science and Engineering, University of New South Wales 2052, Australia
Ross Jeffery , NICTA, 13 Garden St, Eveleigh NSW 2015, Australia School of Computer Science and Engineering, University of New South Wales 2052, Australia
Len Bass , NICTA, 13 Garden St, Eveleigh NSW 2015, Australia School of Computer Science and Engineering, University of New South Wales 2052, Australia
pp. 1257-1260

Using mutation analysis for a model-clone detector comparison framework (Abstract)

Matthew Stephan , School of Computing, Queen's University, Kingston, Canada
Manar H. Alafi , School of Computing, Queen's University, Kingston, Canada
Andrew Stevenson , School of Computing, Queen's University, Kingston, Canada
James R. Cordy , School of Computing, Queen's University, Kingston, Canada
pp. 1261-1264

On the relationships between domain-based coupling and code clones: An exploratory study (Abstract)

Md Saidur Rahman , University of Saskatchewan, Canada
Amir Aryani , Australian National University, Australia
Chanchal K. Roy , University of Saskatchewan, Canada
Fabrizio Perin , University of Bern, Switzerland
pp. 1265-1268

Quantitative program slicing: Separating statements by relevance (Abstract)

Raul Santelices , University of Notre Dame, Indiana, USA
Yiji Zhang , University of Notre Dame, Indiana, USA
Siyuan Jiang , University of Notre Dame, Indiana, USA
Haipeng Cai , University of Notre Dame, Indiana, USA
Ying-jie Zhang , Tsinghua University, Beijing, China
pp. 1269-1272

Example-Driven Modeling: Model = Abstractions + Examples (Abstract)

Kacper Bak , GSD Lab, University of Waterloo, Canada
Dina Zayan , GSD Lab, University of Waterloo, Canada
Krzysztof Czarnecki , GSD Lab, University of Waterloo, Canada
Michal Antkiewicz , GSD Lab, University of Waterloo, Canada
Zinovy Diskin , GSD Lab, University of Waterloo, Canada
Andrzej Wasowski , IT University of Copenhagen, Denmark
Derek Rayside , University of Waterloo, Canada
pp. 1273-1276

Towards recognizing and rewarding efficient developer work patterns (Abstract)

Will Snipes , ABB Corporate Research, Industrial Software Systems, Raleigh, NC USA
Vinay Augustine , ABB Corporate Research, Industrial Software Systems, Raleigh, NC USA
Anil R. Nair , ABB Corporate Research, Industrial Software Systems, Bangalore, India
Emerson Murphy-Hill , North Carolina State University, Department of Computer Science, Raleigh, N.C. USA
pp. 1277-1280

Selecting checkpoints along the time line: A novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes (Abstract)

Xiao Liu , Software Engineering Institute, East China Normal University, Shanghai, China
Yun Yang , Faculty of Information and Communication Technologies, Swinburne University of Technology, Melbourne, Australia
Dahai Cao , Faculty of Information and Communication Technologies, Swinburne University of Technology, Melbourne, Australia
Dong Yuan , Faculty of Information and Communication Technologies, Swinburne University of Technology, Melbourne, Australia
pp. 1281-1284

LambdaFicator: From imperative to functional programming through automated refactoring (Abstract)

Lyle Franklin , Ball State University, USA
Alex Gyori , Politehnica University of Timisoara, Romania
Jan Lahoda , Oracle, Czech Republic
Danny Dig , University of Illinois, USA
pp. 1287-1290

JITTAC: A Just-in-Time tool for architectural consistency (Abstract)

Jim Buckley , Lero/CSIS University of Limerick Limerick, Ireland
Sean Mooney , Lero/CSIS University of Limerick Limerick, Ireland
Jacek Rosik , Lero/CSIS University of Limerick Limerick, Ireland
Nour Ali , Visual Modelling Group, University of Brighton, Brighton, UK
pp. 1291-1294

Seahawk: Stack Overflow in the IDE (Abstract)

Luca Ponzanelli , REVEAL @ Faculty of Informatics - University of Lugano, Switzerland
Alberto Bacchelli , REVEAL @ Faculty of Informatics - University of Lugano, Switzerland
Michele Lanza , REVEAL @ Faculty of Informatics - University of Lugano, Switzerland
pp. 1295-1298

DRC: A detection tool for dangling references in PHP-based web applications (Abstract)

Hung Viet Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
Hoan Anh Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
Tung Thanh Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
Tien N. Nguyen , Electrical and Computer Engineering Department, Iowa State University, USA
pp. 1299-1302

TestEvol: A tool for analyzing test-suite evolution (Abstract)

Leandro Sales Pinto , Politecnico di Milano, Italy
Saurabh Sinha , IBM Research - India
Alessandro Orso , Georgia Institute of Technology, USA
pp. 1303-1306

Query quality prediction and reformulation for source code search: The Refoqus tool (Abstract)

Sonia Haiduc , Department of Computer Science, Wayne State University, Detroit, MI 48202, USA
Giuseppe De Rosa , School of Science, University of Salerno, 84084 Fisciano (SA), Italy
Gabriele Bavota , School of Science, University of Salerno, 84084 Fisciano (SA), Italy
Rocco Oliveto , Department of Bioscience and Territory, University of Molise, 86090 Pesche (IS), Italy
Andrea de Lucia , School of Science, University of Salerno, 84084 Fisciano (SA), Italy
Andrian Marcus , Department of Computer Science, Wayne State University, Detroit, MI 48202, USA
pp. 1307-1310

A large scale Linux-Kernel based benchmark for feature location research (Abstract)

Zhenchang Xing , School of Computer Engineering Nanyang Technological University, Singapore
Yinxing Xue , Department of Computer Science National University of Singapore, Singapore
Stan Jarzabek , Department of Computer Science National University of Singapore, Singapore
pp. 1311-1314

NavClus: A graphical recommender for assisting code exploration (Abstract)

Seonah Lee , Department of Computer Science, KAIST, Daejeon, Republic of Korea
Sungwon Kang , Department of Computer Science, KAIST, Daejeon, Republic of Korea
Matt Staats , Division of Web Science and Technology, KAIST, Daejeon, Republic of Korea
pp. 1315-1318

LASE: An example-based program transformation tool for locating and applying systematic edits (Abstract)

John Jacobellis , The University of Texas at Austin, Austin, US
Na Meng , The University of Texas at Austin, Austin, US
Miryung Kim , The University of Texas at Austin, Austin, US
pp. 1319-1322

CEL: Modeling everywhere (Abstract)

Remo Lemma , REVEAL @ Faculty of Informatics - University of Lugano, Switzerland
Michele Lanza , REVEAL @ Faculty of Informatics - University of Lugano, Switzerland
Fernando Olivero , REVEAL @ Faculty of Informatics - University of Lugano, Switzerland
pp. 1323-1326

V:Issue:lizer: Exploring requirements clarification in online communication over time (Abstract)

Eric Knauss , SEGAL, University of Victoria, Victoria B.C., Canada
Daniela Damian , SEGAL, University of Victoria, Victoria B.C., Canada
pp. 1327-1330

YODA: Young and newcOmer Developer Assistant (Abstract)

Gerardo Canfora , University of Sannio, Via Traiano, 82100 Benevento, Italy
Massimiliano Di Penta , University of Sannio, Via Traiano, 82100 Benevento, Italy
Stefano Giannantonio , University of Molise, Contrada Fonte Lappone, 86090 Pesche (IS), Italy
Rocco Oliveto , University of Molise, Contrada Fonte Lappone, 86090 Pesche (IS), Italy
Sebastiano Panichella , University of Sannio, Via Traiano, 82100 Benevento, Italy
pp. 1331-1334

RADAR: A tool for debugging regression problems in C/C++ Software (Abstract)

Fabrizio Pastore , University of Milano - Bicocca, Milano, Italy
Leonardo Mariani , University of Milano - Bicocca, Milano, Italy
Alberto Goffi , University of Lugano, Lugano, Switzerland
pp. 1335-1338

MCT: A tool for commenting programs by multimedia comments (Abstract)

Yiyang Hao , Software Institute, School of Electronic Engineering and Computer Science, Peking University
Ge Li , Software Institute, School of Electronic Engineering and Computer Science, Peking University
Lili Mou , Software Institute, School of Electronic Engineering and Computer Science, Peking University
Lu Zhang , Software Institute, School of Electronic Engineering and Computer Science, Peking University
Zhi Jin , Software Institute, School of Electronic Engineering and Computer Science, Peking University
pp. 1339-1342

Memoise: A tool for memoized symbolic execution (Abstract)

Guowei Yang , Electrical and Computer Engineering, The University of Texas at Austin, Austin, TX 78712, USA
Sarfraz Khurshid , Electrical and Computer Engineering, The University of Texas at Austin, Austin, TX 78712, USA
Corina S. Pasareanu , Carnegie Mellon Silicon Valley, NASA Ames, M/S 269-2 Moffett Field, CA 94035, USA
pp. 1343-1346

Controller synthesis: From modelling to enactment (Abstract)

Victor Braberman , Universidad de Buenos Aires, Argentina
Nicolas D'Ippolito , Imperial College London, UK
Nir Piterman , University of Leicester, UK
Daniel Sykes , Imperial College London, UK
Sebastian Ucriitel , Universidad de Buenos Aires, Argentina
pp. 1347-1350

A study of variability spaces in open source software (Abstract)

Sarah Nadi , David R. Cheriton School of Computer Science, University of Waterloo, ON, Canada
pp. 1353-1356

Implementing database access control policy from unconstrained natural language text (Abstract)

John Slankas , Department of Computer Science, North Carolina State University, Raleigh, USA
pp. 1357-1360

Increasing anomaly handling efficiency in large organizations using applied machine learning (Abstract)

Leif Jonsson , Ericsson AB and Linköping University, Sweden
pp. 1361-1364

Analyzing the change-proneness of service-oriented systems from an industrial perspective (Abstract)

Daniele Romano , Software Engineering Research Group, Delft University of Technology, Delft, The Netherlands
pp. 1365-1368

Supporting maintenance tasks on transformational code generation environments (Abstract)

Victor Guana , Department of Computing Science, University of Alberta Edmonton AB, T6G 2E8, Canada
pp. 1369-1372

An approach to documenting and evolving architectural design decisions (Abstract)

Meiru Che , Department of Electrical and Computer Engineering, The University of Texas at Austin, Austin, Texas 78712, USA
pp. 1373-1376

An observable and controllable testing framework for modern systems (Abstract)

Tingting Yu , Department of Computer Science and Engineering, University of Nebraska - Lincoln, Lincoln, Nebraska, 68588, USA
pp. 1377-1380

Toward a software product line for affective-driven self-adaptive systems (Abstract)

Javier Gonzalez-Sanchez , School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, AZ, USA
pp. 1381-1384

Normalizing source code vocabulary to support program comprehension and software quality (Abstract)

Latifa Guerrouj , DGIGL - SOCCER Lab, Ptidej Team, Polytechnique Montréal, Québec, Canada
pp. 1385-1388

Integrating Systematic exploration, analysis, and maintenance in software development (Abstract)

Kivanc Muslu , Computer Science & Engineering University of Washington Seattle, Washington, USA
pp. 1389-1392

Fostering software quality assessment (Abstract)

Martin Brandtner , Department of Informatics, University of Zurich, 8050 Zurich, Switzerland
pp. 1393-1396

A framework for self-healing software systems (Abstract)

Nicolo Perino , University of Lugano - Faculty of Informatics, via G. Buffi 13, 6904 Lugano, Switzerland
pp. 1397-1400

Building high assurance secure applications using security patterns for capability-based platforms (Abstract)

Paul Rimba , NICTA, Level5, 13 Garden Street, Eveleigh, NSW, Australia, School of Computer Science and Engineering, University of New South Wales, NSW, Australia
pp. 1401-1404

Systematically selecting a software module during opportunistic reuse (Abstract)

Naveen Kulkarni , Software Engineering Research Center, International Institute of Information Technology Hyderabad (IIIT-H), Hyderabad 500 032, India
pp. 1405-1406

Informing development decisions: From data to information (Abstract)

Olga Baysal , David R. Cheriton School of Computer Science, University of Waterloo, ON, Canada
pp. 1407-1410

Understanding and simulating software evolution (Abstract)

Zhongpeng Lin , Computer Science Department University of California, Santa Cruz Santa Cruz, CA 95064, USA
pp. 1411-1414

An ontology toolkit for problem domain concept location in program comprehension (Abstract)

Nuno Ramos Carvalho , Department of Informatics, University of Minho, Campus de Gualtar - 4710-057 Braga, Portugal
pp. 1415-1418

Measuring the forensic-ability of audit logs for nonrepudiation (Abstract)

Jason King , Department of Computer Science, North Carolina State University, 890 Oval Drive, Raleigh, NC, USA, 27695
pp. 1419-1422

SNIPR: Complementing code search with code retargeting capabilities (Abstract)

Huascar A. Sanchez , Computer Science Department, University of California, Santa Cruz, Santa Cruz, CA 95060
pp. 1423-1426

Supporting incremental programming with ghosts (Abstract)

Oscar Callau , PLEIAD Lab, Computer Science Department (DCC), University of Chile
pp. 1429-1431

Novice understanding of program analysis tool notifications (Abstract)

Brittany Johnson , Department of Computer Science, North Carolina State University, Raleigh, USA
pp. 1432-1434

Energy aware self-adaptation in mobile systems (Abstract)

Luca Ardito , Department of Control and Computer Engineering, Politecnico di Torino, Italy
pp. 1435-1437

ConfDiagnoser: An automated configuration error diagnosis tool for Java software (Abstract)

Sai Zhang , Computer Science & Engineering, University of Washington, USA
pp. 1438-1440

Reproducing and debugging field failures in house (Abstract)

Wei Jin , Georgia Institute of Technology, USA
pp. 1441-1443

Fault comprehension for concurrent programs (Abstract)

Sangmin Park , Georgia Institute of Technology, Atlanta, GA, USA
pp. 1444-1446

A proposal for the improvement of project's cost predictability using EVM and historical data of cost (Abstract)

Adler Diniz de Souza , Universidade Federal do Rio de Janeiro - UFRJ / COPPE, Rio de Janeiro, Brasil
pp. 1447-1449

Studying the effect of co-change dispersion on software quality (Abstract)

Ehsan Kouroshfar , Computer Science Department, George Mason University, Fairfax, USA
pp. 1450-1452

A roadmap for software maintainability measurement (Abstract)

Juliana Saraiva , Informatics Center, Federal University of Pernambuco, Recife, Brazil
pp. 1453-1455

Reasoning with qualitative preferences to develop optimal component-based systems (Abstract)

Zachary J. Oster , Formal Methods and Verification Group, Iowa State University, Ames, Iowa 50011, USA
pp. 1456-1458

From models to code and back: Correct-by-construction code from UML and ALF (Abstract)

Federico Ciccozzi , MRTC - Mälardalen University, Västerås (Sweden)
pp. 1459-1461

Mitigating the obsolescence of specification models of service-based systems (Abstract)

Romina Torres , Departamento de Informatica, Universidad Tècnica Federico Santa Maria, Valparaiso, Chile
pp. 1462-1464

Decision theoretic requirements prioritization A two-step approach for sliding towards value realization (Abstract)

Nupul Kukreja , Center for Systems and Software Engineering (CSSE), University of Southern California, Los Angeles, USA
pp. 1465-1467

Changeset based developer communication to detect software failures (Abstract)

Braden Simpson , Department of Computer Science, University of Victoria, Victoria, BC, Canada
pp. 1468-1470

Identifying failure inducing developer pairs within developer networks (Abstract)

Jordan Ell , University of Victoria, Victoria, British Columbia, Canada
pp. 1471-1473

On identifying user complaints of iOS apps (Abstract)

Hammad Khalid , Software Analysis and Intelligence Lab (SAIL), School of Computing, Queen's University, Canada
pp. 1474-1476

Automated testing of GUI applications: Models, tools, and controlling flakiness (Abstract)

Atif M. Memon , University of Maryland, Department of Computer Science, College Park, MD 20742
Myra B. Cohen , University of Nebraska-Lincoln, Department of Computer Science & Eng., Lincoln, NE 68588-0115
pp. 1479-1480

Build your own model checker in one month (Abstract)

Jin Song Dong , National University of Singapore
Jun Sun , Singapore University of Technology and Design
Yang Liu , Nanyang Technological University
pp. 1481-1483

Data science for software engineering (Abstract)

Tim Menzies , Lane Department of CS&EE, West Virginia University, Morgantown, WV, USA
Ekrem Kocaguneli , Lane Department of CS&EE, West Virginia University, Morgantown, WV, USA
Fayola Peters , Lane Department of CS&EE, West Virginia University, Morgantown, WV, USA
Burak Turhan , University of Oulu, Oulu, Finland
Leandro L. Minku , CERCIA School of Computer Science, The University of Birmingham, Birmingham, UK
pp. 1484-1486

Developing verified programs with Dafny (Abstract)

K. Rustan M. Leino , Microsoft Research, Redmond, WA, USA
pp. 1488-1490

Software metrics: Pitfalls and best practices (Abstract)

Eric Bouwers , Software Improvement Group, The Netherlands
Arie van Deursen , Delft University of Technology, The Netherlands
Joost Visser , Radboud University Nijmegen, The Netherlands
pp. 1491-1492

A hands-on Java Pathfinder tutorial (Abstract)

Peter Mehlitz , NASA Ames Research Center, USA
Neha Rungta , NASA Ames Research Center, USA
Willem Visser , University of Stellenbosch, SA
pp. 1493-1495

Efficient quality assurance of variability-intensive systems (Abstract)

Patrick Heymans , University of Namur, Belgium
Axel Legay , IRISA/INRIA Rennes, France
Maxime Cordy , University of Namur, Belgium
pp. 1496-1498

Software requirement patterns (Abstract)

Xavier Franch , Universitat Politècnica de Catalunya (UPC) Barcelona, Spain
pp. 1499-1501

1st International workshop on assurance cases for software-intensive systems (ASSURE 2013) (Abstract)

Ewen Denney , SGT / NASA Ames Research Center, Moffett Field, CA, USA
Ganesh Pai , SGT / NASA Ames Research Center, Moffett Field, CA, USA
Ibrahim Habli , Department of Computer Science, University of York, York, UK
Tim Kelly , Department of Computer Science, University of York, York, UK
John Knight , Department of Computer Science, University of Virginia, Charlottesville, USA
pp. 1505-1506

1st International workshop on conducting empirical studies in industry (CESI 2013) (Abstract)

Xavier Franch , Univ. Politècnica Catalunya, Barcelona, Spain
Nazim H. Madhavji , University of Western Ontario, London, Canada
Bill Curtis , CAST Software, Fort Worth, Texas, USA
Larry Votta , Brincos, Sammamish, WA, USA
pp. 1509-1510

6th International workshop on cooperative and human aspects of software engineering (CHASE 2013) (Abstract)

Rafael Prikladnicki , Computer Science School, PUCRS, Porto Alegre, Brazil
Helen Sharp , The Open University Milton Keynes, UK
Rashina Hoda , The University of Auckland, Auckland, New Zealand
Yvonne Dittrich , IT University of Copenhagen, Copenhagen, Denmark
Marcelo Cataldo , Bosch Corporate Research, Pittsburgh, PA 15212, USA
Cleidson R. B. de Souza , Vale Institute of Technology, Belém, Brazil
pp. 1511-1512

3rd International workshop on games and software engineering: Engineering computer games to Enable Positive, Progressive Change (GAS 2013) (Abstract)

Kendra M. L. Cooper , The University of Texas at Dallas, Richardson, U.S.A.
Walt Scacchi , University of California, Irvine, Irvine, U.S.A.
Alf Inge Wang , Norwegian University of Science and Technology, Trondheim, Norway
pp. 1521-1522

2nd SEMAT workshop on a general theory of software engineering (GTSE 2013) (Abstract)

Pontus Johnson , KTH Royal Institute of Technology, Stockholm, Sweden
Michael Goedicke , University of Duisburg-Essen, Essen, Germany
Ivar Jacobson , Ivar Jacobson International, Verbier, Switzerland
Mira Kajko-Mattsson , KTH Royal Institute of Technology, Stockholm, Sweden
pp. 1525-1526

1st International workshop on the engineering of mobile-enabled systems (MOBS 2013) (Abstract)

Grace A. Lewis , Carnegie Mellon Software Engineering Institute, Pittsburgh, PA USA
Henry Muccini , University of L'Aquila, L'Aquila, Italy
David Rosenblum , National University of Singapore Singapore, Republic of Singapore
Jeff Gray , University of Alabama Tuscaloosa, AL USA
Nachiappan Nagappan , Microsoft Research Redmond, WA USA
Emad Shihab , Rochester Institute of Technology, Rochester, NY USA
pp. 1533-1534

1st International workshop on natural language analysis in software engineering (NaturaLiSE 2013) (Abstract)

Lori Pollock , University of Delaware, USA
David Binkley , Loyola University Maryland, USA
Dawn Lawrie , Loyola University Maryland, USA
Emily Hill , Montclair State University, USA
Rocco Oliveto , University of Molise, Italy
Gabriele Bavota , University of Salerno, Italy
Alberto Bacchelli , University of Lugano, Switzerland
pp. 1537-1538

2nd International workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013) (Abstract)

Rachel Harrison , Oxford Brookes University, UK
Marjan Mernik , University of Maribor, Slovenia, Sol Greenspan, NSF USA
Pedro Henriques , University of Minho, Portugal
Daniela da Cruz , University of Minho, Portugal
Tim Menzies , West Virginia University, USA
Daniel Rodriguez , University of Alcalá, Spain
pp. 1543-1544

4th International Workshop on Software Engineering for sensor network applications (SESENA 2013) (Abstract)

Christine Julien , Advanced Research in Software Engineering, The University of Texas at Austin, USA
Klaus Wehrle , Communication and Distributed Systems, RWTH Aachen University, Germany
pp. 1551-1552

4th International workshop on Emerging Trends in Software Metrics (WETSoM 2013) (Abstract)

Steven Counsell , Dept. of Information Systems and Computing, Brunel University, London, U.K.
Ewan Tempero , Dept. of Computer Science, The University of Auckland, Auckland, New Zealand
Michele L. Marchesi , Dept. of Electrical and Electronic Engineering University of Cagliari, Cagliari, Italy
Aaron Visaggio , Dept. of Engineering University of Sannio, Benevento, Italy
pp. 1560-1561
98 ms
(Ver 3.3 (11022016))