| 2013 | 1st FME workshop on formal methods in software engineering (FormaliSE 2013). Stefania Gnesi, Nico Plat |
| 2013 | 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight |
| 2013 | 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013). Mark Harman, Richard F. Paige, James R. Williams |
| 2013 | 1st international workshop on conducting empirical studies in industry (CESI 2013). Xavier Franch, Nazim H. Madhavji, Bill Curtis, Larry Votta |
| 2013 | 1st international workshop on data analysis patterns in software engineering (DAPSE 2013). Christian Bird, Tim Menzies, Thomas Zimmermann |
| 2013 | 1st international workshop on live programming (LIVE 2013). Brian Burg, Adrian Kuhn, Chris Parnin |
| 2013 | 1st international workshop on natural language analysis in software engineering (NaturaLiSE 2013). Lori L. Pollock, David W. Binkley, Dawn J. Lawrie, Emily Hill, Rocco Oliveto, Gabriele Bavota, Alberto Bacchelli |
| 2013 | 1st international workshop on release engineering (RELENG 2013). Bram Adams, Christian Bird, Foutse Khomh, Kim Moir |
| 2013 | 1st international workshop on the engineering of mobile-enabled systems (MOBS 2013). Grace A. Lewis, Jeff Gray, Henry Muccini, Nachiappan Nagappan, David S. Rosenblum, Emad Shihab |
| 2013 | 2nd SEMAT workshop on a general theory of software engineering (GTSE 2013). Pontus Johnson, Ivar Jacobson, Michael Goedicke, Mira Kajko-Mattsson |
| 2013 | 2nd international workshop on green and sustainable software (GREENS 2013). Patricia Lago, Niklaus Meyer, Maurizio Morisio, Hausi A. Müller, Giuseppe Scanniello |
| 2013 | 2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013). Rachel Harrison, Sol J. Greenspan, Tim Menzies, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Daniel Rodríguez |
| 2013 | 2nd international workshop on software engineering challenges for the smart grid (SE4SG 2013). Ian Gorton, Yan Liu, Heiko Koziolek, Anne Koziolek, Mazeiar Salehie |
| 2013 | 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, Roshanak Roshandel |
| 2013 | 2nd international workshop on user evaluations for software engineering researchers (USER 2013). Andrew Begel, Caitlin Sadowski |
| 2013 | 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013 David Notkin, Betty H. C. Cheng, Klaus Pohl |
| 2013 | 3rd international workshop on collaborative teaching of globally distributed software development (CTGDSD 2013). Stuart R. Faulk, Michal Young, Rafael Prikladnicki, David M. Weiss, Lian Yu |
| 2013 | 3rd international workshop on developing tools as plug-ins (TOPI 2013). Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky |
| 2013 | 3rd international workshop on games and software engineering: engineering computer games to enable positive, progressive change (GAS 2013). Kendra M. L. Cooper, Walt Scacchi, Alf Inge Wang |
| 2013 | 4th international workshop on emerging trends in software metrics (WETSoM 2013). Steve Counsell, Michele Marchesi, Ewan D. Tempero, Corrado Aaron Visaggio |
| 2013 | 4th international workshop on managing technical debt (MTD 2013). Philippe Kruchten, Robert L. Nord, Ipek Ozkaya |
| 2013 | 4th international workshop on product LinE approaches in software engineering (PLEASE 2013). Julia Rubin, Goetz Botterweck, Andreas Pleuss, David M. Weiss |
| 2013 | 4th international workshop on software engineering for sensor network applications (SESENA 2013). Christine Julien, Klaus Wehrle |
| 2013 | 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, Bernhard Rumpe |
| 2013 | 5th international workshop on principles of engineering service-oriented systems (PESOS 2013). Domenico Bianculli, Patricia Lago, Grace A. Lewis, Hye-Young Paik |
| 2013 | 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, Jonathan Sillito |
| 2013 | 5th international workshop on software engineering in health care (SEHC 2013). Craig E. Kuziemsky, John Knight |
| 2013 | 6th international workshop on cooperative and human aspects of software engineering (CHASE 2013). Rafael Prikladnicki, Rashina Hoda, Marcelo Cataldo, Helen Sharp, Yvonne Dittrich, Cleidson R. B. de Souza |
| 2013 | 7th international workshop on software clones (IWSC 2013). Rainer Koschke, Elmar Jürgens, Juergen Rilling |
| 2013 | 8th international workshop on automation of software test (AST 2013). Hong Zhu, Henry Muccini, Zhenyu Chen |
| 2013 | A case for human-driven software development. Emilie Balland, Charles Consel, Bernard N'Kaoua, Hélène Sauzéon |
| 2013 | A characteristic study on failures of production distributed data-parallel programs. Sihan Li, Hucheng Zhou, Haoxiang Lin, Tian Xiao, Haibo Lin, Wei Lin, Tao Xie |
| 2013 | A framework for managing cloned product variants. Julia Rubin, Marsha Chechik |
| 2013 | A framework for self-healing software systems. Nicolò Perino |
| 2013 | A framework to evaluate software engineering student contests: evaluation and integration with academic programs. Amir Zeid |
| 2013 | A hands-on Java PathFinder tutorial. Peter C. Mehlitz, Neha Rungta, Willem Visser |
| 2013 | A large scale Linux-kernel based benchmark for feature location research. Zhenchang Xing, Yinxing Xue, Stan Jarzabek |
| 2013 | A learning-based method for combining testing techniques. Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo |
| 2013 | A proposal for the improvement of project's cost predictability using EVM and historical data of cost. Adler Diniz de Souza |
| 2013 | A roadmap for software maintainability measurement. Juliana Saraiva |
| 2013 | A study of enabling factors for rapid fielding: combined practices to balance speed and stability. Stephany Bellomo, Robert L. Nord, Ipek Ozkaya |
| 2013 | A study of variability spaces in open source software. Sarah Nadi |
| 2013 | Agility at scale: economic governance, measured improvement, and disciplined delivery. Alan W. Brown, Scott Ambler, Walker Royce |
| 2013 | Aluminum: principled scenario exploration through minimality. Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2013 | An approach for restructuring text content. Lerina Aversano, Gerardo Canfora, Giuseppe De Ruvo, Maria Tortorella |
| 2013 | An approach to documenting and evolving architectural design decisions. Meiru Che |
| 2013 | An empirical study on the developers' perception of software coupling. Gabriele Bavota, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, Andrea De Lucia |
| 2013 | An evaluation of interactive test-driven labs with WebIDE in CS0. David S. Janzen, John Clements, Michael Hilton |
| 2013 | An observable and controllable testing framework for modern systems. Tingting Yu |
| 2013 | An ontology toolkit for problem domain concept location in program comprehension. Nuno Ramos Carvalho |
| 2013 | Analysis of user comments: an approach for software requirements evolution. Laura V. Galvis Carreño, Kristina Winbladh |
| 2013 | Analyzing the change-proneness of service-oriented systems from an industrial perspective. Daniele Romano |
| 2013 | Are software patents bad? (keynote). Pamela Samuelson |
| 2013 | Are your incoming aliases really necessary? counting the cost of object ownership. Alex Potanin, Monique Damitio, James Noble |
| 2013 | Assisting developers of big data analytics applications when deploying on hadoop clouds. Weiyi Shang, Zhen Ming Jiang, Hadi Hemmati, Bram Adams, Ahmed E. Hassan, Patrick Martin |
| 2013 | Authentic assessment in software engineering education based on PBL principles: a case study in the telecom market. Simone C. dos Santos, Felipe Santana Furtado Soares |
| 2013 | Automated diagnosis of software configuration errors. Sai Zhang, Michael D. Ernst |
| 2013 | Automated reliability estimation over partial systematic explorations. Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel |
| 2013 | Automated software architecture security risk analysis using formalized signatures. Mohamed Almorsy, John Grundy, Amani S. Ibrahim |
| 2013 | Automated testing of GUI applications: models, tools, and controlling flakiness. Atif M. Memon, Myra B. Cohen |
| 2013 | Automatic detection of performance deviations in the load testing of large scale systems. Haroon Malik, Hadi Hemmati, Ahmed E. Hassan |
| 2013 | Automatic patch generation learned from human-written patches. Dongsun Kim, Jaechang Nam, Jaewoo Song, Sunghun Kim |
| 2013 | Automatic query reformulations for text retrieval in software engineering. Sonia Haiduc, Gabriele Bavota, Andrian Marcus, Rocco Oliveto, Andrea De Lucia, Tim Menzies |
| 2013 | Automatic recovery from runtime failures. Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè |
| 2013 | Automatic synthesis of modular connectors via composition of protocol mediation patterns. Paola Inverardi, Massimo Tivoli |
| 2013 | Automatic testing of sequential and concurrent substitutability. Michael Pradel, Thomas R. Gross |
| 2013 | Beyond boolean product-line model checking: dealing with feature attributes and multi-features. Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay |
| 2013 | Billions and billions of constraints: whitebox fuzz testing in production. Ella Bounimova, Patrice Godefroid, David A. Molnar |
| 2013 | Boa: a language and infrastructure for analyzing ultra-large-scale software repositories. Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen |
| 2013 | Bottom-up model-driven development. Hamid Bagheri, Kevin J. Sullivan |
| 2013 | Bridging the gap between the total and additional test-case prioritization strategies. Lingming Zhang, Dan Hao, Lu Zhang, Gregg Rothermel, Hong Mei |
| 2013 | Broken sets in software repository evolution. Jérôme Vouillon, Roberto Di Cosmo |
| 2013 | Build your own model checker in one month. Jin Song Dong, Jun Sun, Yang Liu |
| 2013 | Building high assurance secure applications using security patterns for capability-based platforms. Paul Rimba |
| 2013 | Building test suites in social coding sites by leveraging drive-by commits. Raphael Pham, Leif Singer, Kurt Schneider |
| 2013 | CEL: modeling everywhere. Remo Lemma, Michele Lanza, Fernando Olivero |
| 2013 | Cassandra: proactive conflict minimization through optimized task scheduling. Bakhtiar Khan Kasi, Anita Sarma |
| 2013 | Categorizing bugs with social networks: a case study on four open source software communities. Marcelo Serrano Zanetti, Ingo Scholtes, Claudio Juan Tessone, Frank Schweitzer |
| 2013 | Changeset based developer communication to detect software failures. Braden Simpson |
| 2013 | Chronicler: lightweight recording to reproduce field failures. Jonathan Bell, Nikhil Sarda, Gail E. Kaiser |
| 2013 | Comparative causality: explaining the differences between executions. William N. Sumner, Xiangyu Zhang |
| 2013 | Comparing multi-point stride coverage and dataflow coverage. Mohammad Mahdi Hassan, James H. Andrews |
| 2013 | Computational alignment of goals and scenarios for complex systems. Dalal Alrajeh, Alessandra Russo, James Lockerbie, Neil A. M. Maiden, Alistair Mavin, Mark Novak |
| 2013 | ConfDiagnoser: an automated configuration error diagnosis tool for Java software. Sai Zhang |
| 2013 | Controller synthesis: from modelling to enactment. Víctor A. Braberman, Nicolás D'Ippolito, Nir Piterman, Daniel Sykes, Sebastián Uchitel |
| 2013 | Counter play-out: executing unrealizable scenario-based specifications. Shahar Maoz, Yaniv Sa'ar |
| 2013 | Coupling software architecture and human architecture for collaboration-aware system adaptation. Christoph Dorn, Richard N. Taylor |
| 2013 | Creating a shared understanding of testing culture on a social coding site. Raphael Pham, Leif Singer, Olga Liskin, Fernando Marques Figueira Filho, Kurt Schneider |
| 2013 | DRC: a detection tool for dangling references in PHP-based web applications. Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen |
| 2013 | Data clone detection and visualization in spreadsheets. Felienne Hermans, Ben Sedee, Martin Pinzger, Arie van Deursen |
| 2013 | Data science for software engineering. Tim Menzies, Ekrem Kocaguneli, Fayola Peters, Burak Turhan, Leandro L. Minku |
| 2013 | Deciphering the story of software development through frequent pattern mining. Nicolas Bettenburg, Andrew Begel |
| 2013 | Decision theoretic requirements prioritization: a two-step approach for sliding towards value realization. Nupul Kukreja |
| 2013 | Departures from optimality: understanding human analyst's information foraging in assisted requirements tracing. Nan Niu, Anas Mahmoud, Zhangji Chen, Gary Bradshaw |
| 2013 | Detecting deadlock in programs with data-centric synchronization. Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek |
| 2013 | Detecting inconsistencies in wrappers: a case study. Henning Femmer, Dharmalingam Ganesan, Mikael Lindvall, David McComas |
| 2013 | Detecting spurious counterexamples efficiently in abstract model checking. Cong Tian, Zhenhua Duan |
| 2013 | Developing verified programs with dafny. K. Rustan M. Leino |
| 2013 | Discovering essential code elements in informal documentation. Peter C. Rigby, Martin P. Robillard |
| 2013 | Distributed development considered harmful? Ekrem Kocaguneli, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, Tim Menzies |
| 2013 | Does bug prediction support human developers? findings from a google case study. Chris Lewis, Zhongpeng Lin, Caitlin Sadowski, Xiaoyan Zhu, Rong Ou, E. James Whitehead Jr. |
| 2013 | Does scale really matter? ultra-large-scale systems seven years after the study (keynote). Linda M. Northrop |
| 2013 | Drag-and-drop refactoring: intuitive and efficient program transformation. Yun Young Lee, Nicholas Chen, Ralph E. Johnson |
| 2013 | Dual ecological measures of focus in software development. Daryl Posnett, Raissa M. D'Souza, Premkumar T. Devanbu, Vladimir Filkov |
| 2013 | Dynamic injection of sketching features into GEF based diagram editors. Andreas Scharf, Till Amma |
| 2013 | Dynamic synthesis of local time requirement for service composition. Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen |
| 2013 | Efficient and change-resilient test automation: an industrial case study. Suresh Thummalapenta, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Sivagami Gnanasundaram, Deepa D. Nagaraj, Sampathkumar Sathishkumar |
| 2013 | Efficient construction of approximate call graphs for JavaScript IDE services. Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip |
| 2013 | Efficient quality assurance of variability-intensive systems. Patrick Heymans, Axel Legay, Maxime Cordy |
| 2013 | Eliminative induction: a basis for arguing system confidence. John B. Goodenough, Charles B. Weinstock, Ari Z. Klein |
| 2013 | Enabling a classroom design studio with a collaborative sketch design tool. Dastyni Loksa, Nicolas Mangano, Thomas D. LaToza, André van der Hoek |
| 2013 | Energy aware self-adaptation in mobile systems. Luca Ardito |
| 2013 | Engineering adaptive privacy: on the role of privacy awareness requirements. Inah Omoronyia, Luca Cavallaro, Mazeiar Salehie, Liliana Pasquale, Bashar Nuseibeh |
| 2013 | Estimating mobile application energy consumption using program analysis. Shuai Hao, Ding Li, William G. J. Halfond, Ramesh Govindan |
| 2013 | Estimating software-intensive projects in the absence of historical data. Aldo Dagnino |
| 2013 | Evaluating usefulness of software metrics: an industrial experience report. Eric Bouwers, Arie van Deursen, Joost Visser |
| 2013 | Example-driven modeling: model = abstractions + examples. Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside |
| 2013 | Expectations, outcomes, and challenges of modern code review. Alberto Bacchelli, Christian Bird |
| 2013 | Explicating symbolic execution (xSymExe): an evidence-based verification framework. John Hatcliff, Robby, Patrice Chalin, Jason Belt |
| 2013 | Exploring the impact of inter-smell relations on software maintainability: an empirical study. Aiko Fallas Yamashita, Leon Moonen |
| 2013 | Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference. Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, Tom Yeh |
| 2013 | Expositor: scriptable time-travel debugging with first-class traces. Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks |
| 2013 | Fault comprehension for concurrent programs. Sangmin Park |
| 2013 | Feedback-directed unit test generation for C/C++ using concolic execution. Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta |
| 2013 | Formal specifications better than function points for code sizing. Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby C. Murray, D. Ross Jeffery, Len Bass |
| 2013 | Fostering software quality assessment. Martin Brandtner |
| 2013 | From models to code and back: correct-by-construction code from UML and ALF. Federico Ciccozzi |
| 2013 | GROPG: a graphical on-phone debugger. Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann |
| 2013 | Green streams for data-intensive software. Thomas Bartenstein, Yu David Liu |
| 2013 | GuideArch: guiding the exploration of architectural solution space under uncertainty. Naeem Esfahani, Sam Malek, Kaveh Razavi |
| 2013 | Guided test generation for web applications. Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra |
| 2013 | 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, Andrea De Lucia |
| 2013 | How, and why, process metrics are better. Foyzur Rahman, Premkumar T. Devanbu |
| 2013 | Human performance regression testing. Amanda Swearngin, Myra B. Cohen, Bonnie E. John, Rachel K. E. Bellamy |
| 2013 | Hunting for smells in natural language tests. Benedikt Hauptmann, Maximilian Junker, Sebastian Eder, Lars Heinemann, Rudolf Vaas, Peter Braun |
| 2013 | Identifying failure inducing developer pairs within developer networks. Jordan Ell |
| 2013 | Implementing database access control policy from unconstrained natural language text. John Slankas |
| 2013 | Improving feature location practice with multi-faceted interactive exploration. Jinshui Wang, Xin Peng, Zhenchang Xing, Wenyun Zhao |
| 2013 | Increasing anomaly handling efficiency in large organizations using applied machine learning. Leif Jonsson |
| 2013 | Industry involvement in ICT curriculum: a comparative survey. Chris J. Pilgrim |
| 2013 | Inferring likely mappings between APIs. Amruta Gokhale, Vinod Ganapathy, Yogesh Padmanaban |
| 2013 | Informing development decisions: from data to information. Olga Baysal |
| 2013 | Integrating systematic exploration, analysis, and maintenance in software development. Kivanç Muslu |
| 2013 | Interaction-based test-suite minimization. Dale Blue, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick |
| 2013 | Is time-zone proximity an advantage for software development? the case of the brazilian IT industry. Rafael Prikladnicki, Erran Carmel |
| 2013 | It's not a bug, it's a feature: how misclassification impacts bug prediction. Kim Herzig, Sascha Just, Andreas Zeller |
| 2013 | JITTAC: a just-in-time tool for architectural consistency. Jim Buckley, Sean Mooney, Jacek Rosik, Nour Ali |
| 2013 | JST: an automatic test generation tool for industrial Java applications with strings. Indradeep Ghosh, Nastaran Shafiei, Guodong Li, Wei-Fan Chiang |
| 2013 | LAMBDAFICATOR: from imperative to functional programming through automated refactoring. Lyle Franklin, Alex Gyori, Jan Lahoda, Danny Dig |
| 2013 | LASE: an example-based program transformation tool for locating and applying systematic edits. John Jacobellis, Na Meng, Miryung Kim |
| 2013 | LASE: locating and applying systematic edits by learning from examples. Na Meng, Miryung Kim, Kathryn S. McKinley |
| 2013 | Learning revised models for planning in adaptive systems. Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue |
| 2013 | Liberating pair programming research from the oppressive Driver/Observer regime. Stephan Salinger, Franz Zieris, Lutz Prechelt |
| 2013 | MCT: a tool for commenting programs by multimedia comments. Yiyang Hao, Ge Li, Lili Mou, Lu Zhang, Zhi Jin |
| 2013 | MIDAS: a design quality assessment method for industrial software. Ganesh Samarthyam, Girish Suryanarayana, Tushar Sharma, Shrinath Gupta |
| 2013 | Managing non-functional uncertainty via model-driven adaptivity. Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli |
| 2013 | Measuring architecture quality by structure plus history analysis. Robert W. Schwanke, Lu Xiao, Yuanfang Cai |
| 2013 | Measuring the forensic-ability of audit logs for nonrepudiation. Jason King |
| 2013 | Memoise: a tool for memoized symbolic execution. Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu |
| 2013 | Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis. Lwin Khin Shar, Hee Beng Kuan Tan, Lionel C. Briand |
| 2013 | Mitigating the obsolescence of specification models of service-based systems. Romina Torres |
| 2013 | NavClus: a graphical recommender for assisting code exploration. Seonah Lee, Sungwon Kang, Matt Staats |
| 2013 | Normalizing source code vocabulary to support program comprehension and software quality. Latifa Guerrouj |
| 2013 | Not going to take this anymore: multi-objective overtime planning for software engineering projects. Filomena Ferrucci, Mark Harman, Jian Ren, Federica Sarro |
| 2013 | Novice understanding of program analysis tool notifications. Brittany Johnson |
| 2013 | Observable modified Condition/Decision coverage. Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats |
| 2013 | Obtaining ground-truth software architectures. Joshua Garcia, Ivo Krka, Chris Mattmann, Nenad Medvidovic |
| 2013 | On extracting unit tests from interactive live programming sessions. Adrian Kuhn |
| 2013 | On identifying user complaints of iOS apps. Hammad Khalid |
| 2013 | On the relationships between domain-based coupling and code clones: an exploratory study. Md. Saidur Rahman, Amir Aryani, Chanchal K. Roy, Fabrizio Perin |
| 2013 | On the value of user preferences in search-based software engineering: a case study in software product lines. Abdel Salam Sayyad, Tim Menzies, Hany H. Ammar |
| 2013 | POPT: a problem-oriented programming and testing approach for novice students. Vicente Lustosa Neto, Roberta Coelho, Larissa Leite, Dalton Serey Guerrero, Andrea P. Mendonça |
| 2013 | Partition-based regression verification. Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury |
| 2013 | Path sensitive static analysis of web applications for remote code execution vulnerability detection. Yunhui Zheng, Xiangyu Zhang |
| 2013 | Pathways to technology transfer and adoption: achievements and challenges (mini-tutorial). Dongmei Zhang, Tao Xie |
| 2013 | PorchLight: a tag-based approach to bug triaging. Gerald Bortis, André van der Hoek |
| 2013 | Practical semantic test simplification. Sai Zhang |
| 2013 | Predicting bug-fixing time: an empirical study of commercial software projects. Hongyu Zhang, Liang Gong, Steven Versteeg |
| 2013 | Pricing crowdsourcing-based software development tasks. Ke Mao, Ye Yang, Mingshu Li, Mark Harman |
| 2013 | Program transformations to fix C integers. Zack Coker, Munawar Hafiz |
| 2013 | Quantitative program slicing: separating statements by relevance. Raúl A. Santelices, Yiji Zhang, Siyuan Jiang, Haipeng Cai, Ying-Jie Zhang |
| 2013 | Query quality prediction and reformulation for source code search: the refoqus tool. Sonia Haiduc, Giuseppe De Rosa, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, Andrian Marcus |
| 2013 | RADAR: a tool for debugging regression problems in C/C++ software. Fabrizio Pastore, Leonardo Mariani, Alberto Goffi |
| 2013 | RERAN: timing- and touch-sensitive record and replay for Android. Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, Todd D. Millstein |
| 2013 | Reasoning with qualitative preferences to develop optimal component-based systems. Zachary J. Oster |
| 2013 | Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendation. Vipin Balachandran |
| 2013 | Reliability analysis in symbolic pathfinder. Antonio Filieri, Corina S. Pasareanu, Willem Visser |
| 2013 | Reproducing and debugging field failures in house. Wei Jin |
| 2013 | Requirements modelling by synthesis of deontic input-output automata. Emmanuel Letier, William Heaven |
| 2013 | Reverb: recommending code-related web pages. Nicholas Sawadsky, Gail C. Murphy, Rahul Jiresal |
| 2013 | Robust reconfigurations of component assemblies. Fabienne Boyer, Olivier Gruber, Damien Pous |
| 2013 | SNIPR: complementing code search with code retargeting capabilities. Huascar Sanchez |
| 2013 | Safe software updates via multi-version execution. Petr Hosek, Cristian Cadar |
| 2013 | Scaling agile methods to regulated environments: an industry case study. Brian Fitzgerald, Klaas-Jan Stol, Ryan O'sullivan, Donal O'Brien |
| 2013 | Seahawk: stack overflow in the IDE. Luca Ponzanelli, Alberto Bacchelli, Michele Lanza |
| 2013 | Search-based genetic optimization for deployment and reconfiguration of software in the cloud. Sören Frey, Florian Fittkau, Wilhelm Hasselbring |
| 2013 | Segmented symbolic analysis. Wei Le |
| 2013 | 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, Dong Yuan |
| 2013 | SemFix: program repair via semantic analysis. Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra |
| 2013 | Semantic smells and errors in access control models: a case study in PHP. François Gauthier, Ettore Merlo |
| 2013 | Service networks for development communities. Damian A. Tamburri, Patricia Lago, Hans van Vliet |
| 2013 | Situational awareness: personalizing issue tracking systems. Olga Baysal, Reid Holmes, Michael W. Godfrey |
| 2013 | Sketching software in the wild. David Socha, Josh Tenenberg |
| 2013 | Software analytics: achievements and challenges. Dongmei Zhang, Tao Xie |
| 2013 | Software metrics: pitfalls and best practices. Eric Bouwers, Arie van Deursen, Joost Visser |
| 2013 | Software requirement patterns. Xavier Franch |
| 2013 | Strategies for product-line verification: case studies and experiments. Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, Dirk Beyer |
| 2013 | Studios in software engineering education: towards an evaluable model. Christopher N. Bull, Jon Whittle, Leon Cruickshank |
| 2013 | Studying the effect of co-change dispersion on software quality. Ehsan Kouroshfar |
| 2013 | Supporting application development with structured queries in the cloud. Michael Smit, Bradley Simmons, Mark Shtern, Marin Litoiu |
| 2013 | Supporting incremental programming with ghosts. Oscar Callaú |
| 2013 | Supporting maintenance tasks on transformational code generation environments. Victor Guana |
| 2013 | Supporting swift reaction: automatically uncovering performance problems by systematic experiments. Alexander Wert, Jens Happe, Lucia Happe |
| 2013 | Systematically selecting a software module during opportunistic reuse. Naveen Kulkarni |
| 2013 | Teaching and learning programming and software engineering via interactive gaming. Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop |
| 2013 | Teaching developer skills in the first software engineering course. Václav Rajlich |
| 2013 | Teaching software process modeling. Marco Kuhrmann, Daniel Méndez Fernández, Jürgen Münch |
| 2013 | Teaching students global software engineering skills using distributed scrum. Maria Paasivaara, Casper Lassenius, Daniela E. Damian, Petteri Räty, Adrian Schröter |
| 2013 | Technical debt: past, present, and future (panel). Steven Fraser, Judith Bishop, Barry W. Boehm, Pradeep Kathail, Philippe Kruchten, Ipek Ozkaya, Alexandra Szynkarski |
| 2013 | Temporal code completion and navigation. Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov |
| 2013 | TestEvol: a tool for analyzing test-suite evolution. Leandro Sales Pinto, Saurabh Sinha, Alessandro Orso |
| 2013 | The connection between movie making and software development (keynote). Tony DeRose |
| 2013 | The design of bug fixes. Emerson R. Murphy-Hill, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan |
| 2013 | The role of domain knowledge and cross-functional communication in socio-technical coordination. Daniela E. Damian, Remko Helms, Irwin Kwan, Sabrina Marczak, Benjamin Koelewijn |
| 2013 | Toddler: detecting performance problems via similar memory-access patterns. Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu |
| 2013 | Toward a software product line for affective-driven self-adaptive systems. Javier Gonzalez Sanchez |
| 2013 | Towards automated testing and fixing of re-engineered feature models. Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon |
| 2013 | Towards recognizing and rewarding efficient developer work patterns. Will Snipes, Vinay Augustine, Anil R. Nair, Emerson R. Murphy-Hill |
| 2013 | Town hall discussion of SE 2004 revisions (panel). Mark A. Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark J. Sebern, Willem Visser |
| 2013 | Transfer defect learning. Jaechang Nam, Sinno Jialin Pan, Sunghun Kim |
| 2013 | UML in practice. Marian Petre |
| 2013 | Understanding and simulating software evolution. Zhongpeng Lin |
| 2013 | Understanding regression failures through test-passing and test-failing code changes. Roykrong Sukkerd, Ivan Beschastnikh, Jochen Wuttke, Sai Zhang, Yuriy Brun |
| 2013 | Unifying FSM-inference algorithms through declarative specification. Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy |
| 2013 | User involvement in software evolution practice: a case study. Dennis Pagano, Bernd Brügge |
| 2013 | Using mutation analysis for a model-clone detector comparison framework. Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, James R. Cordy |
| 2013 | V: ISSUE: LIZER: exploring requirements clarification in online communication over time. Eric Knauss, Daniela E. Damian |
| 2013 | Vulnerability of the day: concrete demonstrations for software engineering undergraduates. Andrew Meneely, Samuel Lucidi |
| 2013 | What good are strong specifications? Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer |
| 2013 | Why did this code change? Sarah Rastkar, Gail C. Murphy |
| 2013 | Why don't software developers use static analysis tools to find bugs? Brittany Johnson, Yoonki Song, Emerson R. Murphy-Hill, Robert W. Bowdidge |
| 2013 | X-PERT: accurate identification of cross-browser issues in web applications. Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
| 2013 | YODA: young and newcomer developer assistant. Gerardo Canfora, Massimiliano Di Penta, Stefano Giannantonio, Rocco Oliveto, Sebastiano Panichella |