Table of Contents

• Socio-technical coordination (keynote)James D. Herbsleb. 1 [doi]
• Ready-set-transfer: exploring the technology transfer readiness of academic research projects (panel)Jane Cleland-Huang, Daniela Damian, Smita Ghaisas. 2-3 [doi]
• Software engineering for the web: the state of the practiceAlex Nederlof, Ali Mesbah, Arie van Deursen. 4-13 [doi]
• An empirical study of structural defects in industrial use-casesDeepti Parachuri, A. S. M. Sajeev, Rakesh Shukla. 14-23 [doi]
• Where do developers log? an empirical study on logging practices in industryQiang Fu, Jieming Zhu, Wenlu Hu, Jian-Guang Lou, Rui Ding, Qingwei Lin, Dongmei Zhang, Tao Xie. 24-33 [doi]
• Active files as a measure of software maintainabilityLukas Schulte, Hitesh Sajnani, Jacek Czerwonka. 34-43 [doi]
• Nondeterminism in MapReduce considered harmful? an empirical study on non-commutative aggregators in MapReduce programsTian Xiao, Jiaxing Zhang, Hucheng Zhou, Zhenyu Guo, Sean McDirmid, Wei Lin, Wenguang Chen, Lidong Zhou. 44-53 [doi]
• Automated software integration flows in industry: a multiple-case studyDaniel Ståhl, Jan Bosch. 54-63 [doi]
• How to build a good practice software project portfolio?Hennie Huijgens, Rini van Solingen, Arie van Deursen. 64-73 [doi]
• Distributed-pair programming can work well and is not just distributed pair-programmingJulia Schenk, Lutz Prechelt, Stephan Salinger. 74-83 [doi]
• Empirical insights into the perceived benefits of agile software engineering practices: a case study from SAPChristoph Tobias Schmidt, Srinivasa Ganesha Venkatesha, Juergen Heymann. 84-92 [doi]
• Evidence-based decision making in lean software project managementBrian Fitzgerald, Mariusz Musial, Klaas-Jan Stol. 93-102 [doi]
• Analyzing software data: after the gold rush (a goldfish-bowl panel)Tim Menzies, Christian Bird, Thomas Zimmermann. 103-104 [doi]
• Experiences gamifying developer adoption of practices and toolsWill Snipes, Anil R. Nair, Emerson R. Murphy-Hill. 105-114 [doi]
• Objective safety compliance checks for source codeAlois Mayr, Reinhold Plösch, Matthias Saft. 115-124 [doi]
• A case study on testing, commissioning, and operation of very-large-scale software systemsMichael Vierhauser, Rick Rabiser, Paul Grünbacher. 125-134 [doi]
• Assessing model-based testing: an empirical study conducted in industryChristoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Daniel Goldman. 135-144 [doi]
• Collecting and leveraging a benchmark of build system clones to aid in quality assessmentsShane McIntosh, Martin Poehlmann, Elmar Juergens, Audris Mockus, Bram Adams, Ahmed E. Hassan, Brigitte Haupt, Christian Wagner. 145-154 [doi]
• Improving software through automatic untangling of cyclic dependenciesMaayan Goldstein, Dany Moshkovich. 155-164 [doi]
• A systematic approach to transforming system requirements into model checking specificationsDaniel Aceituna, Hyunsook Do, Sudarshan Srinivasan. 165-174 [doi]
• A candid industrial evaluation of formal software verification using model checkingMatthew Bennion, Ibrahim Habli. 175-184 [doi]
• Architectural dependency analysis to understand rework costs for safety-critical systemsRobert L. Nord, Ipek Ozkaya, Raghvinder S. Sangwan, Ronald J. Koontz. 185-194 [doi]
• Characterization of operational failures from a business data processing SaaS platformCatello Di Martino, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Geetika Goel, Santonu Sarkar, Rajeshwari Ganesan. 195-204 [doi]
• Extrinsic influence factors in software reliability: a study of 200, 000 windows machinesChristian Bird, Venkatesh Prasad Ranganath, Thomas Zimmermann, Nachiappan Nagappan, Andreas Zeller. 205-214 [doi]
• Configurations everywhere: implications for testing and debugging in practiceDongpu Jin, Xiao Qu, Myra B. Cohen, Brian Robinson. 215-224 [doi]
• Software feature location in practice: debugging aircraft simulation systemsSalman Hoseini, Abdelwahab Hamou-Lhadj, Patrick Desrosiers, Martin Tapp. 225-234 [doi]
• Deriving requirements model from textual use casesKiran Prakash Sawant, Suman Roy, Srivibha Sripathi, François Plesse, A. S. M. Sajeev. 235-244 [doi]
• Tracking requirements evolution by using issue tickets: a case study of a document management and approval systemShinobu Saito, Yukako Iimura, Kenji Takahashi, Aaron K. Massey, Annie I. Antón. 245-254 [doi]
• Using MOOCs to reinvigorate software engineering education (keynote)Armando Fox. 255 [doi]
• Functional programming for all! scaling a MOOC for students and professionals alikeHeather Miller, Philipp Haller, Lukas Rytz, Martin Odersky. 256-263 [doi]
• Knowledge transfer in collaborative teams: experiences from a two-week code campTerhi Kilamo, Antti Nieminen, Janne Lautamäki, Timo Aho, Johannes Koskinen, Jarmo Palviainen, Tommi Mikkonen. 264-271 [doi]
• Quasi-crowdsourcing testing for educational projectsZhenyu Chen, Bin Luo. 272-275 [doi]
• Teaching reuse-driven software engineering through innovative role playingGerald Kotonya, Jaejoon Lee. 276-282 [doi]
• Towards a supercollaborative software engineering MOOCWilliam Billingsley, Jim R. H. Steel. 283-286 [doi]
• Teaching students to understand large programs by understanding historical contextCollin McMillan, Richard Oosterhoff. 287-290 [doi]
• Investigating the skill gap between graduating students and industry expectationsAlex Radermacher, Gursimran S. Walia, Dean Knudson. 291-300 [doi]
• Deploying an online software engineering education program in a globally distributed organizationJohn P. Hudepohl, Alpana Dubey, Sylvie Moisy, Jessica Thompson, Hans-Martin Niederer. 301-310 [doi]
• Scenario-based programming: reducing the cognitive load, fostering abstract thinkingGiora Alexandron, Michal Armoni, Michal Gordon, David Harel. 311-320 [doi]
• Lessons learned managing distributed software engineering coursesReid Holmes, Michelle Craig, Karen L. Reid, Eleni Stroulia. 321-324 [doi]
• State-based monitoring and goal-driven project steering: field study of the SEMAT essence frameworkCécile Péraire, Todd Sedano. 325-334 [doi]
• Introduction of continuous delivery in multi-customer project coursesStephan Krusche, Lukas Alperowitz. 335-343 [doi]
• Process mining software repositories from student projects in an undergraduate software engineering courseMegha Mittal, Ashish Sureka. 344-353 [doi]
• Comparing test quality measures for assessing student-written testsStephen H. Edwards, Zalia Shams. 354-363 [doi]
• An inverted classroom experience: engaging students in architectural thinking for agile projectsJane Cleland-Huang, Muhammad Ali Babar, Mehdi Mirakhorli. 364-371 [doi]
• Quantitative assessment with using ticket driven development for teaching scrum frameworkHiroshi Igaki, Naoki Fukuyasu, Sachio Saiki, Shinsuke Matsumoto, Shinji Kusumoto. 372-381 [doi]
• Teaching students scrum using LEGO blocksMaria Paasivaara, Ville Heikkilä, Casper Lassenius, Towo Toivola. 382-391 [doi]
• A compiler project with learning progressionsDerek Rayside. 392-399 [doi]
• Integrating software project resources using source code identifiersLaura Inozemtseva, Siddharth Subramanian, Reid Holmes. 400-403 [doi]
• Development context driven change awareness and analysis frameworkAnita Sarma, Joshua Branchaud, Matthew B. Dwyer, Suzette Person, Neha Rungta. 404-407 [doi]
• New opportunities for extracting insights from cloud based IDEsYi Wang 0013, Patrick Wagstrom, Evelyn Duesterwald, David F. Redmiles. 408-411 [doi]
• Cloudlet-based cyber-foraging for mobile systems in resource-constrained edge environmentsGrace A. Lewis, Sébastian Echeverría, Soumya Simanta, Ben Bradshaw, James Root. 412-415 [doi]
• A runtime cloud efficiency software quality metricMark Shtern, Michael Smit, Bradley Simmons, Marin Litoiu. 416-419 [doi]
• Metamorphic fault tolerance: an automated and systematic methodology for fault tolerance in the absence of test oracleHuai Liu, Iman I. Yusuf, Heinz W. Schmidt, Tsong Yueh Chen. 420-423 [doi]
• Software bug localization with markov logicSai Zhang, Congle Zhang. 424-427 [doi]
• Steering model-based oracles to admit real program behaviorsGregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl. 428-431 [doi]
• Shadow symbolic execution for better testing of evolving softwareCristian Cadar, Hristina Palikareva. 432-435 [doi]
• Leveraging P2P networks to address the test scenario explosion problemMark Micallef, Conrad Attard, Andrea Mangion, Sebastian Attard. 436-439 [doi]
• A framework to advise tests using testsYurong Wang, Suzette Person, Sebastian G. Elbaum, Matthew B. Dwyer. 440-443 [doi]
• Brainware: synergizing software systems and neural inputsShihong Huang, Emmanuelle Tognoli. 444-447 [doi]
• Quantifying programmers' mental workload during program comprehension based on cerebral blood flow measurement: a controlled experimentTakao Nakagawa, Yasutaka Kamei, Hidetake Uwano, Akito Monden, Ken-ichi Matsumoto, Daniel M. Germán. 448-451 [doi]
• Who is the expert? combining intention and knowledge of online discussants in collaborative RE tasksItzel Morales-Ramirez, Matthieu Vergne, Mirko Morandini, Alberto Siena, Anna Perini, Angelo Susi. 452-455 [doi]
• Who asked what: integrating crowdsourced FAQs into API documentationCong Chen, Kang Zhang. 456-459 [doi]
• A world full of surprises: bayesian theory of surprise to quantify degrees of uncertaintyNelly Bencomo, Amel Belaggoun. 460-463 [doi]
• Modeling self-adaptive software systems with learning petri netsZuohua Ding, Yuan Zhou, MengChu Zhou. 464-467 [doi]
• Automatic search term identification for change tasksKatja Kevic, Thomas Fritz. 468-471 [doi]
• An automated approach to detect violations with high confidence in incremental code using a learning systemRadhika D. Venkatasubramanyam, Shrinath Gupta. 472-475 [doi]
• A novel quantitative evaluation approach for software project schedules using statistical model checkingDehui Du, Mingsong Chen, Xiao Liu, Yun Yang. 476-479 [doi]
• Reusable execution replay: execution record and replay for source code reuseAmeer Armaly, Casey Ferris, Collin McMillan. 480-483 [doi]
• Mining precise performance-aware behavioral models from existing instrumentationTony Ohmann, Kevin Thai, Ivan Beschastnikh, Yuriy Brun. 484-487 [doi]
• Writing bidirectional model transformations as intentional updatesTao Zan, Hugo Pacheco, Zhenjiang Hu. 488-491 [doi]
• Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approachesMatias Martinez, Westley Weimer, Martin Monperrus. 492-495 [doi]
• Reproducing software failures by exploiting the action history of undo featuresTobias Roehm, Bernd Bruegge. 496-499 [doi]
• Bugarium: 3d interaction for supporting large-scale bug repositories analysisPapon Yongpisanpop, Hideaki Hata, Ken-ichi Matsumoto. 500-503 [doi]
• RegViz: visual debugging of regular expressionsFabian Beck, Stefan Gulan, Benjamin Biegel, Sebastian Baltes, Daniel Weiskopf. 504-507 [doi]
• Characterizing defect trends in software supportTung Thanh Nguyen, Evelyn Duesterwald, Tim Klinger, Peter Santhanam, Tien N. Nguyen. 508-511 [doi]
• On failure classification: the impact of "getting it wrong"Davide Falessi, Bill Kidwell, Jane Huffman Hayes, Forrest Shull. 512-515 [doi]
• API as a social glueRohan Padhye, Debdoot Mukherjee, Vibha Singhal Sinha. 516-519 [doi]
• Software engineering for 'social good': integrating action research, participatory design, and agile developmentMaria Angela Ferrario, William Simm, Peter Newman, Stephen Forshaw, Jon Whittle. 520-523 [doi]
• Collaborative infrastructure for test-driven scientific model validationCyrus Omar, Jonathan Aldrich, Richard C. Gerkin. 524-527 [doi]
• Lab-based action design researchPaul Ralph. 528-531 [doi]
• Flexible product line engineering with a virtual platformMichal Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lämmel, Stefan Stanciulescu, Andrzej Wasowski, Ina Schaefer. 532-535 [doi]
• Compiler error notifications revisited: an interaction-first approach for helping developers more effectively comprehend and resolve error notificationsTitus Barik, Jim Witschey, Brittany Johnson, Emerson R. Murphy-Hill. 536-539 [doi]
• ImpactMiner: a tool for change impact analysisBogdan Dit, Michael Wagner, Shasha Wen, Weilin Wang, Mario Linares Vásquez, Denys Poshyvanyk, Huzefa H. Kagdi. 540-543 [doi]
• Migrating code with statistical machine translationAnh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen. 544-547 [doi]
• LTSA-PCA: tool support for compositional reliability analysisPedro Rodrigues, Emil Lupu, Jeff Kramer. 548-551 [doi]
• DASHboards: enhancing developer situational awarenessOleksii Kononenko, Olga Baysal, Reid Holmes, Michael W. Godfrey. 552-555 [doi]
• Product assignment recommenderJialiang Xie, Qimu Zheng, Minghui Zhou, Audris Mockus. 556-559 [doi]
• Verily: a web framework for creating more reasonable web applicationsJohn L. Singleton, Gary T. Leavens. 560-563 [doi]
• VeriWS: a tool for verification of combined functional and non-functional requirements of web service compositionManman Chen, Tian Huat Tan, Jun Sun 0001, Yang Liu, Jin Song Dong. 564-567 [doi]
• SEWordSim: software-specific word similarity databaseYuan Tian, David Lo, Julia L. Lawall. 568-571 [doi]
• BOAT: an experimental platform for researchers to comparatively and reproducibly evaluate bug localization techniquesXinyu Wang, David Lo, Xin Xia, Xingen Wang, Pavneet Singh Kochhar, Yuan Tian, Xiaohu Yang, Shanping Li, Jianling Sun, Bo Zhou. 572-575 [doi]
• VMVM: unit test virtualization for JavaJonathan Bell, Gail E. Kaiser. 576-579 [doi]
• ViVA: a visualization and analysis tool for distributed event-based systemsYoun Kyu Lee, Jae young Bang, Joshua Garcia, Nenad Medvidovic. 580-583 [doi]
• Cookbook: in situ code completion using edit recipes learned from examplesJohn Jacobellis, Na Meng, Miryung Kim. 584-587 [doi]
• Atlas: a new way to explore software, build analysis toolsTom Deering, Suresh Kothari, Jeremias Sauceda, Jon Mathews. 588-591 [doi]
• Teamscale: software quality control in real-timeLars Heinemann, Benjamin Hummel, Daniela Steidl. 592-595 [doi]
• APISynth: a new graph-based API recommender systemChen Lv, Wei Jiang, Yue Liu, Songlin Hu. 596-597 [doi]
• Shedding light on distributed system executionsJenny Abrahamson, Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst. 598-599 [doi]
• Fault localization for build code errors in makefilesJafar M. Al-Kofahi, Hung Viet Nguyen, Tien N. Nguyen. 600-601 [doi]
• Avoiding deadlocks using stalemate and dimmunixSurabhi Pandey, Sushanth Bhat, Vivek K. Shanbhag. 602-603 [doi]
• Assuring system goals under uncertainty with active formal models of self-adaptationM. Usman Iftikhar, Danny Weyns. 604-605 [doi]
• Timing challenges in automotive software architecturesLicong Zhang, Reinhard Schneider 0001, Alejandro Masrur, Martin Becker 0001, Martin Geier, Samarjit Chakraborty. 606-607 [doi]
• An adaptive bayesian approach for URL selection to test performance of large scale web-based systemsAlim Ul Gias, Kazi Sakib. 608-609 [doi]
• DEECo: an ecosystem for cyber-physical systemsRima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil. 610-611 [doi]
• Calibrating use case pointsAli Bou Nassif, Luiz Fernando Capretz, Danny Ho. 612-613 [doi]
• The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systemsSteffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, Uwe Pohlmann. 614-615 [doi]
• Model-driven development of diverse user interfacesZhiyi Ma, Wei Zhang, Chih-Yi Yeh. 616-617 [doi]
• Statistical learning of API mappings for language migrationAnh Tuan Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen. 618-619 [doi]
• Asymmetric software structures in the Linux kernelLei Wang, Ping Wang, Zhen Wang. 620-621 [doi]
• Towards designing assistive software applications for discrete trial trainingValerie Picardo, Samuel Metson, Rashina Hoda, Robert Amor, Angela Arnold-Saritepe, Rebecca Sharp, Denys Brand. 622-623 [doi]
• An optimized design approach for extending HMI systems with mobile devicesManasvi Jain, Rahul C. P. Raj, SeshuBabu Tolety. 624-625 [doi]
• Proposing a theory of gamification effectivenessBilal Amir, Paul Ralph. 626-627 [doi]
• Modeling and model checking by modular approachMo Xia, GuiMing Luo, Mian Sun. 628-629 [doi]
• Hybrid test data generationZicong Liu, Zhenyu Chen, Chunrong Fang, Qingkai Shi. 630-631 [doi]
• Software defect prediction based on collaborative representation classificationXiao-Yuan Jing, Zhi-Wu Zhang, Shi Ying, Feng Wang, Yang-Ping Zhu. 632-633 [doi]
• COASTmed: software architectures for delivering customizable, policy-based differential web servicesAlegria Baquero. 634-637 [doi]
• Formal verification problems in a big data world: towards a mighty synergyMatteo Camilli. 638-641 [doi]
• Cross-platform testing and maintenance of web and mobile applicationsShauvik Roy Choudhary. 642-645 [doi]
• Human aspects, gamification, and social media in collaborative software engineeringBogdan Vasilescu. 646-649 [doi]
• ReuseSEEM: an approach to support the definition, modeling, and analysis of software ecosystemsRodrigo Pereira dos Santos. 650-653 [doi]
• Summarization of complex software artifactsLaura Moreno. 654-657 [doi]
• Nirikshan: process mining software repositories to identify inefficiencies, imperfections, and enhance existing process capabilitiesMonika Gupta. 658-661 [doi]
• Performance analysis of object-oriented softwareDavid Maplesden. 662-665 [doi]
• Improving exception handling with recommendationsEiji Adachi Barbosa. 666-669 [doi]
• Verifying incomplete and evolving specificationsClaudio Menghi. 670-673 [doi]
• Quantitative properties of software systems: specification, verification, and synthesisSrdan Krstic. 674-677 [doi]
• Automatic generation of cost-effective test oraclesAlberto Goffi. 678-681 [doi]
• Dynamic data-flow testingMattia Vivanti. 682-685 [doi]
• Holistic recommender systems for software engineeringLuca Ponzanelli. 686-689 [doi]
• Understanding the dynamics of test-driven developmentDavide Fucci. 690-693 [doi]
• On the use of visualization for supporting software reuseMarcelo Schots. 694-697 [doi]
• Understanding the redundancy of software systemsAndrea Mattavelli. 698-701 [doi]
• Study of task processes for improving programmer productivityDamodaram Kamma. 702-705 [doi]
• Improving enterprise software maintenance efficiency through mining software repositories in an industry contextSenthil Mani. 706-709 [doi]
• Enhancing feature interfaces for supporting software product line maintenanceBruno Barbieri Pontes Cafeo. 710-713 [doi]
• Supporting evolution and maintenance of Android appsMario Linares Vásquez. 714-717 [doi]
• Exception handling for dynamic information flow controlAbhishek Bichhawat. 718-720 [doi]
• Automatic performance modeling of multithreaded programsAlexander Tarvo. 721-723 [doi]
• Incremental reachability checking of KernelC programs using matching logicAlessandro Maria Rizzi. 724-726 [doi]
• Exploiting undefined behaviors for efficient symbolic executionAsankhaya Sharma. 727-729 [doi]
• Identifying caching opportunities, effortlesslyAlejandro Infante. 730-732 [doi]
• Program transformations to fix C buffer overflowsAlex Shaw. 733-735 [doi]
• Characteristics of the vulnerable code changes identified through peer code reviewAmiangshu Bosu. 736-738 [doi]
• Privacy and security requirements framework for the internet of things (IoT)Israa Alqassem. 739-741 [doi]