The Community for Technology Leaders
Software Engineering, International Conference on (2012)
Zurich Switzerland
June 2, 2012 to June 9, 2012
ISSN: 0270-5257
ISBN: 978-1-4673-1066-6
TABLE OF CONTENTS

A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each (Abstract)

Claire Le Goues , Computer Science Department, University of Virginia, Charlottesville, VA
Michael Dewey-Vogt , Computer Science Department, University of Virginia, Charlottesville, VA
Stephanie Forrest , Computer Science Department, University of New Mexico, Albuquerque, NM
Westley Weimer , Computer Science Department, University of Virginia, Charlottesville, VA
pp. 3-13

Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reports (Abstract)

Jian Zhou , School of Software, Tsinghua University, Beijing 100084, China, Tsinghua National Laboratory for Information Science and Technology (TNList)
Hongyu Zhang , School of Software, Tsinghua University, Beijing 100084, China, Tsinghua National Laboratory for Information Science and Technology (TNList)
David Lo , School of Information Systems, Singapore Management University, Singapore
pp. 14-24

Developer prioritization in bug repositories (Abstract)

Jifeng Xuan , School of Software, Dalian University of Technology Dalian, China
He Jiang , School of Software, Dalian University of Technology Dalian, China
Zhilei Ren , School of Software, Dalian University of Technology Dalian, China
Weiqin Zou , School of Software, Dalian University of Technology Dalian, China
pp. 25-35

WhoseFault: Automatic developer-to-fault assignment through fault localization (Abstract)

Francisco Servant , Department of Informatics, University of California, Irvine, Irvine, CA, U.S.A.
James A. Jones , Department of Informatics, University of California, Irvine, Irvine, CA, U.S.A.
pp. 36-46

Recovering traceability links between an API and its learning resources (Abstract)

Barthelemy Dagenais , School of Computer Science, McGill University, Montréal, QC, Canada
Martin P. Robillard , School of Computer Science, McGill University, Montréal, QC, Canada
pp. 47-57

Generating range fixes for software configuration (Abstract)

Yingfei Xiong , Generative Software Development Lab, University of Waterloo, Canada
Arnaud Hubaux , PReCISE Research Centre, University of Namur, Belgium
Steven She , Generative Software Development Lab, University of Waterloo, Canada
Krzysztof Czarnecki , Generative Software Development Lab, University of Waterloo, Canada
pp. 58-68

Graph-based pattern-oriented, context-sensitive source code completion (Abstract)

Anh Tuan Nguyen , Electrical and Computer Engineering Department, Iowa State University
Tung Thanh Nguyen , Electrical and Computer Engineering Department, Iowa State University
Hoan Anh Nguyen , Electrical and Computer Engineering Department, Iowa State University
Ahmed Tamrawi , Electrical and Computer Engineering Department, Iowa State University
Hung Viet Nguyen , Electrical and Computer Engineering Department, Iowa State University
Jafar Al-Kofahi , Electrical and Computer Engineering Department, Iowa State University
Tien N. Nguyen , Electrical and Computer Engineering Department, Iowa State University
pp. 69-79

Automatic input rectification (Abstract)

Fan Long , MIT CSAIL
Vijay Ganesh , MIT CSAIL
Michael Carbin , MIT CSAIL
Stelios Sidiroglou , MIT CSAIL
Martin Rinard , MIT CSAIL
pp. 80-90

Overcoming the challenges in cost estimation for distributed software projects (Abstract)

Narayan Ramasubbu , School of Information Systems, Singapore Management University, Singapore
Rajesh Krishna Balan , School of Information Systems, Singapore Management University, Singapore
pp. 91-101

Characterizing logging practices in open-source software (Abstract)

Ding Yuan , University of Illinois at Urbana-Champaign
Soyeon Park , University of California, San Diego
Yuanyuan Zhou , University of California, San Diego
pp. 102-112

The impacts of software process improvement on developers: A systematic review (PDF)

Mathieu Lavallee , Laboratoire de Recherche en Génie Logiciel, Polytechnique Montréal, Montréal, Canada
Pierre N. Robillard , Laboratoire de Recherche en Génie Logiciel, Polytechnique Montréal, Montréal, Canada
pp. 113-122

Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java (Abstract)

Victor Pankratius , Karlsruhe Institute of Technology, 76131 Karlsruhe, Germany
Felix Schmidt , Oracle Labs, Oracle Corporation, Redwood Shores, CA, USA
Gilda Garreton , Oracle Labs, Oracle Corporation, Redwood Shores, CA, USA
pp. 123-133

Uncovering performance problems in Java applications with reference propagation profiling (Abstract)

Dacong Yan , Department of Computer Science and Engineering, Ohio State University
Guoqing Xu , Department of Computer Science, University of California, Irvine
Atanas Rountev , Department of Computer Science and Engineering, Ohio State University
pp. 134-144

Performance debugging in the large via mining millions of stack traces (Abstract)

Shi Han , Microsoft Research Asia
Yingnong Dang , Microsoft Research Asia
Song Ge , Microsoft Research Asia
Dongmei Zhang , Microsoft Research Asia
Tao Xie , North Carolina State University
pp. 145-155

Automatically finding performance problems with feedback-directed learning software testing (Abstract)

Mark Grechanik , Accenture Technology Lab and U. of Illinois, Chicago Chicago, IL 60601
Chen Fu , Accenture Technology Lab Chicago, IL 60601
Qing Xie , Accenture Technology Lab Chicago, IL 60601
pp. 156-166

Predicting performance via automated feature-interaction detection (Abstract)

Norbert Siegmund , University of Magdeburg, Germany
Sergiy S. Kolesnikov , University of Passau, Germany
Christian Kastner , Philipps University Marburg, Germany
Sven Apel , University of Passau, Germany
Don Batory , University of Texas at Austin, USA
Marko Rosenmuller , University of Magdeburg, Germany
Gunter Saake , University of Magdeburg, Germany
pp. 167-177

Sound empirical evidence in software testing (Abstract)

Gordon Fraser , Saarland University, Saarbrücken, Germany
Andrea Arcuri , Certus Software V&V Center, Simula Research Laboratory, P.O. Box 134, 1325 Lysaker, Norway
pp. 178-188

Privacy and utility for defect prediction: Experiments with MORPH (Abstract)

Fayola Peters , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, USA
Tim Menzies , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, USA
pp. 189-199

Bug prediction based on fine-grained module histories (Abstract)

Hideaki Hata , Osaka University, Osaka, Japan
Osamu Mizuno , Kyoto Institute of Technology, Kyoto, Japan
Tohru Kikuno , Osaka University, Osaka, Japan
pp. 200-210

Reconciling manual and automatic refactoring (Abstract)

Xi Ge , Department of Computer Science, North Carolina State University, Raleigh, NC
Quinton L. DuBose , Department of Computer Science, North Carolina State University, Raleigh, NC
Emerson Murphy-Hill , Department of Computer Science, North Carolina State University, Raleigh, NC
pp. 211-221

WitchDoctor: IDE support for real-time auto-completion of refactorings (Abstract)

Stephen R. Foster , UC San Diego, La Jolla, CA
William G. Griswold , UC San Diego La Jolla, CA
Sorin Lerner , UC San Diego La Jolla, CA
pp. 222-232

Use, disuse, and misuse of automated refactorings (Abstract)

Mohsen Vakilian , University of Illinois at Urbana-Champaign Urbana, IL 61801, USA
Nicholas Chen , University of Illinois at Urbana-Champaign Urbana, IL 61801, USA
Stas Negara , University of Illinois at Urbana-Champaign Urbana, IL 61801, USA
Balaji Ambresh Rajkumar , University of Illinois at Urbana-Champaign Urbana, IL 61801, USA
Brian P. Bailey , University of Illinois at Urbana-Champaign Urbana, IL 61801, USA
Ralph E. Johnson , University of Illinois at Urbana-Champaign Urbana, IL 61801, USA
pp. 233-243

Test confessions: A study of testing practices for plug-in systems (Abstract)

Michaela Greiler , Delft University of Technology
Arie van Deursen , Delft University of Technology
Margaret-Anne Storey , University of Victoria, BC, Canada
pp. 244-254

How do professional developers comprehend software? (Abstract)

Tobias Roehm , TU München, Munich, Germany
Rebecca Tiarks , University of Bremen, Bremen, Germany
Rainer Koschke , University of Bremen, Bremen, Germany
Walid Maalej , TU München, Munich, Germany
pp. 255-265

Asking and answering questions about unfamiliar APIs: An exploratory study (Abstract)

Ekwa Duala-Ekoko , School of Computer Science, McGill University, Montréal, QC, Canada
Martin P. Robillard , School of Computer Science, McGill University, Montréal, QC, Canada
pp. 266-276

Automated repair of HTML generation errors in PHP applications using string constraint solving (Abstract)

Hesam Samimi , Computer Science Department, University of California, Los Angeles, USA
Max Schafer , IBM T.J. Watson Research Center, Hawthorne, NY, USA
Shay Artzi , IBM T.J. Watson Research Center, Hawthorne, NY, USA
Todd Millstein , Computer Science Department, University of California, Los Angeles, USA
Frank Tip , IBM T.J. Watson Research Center, Hawthorne, NY, USA
Laurie Hendren , School of Computer Science, McGill University, Montreal, Canada
pp. 277-287

Leveraging test generation and specification mining for automated bug detection without false positives (Abstract)

Michael Pradel , Department of Computer Science, ETH Zurich
Thomas R. Gross , Department of Computer Science, ETH Zurich
pp. 288-298

Axis: Automatically fixing atomicity violations through solving control constraints (Abstract)

Peng Liu , Department of Computer Science and Engineering The Hong Kong University of Science and Technology
Charles Zhang , Department of Computer Science and Engineering The Hong Kong University of Science and Technology
pp. 299-309

CBCD: Cloned buggy code detector (Abstract)

Jingyue Li , DNV Research & Innovation H⊘vik, Norway
Michael D. Ernst , University of Washington, Seattle, WA, USA
pp. 310-320

Crosscutting revision control system (Abstract)

Sagi Ifrah , Open University of Israel, Dept. of Mathematics and Computer Science, 1 University Rd., P.O. Box 808, Raanana 43107, Israel
David H. Lorenz , Open University of Israel, Dept. of Mathematics and Computer Science, 1 University Rd., P.O. Box 808, Raanana 43107, Israel
pp. 321-330

Where does this code come from and where does it go? — Integrated code history tracker for open source systems (Abstract)

Katsuro Inoue , Osaka University, Osaka, Japan
Yusuke Sasaki , Osaka University, Osaka, Japan
Pei Xia , Osaka University, Osaka, Japan
Yuki Manabe , Osaka University, Osaka, Japan
pp. 331-341

Improving early detection of software merge conflicts (PDF)

Mario Luis Guimaraes , Department of Computer Science and Engineering, INESC-ID, IST, Technical University of Lisbon, Lisbon, Portugal
Antonio Rito Silva , Department of Computer Science and Engineering, INESC-ID, IST, Technical University of Lisbon, Lisbon, Portugal
pp. 342-352

A history-based matching approach to identification of framework evolution (Abstract)

Sichen Meng , Key Laboratory of High Confidence Software Technologies, Ministry of Education
Xiaoyin Wang , Key Laboratory of High Confidence Software Technologies, Ministry of Education
Lu Zhang , Key Laboratory of High Confidence Software Technologies, Ministry of Education
Hong Mei , Key Laboratory of High Confidence Software Technologies, Ministry of Education
pp. 353-363

Detecting similar software applications (Abstract)

Collin McMillan , College of William and Mary, Williamsburg, VA 23185
Mark Grechanik , Accenture Technology Labs and U. of Illinois, Chicago, IL 60601
Denys Poshyvanyk , College of William and Mary, Williamsburg, VA 23185
pp. 364-374

Content classification of development emails (Abstract)

Alberto Bacchelli , REVEAL @ Faculty of Informatics - University of Lugano, Switzerland
Tommaso Dal Sasso , REVEAL @ Faculty of Informatics - University of Lugano, Switzerland
Marco D'Ambros , REVEAL @ Faculty of Informatics - University of Lugano, Switzerland
Michele Lanza , REVEAL @ Faculty of Informatics - University of Lugano, Switzerland
pp. 375-385

Identifying Linux bug fixing patches (Abstract)

Yuan Tian , Singapore Management University, Singapore
Julia Lawall , INRIA/LIP6-Regal, France
David Lo , Singapore Management University, Singapore
pp. 386-396

Active refinement of clone anomaly reports (Abstract)

Lucia , School of Information Systems, Singapore Management University
David Lo , School of Information Systems, Singapore Management University
Lingxiao Jiang , School of Information Systems, Singapore Management University
Aditya Budi , School of Information Systems, Singapore Management University
pp. 397-407

Automated analysis of CSS rules to support style maintenance (Abstract)

Ali Mesbah , University of British Columbia, Canada
Shabnam Mirshokraie , University of British Columbia, Canada
pp. 408-418

Graph-based analysis and prediction for software evolution (Abstract)

Pamela Bhattacharya , Department of Computer Science and Engineering, University of California, Riverside, CA, USA
Marios Iliofotou , Department of Computer Science and Engineering, University of California, Riverside, CA, USA
Iulian Neamtiu , Department of Computer Science and Engineering, University of California, Riverside, CA, USA
Michalis Faloutsos , Department of Computer Science and Engineering, University of California, Riverside, CA, USA
pp. 419-429

Integrated impact analysis for managing software changes (Abstract)

Malcom Gethers , Computer Science Department, The College of William and Mary, Williamsburg, VA 23185
Bogdan Dit , Computer Science Department, The College of William and Mary, Williamsburg, VA 23185
Huzefa Kagdi , Department of Computer Science Wichita State University Wichita, KS 67260-0083
Denys Poshyvanyk , Computer Science Department, The College of William and Mary, Williamsburg, VA 23185
pp. 430-440

Detecting and visualizing inter-worksheet smells in spreadsheets (Abstract)

Felienne Hermans , Software Engineering Research Group, Delft University of Technology, Delft, the Netherlands
Martin Pinzger , Software Engineering Research Group, Delft University of Technology, Delft, the Netherlands
Arie van Deursen , Software Engineering Research Group, Delft University of Technology, Delft, the Netherlands
pp. 441-451

An empirical study about the effectiveness of debugging when random test cases are used (Abstract)

Mariano Ceccato , Fondazione Bruno Kessler, Trento, Italy
Alessandro Marchetto , Fondazione Bruno Kessler, Trento, Italy
Leonardo Mariani , University of Milano Bicocca, Milano, Italy
Cu D. Nguyen , Fondazione Bruno Kessler, Trento, Italy
Paolo Tonella , Fondazione Bruno Kessler, Trento, Italy
pp. 452-462

Reducing confounding bias in predicate-level statistical debugging metrics (Abstract)

Ross Gore , Dept. of Computer Science, University of Virginia, Charlottesville, VA, USA
Paul F. Reynolds , Dept. of Computer Science, University of Virginia, Charlottesville, VA, USA
pp. 463-473

BugRedux: Reproducing field failures for in-house debugging (Abstract)

Wei Jin , Georgia Institute of Technology
Alessandro Orso , Georgia Institute of Technology
pp. 474-484

Object-centric debugging (Abstract)

Jorge Ressia , Software Composition Group, University of Bern, Switzerland
Alexandre Bergel , PLEIAD Lab, Department of Computer Science (DCC), University of Chile
Oscar Nierstrasz , Software Composition Group, University of Bern, Switzerland
pp. 485-495

Disengagement in pair programming: Does it matter? (Abstract)

Laura Plonka , Centre for Research in Computing, The Open University Milton Keynes, United Kingdom
Helen Sharp , Centre for Research in Computing, The Open University Milton Keynes, United Kingdom
Janet van der Linden , Centre for Research in Computing, The Open University Milton Keynes, United Kingdom
pp. 496-506

Ambient awareness of build status in collocated software teams (Abstract)

John Downs , Department of Computing and Information Systems, The University of Melbourne, Melbourne, Australia
Beryl Plimmer , Department of Computer Science, The University of Auckland, Auckland, New Zealand
John G. Hosking , ANU College of Engineering and Computer Science, Australian National University, Canberra, Australia
pp. 507-517

What make long term contributors: Willingness and opportunity in OSS community (Abstract)

Minghui Zhou , School of Electronics Engineering and Computer Science, Peking University, Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing 100871, China
Audris Mockus , Avaya Labs Research, 233 Mt Airy Rd, Basking Ridge, NJ
pp. 518-528

Development of auxiliary functions: Should you be agile? An empirical assessment of pair programming and test-first programming (Abstract)

Otavio Auguste Lazzarini Lemos , Science and Technology Department - Federal University of Sao Paulo at S. J. dos Campos - Brazil
Fabiano Cutigi Ferrari , Computing Department - Federal University of Sao Carlos - Brazil
Fabio Fagundes Silveira , Science and Technology Department - Federal University of Sao Paulo at S. J. dos Campos - Brazil
Alessandro Garcia , Informatics Department - Pontifical Catholic University of Rio de Janeiro - Brazil
pp. 529-539

Maintaining invariant traceability through bidirectional transformations (Abstract)

Yijun Yu , Department of Computing, The Open University, Milton Keynes, United Kingdom
Yu Lin , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
Zhenjiang Hu , National Institute of Informatics, Tokyo, Japan
Soichiro Hidaka , National Institute of Informatics, Tokyo, Japan
Hiroyuki Kato , National Institute of Informatics, Tokyo, Japan
Lionel Montrieux , Department of Computing, The Open University, Milton Keynes, United Kingdom
pp. 540-550

Slicing MATLAB Simulink models (Abstract)

Robert Reicherdt , Technische Universität Berlin - Germany
Sabine Glesner , Technische Universität Berlin - Germany
pp. 551-561

Partial evaluation of model transformations (Abstract)

Ali Razavi , Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, Canada
Kostas Kontogiannis , Department of Electrical and Computer Engineering, National Technical University of Athens, Athens, Greece
pp. 562-572

Partial models: Towards modeling and reasoning with uncertainty (Abstract)

Michais Famelis , University of Toronto, Canada
Rick Salay , University of Toronto, Canada
Marsha Chechik , University of Toronto, Canada
pp. 573-583

Static detection of resource contention problems in server-side scripts (Abstract)

Yunhui Zheng , Department of Computer Science, Purdue University
Xiangyu Zhang , Department of Computer Science, Purdue University
pp. 584-594

Amplifying tests to validate exception handling code (Abstract)

Pingyu Zhang , Computer Science and Engineering Department, University of Nebraska - Lincoln, Lincoln, NE 68588, USA
Sebastian Elbaum , Computer Science and Engineering Department, University of Nebraska - Lincoln, Lincoln, NE 68588, USA
pp. 595-605

MagicFuzzer: Scalable deadlock detection for large-scale applications (Abstract)

Yan Cai , Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong
W. K. Chan , Department of Computer Science, City University of Hong Kong, Tat Chee Avenue, Hong Kong
pp. 606-616

Does organizing security patterns focus architectural choices? (Abstract)

Koen Yskout , IBBT-DistriNet, KU Leuven, Heverlee, Belgium
Riccardo Scandariato , IBBT-DistriNet, KU Leuven, Heverlee, Belgium
Wouter Joosen , IBBT-DistriNet, KU Leuven, Heverlee, Belgium
pp. 617-627

Enhancing architecture-implementation conformance with change management and support for behavioral mapping (Abstract)

Yongjie Zheng , Institute for Software Research, University of California, Irvine, Irvine, California, USA
Richard N. Taylor , Institute for Software Research, University of California, Irvine, Irvine, California, USA
pp. 628-638

A tactic-centric approach for automating traceability of quality concerns (Abstract)

Mehdi Mirakhorli , School of Computing, DePaul University, Chicago, IL 60604
Yonghee Shin , School of Computing, DePaul University, Chicago, IL 60604
Jane Cleland-Huang , School of Computing, DePaul University, Chicago, IL 60604
Murat Cinar , School of Computing, DePaul University, Chicago, IL 60604
pp. 639-649

Build code analysis with symbolic evaluation (Abstract)

Ahmed Tamrawi , Electrical and Computer Engineering Department, Iowa State University
Hoan Anh Nguyen , Electrical and Computer Engineering Department, Iowa State University
Hung Viet Nguyen , Electrical and Computer Engineering Department, Iowa State University
Tien N. Nguyen , Electrical and Computer Engineering Department, Iowa State University
pp. 650-660

An automated approach to generating efficient constraint solvers (Abstract)

Dharini Balasubramaniam , School of Computer Science, University of St Andrews, St Andrews, UK
Christopher Jefferson , School of Computer Science, University of St Andrews, St Andrews, UK
Lars Kotthoff , School of Computer Science, University of St Andrews, St Andrews, UK
Ian Miguel , School of Computer Science, University of St Andrews, St Andrews, UK
Peter Nightingale , School of Computer Science, University of St Andrews, St Andrews, UK
pp. 661-671

Simulation-based abstractions for software product-line model checking (Abstract)

Maxime Cordy , PReCISE Research Center, University of Namur, Belgium
Andreas Classen , PReCISE Research Center, University of Namur, Belgium
Gilles Perrouin , PReCISE Research Center, University of Namur, Belgium
Pierre-Yves Schobbens , PReCISE Research Center, University of Namur, Belgium
Patrick Heymans , PReCISE Research Center, University of Namur, Belgium
Axel Legay , IRISA/INRIA Rennes, France. Aalborg University, Denmark. University of Liège, Belgium
pp. 672-682

Using dynamic analysis to discover polynomial and array invariants (Abstract)

ThanhVu Nguyen , Computer Science, University of New Mexico
Deepak Kapur , Computer Science, University of New Mexico
Westley Weimer , Computer Science, University of Virginia
Stephanie Forrest , Computer Science, University of New Mexico
pp. 683-693

Metadata invariants: Checking and inferring metadata coding conventions (Abstract)

Myoungkyu Song , Dept. of Computer Science, Virginia Tech, Blacksburg, VA 24061, USA
Eli Tilevich , Dept. of Computer Science, Virginia Tech, Blacksburg, VA 24061, USA
pp. 694-704

Generating obstacle conditions for requirements completeness (Abstract)

Dalal Alrajeh , Department of Computing, Imperial College London, UK
Jeff Kramer , Department of Computing, Imperial College London, UK
Axel van Lamsweerde , ICTEAM, Université catholique de Louvain, Belgium
Alessandra Russo , Department of Computing, Imperial College London, UK
Sebastian Uchitel , Department of Computing, Imperial College London, UK
pp. 705-715

make test-zesti: A symbolic execution solution for improving regression testing (Abstract)

Paul Dan Marinescu , Department of Computing, Imperial College London, London, United Kingdom
Cristian Cadar , Department of Computing, Imperial College London, London, United Kingdom
pp. 716-726

Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (Abstract)

Adrian Nistor , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
Qingzhou Luo , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
Michael Pradel , Department of Computer Science, ETH Zurich, Switzerland
Thomas R. Gross , Department of Computer Science, ETH Zurich, Switzerland
Darko Marinov , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
pp. 727-737

On-demand test suite reduction (Abstract)

Dan Hao , Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China
Lu Zhang , Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China
Xingxia Wu , Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China
Hong Mei , Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China
Gregg Rothermel , Department of Computer Science and Engineering, University of Nebraska, Lincoln, 68588, USA
pp. 738-748

Automated detection of client-state manipulation vulnerabilities (Abstract)

Anders Moller , Department of Computer Science, Aarhus University
Mathias Schwarz , Department of Computer Science, Aarhus University
pp. 749-759

Understanding integer overflow in C/C++ (PDF)

Will Dietz , Department of Computer Science, University of Illinois at Urbana-Champaign
Peng Li , School of Computing, University of Utah
John Regehr , School of Computing, University of Utah
Vikram Adve , Department of Computer Science, University of Illinois at Urbana-Champaign
pp. 760-770

A large scale exploratory analysis of software vulnerability life cycles (Abstract)

Muhammad Shahzad , Department of Computer Science and Engineering, Michigan State University, East Lansing, MI, U.S.A.
Muhammad Zubair Shafiq , Department of Computer Science and Engineering, Michigan State University, East Lansing, MI, U.S.A.
Alex X. Liu , Department of Computer Science and Engineering, Michigan State University, East Lansing, MI, U.S.A.
pp. 771-781

Synthesizing API usage examples (Abstract)

Raymond P. L. Buse , Department of Computer Science, University of Virginia, Charlottesville, VA, USA
Westley Weimer , Department of Computer Science, University of Virginia, Charlottesville, VA, USA
pp. 782-792

Semi-automatically extracting FAQs to improve accessibility of software development knowledge (PDF)

Stefan Hens , Technische Universität Darmstadt Darmstadt, Germany
Martin Monperrus , University of Lille & INRIA, Lille, France
Mira Mezini , Technische Universität Darmstadt Darmstadt, Germany
pp. 793-803

Temporal analysis of API usage concepts (Abstract)

Gias Uddin , School of Computer Science, McGill University, Montréal, QC, Canada
Barthelemy Dagenais , School of Computer Science, McGill University, Montréal, QC, Canada
Martin P. Robillard , School of Computer Science, McGill University, Montréal, QC, Canada
pp. 804-814

Inferring method specifications from natural language API descriptions (Abstract)

Rahul Pandita , Department of Computer Science, North Carolina State University, Raleigh, USA
Xusheng Xiao , Department of Computer Science, North Carolina State University, Raleigh, USA
Hao Zhong , Laboratory for Internet Software Technologies, Institute of Software, Chinese Academy of Sciences, Beijing, China
Tao Xie , Department of Computer Science, North Carolina State University, Raleigh, USA
Stephen Oney , Human-Computer Interaction Institute, Carnegie Mellon University, Pittsburgh, USA
Amit Paradkar , I.B.M. T. J. Watson Research Center, Hawthorne, NY, USA
pp. 815-825

Automatic parameter recommendation for practical API usage (Abstract)

Cheng Zhang , Department of Computer Science and Engineering, Shanghai Jiao Tong University, China
Juyuan Yang , School of Software, Shanghai Jiao Tong University, China
Yi Zhang , School of Software, Shanghai Jiao Tong University, China
Jing Fan , School of Software, Shanghai Jiao Tong University, China
Xin Zhang , School of Software, Shanghai Jiao Tong University, China
Jianjun Zhao , School of Software, Shanghai Jiao Tong University, China
Peizhao Ou , School of Software, Shanghai Jiao Tong University, China
pp. 826-836

On the naturalness of software (Abstract)

Abram Hindle , Dept. of Computer Science, University of California at Davis, Davis, CA 95616 USA
Earl T. Barr , Dept. of Computer Science, University of California at Davis, Davis, CA 95616 USA
Zhendong Su , Dept. of Computer Science, University of California at Davis, Davis, CA 95616 USA
Mark Gabel , Dept. of Computer Science, The University of Texas at Dallas, Richardson, TX 75080 USA
Premkumar Devanbu , Dept. of Computer Science, University of California at Davis, Davis, CA 95616 USA
pp. 837-847

Recommending source code for use in rapid software prototypes (Abstract)

Collin McMillan , College of William and Mary, Williamsburg, VA 23185
Negar Hariri , DePaul University Chicago, IL 60604
Denys Poshyvanyk , College of William and Mary, Williamsburg, VA 23185
Jane Cleland-Huang , DePaul University, Chicago, IL 60604
Bamshad Mobasher , DePaul University, Chicago, IL 60604
pp. 848-858

Active code completion (PDF)

Cyrus Omar , Carnegie Mellon University, Pittsburgh, PA, USA
Young Seok Yoon , Carnegie Mellon University, Pittsburgh, PA, USA
Thomas D. LaToza , Carnegie Mellon University, Pittsburgh, PA, USA
Brad A. Myers , Carnegie Mellon University, Pittsburgh, PA, USA
pp. 859-869

Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing (Abstract)

Matt Staats , Division of Web Science & Technology, Korea Advanced Institute of Science & Technology
Gregory Gay , Department of Computer Science and Engineering, University of Minnesota
Mats P. E. Heimdahl , Department of Computer Science and Engineering, University of Minnesota
pp. 870-880

Automating test automation (Abstract)

Suresh Thummalapenta , IBM Research - India
Saurabh Sinha , IBM Research - India
Nimit Singhania , IBM Research - India
Satish Chandra , IBM T. J. Watson Research Center
pp. 881-891

Stride: Search-based deterministic replay in polynomial time via bounded linkage (Abstract)

Jinguo Zhou , The Prism Research Group, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
Xiao Xiao , The Prism Research Group, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
Charles Zhang , The Prism Research Group, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
pp. 892-902

iTree: Efficiently discovering high-coverage configurations using interaction trees (Abstract)

Charles Song , Computer Science Department, University of Maryland, College Park, U.S.A.
Adam Porter , Computer Science Department, University of Maryland, College Park, U.S.A.
Jeffrey S. Foster , Computer Science Department, University of Maryland, College Park, U.S.A.
pp. 903-913

Inferring class level specifications for distributed systems (Abstract)

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

Statically checking API protocol conformance with mined multi-object specifications (Abstract)

Michael Pradel , Department of Computer Science, ETH Zurich, Switzerland
Ciera Jaspan , Institute for Software Research, Carnegie Mellon University
Jonathan Aldrich , Institute for Software Research, Carnegie Mellon University
Thomas R. Gross , Department of Computer Science, ETH Zurich, Switzerland
pp. 925-935

Behavioral validation of JFSL specifications through model synthesis (Abstract)

Carlo Ghezzi , Politecnico di Milano, DeepSE Group, DEI, p.za L. Da Vinci, 32-20133 Milano (MI), Italy
Andrea Mocci , Massachusetts Institute of Technology, CSAIL 32 Vassar St. - 02139 Cambridge, MA, USA
pp. 936-946

Verifying client-side input validation functions using string analysis (Abstract)

Muath Alkhalaf , Computer Science Department, University of California Santa Barbara, CA, USA
Tevfik Bultan , Computer Science Department, University of California Santa Barbara, CA, USA
Jose L. Gallegos , Computer Science Department, University of California Santa Barbara, CA, USA
pp. 947-957

Whither software architecture? (Keynote) (PDF)

Jeff Kramer , Imperial College London, UK
pp. 963

Specification patterns from research to industry: A case study in service-based applications (Abstract)

Domenico Bianculli , Faculty of Informatics, University of Lugano, Lugano, Switzerland
Carlo Ghezzi , DEEPSE group - DEI Politecnico di Milano, Milano, Italy
Cesare Pautasso , Faculty of Informatics, University of Lugano, Lugano, Switzerland
Patrick Senti , Information Technology, Credit Suisse AG, Zürich, Switzerland
pp. 968-976

Methodology for migration of long running process instances in a global large scale BPM environment in Credit Suisse's SOA landscape (Abstract)

Tarmo Ploom , Integration Architecture, Credit Suisse AG, Zurich, Switzerland
Stefan Scheit , Workflow Competence Center, Credit Suisse AG, Zurich, Switzerland
Axel Glaser , Workflow Competence Center, Credit Suisse AG, Zurich, Switzerland
pp. 977-986

Information needs for software development analytics (Abstract)

Raymond P. L. Buse , The University of Virginia, USA
Thomas Zimmermann , Microsoft Research
pp. 987-996

Software analytics in practice: Mini tutorial (PDF)

Dongmei Zhang , Microsoft Research Asia, Beijing, China
Tao Xie , North Carolina State University, Raleigh, NC, USA
pp. 997

Large-scale formal verification in practice: A process perspective (Abstract)

June Andronick , NICTA, Level 5, 13 Garden St, Eveleigh NSW 2015, Australia
Ross Jeffery , NICTA, Level 5, 13 Garden St, Eveleigh NSW 2015, Australia
Gerwin Klein , NICTA, Level 5, 13 Garden St, Eveleigh NSW 2015, Australia
Rafal Kolanski , NICTA, Level 5, 13 Garden St, Eveleigh NSW 2015, Australia
Mark Staples , NICTA, Level 5, 13 Garden St, Eveleigh NSW 2015, Australia
He Zhang , NICTA, Level 5, 13 Garden St, Eveleigh NSW 2015, Australia
Liming Zhu , NICTA, Level 5, 13 Garden St, Eveleigh NSW 2015, Australia
pp. 1002-1011

Constructing parser for industrial software specifications containing formal and natural language description (Abstract)

Futoshi Iwama , IBM Research - Tokyo, IBM Japan, Yamato, Kanagawa, Japan
Taiga Nakamura , IBM Research - Tokyo, IBM Japan, Yamato, Kanagawa, Japan
Hironori Takeuchi , IBM Research - Tokyo, IBM Japan, Yamato, Kanagawa, Japan
pp. 1012-1021

Formal correctness, safety, dependability, and performance analysis of a satellite (Abstract)

Marie-Aude Esteve , Software Systems Engineering Section, European Space Agency/ESTEC, The Netherlands
Joost-Pieter Katoen , Software Modeling and Verification Group, RWTH Aachen University, Germany
Viet Yen Nguyen , Software Modeling and Verification Group, RWTH Aachen University, Germany
Bart Postma , Formal Methods and Tools Group, University of Twente, The Netherlands
Yuri Yushtein , Software Systems Engineering Section, European Space Agency/ESTEC, The Netherlands
pp. 1022-1031

Goldfish bowl panel: Software development analytics (Abstract)

Tim Menzies , West Virginia University Morgantown, WV, USA
Thomas Zimmermann , Microsoft Research Redmond, WA, USA
pp. 1032-1033

Making sense of healthcare benefits (Abstract)

Jonathan Bnayahu , IBM Haifa Research Lab, Haifa University Campus, Mount Carmel, Haifa, Israel 31905
Maayan Goldstein , IBM Haifa Research Lab, Haifa University Campus, Mount Carmel, Haifa, Israel 31905
Mordechai Nisenson , IBM Haifa Research Lab, Haifa University Campus, Mount Carmel, Haifa, Israel 31905
Yahalomit Simionovici , IBM Haifa Research Lab, Haifa University Campus, Mount Carmel, Haifa, Israel 31905
pp. 1034-1043

On the proactive and interactive visualization for feature evolution comprehension: An industrial investigation (Abstract)

Renato Novais , Software Engineering Lab, Computer Science Department, Federal University of Bahia, Bahia, Brazil
Camila Nunes , Opus Research Group, Software Engineering Lab, Informatics Department - PUC-Rio, Rio de Janeiro, Brazil
Caio Lima , Software Engineering Lab, Computer Science Department, Federal University of Bahia, Bahia, Brazil
Elder Cirilo , Opus Research Group, Software Engineering Lab, Informatics Department - PUC-Rio, Rio de Janeiro, Brazil
Francisco Dantas , Opus Research Group, Software Engineering Lab, Informatics Department - PUC-Rio, Rio de Janeiro, Brazil
Alessandro Garcia , Opus Research Group, Software Engineering Lab, Informatics Department - PUC-Rio, Rio de Janeiro, Brazil
Manoel Mendonca , Software Engineering Lab, Computer Science Department, Federal University of Bahia, Bahia, Brazil
pp. 1044-1053

Extending static analysis by mining project-specific rules (Abstract)

Boya Sun , EECS Department, Case Western Reserve University, Cleveland, OH
Gang Shu , EECS Department, Case Western Reserve University, Cleveland, OH
Andy Podgurski , EECS Department, Case Western Reserve University, Cleveland, OH
Brian Robinson , ABB Corporate Research, Raleigh, NC, USA
pp. 1054-1063

Debugger Canvas: Industrial experience with the code bubbles paradigm (Abstract)

Robert DeLine , Microsoft Research, Visual Studio Ultimate, Microsoft Corporation, Redmond, WA, USA
Andrew Bragdon , Microsoft Research, Visual Studio Ultimate, Microsoft Corporation, Redmond, WA, USA
Kael Rowan , Microsoft Research, Visual Studio Ultimate, Microsoft Corporation, Redmond, WA, USA
Jens Jacobsen , Microsoft Research, Visual Studio Ultimate, Microsoft Corporation, Redmond, WA, USA
Steven P. Reiss , Department of Computer Science, Brown University, Providence, RI, USA
pp. 1064-1073

Characterizing and predicting which bugs get reopened (Abstract)

Thomas Zimmermann , Microsoft Research, USA
Nachiappan Nagappan , Microsoft Research, USA
Philip J. Guo , Stanford University, USA
Brendan Murphy , Microsoft Research, UK
pp. 1074-1083

ReBucket: A method for clustering duplicate crash reports based on call stack similarity (Abstract)

Yingnong Dang , Microsoft Research Asia, Beijing, China
Rongxin Wu , Tsinghua University, Beijing, China
Hongyu Zhang , Tsinghua University, Beijing, China
Dongmei Zhang , Microsoft Research Asia, Beijing, China
Peter Nobel , Microsoft Corporation, One Microsoft Way, Redmond, WA, USA
pp. 1084-1093

Understanding the impact of Pair Programming on developers attention: A case study on a large industrial experimentation (Abstract)

Alberto Sillitti , Center for Applied Software Engineering, Free University of Bolzano / Bozen, Bozen / Bolzano, Italy
Giancarlo Succi , Center for Applied Software Engineering, Free University of Bolzano / Bozen, Bozen / Bolzano, Italy
Jelena Vlasenko , Center for Applied Software Engineering, Free University of Bolzano / Bozen, Bozen / Bolzano, Italy
pp. 1094-1101

How much does unused code matter for maintenance? (Abstract)

Sebastian Eder , Institut für Informatik, Technische Universität München, Germany, Garching b. München, Germany
Maximilian Junker , Institut für Informatik, Technische Universität München, Germany, Garching b. München, Germany
Elmar Jurgens , Institut für Informatik, Technische Universität München, Germany, Garching b. München, Germany
Benedikt Hauptmann , Institut für Informatik, Technische Universität München, Germany, Garching b. München, Germany
Rudolf Vaas , Munich Re, München, Germany
Karl-Heinz Prommer , Munich Re, München, Germany
pp. 1102-1111

Using knowledge elicitation to improve Web effort estimation: Lessons from six industrial case studies (Abstract)

Emilia Mendes , College of IT, Zayed University Dubai, United Arab Emirates
pp. 1112-1121

Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain (Abstract)

Nicolas Devos , Software and System Engineering, CETIC research center, Charleroi, Belgium
Christophe Ponsard , Software and System Engineering, CETIC research center, Charleroi, Belgium
Jean-Christophe Deprez , Software and System Engineering, CETIC research center, Charleroi, Belgium
Renaud Bauvin , Quality, Security and Control, STMicroelectronics Belgium, Zaventem, Belgium
Benedicte Moriau , Quality, Security and Control, STMicroelectronics Belgium, Zaventem, Belgium
Guy Anckaerts , Quality, Security and Control, STMicroelectronics Belgium, Zaventem, Belgium
pp. 1123-1132

The Quamoco product quality modelling and assessment approach (Abstract)

Stefan Wagner , Inst. of Software Technology, University of Stuttgart, Stuttgart, Germany
Klaus Lochmann , Institut für Informatik, Technische Universität München, Garching, Germany
Lars Heinemann , Institut für Informatik, Technische Universität München, Garching, Germany
Michael Klas , Fraunhofer IESE, Kaiserslautern, Germany
Adam Trendowicz , Fraunhofer IESE, Kaiserslautern, Germany
Reinhold Plosch , Department of Business Informatics, Johannes Kepler University Linz, Linz, Austria
Andreas Seidi , CSD Research, Capgemini, Munich, Germany
Andreas Goeb , SAP Research, SAP AG, Darmstadt, Germany
Jonathan Streit , Itestra GmbH, Munich, Germany
pp. 1133-1142

Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE (Abstract)

Yunho Kim , CS Dept. KAIST, South Korea
Moonzoo Kim , CS Dept. KAIST, South Korea
Young Joo Kim , CS Dept. KAIST, South Korea
Yoonkyu Jang , Samsung Electronics, South Korea
pp. 1143-1152

Teaching software engineering and software project management: An integrated and practical approach (Abstract)

Gabriele Bavota , School of Science, University of Salerno, 84084 Fisciano (SA), Italy
Andrea De Lucia , School of Science, University of Salerno, 84084 Fisciano (SA), Italy
Fausto Fasano , STAT Department, University of Molise, 86090 Pesche (IS), Italy
Rocco Oliveto , STAT Department, University of Molise, 86090 Pesche (IS), Italy
Carlo Zottoli , School of Science, University of Salerno, 84084 Fisciano (SA), Italy
pp. 1155-1164

Teaching collaborative software development: A case study (Abstract)

Terhi Kilamo , Department of Software Systems, Tampere University of Technology, Tampere, Finland
Imed Hammouda , Department of Software Systems, Tampere University of Technology, Tampere, Finland
Mohamed Amine Chatti , Informatik 9 (Learning Technologies), RWTH Aachen University, Aachen, Germany
pp. 1165-1174

Using continuous integration of code and content to teach software engineering with limited resources (PDF)

Jorn Guy Sus , The University of Queensland, School of ITEE, Brisbane, Australia
William Billingsley , NICTA (National ICT Australia Ltd), The University of Queensland, Brisbane, Australia
pp. 1175-1184

Stages in teaching software testing (Abstract)

Tony Cowling , Department of Computer Science, University of Sheffield, Sheffield, United Kingdom
pp. 1185-1194

Integrating tools and frameworks in undergraduate software engineering curriculum (Abstract)

Christopher Fuhrman , Department of Software and IT Engineering, ÉTS, University of Quebec, Montréal, Canada
Roger Champagne , Department of Software and IT Engineering, ÉTS, University of Quebec, Montréal, Canada
Alain April , Department of Software and IT Engineering, ÉTS, University of Quebec, Montréal, Canada
pp. 1195-1204

What scope is there for adopting evidence-informed teaching in SE? (Abstract)

David Budgen , School of Engineering & Computing Sciences, Durham University, Durham DH1 3LE, U.K.
Sarah Drummond , School of Engineering & Computing Sciences, Durham University, Durham DH1 3LE, U.K.
Pearl Brereton , School of Computing & Maths, Keele University Staffordshire ST5 5BG, U.K.
Nikki Holland , School of Computing & Maths, Keele University Staffordshire ST5 5BG, U.K.
pp. 1205-1214

FOCUS: An adaptation of a SWEBOK-based curriculum for industry requirements (Abstract)

Ganesh Samarthyam , Siemens Corporate Research & Technologies, India
Girish Suryanarayana , Siemens Corporate Research & Technologies, India
Arbind Kumar Gupta , Siemens Corporate Development Center, India - Technology Evaluation & Competences, Siemens Technology and Services Pvt. Ltd., No. 84, Keonics Electronics City, Hosur Road, Bangalore-560100, India
Raghu Nambiar , Siemens Corporate Development Center, India - Technology Evaluation & Competences, Siemens Technology and Services Pvt. Ltd., No. 84, Keonics Electronics City, Hosur Road, Bangalore-560100, India
pp. 1215-1224

Ten tips to succeed in Global Software Engineering education (PDF)

Ivica Crnkovic , Mälardalen University, School of Innovation, Design and Engineering, Software Engineering Division, Västerås, Sweden
Ivana Bosnic , University of Zagreb Faculty of Electrical Engineering and Computing, Zagreb, Croatia
Mario Zagar , University of Zagreb Faculty of Electrical Engineering and Computing, Zagreb, Croatia
pp. 1225-1234

Collaboration patterns in distributed software development projects (PDF)

Igor Cavrak , University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, Croatia
Marin Orlic , University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, Croatia
Ivica Crnkovic , Mälardalen University, School of Innovation, Design and Engineering, Västeräs, Sweden
pp. 1235-1244

Improving PSP education by pairing: An empirical study (Abstract)

Guoping Rong , State Key Laboratory for Novel, Software Technology, Software Institute, Nanjing University, Nanjing, P.R. China
He Zhang , National ICT Australia, University of New South Wales, NSW, Australia
Mingjuan Xie , Software Institute Nanjing University Nanjing, P.R. China
Dong Shao , Software Institute Nanjing University Nanjing, P.R. China
pp. 1245-1254

Five days of empirical software engineering: The PASED experience (Abstract)

Massimiliano Di Penta , University of Sannio, Benevento, Italy
Giuliano Antoniol , École Polytechnique de Montréal, Québec, Canada
Daniel M. German , University of Victoria, Victoria, BC, Canada
Yann-Gael Gueheneuc , École Polytechnique de Montréal, Québec, Canada
Bram Adams , École Polytechnique de Montréal, Québec, Canada
pp. 1255-1258

Automatically detecting developer activities and problems in software development work (Abstract)

Tobias Roehm , Technische Universität München, Munich, Germany
Walid Maalej , Technische Universität München, Munich, Germany
pp. 1261-1264

Software process improvement through the identification and removal of project-level knowledge flow obstacles (Abstract)

Susan M. Mitchell , Information Systems Department, University of Maryland, Baltimore County, Baltimore, USA
Carolyn B. Seaman , Information Systems Department, University of Maryland, Baltimore County, Baltimore, USA
pp. 1265-1268

Symbiotic general-purpose and domain-specific languages (Abstract)

Colin Atkinson , Software Engineering Group, University of Mannheim, Mannheim, Germany
Ralph Gerbig , Software Engineering Group, University of Mannheim, Mannheim, Germany
Bastian Kennel , Software Engineering Group, University of Mannheim, Mannheim, Germany
pp. 1269-1272

Evaluating the specificity of text retrieval queries to support software engineering tasks (Abstract)

Sonia Haiduc , Computer Science Department, Wayne State University, Detroit, MI 48202, USA
Gabriele Bavota , School of Science, University of Salerno, 84084 Fisciano (SA), Italy
Rocco Oliveto , STAT Department, University of Molise, 86090 Pesche (IS), Italy
Andrian Marcus , Computer Science Department, Wayne State University, Detroit, MI 48202, USA
Andrea De Lucia , School of Science, University of Salerno, 84084 Fisciano (SA), Italy
pp. 1273-1276

Co-adapting human collaborations and software architectures (Abstract)

Christoph Dorn , Institute for Software Research University of California, Irvine
Richard N. Taylor , Institute for Software Research University of California, Irvine
pp. 1277-1280

Release engineering practices and pitfalls (Abstract)

Hyrum K. Wright , Dept. of Electrical and Computer Engineering, The University of Texas at Austin, Austin, Texas
Dewayne E. Perry , Dept. of Electrical and Computer Engineering, The University of Texas at Austin, Austin, Texas
pp. 1281-1284

Augmented intelligence — The new AI — Unleashing human capabilities in knowledge work (Abstract)

James M. Corrigan , Department of Philosophy, Stony Brook University, Stony Brook, NY, USA
pp. 1285-1288

On how often code is cloned across repositories (Abstract)

Niko Schwarz , University of Bern
Mircea Lungu , University of Bern
Romain Robbes , University of Chile
pp. 1289-1292

Mining input sanitization patterns for predicting SQL injection and cross site scripting vulnerabilities (Abstract)

Lwin Khin Shar , School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore 639798
Hee Beng Kuan Tan , School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore 639798
pp. 1293-1296

Inferring developer expertise through defect analysis (Abstract)

Tung Thanh Nguyen , Iowa State University
Tien N. Nguyen , Iowa State University
Evelyn Duesterwald , IBM T. J. Watson Research Center
Tim Klinger , IBM T. J. Watson Research Center
Peter Santhanam , IBM T. J. Watson Research Center
pp. 1297-1300

Green mining: Investigating power consumption across versions (Abstract)

Abram Hindle , Department of Computing Science, University of Alberta, Edmonton, Canada
pp. 1301-1304

Multi-label software behavior learning (Abstract)

Yang Feng , State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China
Zhenyu Chen , Software Institute, Nanjing University, Nanjing 210093, China
pp. 1305-1308

Trends in object-oriented software evolution: Investigating network properties (Abstract)

Alexander Chatzigeorgiou , Department of Applied Informatics, University of Macedonia, Thessaloniki, Greece
George Melas , Department of Applied Informatics, University of Macedonia, Thessaloniki, Greece
pp. 1309-1312

Exploring techniques for rationale extraction from existing documents (Abstract)

Benjamin Rogers , Department of Computer Science and Software Engineering, Miami University, Oxford, Ohio, USA
James Gung , Department of Computer Science and Software Engineering, Miami University, Oxford, Ohio, USA
Yechen Qiao , Department of Computer Science and Software Engineering, Miami University, Oxford, Ohio, USA
Janet E. Burge , Department of Computer Science and Software Engineering, Miami University, Oxford, Ohio, USA
pp. 1313-1316

Continuous social screencasting to facilitate software tool discovery (Abstract)

Emerson Murphy-Hill , Department of Computer Science, North Carolina State University, Raleigh, NC
pp. 1317-1320

UDesignIt: Towards social media for community-driven design (Abstract)

Phil Greenwood , School of Computing and Communications, Lancaster University, Lancaster, UK
Awais Rashid , School of Computing and Communications, Lancaster University, Lancaster, UK
James Walkerdine , School of Computing and Communications, Lancaster University, Lancaster, UK
pp. 1321-1324

Influencing the adoption of software engineering methods using social software (Abstract)

Leif Singer , Software Engineering Group, Leibniz Universität Hannover, Hannover, Germany
Kurt Schneider , Software Engineering Group, Leibniz Universität Hannover, Hannover, Germany
pp. 1325-1328

Toward actionable, broadly accessible contests in Software Engineering (Abstract)

Jane Cleland-Huang , DePaul University, Chicago, IL 60604
Yonghee Shin , DePaul University, Chicago, IL 60604
Ed Keenan , DePaul University, Chicago, IL 60604
Adam Czauderna , DePaul University, Chicago, IL 60604
Greg Leach , DePaul University, Chicago, IL 60604
Evan Moritz , College of William and Mary, Williamsburg, VA 23185
Malcom Gethers , College of William and Mary, Williamsburg, VA 23185
Denys Poshyvanyk , College of William and Mary, Williamsburg, VA 23185
Jane Huffman Hayes , University of Kentucky, Lexington, KY 40506
Wenbin Li , University of Kentucky, Lexington, KY 40506
pp. 1329-1332

CodeTimeline: Storytelling with versioning data (Abstract)

Adrian Kuhn , Software Practices Lab, University of British Columbia
Mirko Stocker , Institute for Software, University of Applied Sciences Rapperswil
pp. 1333-1336

Analyzing multi-agent systems with probabilistic model checking approach (Abstract)

Songzheng Song , NUS Graduate School for Integrative Sciences and Engineering, National University of Singapore
Jianye Hao , Department of Computer Science and Engineering, The Chinese University of Hong Kong
Yang Liu , Temasek Lab, National University of Singapore
Jun Sun , ISTD, Singapore University of Technology and Design
Ho-Fung Leung , Department of Computer Science and Engineering, The Chinese University of Hong Kong
Jin Song Dong , School of Computing, National University of Singapore
pp. 1337-1340

BRACE: An assertion framework for debugging cyber-physical systems (Abstract)

Kevin Boos , Center for Advanced Research in Software Engineering, University of Texas at Austin
Chien-Liang Fok , Center for Advanced Research in Software Engineering, University of Texas at Austin
Christine Julien , Center for Advanced Research in Software Engineering, University of Texas at Austin
Miryung Kim , Center for Advanced Research in Software Engineering, University of Texas at Austin
pp. 1341-1344

Augmenting test suites effectiveness by increasing output diversity (Abstract)

Nadia Alshahwan , CREST Centre, University College London Malet Place, London, WC1E 6BT, U.K.
Mark Harman , CREST Centre, University College London Malet Place, London, WC1E 6BT, U.K.
pp. 1345-1348

Improving IDE recommendations by considering global implications of existing recommendations (PDF)

Kivanc Muslu , Computer Science & Engineering, University of Washington, Seattle, WA, USA
Yuriy Brun , Computer Science & Engineering, University of Washington, Seattle, WA, USA
Reid Holmes , School of Computer Science University of Waterloo Waterloo, ON, Canada
Michael D. Ernst , Computer Science & Engineering, University of Washington, Seattle, WA, USA
David Notkin , Computer Science & Engineering, University of Washington, Seattle, WA, USA
pp. 1349-1352

Towards flexible evolution of Dynamically Adaptive Systems (Abstract)

Gilles Perrouin , PRECISE, University of Namur, Belgium
Brice Morin , SINTEFIKT, OSLO, Norway
Franck Chauvel , SINTEFIKT, OSLO, Norway
Franck Fleurey , SINTEFIKT, OSLO, Norway
Jacques Klein , SnT - University of Luxembourg, Luxembourg
Yves Le Traon , SnT - University of Luxembourg, Luxembourg
Olivier Barais , IRISA, University of Rennes 1, France
Jean-Marc Jezequel , IRISA, University of Rennes 1, France
pp. 1353-1356

Towards business processes orchestrating the physical enterprise with wireless sensor networks (Abstract)

Fabio Casati , University of Trento (Italy)
Florian Daniel , University of Trento (Italy)
Guenadi Dantchev , SAP AG (Germany)
Joakim Eriksson , Swedish Institute of Computer Science
Niclas Finne , Swedish Institute of Computer Science
Stamatis Karnouskos , SAP AG (Germany)
Patricio Moreno Montera , Acciona Infraestructuras S.A. (Spain)
Luca Mottola , Swedish Institute of Computer Science
Felix Jonathan Oppermann , University of Lübeck (Germany)
Gian Pietro Picco , University of Trento (Italy)
Antonio Quartulli , University of Trento (Italy)
Kay Romer , University of Lübeck (Germany)
Patrik Spiess , SAP AG (Germany)
Stefano Tranquillini , University of Trento (Italy)
Thiemo Voigt , Swedish Institute of Computer Science
pp. 1357-1360

Engineering and verifying requirements for programmable self-assembling nanomachines (Abstract)

Robyn Lutz , Department of Computer Science, Iowa State University, Ames, IA 50011 USA
Jack Lutz , Department of Computer Science, Iowa State University, Ames, IA 50011 USA
James Lathrop , Department of Computer Science, Iowa State University, Ames, IA 50011 USA
Titus Klinge , Department of Computer Science, Iowa State University, Ames, IA 50011 USA
Eric Henderson , Department of Genetics, Development, and Cell Biology, Iowa State University, Ames, IA 50011 USA
Divita Mathur , Department of Genetics, Development, and Cell Biology, Iowa State University, Ames, IA 50011 USA
Dalia Abo Sheasha , Department of Computer Science, Iowa State University, Ames, IA 50011 USA
pp. 1361-1364

Facilitating communication between engineers with CARES (Abstract)

Anja Guzzi , Delft University of Technology, Delft, The Netherlands
Andrew Begel , Microsoft Research Redmond, WA USA
pp. 1367-1370

Interactive refinement of combinatorial test plans (Abstract)

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
pp. 1371-1374

TraceLab: An experimental workbench for equipping researchers to innovate, synthesize, and comparatively evaluate traceability solutions (Abstract)

Ed Keenan , DePaul Univ., Chicago, IL 60604
Adam Czauderna , DePaul Univ., Chicago, IL 60604
Greg Leach , DePaul Univ., Chicago, IL 60604
Jane Cleland-Huang , DePaul Univ., Chicago, IL 60604
Yonghee Shin , DePaul Univ., Chicago, IL 60604
Evan Moritz , College of William and Mary, Williamsburg, VA 23185
Malcom Gethers , College of William and Mary, Williamsburg, VA 23185
Denys Poshyvanyk , College of William and Mary, Williamsburg, VA 23185
Jonathan Maletic , Kent State Univ., Kent, OH
Jane Huffman Hayes , Univ. of Kentucky, Lexington, KY 40506
Alex Dekhtyar , CalPoly, San Luis Obispo, CA
Daria Manukian , DePaul Univ., Chicago, IL 60604
Shervin Hossein , DePaul Univ., Chicago, IL 60604
Derek Hearn , DePaul Univ., Chicago, IL 60604
pp. 1375-1378

Specification engineering and modular verification using a web-integrated verifying compiler (Abstract)

Charles T. Cook , School of Computing, Clemson University, 100 McAdams Hall, Clemson, SC 29634
Heather Harton , School of Computing, Clemson University, 100 McAdams Hall, Clemson, SC 29634
Hampton Smith , School of Computing, Clemson University, 100 McAdams Hall, Clemson, SC 29634
Murali Sitaraman , School of Computing, Clemson University, 100 McAdams Hall, Clemson, SC 29634
pp. 1379-1382

Writing dynamic service orchestrations with DSOL (Abstract)

Leandro Sales Pinto , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy
Gianpaolo Cugola , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy
Carlo Ghezzi , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy
pp. 1383-1386

MASH: A tool for end-user plug-in composition (Abstract)

Leonaro Mariani , Department of Informatics Systems and Communication, University of Milano - Bicocca, Milano, Italy
Fabrizio Pastore , Department of Informatics Systems and Communication, University of Milano - Bicocca, Milano, Italy
pp. 1387-1390

BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applications (Abstract)

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

MDSheet: A framework for model-driven spreadsheet engineering (Abstract)

Jacome Cunha , HASLab / INESC TEC, Universidade do Minho, Portugal
Joao Paulo Fernandes , HASLab / INESC TEC, Universidade do Minho, Portugal
Jorge Mendes , HASLab / INESC TEC, Universidade do Minho, Portugal
Joao Saraiva , HASLab / INESC TEC, Universidade do Minho, Portugal
pp. 1395-1398

WorkItemExplorer: Visualizing software development tasks using an interactive exploration environment (Abstract)

Christoph Treude , Dept. of Computer Science, University of Victoria, Victoria, BC Canada
Patrick Gorman , Dept. of Computer Science, University of Victoria, Victoria, BC Canada
Lars Grammel , Dept. of Computer Science, University of Victoria, Victoria, BC Canada
Margaret-Anne Storey , Dept. of Computer Science, University of Victoria, Victoria, BC Canada
pp. 1399-1402

Runtime monitoring of component changes with Spy@Runtime (Abstract)

Andrea Mocci , Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology, Cambridge, MA 02139
Mario Sangiorgio , Politecnico di Milano, Dipartimento di Elettronica e Informazione, Piazza Leonardo da Vinci, 32, 20133 Milano, Italy
pp. 1403-1406

GraPacc: A graph-based pattern-oriented, context-sensitive code completion tool (Abstract)

Anh Tuan Nguyen , Electrical and Computer Engineering Department, Iowa State University
Hoan Anh Nguyen , Electrical and Computer Engineering Department, Iowa State University
Tung Thanh Nguyen , Electrical and Computer Engineering Department, Iowa State University
Tien N. Nguyen , Electrical and Computer Engineering Department, Iowa State University
pp. 1407-1410

Code Bubbles: A practical working-set programming environment (Abstract)

Steven P. Reiss , Department of Computer Science, Brown University, Providence, RI 02912
Jared N. Bott , Department of EECS, University of Central Florida, Orlando, FL, 32816
Joseph J. LaViola , Department of EECS, University of Central Florida, Orlando, FL, 32816
pp. 1411-1414

EVOSS: A tool for managing the evolution of free and open source software systems (Abstract)

Davide Di Ruscio , Computer Science Department, University of L'Aquila, L'Aquila, Italy
Patrizio Pelliccione , Computer Science Department, University of L'Aquila, L'Aquila, Italy
Alfonso Pierantonio , Computer Science Department, University of L'Aquila, L'Aquila, Italy
pp. 1415-1418

Supporting extract class refactoring in Eclipse: The ARIES project (Abstract)

Gabriele Bavota , School of Science, University of Salerno, 84084 Fisciano (SA), Italy
Andrea De Lucia , School of Science, University of Salerno, 84084 Fisciano (SA), Italy
Andrian Marcus , Computer Science Department, Wayne State University, Detroit, MI 48202, USA
Rocco Oliveto , STAT Department, University of Molise, 86090 Pesche (IS), Italy
Fabio Palomba , STAT Department, University of Molise, 86090 Pesche (IS), Italy
pp. 1419-1422

EXSYST: Search-based GUI testing (Abstract)

Florian Gross , Saarland University Saarbrücken, Germany
Gordon Fraser , Saarland University Saarbrücken, Germany
Andreas Zeller , Saarland University Saarbrücken, Germany
pp. 1423-1426

JavaMOP: Efficient parametric runtime monitoring framework (Abstract)

Dongyun Jin , Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
Patrick O'Neil Meredith , Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
Choonghwan Lee , Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
Grigore Rosu , Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL, U.S.A.
pp. 1427-1430

Augmenting test suites automatically (Abstract)

Konstantin Rubinov , Faculty of Informatics, University of Lugano, Switzerland
Jochen Wuttke , Computer Science & Engineering, University of Washington, Seattle, USA
pp. 1433-1434

Using the GPGPU for scaling up Mining Software Repositories (Abstract)

Rina Nagano , Kyushu University, 744 Motooka, Nishi-ku, Fukuoka 819-0395, Japan
Hiroki Nakamura , Kyushu University, 744 Motooka, Nishi-ku, Fukuoka 819-0395, Japan
Yasutaka Kamei , Kyushu University, 744 Motooka, Nishi-ku, Fukuoka 819-0395, Japan
Bram Adams , MCIS, École Polytechnique de Montréal, Canada
Kenji Hisazumi , Kyushu University, 744 Motooka, Nishi-ku, Fukuoka 819-0395, Japan
Naoyasu Ubayashi , Kyushu University, 744 Motooka, Nishi-ku, Fukuoka 819-0395, Japan
Akira Fukuda , Kyushu University, 744 Motooka, Nishi-ku, Fukuoka 819-0395, Japan
pp. 1435-1436

FastFix: Monitoring control for remote software maintenance (Abstract)

Dennis Pagano , TU München, Munich, Germany
Miguel A. Juan , S2 Grupo Valencia, Spain
Alessandra Bagnato , TXT e-solutions, Milano, Italy
Tobias Roehm , TU München, Munich, Germany
Bernd Bruegge , TU München, Munich, Germany
Walid Maalej , TU München, Munich, Germany
pp. 1437-1438

Modeling Cloud performance with Kriging (Abstract)

Alessio Gambi , University of Lugano, Switzerland
Giovanni Toffetti , University of Lugano, Switzerland
pp. 1439-1440

SOA adoption in the Italian industry (Abstract)

Maurizio Leotta , DISI, Università di Genova, Italy
Filippo Ricca , DISI, Università di Genova, Italy
Marina Ribaudo , DISI, Università di Genova, Italy
Gianna Reggio , DISI, Università di Genova, Italy
Egidio Astesiano , DISI, Università di Genova, Italy
Tullio Vernazza , DIST, Università di Genova, Italy
pp. 1441-1442

A bidirectional model-driven spreadsheet environment (Abstract)

Jacome Cunha , HASLab, INESC TEC & Universidade do Minho, Portugal
Joao Paulo Fernandes , HASLab, INESC TEC & Universidade do Minho, Portugal
Jorge Mendes , HASLab, INESC TEC & Universidade do Minho, Portugal
Joao Saraiva , HASLab, INESC TEC & Universidade do Minho, Portugal
pp. 1443-1444

A self-healing technique for Java applications (Abstract)

Antonio Carzaniga , Faculty of Informatics, University of Lugano, Lugano, Switzerland
Alessandra Gorla , Faculty of Informatics, University of Lugano, Lugano, Switzerland
Andrea Mattavelli , Faculty of Informatics, University of Lugano, Lugano, Switzerland
Nicolo Perino , Faculty of Informatics, University of Lugano, Lugano, Switzerland
pp. 1445-1446

When open source turns cold on innovation — The challenges of navigating licensing complexities in new research domains (Abstract)

Christopher Forbes , Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada
Iman Keivanloo , Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada
Juergen Rilling , Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada
pp. 1447-1448

Language modularity with the MPS language workbench (Abstract)

Markus Voelter , Itemis/Voelter Ingenieurbuero fuer softwaretechnologie
Vaclav Pech , JetBrains
pp. 1449-1450

Mining application repository to recommend XML configuration snippets (Abstract)

Sheng Huang , Fudan University, Shanghai, China
Yi Qi Lu , Fudan University, Shanghai, China
Yanghua Xiao , Fudan University, Shanghai, China
Wei Wang , Fudan University, Shanghai, China
pp. 1451-1452

Locating features in dynamically configured avionics software (Abstract)

Maxime Ouellet , Computer and Software Engineering Department, École Polytechnique de Montréal, Montréal, Canada
Ettore Merlo , Computer and Software Engineering Department, École Polytechnique de Montréal, Montréal, Canada
Neset Sozen , CMC Electronics inc. Saint-Laurent, Canada
Martin Gagnon , CMC Electronics inc. Saint-Laurent, Canada
pp. 1453-1454

Detecting metadata bugs on the fly (Abstract)

Myoungkyu Song , Dept. of Computer Science, Virginia Tech, Blacksburg, VA 24061, USA
Eli Tilevich , Dept. of Computer Science, Virginia Tech, Blacksburg, VA 24061, USA
pp. 1455-1456

Blaze (PDF)

Jan-Peter Kramer , RWTH Aachen University 52062 Aachen, Germany
Joachim Kurz , RWTH Aachen University 52062 Aachen, Germany
Thorsten Karrer , RWTH Aachen University 52062 Aachen, Germany
Jan Borchers , RWTH Aachen University 52062 Aachen, Germany
pp. 1457-1458

ConTexter feedback system (Abstract)

Tristan Wehrmaker , Software Engineering Group, Leibniz Universität Hannover, Hannover, Germany
Stefan Gartner , Software Engineering Group, Leibniz Universität Hannover, Hannover, Germany
Kurt Schneider , Software Engineering Group, Leibniz Universität Hannover, Hannover, Germany
pp. 1459-1460

xMapper: An architecture-implementation mapping tool (Abstract)

Yongjie Zheng , Institute for Software Research, University of California, Irvine, Irvine, California, USA
Richard N. Taylor , Institute for Software Research, University of California, Irvine, Irvine, California, USA
pp. 1461-1462

ConcernReCS: Finding code smells in software aspectization (Abstract)

Pericles Alves , Computer Science Department, Federal University of Minas Gerais (UFMG), Belo Horizonte, Brazil
Diogo Santana , Computer Science Department, Federal University of Minas Gerais (UFMG), Belo Horizonte, Brazil
Eduardo Figueiredo , Computer Science Department, Federal University of Minas Gerais (UFMG), Belo Horizonte, Brazil
pp. 1463-1464

Egidio: A non-invasive approach for synthesizing organizational models (Abstract)

Saulius Astromskis , Free University of Bolzano, Bolzano, Italy
Andrea Janes , Free University of Bolzano, Bolzano, Italy
Alireza Rezaei Mahdiraji , Free University of Bolzano, Bolzano, Italy
pp. 1465-1466

SDiC: Context-based retrieval in Eclipse (Abstract)

Bruno Antunes , Centre for Informatics and Systems of the University of Coimbra, Coimbra, Portugal
Joel Cordeiro , Centre for Informatics and Systems of the University of Coimbra, Coimbra, Portugal
Paulo Gomes , Centre for Informatics and Systems of the University of Coimbra, Coimbra, Portugal
pp. 1467-1468

An integrated bug processing framework (Abstract)

Xiangyu Zhang , State Key Laboratory of Software Development Environment, Beihang University, Beijing, China
Mengxiang Lin , State Key Laboratory of Software Development Environment, Beihang University, Beijing, China
Kai Yu , State Key Laboratory of Software Development Environment, Beihang University, Beijing, China
pp. 1469-1470

Repository for Model Driven Development (ReMoDD) (Abstract)

Robert B. France , Department of Computer Science, Colorado State University, Fort Collins, USA
James M. Bieman , Department of Computer Science, Colorado State University, Fort Collins, USA
Sai Pradeep Mandalaparty , Department of Computer Science, Colorado State University, Fort Collins, USA
Betty H. C. Cheng , Department of Computer Science and Engineering Michigan State University, East Lansing, USA
Adam Jensen , Department of Computer Science and Engineering Michigan State University, East Lansing, USA
pp. 1471-1472

Going global with agile service networks (Abstract)

Damian A. Tamburri , VU University Amsterdam, IMSE Group, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
pp. 1475-1478

Using structural and semantic information to support software refactoring (Abstract)

Gabriele Bavota , School of Science, University of Salerno, Fisciano (SA), Italy
pp. 1479-1482

An approach to variability management in service-oriented product lines (Abstract)

Sedigheh Khoshnevis , Dept. of Computer Engineering, Faculty of Electrical and Computer Engineering, Shahid Beheshti University, G.C., Tehran, Iran
pp. 1483-1486

Using machine learning to enhance automated requirements model transformation (PDF)

Erol-Valeriu Chioasca , School of Computer Science University of Manchester
pp. 1487-1490

Security testing of web applications: A research plan (Abstract)

Andrea Avancini , Fondazione Bruno Kessler, Trento, Italy
pp. 1491-1494

Application of Self-Adaptive techniques to federated authorization models (Abstract)

Christopher Bailey , School of Computing, University of Kent, Canterbury, UK
pp. 1495-1498

Improving information retrieval-based concept location using contextual relationships (Abstract)

Tezcan Dilshener , Center for Research in Computing, Department of Computing, The Open University, United Kingdom
pp. 1499-1502

Effective specification of decision rights and accountabilities for better performing software engineering projects (Abstract)

Monde Kalumbilo , Department of Computer Science, University College London, London, United Kingdom
pp. 1503-1506

Search based design of software product lines architectures (Abstract)

Thelma Elita Colanzi , Computer Science Department, Federal University of Paraná, UFPR, Brazil
pp. 1507-1510

Software fault localization based on program slicing spectrum (Abstract)

Wanzhi Wen , School of Computer Science and Engineering, Southeast University, Nanjing, China
pp. 1511-1514

Architectural task allocation in distributed environment: A traceability perspective (Abstract)

Salma Imtiaz , Department of Computer Science and Software Engineering International Islamic University Islamabad, Pakistan
pp. 1515-1518

Using invariant relations in the termination analysis of while loops (Abstract)

Wided Ghardallou , Computer Sciences Departement, University of Tunis El Manar, Tunis, Tunisia
pp. 1519-1522

Software regression as change of input partitioning (PDF)

Marcel Bohme , School of Computing, National University of Singapore
pp. 1523-1526

A generic methodology to derive domain-specific performance feedback for developers (Abstract)

Dennis Westermann , SAP Research, Vincenz-Priessnitz-Strasse 1, 76131 Karlsruhe, Germany
pp. 1527-1530

Towards the verification of multi-diagram UML models (Abstract)

Alfredo Motta , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Via Golgi 42-20133 Milano, Italy
pp. 1531-1534

Documenting and sharing knowledge about code (Abstract)

Anja Guzzi , Software Engineering Research Group, Delft University of Technology, Delft, The Netherlands
pp. 1535-1538

Timely and efficient facilitation of coordination of software developers' activities (Abstract)

Kelly Blincoe , Computer Science Department, Drexel University, 3141 Chestnut Street, Philadelphia, PA. 19104, USA
pp. 1539-1542

Stack layout transformation: Towards diversity for securing binary programs (Abstract)

Benjamin Rodes , Department of Computer Science, University of Virginia, 85 Engineer's Way, P.O. Box 400740, Charlottesville, Virginia U.S.A. 22903
pp. 1543-1546

Synthesis of event-based controllers: A software engineering challenge (Abstract)

Nicolas D'Ippolito , Computing Department, Imperial College London, United Kingdom
pp. 1547-1550

Empirically researching development of international software (Abstract)

Malte Ressin , University of West London, Centre for Internationalisation and Usability, London, UK
pp. 1551-1554

Model translations among big-step modeling languages (Abstract)

Fathiyeh Faghih , School of Computer Science, University of Waterloo, Waterloo, ON, Canada
pp. 1555-1558

HARPPIE: Hyper algorithmic recipe for productive parallelism intensive endeavors (Abstract)

Pedro Monteiro , CITI, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2829-516 Caparica, Portugal
pp. 1559-1562

On the analysis of evolution of software artefacts and programs (Abstract)

Fehmi Jaafar , Ptidej Team - LBIT Lab, DIRO, University of Montreal, QC, Canada
pp. 1563-1566

Societal Computing (Abstract)

Swapneel Sheth , Department of Computer Science, Columbia University, New York, NY 10027, USA
pp. 1567-1570

Finding suitable programs: Semantic search with incomplete and lightweight specifications (Abstract)

Kathryn T. Stolee , Department of Computer Science and Engineering, University of Nebraska - Lincoln, Lincoln, NE, USA, 68508
pp. 1571-1574

Certification-based development of critical systems (Abstract)

Panayiotis Steele , Department of Computer Science, University of Virginia, 85 Engineer's Way, P.O. Box 400740, Charlottesville, VA 22903, USA
pp. 1575-1578

Testing and debugging UML models based on fUML (Abstract)

Tanja Mayerhofer , Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria
pp. 1579-1582

Bridging the divide between software developers and operators using logs (Abstract)

Weiyi Shang , Software Analysis and Intelligence Lab (SAIL), Queen's University, Canada
pp. 1583-1586

Log-based testing (Abstract)

Alexander Elyasov , Dept. of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands
pp. 1591-1594

Moving mobile applications between mobile devices seamlessly (Abstract)

Volker Schuchardt , paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, Essen, Germany
pp. 1595-1598

Improving failure-inducing changes identification using coverage analysis (Abstract)

Kai Yu , State Key Laboratory of Software Development Environment, Beihang University, Beijing, China
pp. 1604-1606

A study on improving static analysis tools: Why are we not using them? (Abstract)

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

Winbook: A social networking based framework for collaborative requirements elicitation and WinWin negotiations (Abstract)

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

Using automatic static analysis to identify technical debt (Abstract)

Antonio Vetro , Politecnico di Torino/Fraunhofer CESE Torino (Italy}'College Park, MD (USA)
pp. 1613-1615

Coupled evolution of model-driven spreadsheets (Abstract)

Jorge Mendes , HASLab / INESC TEC, Universidade do Minho, Portugal
pp. 1616-1618

Managing evolution of software product line (Abstract)

Cheng Thao , Dept. of Electrical Engineering & Computer Science, University of Wisconsin-Milwaukee, Milwaukee, WI 53201-0784, USA
pp. 1619-1621

Enabling dynamic metamodels through constraint-driven modeling (Abstract)

Andreas Demuth , Institute for Systems Engineering and Automation, Johannes Kepler University Linz, Austria
pp. 1622-1624

Assisting end-user development in browser-based mashup tools (Abstract)

Soudip Roy Chowdhury , DISI, University of Trento, Italy
pp. 1625-1627

Capturing and exploiting fine-grained IDE interactions (Abstract)

Zhongxian Gu , Department of Computer Science, University of California, Davis
pp. 1630-1631

Restructuring unit tests with TestSurgeon (PDF)

Pablo Estefo , Department of Computer Science (DCC) University of Chile, Santiago, Chile
pp. 1632-1634

A requirements-based approach for the design of adaptive systems (Abstract)

Vitor E. Silva Souza , Department of Information Engineering and Computer Science - University of Trento Via Sommarive, 14 - Trento, Italy - 38123
pp. 1635-1637

Petri nets state space analysis in the cloud (Abstract)

Matteo Camilli , Dipartimento di Informatica e Comunicazione, Università degli Studi di Milano, Milan, Italy
pp. 1638-1640

Mining Java class identifier naming conventions (Abstract)

Simon Butler , Centre for Research in Computing and Department of Computing, The Open University, Milton Keynes, United Kingdom
pp. 1641-1643

Online sharing and integration of results from mining software repositories (Abstract)

Iman Keivanloo , Ambient Software Evolution Group, Concordia University, Montreal, Canada
pp. 1644-1646

Refounding software engineering: The Semat initiative (Invited presentation) (Abstract)

Mira Kajko-Mattsson , ICT/KTH Royal Institute of Technology, Stockholm, Sweden
Michael Striewe , University of Duisburg-Essen Essen, Germany
Michael Goedicke , University of Duisburg-Essen Essen, Germany
Ivar Jacobson , Ivar Jacobson Int'l., UK
Ian Spence , Ivar Jacobson Int'l., UK
Shihong Huang , Dept. of Computer & Electrical Engineering and Computer Science Florida Atlantic University, Boca Raton, FL USA
Paul McMahon , PEM Systems Binghamton, NY, USA
Bruce MacIsaac , RMC Method Content, IBM, San Jose, CA USA
Brian Elvesater , SINTEF. Oslo, Norway
Arne J. Berre , SINTEF. Oslo, Norway
Ed Seymour , Business & Applications, Services, Fujitsu, 22 Baker Street, London, W1U 3BW
pp. 1649-1650

Summary of the ICSE 2012 workshops (Abstract)

Alessandro Orso , Georgia Institute of Technology, Atlanta, USA
Ralf Reussner , Karlsruhe Institute of Technology (KIT)/ Forschungszentrum Informatik (FZI), Karlsruhe, Germany
pp. 1651-1653

Summary of the ICSE 2012 tutorials and technical briefings (Abstract)

Andreas Leitner , Google Zurich Zürich, Switzerland
Oscar Nierstrasz , University of Bern Bern, Switzerland
pp. 1654-1657
80 ms
(Ver 3.3 (11022016))