ICSE 2013 - May 18-26, 2013, San Francisco, CA, USA
Powered by
Conference Publishing Consulting

2013 35th International Conference on Software Engineering (ICSE), May 18–26, 2013, San Francisco, CA, USA

ICSE 2013 – Proceedings

Contents - Abstracts - Authors
Online Calendar - iCal File
Twitter: https://twitter.com/ICSEconf
Facebook: http://www.facebook.com/ICSE2013

Preface

Title Page
Message from the Chairs
Video
Committees
Sponsors

Technical Research

Composition

Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns
Paola Inverardi and Massimo Tivoli
(University of L'Aquila, Italy)
Article Search Video
Robust Reconfigurations of Component Assemblies
Fabienne Boyer, Olivier Gruber, and Damien Pous
(Université Joseph Fourier, France; CNRS, France)
Article Search
Drag-and-Drop Refactoring: Intuitive and Efficient Program Transformation
Yun Young Lee, Nicholas Chen, and Ralph E. Johnson
(University of Illinois at Urbana-Champaign, USA)
Article Search Video

Adaptation

Managing Non-functional Uncertainty via Model-Driven Adaptivity
Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, and Giordano Tamburrelli
(Politecnico di Milano, Italy; Università dell'Insubria, Italy)
Article Search Video
GuideArch: Guiding the Exploration of Architectural Solution Space under Uncertainty
Naeem Esfahani, Sam Malek, and Kaveh Razavi
(George Mason University, USA)
Article Search
Coupling Software Architecture and Human Architecture for Collaboration-Aware System Adaptation
Christoph Dorn and Richard N. Taylor
(TU Vienna, Austria; UC Irvine, USA)
Article Search
Learning Revised Models for Planning in Adaptive Systems
Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, and Katsumi Inoue
(Imperial College London, UK; National Institute of Informatics, Japan)
Article Search Video

Apps

RERAN: Timing- and Touch-Sensitive Record and Replay for Android
Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, and Todd Millstein
(UC Los Angeles, USA; UC Riverside, USA)
Article Search
Inferring Likely Mappings between APIs
Amruta Gokhale, Vinod Ganapathy, and Yogesh Padmanaban
(Rutgers University, USA)
Article Search Video
Estimating Mobile Application Energy Consumption using Program Analysis
Shuai Hao, Ding Li, William G. J. Halfond, and Ramesh Govindan
(University of Southern California, USA)
Article Search

Testing

Observable Modified Condition/Decision Coverage
Michael Whalen, Gregory Gay, Dongjiang You, Mats P. E. Heimdahl, and Matt Staats
(University of Minnesota, USA; KAIST, South Korea)
Article Search
Creating a Shared Understanding of Testing Culture on a Social Coding Site
Raphael Pham, Leif Singer, Olga Liskin, Fernando Figueira Filho, and Kurt Schneider
(Leibniz Universität Hannover, Germany; UFRN, Brazil)
Article Search
Billions and Billions of Constraints: Whitebox Fuzz Testing in Production
Ella Bounimova, Patrice Godefroid, and David Molnar
(Microsoft Research, USA)
Article Search

Test-Case Generation

Feedback-Directed Unit Test Generation for C/C++ using Concolic Execution
Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, and Aarti Gupta
(University of Illinois at Urbana-Champaign, USA; NEC Labs, USA; NEC, Japan)
Article Search
A Learning-Based Method for Combining Testing Techniques
Domenico Cotroneo, Roberto Pietrantuono, and Stefano Russo
(Università di Napoli Federico II, Italy; Lab CINI-ITEM Carlo Savy, Italy)
Article Search
Human Performance Regression Testing
Amanda Swearngin, Myra B. Cohen, Bonnie E. John, and Rachel K. E. Bellamy
(University of Nebraska-Lincoln, USA; IBM Research, USA)
Article Search Video
Guided Test Generation for Web Applications
Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, and Satish Chandra
(IBM Research, India; Indian Institute of Science, India; IBM Research, USA)
Article Search

Test-Case Selection

Comparing Multi-point Stride Coverage and Dataflow Coverage
Mohammad Mahdi Hassan and James H. Andrews
(University of Western Ontario, Canada)
Article Search
Interaction-Based Test-Suite Minimization
Dale Blue, Itai Segall, Rachel Tzoref-Brill, and Aviad Zlotnick
(IBM, USA; IBM Research, Israel)
Article Search Video
Bridging the Gap between the Total and Additional Test-Case Prioritization Strategies
Lingming Zhang, Dan Hao, Lu Zhang, Gregg Rothermel, and Hong Mei
(Peking University, China; University of Texas at Austin, USA; University of Nebraska-Lincoln, USA)
Article Search

Formal Analysis

Detecting Spurious Counterexamples Efficiently in Abstract Model Checking
Cong Tian and Zhenhua Duan
(Xidian University, China)
Article Search Video
Segmented Symbolic Analysis
Wei Le
(Rochester Institute of Technology, USA)
Article Search
Explicating Symbolic Execution (xSymExe): An Evidence-Based Verification Framework
John Hatcliff, Robby, Patrice Chalin, and Jason Belt
(Kansas State University, USA)
Article Search

Formal Specification

Aluminum: Principled Scenario Exploration through Minimality
Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi
(Worcester Polytechnic Institute, USA; Brown University, USA)
Article Search Video
Counter Play-Out: Executing Unrealizable Scenario-Based Specifications
Shahar Maoz and Yaniv Sa'ar
(Tel Aviv University, Israel; Weizmann Institute of Science, Israel)
Article Search
Unifying FSM-Inference Algorithms through Declarative Specification
Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, and Arvind Krishnamurthy
(University of Washington, USA; University of Massachusetts, USA)
Article Search
What Good Are Strong Specifications?
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, and Bertrand Meyer
(ETH Zurich, Switzerland; ITMO National Research University, Russia)
Article Search Video

Analysis

Comparative Causality: Explaining the Differences between Executions
William N. Sumner and Xiangyu Zhang
(Purdue University, USA)
Article Search
Automatic Testing of Sequential and Concurrent Substitutability
Michael Pradel and Thomas R. Gross
(ETH Zurich, Switzerland)
Article Search
Data Clone Detection and Visualization in Spreadsheets
Felienne Hermans, Ben Sedee, Martin Pinzger, and Arie van Deursen
(TU Delft, Netherlands)
Article Search

Code Analysis

Partition-Based Regression Verification
Marcel Böhme, Bruno C. d. S. Oliveira, and Abhik Roychoudhury
(National University of Singapore, Singapore)
Article Search Video
Automated Diagnosis of Software Configuration Errors
Sai Zhang and Michael D. Ernst
(University of Washington, USA)
Article Search
Detecting Deadlock in Programs with Data-Centric Synchronization
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, and Jan Vitek
(Symantec Research Labs, USA; Saarland University, Germany; IBM Research, USA; University of Waterloo, Canada; Purdue University, USA)
Article Search

Debugging

The Design of Bug Fixes
Emerson Murphy-Hill, Thomas Zimmermann, Christian Bird, and Nachiappan Nagappan
(North Carolina State University, USA; Microsoft Research, USA)
Article Search
PorchLight: A Tag-Based Approach to Bug Triaging
Gerald Bortis and André van der Hoek
(UC Irvine, USA)
Article Search
Expositor: Scriptable Time-Travel Debugging with First-Class Traces
Yit Phang Khoo, Jeffrey S. Foster, and Michael Hicks
(University of Maryland, USA)
Article Search
Chronicler: Lightweight Recording to Reproduce Field Failures
Jonathan Bell, Nikhil Sarda, and Gail Kaiser
(Columbia University, USA)
Article Search Video

Bug Prediction

Does Bug Prediction Support Human Developers? Findings from a Google Case Study
Chris Lewis, Zhongpeng Lin, Caitlin Sadowski, Xiaoyan Zhu, Rong Ou, and E. James Whitehead Jr.
(UC Santa Cruz, USA; Google, USA; Xi'an Jiaotong University, China)
Article Search
Transfer Defect Learning
Jaechang Nam, Sinno Jialin Pan, and Sunghun Kim
(Hong Kong University of Science and Technology, China; Institute for Infocomm Research, Singapore)
Article Search
It's Not a Bug, It's a Feature: How Misclassification Impacts Bug Prediction
Kim Herzig, Sascha Just, and Andreas Zeller
(Saarland University, Germany)
Article Search

Big Data

Assisting Developers of Big Data Analytics Applications When Deploying on Hadoop Clouds
Weiyi Shang, Zhen Ming Jiang, Hadi Hemmati, Bram Adams, Ahmed E. Hassan, and Patrick Martin
(Queen's University, Canada; Polytechnique Montréal, Canada)
Article Search
Broken Sets in Software Repository Evolution
Jérôme Vouillon and Roberto Di Cosmo
(University of Paris Diderot, France; CNRS, France; INRIA, France)
Article Search
Boa: A Language and Infrastructure for Analyzing Ultra-Large-Scale Software Repositories
Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, and Tien N. Nguyen
(Iowa State University, USA)
Article Search

Process

How, and Why, Process Metrics Are Better
Foyzur Rahman and Premkumar Devanbu
(UC Davis, USA)
Article Search
The Role of Domain Knowledge and Cross-Functional Communication in Socio-Technical Coordination
Daniela Damian, Remko Helms, Irwin Kwan, Sabrina Marczak, and Benjamin Koelewijn
(University of Victoria, Canada; Utrecht University, Netherlands; Oregon State University, USA; PUCRS, Brazil)
Article Search
Dual Ecological Measures of Focus in Software Development
Daryl Posnett, Raissa D'Souza, Premkumar Devanbu, and Vladimir Filkov
(UC Davis, USA)
Article Search
Not Going to Take This Anymore: Multi-objective Overtime Planning for Software Engineering Projects
Filomena Ferrucci, Mark Harman, Jian Ren, and Federica Sarro
(University of Salerno, Italy; University College London, UK)
Article Search Video

Product Lines

Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-features
Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, and Axel Legay
(University of Namur, Belgium; IRISA, France; INRIA, France; University of Liège, Belgium)
Article Search
Strategies for Product-Line Verification: Case Studies and Experiments
Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, and Dirk Beyer
(University of Passau, Germany)
Article Search Video
On the Value of User Preferences in Search-Based Software Engineering: A Case Study in Software Product Lines
Abdel Salam Sayyad, Tim Menzies, and Hany Ammar
(West Virginia University, USA)
Article Search Video

Search-Based SE

LASE: Locating and Applying Systematic Edits by Learning from Examples
Na Meng, Miryung Kim, and Kathryn S. McKinley
(University of Texas at Austin, USA; Microsoft Research, USA)
Article Search
Search-Based Genetic Optimization for Deployment and Reconfiguration of Software in the Cloud
Sören Frey, Florian Fittkau, and Wilhelm Hasselbring
(Kiel University, Germany)
Article Search
How to Effectively Use Topic Models for Software Engineering Tasks? An Approach Based on Genetic Algorithms
Annibale Panichella, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, and Andrea De Lucia
(University of Salerno, Italy; College of William and Mary, USA; University of Molise, Italy; University of Sannio, Italy)
Article Search Video

Performance

Green Streams for Data-Intensive Software
Thomas W. Bartenstein and Yu David Liu
(SUNY Binghamton, USA)
Article Search Video
Dynamic Synthesis of Local Time Requirement for Service Composition
Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, and Manman Chen
(National University of Singapore, Singapore; Université Paris 13, France; CNRS, France; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)
Article Search
Supporting Swift Reaction: Automatically Uncovering Performance Problems by Systematic Experiments
Alexander Wert, Jens Happe, and Lucia Happe
(KIT, Germany; SAP Research, Germany)
Article Search
Toddler: Detecting Performance Problems via Similar Memory-Access Patterns
Adrian Nistor, Linhai Song, Darko Marinov, and Shan Lu
(University of Illinois at Urbana-Champaign, USA; University of Wisconsin-Madison, USA)
Article Search

Requirements Engineering

Departures from Optimality: Understanding Human Analyst's Information Foraging in Assisted Requirements Tracing
Nan Niu, Anas Mahmoud, Zhangji Chen, and Gary Bradshaw
(Mississippi State University, USA)
Article Search
Analysis of User Comments: An Approach for Software Requirements Evolution
Laura V. Galvis Carreño and Kristina Winbladh
(University of Delaware, USA)
Article Search
Requirements Modelling by Synthesis of Deontic Input-Output Automata
Emmanuel Letier and William Heaven
(University College London, UK)
Article Search

Reliability

Automated Reliability Estimation over Partial Systematic Explorations
Esteban Pavese, Víctor Braberman, and Sebastian Uchitel
(Universidad de Buenos Aires, Argentina; Imperial College London, UK)
Article Search Video
Safe Software Updates via Multi-version Execution
Petr Hosek and Cristian Cadar
(Imperial College London, UK)
Article Search Video
Reliability Analysis in Symbolic Pathfinder
Antonio Filieri, Corina S. Păsăreanu, and Willem Visser
(University of Stuttgart, Germany; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa)
Article Search Video

Security and Privacy

Engineering Adaptive Privacy: On the Role of Privacy Awareness Requirements
Inah Omoronyia, Luca Cavallaro, Mazeiar Salehie, Liliana Pasquale, and Bashar Nuseibeh
(University of Glasgow, UK; Lero, Ireland; University of Limerick, Ireland; Open University, UK)
Article Search
Mining SQL Injection and Cross Site Scripting Vulnerabilities using Hybrid Program Analysis
Lwin Khin Shar, Hee Beng Kuan Tan, and Lionel C. Briand
(Nanyang Technological University, Singapore; University of Luxembourg, Luxembourg)
Article Search
Path Sensitive Static Analysis of Web Applications for Remote Code Execution Vulnerability Detection
Yunhui Zheng and Xiangyu Zhang
(Purdue University, USA)
Article Search
Automated Software Architecture Security Risk Analysis using Formalized Signatures
Mohamed Almorsy, John Grundy, and Amani S. Ibrahim
(Swinburne University of Technology, Australia)
Article Search Video

Analysis Studies

Why Don't Software Developers Use Static Analysis Tools to Find Bugs?
Brittany Johnson, Yoonki Song, Emerson Murphy-Hill, and Robert Bowdidge
(North Carolina State University, USA; Google, USA)
Article Search
Exploring the Impact of Inter-smell Relations on Software Maintainability: An Empirical Study
Aiko Yamashita and Leon Moonen
(Simula Research Laboratory, Norway)
Article Search
An Empirical Study on the Developers' Perception of Software Coupling
Gabriele Bavota, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, and Andrea De Lucia
(University of Salerno, Italy; College of William and Mary, USA; University of Molise, Italy; University of Sannio, Italy)
Article Search Video

Empirical Studies

X-PERT: Accurate Identification of Cross-Browser Issues in Web Applications
Shauvik Roy Choudhary, Mukul R. Prasad, and Alessandro Orso
(Georgia Tech, USA; Fujitsu Labs, USA)
Article Search Video
Expectations, Outcomes, and Challenges of Modern Code Review
Alberto Bacchelli and Christian Bird
(University of Lugano, Switzerland; Microsoft Research, USA)
Article Search
UML in Practice
Marian Petre
(Open University, UK)
Article Search
Cassandra: Proactive Conflict Minimization through Optimized Task Scheduling
Bakhtiar Khan Kasi and Anita Sarma
(University of Nebraska-Lincoln, USA)
Article Search Video

Programming Support

Are Your Incoming Aliases Really Necessary? Counting the Cost of Object Ownership
Alex Potanin, Monique Damitio, and James Noble
(Victoria University of Wellington, New Zealand)
Article Search Video
Efficient Construction of Approximate Call Graphs for JavaScript IDE Services
Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip
(Aarhus University, Denmark; Nanyang Technological University, Singapore; IBM Research, USA; University of Waterloo, Canada)
Article Search
Improving Feature Location Practice with Multi-faceted Interactive Exploration
Jinshui Wang, Xin Peng, Zhenchang Xing, and Wenyun Zhao
(Fudan University, China; Nanyang Technological University, Singapore)
Article Search Video

Program Repair

SemFix: Program Repair via Semantic Analysis
Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra
(National University of Singapore, Singapore; IBM Research, USA)
Article Search
Automatic Recovery from Runtime Failures
Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, and Mauro Pezzè
(University of Lugano, Switzerland; Saarland University, Germany)
Article Search Video
Program Transformations to Fix C Integers
Zack Coker and Munawar Hafiz
(Auburn University, USA)
Article Search Video
Automatic Patch Generation Learned from Human-Written Patches
Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Article Search

Tools

Reverb: Recommending Code-Related Web Pages
Nicholas Sawadsky, Gail C. Murphy, and Rahul Jiresal
(University of British Columbia, Canada)
Article Search Video
Dynamic Injection of Sketching Features into GEF Based Diagram Editors
Andreas Scharf and Till Amma
(University of Kassel, Germany)
Article Search
Discovering Essential Code Elements in Informal Documentation
Peter C. Rigby and Martin P. Robillard
(Concordia University, Canada; McGill University, Canada)
Article Search
Automatic Query Reformulations for Text Retrieval in Software Engineering
Sonia Haiduc, Gabriele Bavota, Andrian Marcus, Rocco Oliveto, Andrea De Lucia, and Tim Menzies
(Wayne State University, USA; University of Salerno, Italy; University of Molise, Italy; University of West Virginia, USA)
Article Search Video

Keynotes

Are Software Patents Bad? (Keynote)
Pamela Samuelson
(UC Berkeley, USA)
Article Search
The Connection between Movie Making and Software Development (Keynote)
Tony DeRose
(Pixar Research Group, USA)
Article Search
Does Scale Really Matter? Ultra-Large-Scale Systems Seven Years after the Study (Keynote)
Linda Northrop
(SEI, USA)
Article Search

Software Engineering in Practice

Technical Debt: Past, Present, and Future

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

Agile and Distributed Practices

Scaling Agile Methods to Regulated Environments: An Industry Case Study
Brian Fitzgerald, Klaas-Jan Stol, Ryan O'Sullivan, and Donal O'Brien
(Lero, Ireland; University of Limerick, Ireland; QUMAS, Ireland)
Article Search
Agility at Scale: Economic Governance, Measured Improvement, and Disciplined Delivery
Alan W. Brown, Scott Ambler, and Walker Royce
(University of Surrey, UK; Ambler and Associates, Canada; IBM, USA)
Article Search
Distributed Development Considered Harmful?
Ekrem Kocaguneli, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, and Tim Menzies
(West Virginia University, USA; Microsoft Research, USA)
Article Search

Software Architecture

Measuring Architecture Quality by Structure Plus History Analysis
Robert Schwanke, Lu Xiao, and Yuanfang Cai
(Siemens, USA; Drexel University, USA)
Article Search
Obtaining Ground-Truth Software Architectures
Joshua Garcia, Ivo Krka, Chris Mattmann, and Nenad Medvidovic
(University of Southern California, USA; Jet Propulsion Laboratory, USA)
Article Search
MIDAS: A Design Quality Assessment Method for Industrial Software
Ganesh Samarthyam, Girish Suryanarayana, Tushar Sharma, and Shrinath Gupta
(Siemens, India)
Article Search

Metrics and Evaluation

Evaluating Usefulness of Software Metrics: An Industrial Experience Report
Eric Bouwers, Arie van Deursen, and Joost Visser
(Software Improvement Group, Netherlands; TU Delft, Netherlands; Radboud University Nijmegen, Netherlands)
Article Search
Reducing Human Effort and Improving Quality in Peer Code Reviews using Automatic Static Analysis and Reviewer Recommendation
Vipin Balachandran
(VMware, India)
Article Search
Estimating Software-Intensive Projects in the Absence of Historical Data
Aldo Dagnino
(ABB Research, USA)
Article Search

Mini-Tutorial

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

Case Studies

User Involvement in Software Evolution Practice: A Case Study
Dennis Pagano and Bernd Brügge
(TU Munich, Germany)
Article Search
A Characteristic Study on Failures of Production Distributed Data-Parallel Programs
Sihan Li, Hucheng Zhou, Haoxiang Lin, Tian Xiao, Haibo Lin, Wei Lin, and Tao Xie
(North Carolina State University, USA; Microsoft Research, China; Tsinghua University, China; Microsoft Bing, China; Microsoft Bing, USA)
Article Search
Is Time-Zone Proximity an Advantage for Software Development? The Case of the Brazilian IT Industry
Rafael Prikladnicki and Erran Carmel
(PUCRS, Brazil; American University, USA)
Article Search
A Study of Enabling Factors for Rapid Fielding: Combined Practices to Balance Speed and Stability
Stephany Bellomo, Robert L. Nord, and Ipek Ozkaya
(SEI, USA)
Article Search

Testing

JST: An Automatic Test Generation Tool for Industrial Java Applications with Strings
Indradeep Ghosh, Nastaran Shafiei, Guodong Li, and Wei-Fan Chiang
(Fujitsu Labs, USA; York University, Canada; University of Utah, USA)
Article Search
Efficient and Change-Resilient Test Automation: An Industrial Case Study
Suresh Thummalapenta, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Sivagami Gnanasundaram, Deepa D. Nagaraj, and Sampathkumar Sathishkumar
(IBM Research, India; IBM Research, USA; IBM, India)
Article Search
Automatic Detection of Performance Deviations in the Load Testing of Large Scale Systems
Haroon Malik, Hadi Hemmati, and Ahmed E. Hassan
(Queen's University, Canada; University of Waterloo, Canada)
Article Search

Bug Detection

Detecting Inconsistencies in Wrappers: A Case Study
Henning Femmer, Dharmalingam Ganesan, Mikael Lindvall, and David McComas
(TU Munich, Germany; Fraunhofer CESE, USA; NASA Goddard Space Flight Center, USA)
Article Search
Categorizing Bugs with Social Networks: A Case Study on Four Open Source Software Communities
Marcelo Serrano Zanetti, Ingo Scholtes, Claudio Juan Tessone, and Frank Schweitzer
(ETH Zurich, Switzerland)
Article Search
Predicting Bug-Fixing Time: An Empirical Study of Commercial Software Projects
Hongyu Zhang, Liang Gong, and Steve Versteeg
(Tsinghua University, China; CA Technologies, Australia)
Article Search

Software Engineering in Education

Problem-Based and Studio Learning

Authentic Assessment in Software Engineering Education Based on PBL Principles: A Case Study in the Telecom Market
Simone C. dos Santos and Felipe S. F. Soares
(UFPE, Brazil; Recife Center of Advanced Studies and Systems, Brazil)
Article Search
Studios in Software Engineering Education: Towards an Evaluable Model
Christopher N. Bull, Jon Whittle, and Leon Cruickshank
(Lancaster University, UK)
Article Search
Enabling a Classroom Design Studio with a Collaborative Sketch Design Tool
Dastyni Loksa, Nicolas Mangano, Thomas D. LaToza, and André van der Hoek
(UC Irvine, USA)
Article Search
A Framework to Evaluate Software Engineering Student Contests: Evaluation and Integration with Academic Programs
Amir Zeid
(American University of Kuwait, Kuwait)
Article Search

Teaching Introductory Software Engineering

An Evaluation of Interactive Test-Driven Labs with WebIDE in CS0
David S. Janzen, John Clements, and Michael Hilton
(Cal Poly, USA)
Article Search
POPT: A Problem-Oriented Programming and Testing Approach for Novice Students
Vicente Lustosa Neto, Roberta Coelho, Larissa Leite, Dalton S. Guerrero, and Andrea P. Mendonça
(UFRN, Brazil; UFCG, Brazil; IFAM, Brazil)
Article Search
Teaching Developer Skills in the First Software Engineering Course
Václav Rajlich
(Wayne State University, USA)
Article Search
Teaching and Learning Programming and Software Engineering via Interactive Gaming
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, and Judith Bishop
(Microsoft Research, USA; North Carolina State University, USA)
Article Search

Panel: Town Hall Discussion of SE 2004 Revisions

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

Advanced Software Engineering Education

Teaching Students Global Software Engineering Skills using Distributed Scrum
Maria Paasivaara, Casper Lassenius, Daniela Damian, Petteri Räty, and Adrian Schröter
(Aalto University, Finland; University of Victoria, Canada)
Article Search
Teaching Software Process Modeling
Marco Kuhrmann, Daniel Méndez Fernández, and Jürgen Münch
(TU Munich, Germany; University of Helsinki, Finland)
Article Search
Industry Involvement in ICT Curriculum: A Comparative Survey
Chris J. Pilgrim
(Swinburne University of Technology, Australia)
Article Search
Vulnerability of the Day: Concrete Demonstrations for Software Engineering Undergraduates
Andrew Meneely and Samuel Lucidi
(Rochester Institute of Technology, USA)
Article Search

New Ideas and Emerging Results

Dependability Perspectives

Eliminative Induction: A Basis for Arguing System Confidence
John B. Goodenough, Charles B. Weinstock, and Ari Z. Klein
(SEI, USA)
Article Search
Exploring the Internal State of User Interfaces by Combining Computer Vision Techniques with Grammatical Inference
Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, and Tom Yeh
(University of Colorado at Boulder, USA)
Article Search
Semantic Smells and Errors in Access Control Models: A Case Study in PHP
François Gauthier and Ettore Merlo
(Polytechnique Montréal, Canada)
Article Search
Practical Semantic Test Simplification
Sai Zhang
(University of Washington, USA)
Article Search Video
Understanding Regression Failures through Test-Passing and Test-Failing Code Changes
Roykrong Sukkerd, Ivan Beschastnikh, Jochen Wuttke, Sai Zhang, and Yuriy Brun
(University of Washington, USA; University of Massachusetts, USA)
Article Search

Supporting Tomorrow's Developer

Temporal Code Completion and Navigation
Yun Young Lee, Sam Harwell, Sarfraz Khurshid, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA; University of Texas at Austin, USA)
Article Search
Situational Awareness: Personalizing Issue Tracking Systems
Olga Baysal, Reid Holmes, and Michael W. Godfrey
(University of Waterloo, Canada)
Article Search
GROPG: A Graphical On-Phone Debugger
Tuan Anh Nguyen, Christoph Csallner, and Nikolai Tillmann
(University of Texas at Arlington, USA; Microsoft Research, USA)
Article Search
Why Did This Code Change?
Sarah Rastkar and Gail C. Murphy
(University of British Columbia, Canada)
Article Search
Deciphering the Story of Software Development through Frequent Pattern Mining
Nicolas Bettenburg and Andrew Begel
(Queen's University, Canada; Microsoft Research, USA)
Article Search

Collaborative Development

Liberating Pair Programming Research from the Oppressive Driver/Observer Regime
Stephan Salinger, Franz Zieris, and Lutz Prechelt
(Freie Universität Berlin, Germany)
Article Search
Pricing Crowdsourcing-Based Software Development Tasks
Ke Mao, Ye Yang, Mingshu Li, and Mark Harman
(ISCAS, China; UCAS, Cina; University College London, UK)
Article Search
Building Test Suites in Social Coding Sites by Leveraging Drive-By Commits
Raphael Pham, Leif Singer, and Kurt Schneider
(Leibniz Universität Hannover, Germany)
Article Search
Supporting Application Development with Structured Queries in the Cloud
Michael Smit, Bradley Simmons, Mark Shtern, and Marin Litoiu
(York University, Canada)
Article Search Video
Hunting for Smells in Natural Language Tests
Benedikt Hauptmann, Maximilian Junker, Sebastian Eder, Lars Heinemann, Rudolf Vaas, and Peter Braun
(TU Munich, Germany; CQSE, Germany; Munich Re, Germany; Validas, Germany)
Article Search

Alternative Modeling

Bottom-Up Model-Driven Development
Hamid Bagheri and Kevin Sullivan
(University of Virginia, USA)
Article Search
An Approach for Restructuring Text Content
Lerina Aversano, Gerardo Canfora, Giuseppe De Ruvo, and Maria Tortorella
(University of Sannio, Italy)
Article Search Video
A Case for Human-Driven Software Development
Emilie Balland, Charles Consel, Bernard N'Kaoua, and Hélène Sauzéon
(University of Bordeaux, France; INRIA, France)
Article Search
A Framework for Managing Cloned Product Variants
Julia Rubin and Marsha Chechik
(IBM Research, Israel; University of Toronto, Canada)
Article Search
Sketching Software in the Wild
David Socha and Josh Tenenberg
(University of Washington, USA)
Article Search

Posters

On Extracting Unit Tests from Interactive Live Programming Sessions
Adrian Kuhn
(University of British Columbia, Canada)
Article Search
Towards Automated Testing and Fixing of Re-engineered Feature Models
Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, and Yves Le Traon
(University of Luxembourg, Luxembourg; University of Namur, Belgium)
Article Search
Computational Alignment of Goals and Scenarios for Complex Systems
Dalal Alrajeh, Alessandra Russo, James Lockerbie, Neil Maiden, Alistair Mavin, and Mark Novak
(Imperial College London, UK; City University London, UK; Rolls Royce, UK; Aero Engine Controls, UK)
Article Search
Service Networks for Development Communities
Damian A. Tamburri, Patricia Lago, and Hans van Vliet
(VU University Amsterdam, Netherlands)
Article Search
Formal Specifications Better Than Function Points for Code Sizing
Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby Murray, Ross Jeffery, and Len Bass
(NICTA, Australia)
Article Search
Using Mutation Analysis for a Model-Clone Detector Comparison Framework
Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, and James R. Cordy
(Queen's University, Canada)
Article Search
On the Relationships between Domain-Based Coupling and Code Clones: An Exploratory Study
Md Saidur Rahman, Amir Aryani, Chanchal K. Roy, and Fabrizio Perin
(University of Saskatchewan, Canada; Australian National University, Australia; University of Bern, Switzerland)
Article Search
Quantitative Program Slicing: Separating Statements by Relevance
Raul Santelices, Yiji Zhang, Siyuan Jiang, Haipeng Cai, and Ying-Jie Zhang
(University of Notre Dame, USA; Tsinghua University, China)
Article Search
Example-Driven Modeling: Model = Abstractions + Examples
Kacper Bąk, Dina Zayan, Krzysztof Czarnecki, Michał Antkiewicz, Zinovy Diskin, Andrzej Wąsowski, and Derek Rayside
(University of Waterloo, Canada; IT University of Copenhagen, Denmark)
Article Search
Towards Recognizing and Rewarding Efficient Developer Work Patterns
Will Snipes, Vinay Augustine, Anil R. Nair, and Emerson Murphy-Hill
(ABB Research, USA; ABB Research, India; North Carolina State University, USA)
Article Search
Selecting Checkpoints along the Time Line: A Novel Temporal Checkpoint Selection Strategy for Monitoring a Batch of Parallel Business Processes
Xiao Liu, Yun Yang, Dahai Cao, and Dong Yuan
(East China Normal University, China; Swinburne University of Technology, Australia)
Article Search

Formal Demonstrations

Formal Demonstrations 1

LAMBDAFICATOR: From Imperative to Functional Programming through Automated Refactoring
Lyle Franklin, Alex Gyori, Jan Lahoda, and Danny Dig
(Ball State University, USA; Politehnica University of Timisoara, Romania; Oracle, Czech Republic; University of Illinois at Urbana-Champaign, USA)
Article Search Video
JITTAC: A Just-in-Time Tool for Architectural Consistency
Jim Buckley, Sean Mooney, Jacek Rosik, and Nour Ali
(University of Limerick, Ireland; Lero, Ireland; University of Brighton, UK)
Article Search
Seahawk: Stack Overflow in the IDE
Luca Ponzanelli, Alberto Bacchelli, and Michele Lanza
(University of Lugano, Switzerland)
Article Search
DRC: A Detection Tool for Dangling References in PHP-Based Web Applications
Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Article Search
TestEvol: A Tool for Analyzing Test-Suite Evolution
Leandro Sales Pinto, Saurabh Sinha, and Alessandro Orso
(Politecnico di Milano, Italy; IBM Research, India; Georgia Tech, USA)
Article Search
Query Quality Prediction and Reformulation for Source Code Search: The Refoqus Tool
Sonia Haiduc, Giuseppe De Rosa, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, and Andrian Marcus
(Wayne State University, USA; University of Salerno, Italy; University of Molise, Italy)
Article Search Video
A Large Scale Linux-Kernel Based Benchmark for Feature Location Research
Zhenchang Xing, Yinxing Xue, and Stan Jarzabek
(Nanyang Technological University, Singapore; National University of Singapore, Singapore)
Article Search
NavClus: A Graphical Recommender for Assisting Code Exploration
Seonah Lee, Sungwon Kang, and Matt Staats
(KAIST, South Korea)
Article Search

Formal Demonstrations 2

LASE: An Example-Based Program Transformation Tool for Locating and Applying Systematic Edits
John Jacobellis, Na Meng, and Miryung Kim
(University of Texas at Austin, USA)
Article Search Video
CEL: Modeling Everywhere
Remo Lemma, Michele Lanza, and Fernando Olivero
(University of Lugano, Switzerland)
Article Search
V:ISSUE:LIZER: Exploring Requirements Clarification in Online Communication over Time
Eric Knauss and Daniela Damian
(University of Victoria, Canada)
Article Search
YODA: Young and newcOmer Developer Assistant
Gerardo Canfora, Massimiliano Di Penta, Stefano Giannantonio, Rocco Oliveto, and Sebastiano Panichella
(University of Sannio, Italy; University of Molise, Italy; University of Salerno, Italy)
Article Search Video
RADAR: A Tool for Debugging Regression Problems in C/C++ Software
Fabrizio Pastore, Leonardo Mariani, and Alberto Goffi
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)
Article Search Video
MCT: A Tool for Commenting Programs by Multimedia Comments
Yiyang Hao, Ge Li, Lili Mou, Lu Zhang, and Zhi Jin
(Peking University, China; Chinese Academy of Sciences-AMSS, China)
Article Search Video
Memoise: A Tool for Memoized Symbolic Execution
Guowei Yang, Sarfraz Khurshid, and Corina S. Păsăreanu
(University of Texas at Austin, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA)
Article Search
Controller Synthesis: From Modelling to Enactment
Víctor Braberman, Nicolas D'Ippolito, Nir Piterman, Daniel Sykes, and Sebastian Uchitel
(Universidad de Buenos Aires, Argentina; Imperial College London, UK; University of Leicester, UK)
Article Search Video

Doctoral Symposium

Short Papers

A Study of Variability Spaces in Open Source Software
Sarah Nadi
(University of Waterloo, Canada)
Article Search
Implementing Database Access Control Policy from Unconstrained Natural Language Text
John Slankas
(North Carolina State University, USA)
Article Search
Increasing Anomaly Handling Efficiency in Large Organizations using Applied Machine Learning
Leif Jonsson
(Ericsson, Sweden; Linköping University, Sweden)
Article Search
Analyzing the Change-Proneness of Service-Oriented Systems from an Industrial Perspective
Daniele Romano
(TU Delft, Netherlands)
Article Search
Supporting Maintenance Tasks on Transformational Code Generation Environments
Victor Guana
(University of Alberta, Canada)
Article Search
An Approach to Documenting and Evolving Architectural Design Decisions
Meiru Che
(University of Texas at Austin, USA)
Article Search
An Observable and Controllable Testing Framework for Modern Systems
Tingting Yu
(University of Nebraska-Lincoln, USA)
Article Search
Toward a Software Product Line for Affective-Driven Self-Adaptive Systems
Javier Gonzalez-Sanchez
(Arizona State University, USA)
Article Search
Normalizing Source Code Vocabulary to Support Program Comprehension and Software Quality
Latifa Guerrouj
(Polytechnique Montréal, Canada)
Article Search
Integrating Systematic Exploration, Analysis, and Maintenance in Software Development
Kıvanç Muşlu
(University of Washington, USA)
Article Search

Posters

Fostering Software Quality Assessment
Martin Brandtner
(University of Zurich, Switzerland)
Article Search
A Framework for Self-Healing Software Systems
Nicolò Perino
(University of Lugano, Switzerland)
Article Search
Building High Assurance Secure Applications using Security Patterns for Capability-Based Platforms
Paul Rimba
(NICTA, Australia; UNSW, Australia)
Article Search
Systematically Selecting a Software Module during Opportunistic Reuse
Naveen Kulkarni
(IIIT Hyderabad, India)
Article Search
Informing Development Decisions: From Data to Information
Olga Baysal
(University of Waterloo, Canada)
Article Search
Understanding and Simulating Software Evolution
Zhongpeng Lin
(UC Santa Cruz, USA)
Article Search
An Ontology Toolkit for Problem Domain Concept Location in Program Comprehension
Nuno Ramos Carvalho
(University of Minho, Portugal)
Article Search
Measuring the Forensic-Ability of Audit Logs for Nonrepudiation
Jason King
(North Carolina State University, USA)
Article Search
SNIPR: Complementing Code Search with Code Retargeting Capabilities
Huascar Sanchez
(UC Santa Cruz, USA)
Article Search

ACM Student Research Competition - Posters

Program Analysis

Supporting Incremental Programming with Ghosts
Oscar Callaú
(University of Chile, Chile)
Article Search Video
Novice Understanding of Program Analysis Tool Notifications
Brittany Johnson
(North Carolina State University, USA)
Article Search
Energy Aware Self-Adaptation in Mobile Systems
Luca Ardito
(Politecnico di Torino, Italy)
Article Search

Debugging

ConfDiagnoser: An Automated Configuration Error Diagnosis Tool for Java Software
Sai Zhang
(University of Washington, USA)
Article Search
Reproducing and Debugging Field Failures in House
Wei Jin
(Georgia Tech, USA)
Article Search
Fault Comprehension for Concurrent Programs
Sangmin Park
(Georgia Tech, USA)
Article Search

Process and Maintenance

A Proposal for the Improvement of Project's Cost Predictability using EVM and Historical Data of Cost
Adler Diniz de Souza
(UFRJ, Brazil)
Article Search
Studying the Effect of Co-change Dispersion on Software Quality
Ehsan Kouroshfar
(George Mason University, USA)
Article Search
A Roadmap for Software Maintainability Measurement
Juliana Saraiva
(UFPE, Brazil)
Article Search

Models and Requirements

Reasoning with Qualitative Preferences to Develop Optimal Component-Based Systems
Zachary J. Oster
(Iowa State University, USA)
Article Search
From Models to Code and Back: Correct-by-Construction Code from UML and ALF
Federico Ciccozzi
(Mälardalen University, Sweden)
Article Search
Mitigating the Obsolescence of Specification Models of Service-Based Systems
Romina Torres
(Federico Santa María Technical University, Chile)
Article Search
Decision Theoretic Requirements Prioritization: A Two-Step Approach for Sliding towards Value Realization
Nupul Kukreja
(University of Southern California, USA)
Article Search

Developers and Users

Changeset Based Developer Communication to Detect Software Failures
Braden Simpson
(University of Victoria, Canada)
Article Search
Identifying Failure Inducing Developer Pairs within Developer Networks
Jordan Ell
(University of Victoria, Canada)
Article Search
On Identifying User Complaints of iOS Apps
Hammad Khalid
(Queen's University, Canada)
Article Search

Tutorial Summaries

Automated Testing of GUI Applications: Models, Tools, and Controlling Flakiness
Atif M. Memon and Myra B. Cohen
(University of Maryland, USA; University of Nebraska-Lincoln, USA)
Article Search
Build Your Own Model Checker in One Month
Jin Song Dong, Jun Sun, and Yang Liu
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)
Article Search
Data Science for Software Engineering
Tim Menzies, Ekrem Kocaguneli, Fayola Peters, Burak Turhan, and Leandro L. Minku
(West Virginia University, USA; University of Oulu, Finland; University of Birmingham, UK)
Article Search
Software Analytics: Achievements and Challenges
Dongmei Zhang and Tao Xie
(Microsoft Research, China; North Carolina State University, USA)
Article Search
Developing Verified Programs with Dafny
K. Rustan M. Leino
(Microsoft Research, USA)
Article Search
Software Metrics: Pitfalls and Best Practices
Eric Bouwers, Arie van Deursen, and Joost Visser
(Software Improvement Group, Netherlands; TU Delft, Netherlands; Radboud University Nijmegen, Netherlands)
Article Search
A Hands-On Java PathFinder Tutorial
Peter Mehlitz, Neha Rungta, and Willem Visser
(NASA Ames Research Center, USA; Stellenbosch University, South Africa)
Article Search
Efficient Quality Assurance of Variability-Intensive Systems
Patrick Heymans, Axel Legay, and Maxime Cordy
(University of Namur, Belgium; IRISA, France; INRIA, France)
Article Search
Software Requirement Patterns
Xavier Franch
(Universitat Politècnica de Catalunya, Spain)
Article Search

Workshop Summaries

1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2013)
Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, and John Knight
(SGT, USA; NASA Ames Research Center, USA; University of York, UK; University of Virginia, USA)
Article Search
8th International Workshop on Automation of Software Test (AST 2013)
Hong Zhu, Henry Muccini, and Zhenyu Chen
(Oxford Brookes University, UK; University of L'Aquila, Italy; Nanjing University, China)
Article Search
1st International Workshop on Conducting Empirical Studies in Industry (CESI 2013)
Xavier Franch, Nazim H. Madhavji, Bill Curtis, and Larry Votta
(Universitat Politècnica de Catalunya, Spain; University of Western Ontario, Canada; CAST, USA; Brincos, USA)
Article Search
6th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 2013)
Rafael Prikladnicki, Rashina Hoda, Marcelo Cataldo, Helen Sharp, Yvonne Dittrich, and Cleidson R. B. de Souza
(PUCRS, Brazil; University of Auckland, New Zealand; Bosch Research, USA; Open University, UK; IT University of Copenhagen, Denmark; Vale Institute of Technology, Brazil)
Article Search
1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE 2013)
Mark Harman, Richard F. Paige, and James Williams
(University College London, UK; University of York, UK)
Article Search
3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development (CTGDSD 2013)
Stuart Faulk, Michal Young, Rafael Prikladnicki, David M. Weiss, and Lian Yu
(University of Oregon, USA; PUCRS, Brazil; Iowa State University, USA; Peking University, China)
Article Search
1st International Workshop on Data Analysis Patterns in Software Engineering (DAPSE 2013)
Christian Bird, Tim Menzies, and Thomas Zimmermann
(Microsoft Research, USA; West Virginia University, USA)
Article Search
1st FME Workshop on Formal Methods in Software Engineering (FormaliSE 2013)
Stefania Gnesi and Nico Plat
(ISTI-CNR, Italy; West Consulting BV, Netherlands)
Article Search
3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, Progressive Change (GAS 2013)
Kendra M. L. Cooper, Walt Scacchi, and Alf Inge Wang
(University of Texas at Dallas, USA; UC Irvine, USA; NTNU, Norway)
Article Search
2nd International Workshop on Green and Sustainable Software (GREENS 2013)
Patricia Lago, Niklaus Meyer, Maurizio Morisio, Hausi A. Müller, and Giuseppe Scanniello
(VU University Amsterdam, Netherlands; Swiss Informatics Society, Switzerland; Politecnico di Torino, Italy; University of Victoria, Canada; University of Basilicata, Italy)
Article Search
2nd SEMAT Workshop on a General Theory of Software Engineering (GTSE 2013)
Pontus Johnson, Ivar Jacobson, Michael Goedicke, and Mira Kajko-Mattsson
(KTH, Sweden; Ivar Jacobson Int., Switzerland; University of Duisburg-Essen, Germany)
Article Search
7th International Workshop on Software Clones (IWSC 2013)
Rainer Koschke, Elmar Juergens, and Juergen Rilling
(University of Bremen, Germany; CQSE, Germany; Concordia University, Canada)
Article Search
1st International Workshop on Live Programming (LIVE 2013)
Brian Burg, Adrian Kuhn, and Chris Parnin
(University of Washington, USA; University of British Columbia, Canada; Georgia Tech, USA)
Article Search
5th International Workshop on Modeling in Software Engineering (MiSE 2013)
Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, and Bernhard Rumpe
(University of Waterloo, Canada; Sodius, USA; University of Toronto, Canada; Colorado State University, USA; University of Alabama, USA; University of York, UK; RWTH Aachen University, Germany)
Article Search
1st International Workshop on the Engineering of Mobile-Enabled Systems (MOBS 2013)
Grace A. Lewis, Jeff Gray, Henry Muccini, Nachiappan Nagappan, David Rosenblum, and Emad Shihab
(SEI, USA; University of Alabama, USA; University of L'Aquila, Italy; Microsoft Research, USA; National University of Singapore, Singapore; Rochester Institute of Technology, USA)
Article Search
4th International Workshop on Managing Technical Debt (MTD 2013)
Philippe Kruchten, Robert L. Nord, and Ipek Ozkaya
(University of British Columbia, Canada; SEI, USA)
Article Search
1st International Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE 2013)
Lori Pollock, David Binkley, Dawn Lawrie, Emily Hill, Rocco Oliveto, Gabriele Bavota, and Alberto Bacchelli
(University of Delaware, USA; Loyola University Maryland, USA; Montclair State University, USA; University of Molise, Italy; University of Salerno, Italy; University of Lugano, Switzerland)
Article Search
5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2013)
Domenico Bianculli, Patricia Lago, Grace A. Lewis, and Hye-Young Paik
(University of Luxembourg, Luxembourg; VU University Amsterdam, Netherlands; SEI, USA; UNSW, Australia)
Article Search
4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013)
Julia Rubin, Goetz Botterweck, Andreas Pleuss, and David M. Weiss
(IBM Research, Israel; Lero, Ireland; University of Limerick, Ireland; Iowa State University, USA)
Article Search
2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2013)
Rachel Harrison, Sol Greenspan, Tim Menzies, Marjan Mernik, Pedro Henriques, Daniela da Cruz, and Daniel Rodriguez
(Oxford Brookes University, UK; NSF, USA; West Virginia University, USA; University of Maribor, Slovenia; University of Minho, Portugal; University of Alcalá, Spain)
Article Search
1st International Workshop on Release Engineering (RELENG 2013)
Bram Adams, Christian Bird, Foutse Khomh, and Kim Moir
(Polytechnique Montréal, Canada; Microsoft Research, USA; Mozilla, Canada)
Article Search
5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE 2013)
Jeffrey C. Carver, Tom Epperly, Lorin Hochstein, Valerie Maxville, Dietmar Pfahl, and Jonathan Sillito
(University of Alabama, USA; Lawrence Livermore National Laboratory, USA; Nimbis Services, USA; iVEC, Australia; University of Tartu, Estonia; University of Calgary, Canada)
Article Search
5th International Workshop on Software Engineering in Health Care (SEHC 2013)
Craig E. Kuziemsky and John Knight
(University of Ottawa, Canada; University of Virginia, USA)
Article Search
4th International Workshop on Software Engineering for Sensor Network Applications (SESENA 2013)
Christine Julien and Klaus Wehrle
(University of Texas at Austin, USA; RWTH Aachen University, Germany)
Article Search
2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG 2013)
Ian Gorton, Yan Liu, Heiko Koziolek, Anne Koziolek, and Mazeiar Salehie
(Pacific Northwest National Lab, USA; Concordia University, Canada; ABB Research, Germany; KIT, Germany; Lero, Ireland)
Article Search
3rd International Workshop on Developing Tools as Plug-Ins (TOPI 2013)
Michael Barnett, Martin Nordio, Judith Bishop, Karin K. Breitman, and Diego Garbervetsky
(Microsoft Research, USA; ETH Zurich, Switzerland; PUC-Rio, Brazil; Universidad de Buenos Aires, Argentina)
Article Search
2nd International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks 2013)
Paris Avgeriou, Janet E. Burge, Jane Cleland-Huang, Xavier Franch, Matthias Galster, Mehdi Mirakhorli, and Roshanak Roshandel
(University of Groningen, Netherlands; Miami University, USA; DePaul University, USA; Universitat Politècnica de Catalunya, Spain; University of Canterbury, New Zealand; Seattle University, USA)
Article Search
2nd International Workshop on User Evaluations for Software Engineering Researchers (USER 2013)
Andrew Begel and Caitlin Sadowski
(Microsoft Research, USA; Google, USA)
Article Search
4th International Workshop on Emerging Trends in Software Metrics (WETSoM 2013)
Steve Counsell, Michele L. Marchesi, Ewan Tempero, and Aaron Visaggio
(Brunel University, UK; University of Cagliari, Italy; University of Auckland, New Zealand; University of Sannio, Italy)
Article Search

proc time: 6.2