default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID35th ICSE 2013: San Francisco, CA, USA
- David Notkin, Betty H. C. Cheng, Klaus Pohl:
35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-3076-3
Technical Research
Composition
- Paola Inverardi, Massimo Tivoli
:
Automatic synthesis of modular connectors via composition of protocol mediation patterns. 3-12 - Fabienne Boyer, Olivier Gruber, Damien Pous:
Robust reconfigurations of component assemblies. 13-22 - Yun Young Lee, Nicholas Chen, Ralph E. Johnson:
Drag-and-drop refactoring: intuitive and efficient program transformation. 23-32
Adaptation
- Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli:
Managing non-functional uncertainty via model-driven adaptivity. 33-42 - Naeem Esfahani, Sam Malek, Kaveh Razavi:
GuideArch: guiding the exploration of architectural solution space under uncertainty. 43-52 - Christoph Dorn, Richard N. Taylor:
Coupling software architecture and human architecture for collaboration-aware system adaptation. 53-62 - Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue:
Learning revised models for planning in adaptive systems. 63-71
Apps
- Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, Todd D. Millstein:
RERAN: timing- and touch-sensitive record and replay for Android. 72-81 - Amruta Gokhale, Vinod Ganapathy, Yogesh Padmanaban:
Inferring likely mappings between APIs. 82-91 - Shuai Hao, Ding Li, William G. J. Halfond, Ramesh Govindan:
Estimating mobile application energy consumption using program analysis. 92-101
Testing
- Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats:
Observable modified Condition/Decision coverage. 102-111 - Raphael Pham, Leif Singer, Olga Liskin, Fernando Marques Figueira Filho, Kurt Schneider:
Creating a shared understanding of testing culture on a social coding site. 112-121 - Ella Bounimova, Patrice Godefroid, David A. Molnar:
Billions and billions of constraints: whitebox fuzz testing in production. 122-131
Test-Case Generation
- Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta:
Feedback-directed unit test generation for C/C++ using concolic execution. 132-141 - Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo:
A learning-based method for combining testing techniques. 142-151 - Amanda Swearngin, Myra B. Cohen, Bonnie E. John, Rachel K. E. Bellamy:
Human performance regression testing. 152-161 - Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra:
Guided test generation for web applications. 162-171
Test-Case Selection
- Mohammad Mahdi Hassan, James H. Andrews:
Comparing multi-point stride coverage and dataflow coverage. 172-181 - Dale Blue, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Interaction-based test-suite minimization. 182-191 - Lingming Zhang, Dan Hao, Lu Zhang, Gregg Rothermel, Hong Mei:
Bridging the gap between the total and additional test-case prioritization strategies. 192-201
Formal Analysis
- Cong Tian, Zhenhua Duan:
Detecting spurious counterexamples efficiently in abstract model checking. 202-211 - Wei Le:
Segmented symbolic analysis. 212-221 - John Hatcliff, Robby, Patrice Chalin, Jason Belt:
Explicating symbolic execution (xSymExe): an evidence-based verification framework. 222-231
Formal Specification
- Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Aluminum: principled scenario exploration through minimality. 232-241 - Shahar Maoz, Yaniv Sa'ar:
Counter play-out: executing unrealizable scenario-based specifications. 242-251 - Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy:
Unifying FSM-inference algorithms through declarative specification. 252-261 - Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer:
What good are strong specifications? 262-271
Analysis
- William N. Sumner, Xiangyu Zhang:
Comparative causality: explaining the differences between executions. 272-281 - Michael Pradel, Thomas R. Gross:
Automatic testing of sequential and concurrent substitutability. 282-291 - Felienne Hermans, Ben Sedee, Martin Pinzger, Arie van Deursen:
Data clone detection and visualization in spreadsheets. 292-301
Code Analysis
- Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury:
Partition-based regression verification. 302-311 - Sai Zhang, Michael D. Ernst:
Automated diagnosis of software configuration errors. 312-321 - Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek:
Detecting deadlock in programs with data-centric synchronization. 322-331
Debugging
- Emerson R. Murphy-Hill, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan:
The design of bug fixes. 332-341 - Gerald Bortis, André van der Hoek:
PorchLight: a tag-based approach to bug triaging. 342-351 - Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks:
Expositor: scriptable time-travel debugging with first-class traces. 352-361 - Jonathan Bell, Nikhil Sarda, Gail E. Kaiser:
Chronicler: lightweight recording to reproduce field failures. 362-371
Bug Prediction
- Chris Lewis, Zhongpeng Lin, Caitlin Sadowski, Xiaoyan Zhu, Rong Ou, E. James Whitehead Jr.:
Does bug prediction support human developers? findings from a google case study. 372-381 - Jaechang Nam, Sinno Jialin Pan, Sunghun Kim:
Transfer defect learning. 382-391 - Kim Herzig, Sascha Just, Andreas Zeller:
It's not a bug, it's a feature: how misclassification impacts bug prediction. 392-401
Big Data
- Weiyi Shang, Zhen Ming Jiang, Hadi Hemmati, Bram Adams, Ahmed E. Hassan, Patrick Martin:
Assisting developers of big data analytics applications when deploying on hadoop clouds. 402-411 - Jérôme Vouillon, Roberto Di Cosmo:
Broken sets in software repository evolution. 412-421 - Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen:
Boa: a language and infrastructure for analyzing ultra-large-scale software repositories. 422-431
Process
- Foyzur Rahman, Premkumar T. Devanbu:
How, and why, process metrics are better. 432-441 - Daniela E. Damian, Remko Helms, Irwin Kwan, Sabrina Marczak, Benjamin Koelewijn:
The role of domain knowledge and cross-functional communication in socio-technical coordination. 442-451 - Daryl Posnett, Raissa M. D'Souza, Premkumar T. Devanbu, Vladimir Filkov:
Dual ecological measures of focus in software development. 452-461 - Filomena Ferrucci, Mark Harman, Jian Ren, Federica Sarro:
Not going to take this anymore: multi-objective overtime planning for software engineering projects. 462-471
Product Lines
- Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Beyond boolean product-line model checking: dealing with feature attributes and multi-features. 472-481 - Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, Dirk Beyer:
Strategies for product-line verification: case studies and experiments. 482-491 - Abdel Salam Sayyad, Tim Menzies, Hany H. Ammar:
On the value of user preferences in search-based software engineering: a case study in software product lines. 492-501
Search-Based SE
- Na Meng, Miryung Kim, Kathryn S. McKinley:
LASE: locating and applying systematic edits by learning from examples. 502-511 - Sören Frey, Florian Fittkau, Wilhelm Hasselbring:
Search-based genetic optimization for deployment and reconfiguration of software in the cloud. 512-521 - Annibale Panichella, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, Andrea De Lucia:
How to effectively use topic models for software engineering tasks? an approach based on genetic algorithms. 522-531
Performance
- Thomas Bartenstein, Yu David Liu:
Green streams for data-intensive software. 532-541 - Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen:
Dynamic synthesis of local time requirement for service composition. 542-551 - Alexander Wert, Jens Happe, Lucia Happe:
Supporting swift reaction: automatically uncovering performance problems by systematic experiments. 552-561 - Adrian Nistor, Linhai Song, Darko Marinov, Shan Lu:
Toddler: detecting performance problems via similar memory-access patterns. 562-571
Requirements Engineering
- Nan Niu, Anas Mahmoud, Zhangji Chen, Gary Bradshaw:
Departures from optimality: understanding human analyst's information foraging in assisted requirements tracing. 572-581 - Laura V. Galvis Carreño, Kristina Winbladh:
Analysis of user comments: an approach for software requirements evolution. 582-591 - Emmanuel Letier, William Heaven:
Requirements modelling by synthesis of deontic input-output automata. 592-601
Reliability
- Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel:
Automated reliability estimation over partial systematic explorations. 602-611 - Petr Hosek, Cristian Cadar:
Safe software updates via multi-version execution. 612-621 - Antonio Filieri, Corina S. Pasareanu, Willem Visser:
Reliability analysis in symbolic pathfinder. 622-631
Security and Privacy
- Inah Omoronyia, Luca Cavallaro, Mazeiar Salehie, Liliana Pasquale, Bashar Nuseibeh:
Engineering adaptive privacy: on the role of privacy awareness requirements. 632-641 - Lwin Khin Shar, Hee Beng Kuan Tan, Lionel C. Briand:
Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis. 642-651 - Yunhui Zheng, Xiangyu Zhang:
Path sensitive static analysis of web applications for remote code execution vulnerability detection. 652-661 - Mohamed Almorsy, John Grundy, Amani S. Ibrahim:
Automated software architecture security risk analysis using formalized signatures. 662-671
Analysis Studies
- Brittany Johnson, Yoonki Song, Emerson R. Murphy-Hill, Robert W. Bowdidge:
Why don't software developers use static analysis tools to find bugs? 672-681 - Aiko Fallas Yamashita, Leon Moonen:
Exploring the impact of inter-smell relations on software maintainability: an empirical study. 682-691 - Gabriele Bavota, Bogdan Dit, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk, Andrea De Lucia:
An empirical study on the developers' perception of software coupling. 692-701
Empirical Studies
- Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso:
X-PERT: accurate identification of cross-browser issues in web applications. 702-711 - Alberto Bacchelli, Christian Bird:
Expectations, outcomes, and challenges of modern code review. 712-721 - Marian Petre:
UML in practice. 722-731 - Bakhtiar Khan Kasi, Anita Sarma:
Cassandra: proactive conflict minimization through optimized task scheduling. 732-741
Programming Support
- Alex Potanin, Monique Damitio, James Noble:
Are your incoming aliases really necessary? counting the cost of object ownership. 742-751 - Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip:
Efficient construction of approximate call graphs for JavaScript IDE services. 752-761 - Jinshui Wang, Xin Peng, Zhenchang Xing, Wenyun Zhao:
Improving feature location practice with multi-faceted interactive exploration. 762-771
Program Repair
- Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra:
SemFix: program repair via semantic analysis. 772-781 - Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè:
Automatic recovery from runtime failures. 782-791 - Zack Coker, Munawar Hafiz:
Program transformations to fix C integers. 792-801 - Dongsun Kim, Jaechang Nam, Jaewoo Song, Sunghun Kim:
Automatic patch generation learned from human-written patches. 802-811
Tools
- Nicholas Sawadsky, Gail C. Murphy, Rahul Jiresal:
Reverb: recommending code-related web pages. 812-821 - Andreas Scharf, Till Amma:
Dynamic injection of sketching features into GEF based diagram editors. 822-831 - Peter C. Rigby, Martin P. Robillard:
Discovering essential code elements in informal documentation. 832-841 - Sonia Haiduc, Gabriele Bavota, Andrian Marcus, Rocco Oliveto, Andrea De Lucia, Tim Menzies:
Automatic query reformulations for text retrieval in software engineering. 842-851
Keynotes
- Pamela Samuelson:
Are software patents bad? (keynote). 855 - Tony DeRose:
The connection between movie making and software development (keynote). 856 - Linda M. Northrop:
Does scale really matter? ultra-large-scale systems seven years after the study (keynote). 857
Software Engineering in Practice
Technical Debt: Past, Present, and Future
- Steven Fraser, Judith Bishop, Barry W. Boehm, Pradeep Kathail, Philippe Kruchten, Ipek Ozkaya, Alexandra Szynkarski:
Technical debt: past, present, and future (panel). 861-862
Agile and Distributed Practices
- Brian Fitzgerald, Klaas-Jan Stol, Ryan O'Sullivan, Donal O'Brien:
Scaling agile methods to regulated environments: an industry case study. 863-872 - Alan W. Brown, Scott Ambler, Walker Royce:
Agility at scale: economic governance, measured improvement, and disciplined delivery. 873-881 - Ekrem Kocaguneli, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, Tim Menzies:
Distributed development considered harmful? 882-890
Software Architecture
- Robert W. Schwanke, Lu Xiao, Yuanfang Cai:
Measuring architecture quality by structure plus history analysis. 891-900 - Joshua Garcia, Ivo Krka, Chris Mattmann, Nenad Medvidovic:
Obtaining ground-truth software architectures. 901-910 - Ganesh Samarthyam, Girish Suryanarayana, Tushar Sharma, Shrinath Gupta:
MIDAS: a design quality assessment method for industrial software. 911-920
Metrics and Evaluation
- Eric Bouwers, Arie van Deursen, Joost Visser:
Evaluating usefulness of software metrics: an industrial experience report. 921-930 - Vipin Balachandran:
Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendation. 931-940 - Aldo Dagnino:
Estimating software-intensive projects in the absence of historical data. 941-950
Mini-Tutorial
- Dongmei Zhang, Tao Xie:
Pathways to technology transfer and adoption: achievements and challenges (mini-tutorial). 951-952
Case Studies
- Dennis Pagano, Bernd Brügge:
User involvement in software evolution practice: a case study. 953-962 - Sihan Li, Hucheng Zhou, Haoxiang Lin, Tian Xiao, Haibo Lin, Wei Lin, Tao Xie:
A characteristic study on failures of production distributed data-parallel programs. 963-972 - Rafael Prikladnicki, Erran Carmel:
Is time-zone proximity an advantage for software development? the case of the brazilian IT industry. 973-981 - Stephany Bellomo, Robert L. Nord, Ipek Ozkaya:
A study of enabling factors for rapid fielding: combined practices to balance speed and stability. 982-991
Testing
- Indradeep Ghosh, Nastaran Shafiei, Guodong Li, Wei-Fan Chiang:
JST: an automatic test generation tool for industrial Java applications with strings. 992-1001 - Suresh Thummalapenta, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Sivagami Gnanasundaram, Deepa D. Nagaraj, Sampathkumar Sathishkumar:
Efficient and change-resilient test automation: an industrial case study. 1002-1011 - Haroon Malik, Hadi Hemmati, Ahmed E. Hassan:
Automatic detection of performance deviations in the load testing of large scale systems. 1012-1021
Bug Detection
- Henning Femmer, Dharmalingam Ganesan, Mikael Lindvall, David McComas:
Detecting inconsistencies in wrappers: a case study. 1022-1031 - Marcelo Serrano Zanetti, Ingo Scholtes, Claudio Juan Tessone, Frank Schweitzer:
Categorizing bugs with social networks: a case study on four open source software communities. 1032-1041 - Hongyu Zhang, Liang Gong, Steven Versteeg:
Predicting bug-fixing time: an empirical study of commercial software projects. 1042-1051
Software Engineering in Education
Problem-Based and Studio Learning
- Simone C. dos Santos, Felipe Santana Furtado Soares:
Authentic assessment in software engineering education based on PBL principles: a case study in the telecom market. 1055-1062 - Christopher N. Bull, Jon Whittle, Leon Cruickshank:
Studios in software engineering education: towards an evaluable model. 1063-1072 - Dastyni Loksa, Nicolas Mangano, Thomas D. LaToza, André van der Hoek:
Enabling a classroom design studio with a collaborative sketch design tool. 1073-1082 - Amir Zeid:
A framework to evaluate software engineering student contests: evaluation and integration with academic programs. 1083-1089
Teaching Introductory Software Engineering
- David S. Janzen, John Clements, Michael Hilton:
An evaluation of interactive test-driven labs with WebIDE in CS0. 1090-1098 - Vicente Lustosa Neto, Roberta Coelho, Larissa Leite, Dalton Serey Guerrero, Andrea P. Mendonça:
POPT: a problem-oriented programming and testing approach for novice students. 1099-1108 - Václav Rajlich:
Teaching developer skills in the first software engineering course. 1109-1116 - Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop:
Teaching and learning programming and software engineering via interactive gaming. 1117-1126