BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH X-WR-CALNAME:Events of ICSE 2013 PRODID:-//Generated by Conference Publishing//EN BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T103000 DTEND;TZID=America/Los_Angeles:20130522T120000 SUMMARY:Composition LOCATION: DESCRIPTION:Composition (Chair: Sebastian Uchitel)\n\nAutomatic Synthesis o f Modular Connectors via Composition of Protocol Mediation Patterns\nPaola Inverardi and Massimo Tivoli\nUniversity of L'Aquila\, Italy\n\nRobust Reco nfigurations of Component Assemblies\nFabienne Boyer\, Olivier Gruber\, and Damien Pous\nUniversité Joseph Fourier\, France\; CNRS\, France\n\nDrag-an d-Drop Refactoring: Intuitive and Efficient Program Transformation\nYun You ng Lee\, Nicholas Chen\, and Ralph E. Johnson\nUniversity of Illinois at Ur bana-Champaign\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T133000 DTEND;TZID=America/Los_Angeles:20130522T153000 SUMMARY:Adaptation LOCATION: DESCRIPTION:Adaptation (Chair: Valerie Issarny)\n\nManaging Non-functional Uncertainty via Model-Driven Adaptivity\nCarlo Ghezzi\, Leandro Sales Pinto \, Paola Spoletini\, and Giordano Tamburrelli\nPolitecnico di Milano\, Ital y\; Università dell'Insubria\, Italy\n\nGuideArch: Guiding the Exploration of Architectural Solution Space under Uncertainty\nNaeem Esfahani\, Sam Mal ek\, and Kaveh Razavi\nGeorge Mason University\, USA\n\nCoupling Software A rchitecture and Human Architecture for Collaboration-Aware System Adaptatio n\nChristoph Dorn and Richard N. Taylor\nTU Vienna\, Austria\; UC Irvine\, USA\n\nLearning Revised Models for Planning in Adaptive Systems\nDaniel Syk es\, Domenico Corapi\, Jeff Magee\, Jeff Kramer\, Alessandra Russo\, and Ka tsumi Inoue\nImperial College London\, UK\; National Institute of Informati cs\, Japan\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T160000 DTEND;TZID=America/Los_Angeles:20130522T173000 SUMMARY:Apps LOCATION: DESCRIPTION:Apps (Chair: Schahram Dustdar)\n\nRERAN: Timing- and Touch-Sens itive Record and Replay for Android\nLorenzo Gomez\, Iulian Neamtiu\, Tanzi rul Azim\, and Todd Millstein\nUC Los Angeles\, USA\; UC Riverside\, USA\n\ nInferring Likely Mappings between APIs\nAmruta Gokhale\, Vinod Ganapathy\, and Yogesh Padmanaban\nRutgers University\, USA\n\nEstimating Mobile Appli cation Energy Consumption using Program Analysis\nShuai Hao\, Ding Li\, Wil liam G. J. Halfond\, and Ramesh Govindan\nUniversity of Southern California \, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T103000 DTEND;TZID=America/Los_Angeles:20130522T120000 SUMMARY:Testing LOCATION: DESCRIPTION:Testing (Chair: Willem Visser)\n\nObservable Modified Condition /Decision Coverage\nMichael Whalen\, Gregory Gay\, Dongjiang You\, Mats P. E. Heimdahl\, and Matt Staats\nUniversity of Minnesota\, USA\; KAIST\, Sout h Korea\n\nCreating a Shared Understanding of Testing Culture on a Social C oding Site\nRaphael Pham\, Leif Singer\, Olga Liskin\, Fernando Figueira Fi lho\, and Kurt Schneider\nLeibniz Universität Hannover\, Germany\; UFRN\, B razil\n\nBillions and Billions of Constraints: Whitebox Fuzz Testing in Pro duction\nElla Bounimova\, Patrice Godefroid\, and David Molnar\nMicrosoft R esearch\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T133000 DTEND;TZID=America/Los_Angeles:20130522T153000 SUMMARY:Test-Case Generation LOCATION: DESCRIPTION:Test-Case Generation (Chair: Lionel Briand)\n\nFeedback-Directe d Unit Test Generation for C/C++ using Concolic Execution\nPranav Garg\, Fr anjo Ivancic\, Gogul Balakrishnan\, Naoto Maeda\, and Aarti Gupta\nUniversi ty of Illinois at Urbana-Champaign\, USA\; NEC Labs\, USA\; NEC\, Japan\n\n A Learning-Based Method for Combining Testing Techniques\nDomenico Cotroneo \, Roberto Pietrantuono\, and Stefano Russo\nUniversità di Napoli Federico II\, Italy\; Lab CINI-ITEM Carlo Savy\, Italy\n\nHuman Performance Regressi on Testing\nAmanda Swearngin\, Myra B. Cohen\, Bonnie E. John\, and Rachel K. E. Bellamy\nUniversity of Nebraska-Lincoln\, USA\; IBM Research\, USA\n\ nGuided Test Generation for Web Applications\nSuresh Thummalapenta\, K. Vas anta Lakshmi\, Saurabh Sinha\, Nishant Sinha\, and Satish Chandra\nIBM Rese arch\, India\; Indian Institute of Science\, India\; IBM Research\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T160000 DTEND;TZID=America/Los_Angeles:20130522T173000 SUMMARY:Test-Case Selection LOCATION: DESCRIPTION:Test-Case Selection (Chair: Mauro Pezzè)\n\nComparing Multi-poi nt Stride Coverage and Dataflow Coverage\nMohammad Mahdi Hassan and James H . Andrews\nUniversity of Western Ontario\, Canada\n\nInteraction-Based Test -Suite Minimization\nDale Blue\, Itai Segall\, Rachel Tzoref-Brill\, and Av iad Zlotnick\nIBM\, USA\; IBM Research\, Israel\n\nBridging the Gap between the Total and Additional Test-Case Prioritization Strategies\nLingming Zha ng\, Dan Hao\, Lu Zhang\, Gregg Rothermel\, and Hong Mei\nPeking University \, China\; University of Texas at Austin\, USA\; University of Nebraska-Lin coln\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T103000 DTEND;TZID=America/Los_Angeles:20130522T120000 SUMMARY:Formal Analysis LOCATION: DESCRIPTION:Formal Analysis (Chair: Robyn Lutz)\n\nDetecting Spurious Count erexamples Efficiently in Abstract Model Checking\nCong Tian and Zhenhua Du an\nXidian University\, China\n\nSegmented Symbolic Analysis\nWei Le\nRoche ster Institute of Technology\, USA\n\nExplicating Symbolic Execution (xSymE xe): An Evidence-Based Verification Framework\nJohn Hatcliff\, Robby\, Pat rice Chalin\, and Jason Belt\nKansas State University\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T133000 DTEND;TZID=America/Los_Angeles:20130522T153000 SUMMARY:Formal Specification LOCATION: DESCRIPTION:Formal Specification (Chair: Matt Dwyer)\n\nAluminum: Principle d Scenario Exploration through Minimality\nTim Nelson\, Salman Saghafi\, Da niel J. Dougherty\, Kathi Fisler\, and Shriram Krishnamurthi\nWorcester Pol ytechnic Institute\, USA\; Brown University\, USA\n\nCounter Play-Out: Exec uting Unrealizable Scenario-Based Specifications\nShahar Maoz and Yaniv Sa' ar\nTel Aviv University\, Israel\; Weizmann Institute of Science\, Israel\n \nUnifying FSM-Inference Algorithms through Declarative Specification\nIvan Beschastnikh\, Yuriy Brun\, Jenny Abrahamson\, Michael D. Ernst\, and Arvi nd Krishnamurthy\nUniversity of Washington\, USA\; University of Massachuse tts\, USA\n\nWhat Good Are Strong Specifications?\nNadia Polikarpova\, Carl o A. Furia\, Yu Pei\, Yi Wei\, and Bertrand Meyer\nETH Zurich\, Switzerland \; ITMO National Research University\, Russia\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T160000 DTEND;TZID=America/Los_Angeles:20130522T173000 SUMMARY:Analysis LOCATION: DESCRIPTION:Analysis (Chair: Frank Tip)\n\nComparative Causality: Explainin g the Differences between Executions\nWilliam N. Sumner and Xiangyu Zhang\n Purdue University\, USA\n\nAutomatic Testing of Sequential and Concurrent S ubstitutability\nMichael Pradel and Thomas R. Gross\nETH Zurich\, Switzerla nd\n\nData Clone Detection and Visualization in Spreadsheets\nFelienne Herm ans\, Ben Sedee\, Martin Pinzger\, and Arie van Deursen\nTU Delft\, Netherl ands\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T103000 DTEND;TZID=America/Los_Angeles:20130523T120000 SUMMARY:Code Analysis LOCATION: DESCRIPTION:Code Analysis (Chair: Alessandro Orso)\n\nPartition-Based Regre ssion Verification\nMarcel Böhme\, Bruno C. d. S. Oliveira\, and Abhik Royc houdhury\nNational University of Singapore\, Singapore\n\nAutomated Diagnos is of Software Configuration Errors\nSai Zhang and Michael D. Ernst\nUniver sity of Washington\, USA\n\nDetecting Deadlock in Programs with Data-Centri c Synchronization\nDaniel Marino\, Christian Hammer\, Julian Dolby\, Mandan a Vaziri\, Frank Tip\, and Jan Vitek\nSymantec Research Labs\, USA\; Saarla nd University\, Germany\; IBM Research\, USA\; University of Waterloo\, Can ada\; Purdue University\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T133000 DTEND;TZID=America/Los_Angeles:20130523T153000 SUMMARY:Debugging LOCATION: DESCRIPTION:Debugging (Chair: Margaret Burnett)\n\nThe Design of Bug Fixes\ nEmerson Murphy-Hill\, Thomas Zimmermann\, Christian Bird\, and Nachiappan Nagappan\nNorth Carolina State University\, USA\; Microsoft Research\, USA\ n\nPorchLight: A Tag-Based Approach to Bug Triaging\nGerald Bortis and Andr é van der Hoek\nUC Irvine\, USA\n\nExpositor: Scriptable Time-Travel Debugg ing with First-Class Traces\nYit Phang Khoo\, Jeffrey S. Foster\, and Micha el Hicks\nUniversity of Maryland\, USA\n\nChronicler: Lightweight Recording to Reproduce Field Failures\nJonathan Bell\, Nikhil Sarda\, and Gail Kaise r\nColumbia University\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T160000 DTEND;TZID=America/Los_Angeles:20130523T173000 SUMMARY:Bug Prediction LOCATION: DESCRIPTION:Bug Prediction (Chair: Jane Hayes)\n\nDoes Bug Prediction Suppo rt Human Developers? Findings from a Google Case Study\nChris Lewis\, Zhong peng Lin\, Caitlin Sadowski\, Xiaoyan Zhu\, Rong Ou\, and E. James Whitehea d Jr.\nUC Santa Cruz\, USA\; Google\, USA\; Xi'an Jiaotong University\, Chi na\n\nTransfer Defect Learning\nJaechang Nam\, Sinno Jialin Pan\, and Sungh un Kim\nHong Kong University of Science and Technology\, China\; Institute for Infocomm Research\, Singapore\n\nIt's Not a Bug\, It's a Feature: How M isclassification Impacts Bug Prediction\nKim Herzig\, Sascha Just\, and And reas Zeller\nSaarland University\, Germany\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T103000 DTEND;TZID=America/Los_Angeles:20130523T120000 SUMMARY:Big Data LOCATION: DESCRIPTION:Big Data (Chair: Prem Devanbu)\n\nAssisting Developers of Big D ata Analytics Applications When Deploying on Hadoop Clouds\nWeiyi Shang\, Z hen Ming Jiang\, Hadi Hemmati\, Bram Adams\, Ahmed E. Hassan\, and Patrick Martin\nQueen's University\, Canada\; Polytechnique Montréal\, Canada\n\nBr oken Sets in Software Repository Evolution\nJérôme Vouillon and Roberto Di Cosmo\nUniversity of Paris Diderot\, France\; CNRS\, France\; INRIA\, Franc e\n\nBoa: A Language and Infrastructure for Analyzing Ultra-Large-Scale Sof tware Repositories\nRobert Dyer\, Hoan Anh Nguyen\, Hridesh Rajan\, and Tie n N. Nguyen\nIowa State University\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T133000 DTEND;TZID=America/Los_Angeles:20130523T153000 SUMMARY:Process LOCATION: DESCRIPTION:Process (Chair: Paul Grünbacher)\n\nHow\, and Why\, Process Met rics Are Better\nFoyzur Rahman and Premkumar Devanbu\nUC Davis\, USA\n\nThe Role of Domain Knowledge and Cross-Functional Communication in Socio-Techn ical Coordination\nDaniela Damian\, Remko Helms\, Irwin Kwan\, Sabrina Marc zak\, and Benjamin Koelewijn\nUniversity of Victoria\, Canada\; Utrecht Uni versity\, Netherlands\; Oregon State University\, USA\; PUCRS\, Brazil\n\nD ual Ecological Measures of Focus in Software Development\nDaryl Posnett\, R aissa D'Souza\, Premkumar Devanbu\, and Vladimir Filkov\nUC Davis\, USA\n\n Not Going to Take This Anymore: Multi-objective Overtime Planning for Softw are Engineering Projects\nFilomena Ferrucci\, Mark Harman\, Jian Ren\, and Federica Sarro\nUniversity of Salerno\, Italy\; University College London\, UK\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T160000 DTEND;TZID=America/Los_Angeles:20130523T173000 SUMMARY:Product Lines LOCATION: DESCRIPTION:Product Lines (Chair: Jean-Marc Jézéquel)\n\nBeyond Boolean Pro duct-Line Model Checking: Dealing with Feature Attributes and Multi-feature s\nMaxime Cordy\, Pierre-Yves Schobbens\, Patrick Heymans\, and Axel Legay\ nUniversity of Namur\, Belgium\; IRISA\, France\; INRIA\, France\; Universi ty of Liège\, Belgium\n\nStrategies for Product-Line Verification: Case Stu dies and Experiments\nSven Apel\, Alexander von Rhein\, Philipp Wendler\, A rmin Größlinger\, and Dirk Beyer\nUniversity of Passau\, Germany\n\nOn the Value of User Preferences in Search-Based Software Engineering: A Case Stud y in Software Product Lines\nAbdel Salam Sayyad\, Tim Menzies\, and Hany Am mar\nWest Virginia University\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T103000 DTEND;TZID=America/Los_Angeles:20130523T120000 SUMMARY:Search-Based SE LOCATION: DESCRIPTION:Search-Based SE (Chair: Mark Harman)\n\nLASE: Locating and Appl ying Systematic Edits by Learning from Examples\nNa Meng\, Miryung Kim\, an d Kathryn S. McKinley\nUniversity of Texas at Austin\, USA\; Microsoft Rese arch\, USA\n\nSearch-Based Genetic Optimization for Deployment and Reconfig uration of Software in the Cloud\nSören Frey\, Florian Fittkau\, and Wilhel m Hasselbring\nKiel University\, Germany\n\nHow to Effectively Use Topic Mo dels for Software Engineering Tasks? An Approach Based on Genetic Algorithm s\nAnnibale Panichella\, Bogdan Dit\, Rocco Oliveto\, Massimiliano Di Penta \, Denys Poshyvanyk\, and Andrea De Lucia\nUniversity of Salerno\, Italy\; College of William and Mary\, USA\; University of Molise\, Italy\; Universi ty of Sannio\, Italy\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T133000 DTEND;TZID=America/Los_Angeles:20130523T153000 SUMMARY:Performance LOCATION: DESCRIPTION:Performance (Chair: Wilhelm Hasselbring)\n\nGreen Streams for D ata-Intensive Software\nThomas W. Bartenstein and Yu David Liu\nSUNY Bingha mton\, USA\n\nDynamic Synthesis of Local Time Requirement for Service Compo sition\nTian Huat Tan\, Étienne André\, Jun Sun\, Yang Liu\, Jin Song Dong\ , and Manman Chen\nNational University of Singapore\, Singapore\; Universit é Paris 13\, France\; CNRS\, France\; Singapore University of Technology an d Design\, Singapore\; Nanyang Technological University\, Singapore\n\nSupp orting Swift Reaction: Automatically Uncovering Performance Problems by Sys tematic Experiments\nAlexander Wert\, Jens Happe\, and Lucia Happe\nKIT\, G ermany\; SAP Research\, Germany\n\nToddler: Detecting Performance Problems via Similar Memory-Access Patterns\nAdrian Nistor\, Linhai Song\, Darko Mar inov\, and Shan Lu\nUniversity of Illinois at Urbana-Champaign\, USA\; Univ ersity of Wisconsin-Madison\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T160000 DTEND;TZID=America/Los_Angeles:20130523T173000 SUMMARY:Requirements Engineering LOCATION: DESCRIPTION:Requirements Engineering (Chair: Jon Whittle)\n\nDepartures fro m Optimality: Understanding Human Analyst's Information Foraging in Assiste d Requirements Tracing\nNan Niu\, Anas Mahmoud\, Zhangji Chen\, and Gary Br adshaw\nMississippi State University\, USA\n\nAnalysis of User Comments: An Approach for Software Requirements Evolution\nLaura V. Galvis Carreño and Kristina Winbladh\nUniversity of Delaware\, USA\n\nRequirements Modelling b y Synthesis of Deontic Input-Output Automata\nEmmanuel Letier and William H eaven\nUniversity College London\, UK\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T103000 DTEND;TZID=America/Los_Angeles:20130524T120000 SUMMARY:Reliability LOCATION: DESCRIPTION:Reliability (Chair: John C. Knight)\n\nAutomated Reliability Es timation over Partial Systematic Explorations\nEsteban Pavese\, Víctor Brab erman\, and Sebastian Uchitel\nUniversidad de Buenos Aires\, Argentina\; Im perial College London\, UK\n\nSafe Software Updates via Multi-version Execu tion\nPetr Hosek and Cristian Cadar\nImperial College London\, UK\n\nReliab ility Analysis in Symbolic Pathfinder\nAntonio Filieri\, Corina S. Păsărean u\, and Willem Visser\nUniversity of Stuttgart\, Germany\; Carnegie Mellon Silicon Valley\, USA\; NASA Ames Research Center\, USA\; Stellenbosch Unive rsity\, South Africa\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T133000 DTEND;TZID=America/Los_Angeles:20130524T153000 SUMMARY:Security and Privacy LOCATION: DESCRIPTION:Security and Privacy (Chair: Robert B. France)\n\nEngineering A daptive Privacy: On the Role of Privacy Awareness Requirements\nInah Omoron yia\, Luca Cavallaro\, Mazeiar Salehie\, Liliana Pasquale\, and Bashar Nuse ibeh\nUniversity of Glasgow\, UK\; Lero\, Ireland\; University of Limerick\ , Ireland\; Open University\, UK\n\nMining SQL Injection and Cross Site Scr ipting Vulnerabilities using Hybrid Program Analysis\nLwin Khin Shar\, Hee Beng Kuan Tan\, and Lionel C. Briand\nNanyang Technological University\, Si ngapore\; University of Luxembourg\, Luxembourg\n\nPath Sensitive Static An alysis of Web Applications for Remote Code Execution Vulnerability Detectio n\nYunhui Zheng and Xiangyu Zhang\nPurdue University\, USA\n\nAutomated Sof tware Architecture Security Risk Analysis using Formalized Signatures\nMoha med Almorsy\, John Grundy\, and Amani S. Ibrahim\nSwinburne University of T echnology\, Australia\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T103000 DTEND;TZID=America/Los_Angeles:20130524T120000 SUMMARY:Analysis Studies LOCATION: DESCRIPTION:Analysis Studies (Chair: Jim Herbsleb)\n\nWhy Don't Software De velopers Use Static Analysis Tools to Find Bugs?\nBrittany Johnson\, Yoonki Song\, Emerson Murphy-Hill\, and Robert Bowdidge\nNorth Carolina State Uni versity\, USA\; Google\, USA\n\nExploring the Impact of Inter-smell Relatio ns on Software Maintainability: An Empirical Study\nAiko Yamashita and Leon Moonen\nSimula Research Laboratory\, Norway\n\nAn Empirical Study on the D evelopers' Perception of Software Coupling\nGabriele Bavota\, Bogdan Dit\, Rocco Oliveto\, Massimiliano Di Penta\, Denys Poshyvanyk\, and Andrea De Lu cia\nUniversity of Salerno\, Italy\; College of William and Mary\, USA\; Un iversity of Molise\, Italy\; University of Sannio\, Italy\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T133000 DTEND;TZID=America/Los_Angeles:20130524T153000 SUMMARY:Empirical Studies LOCATION: DESCRIPTION:Empirical Studies (Chair: Nachiappan Nagappan)\n\nX-PERT: Accur ate Identification of Cross-Browser Issues in Web Applications\nShauvik Roy Choudhary\, Mukul R. Prasad\, and Alessandro Orso\nGeorgia Tech\, USA\; Fu jitsu Labs\, USA\n\nExpectations\, Outcomes\, and Challenges of Modern Code Review\nAlberto Bacchelli and Christian Bird\nUniversity of Lugano\, Switz erland\; Microsoft Research\, USA\n\nUML in Practice\nMarian Petre\nOpen Un iversity\, UK\n\nCassandra: Proactive Conflict Minimization through Optimiz ed Task Scheduling\nBakhtiar Khan Kasi and Anita Sarma\nUniversity of Nebra ska-Lincoln\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T103000 DTEND;TZID=America/Los_Angeles:20130524T120000 SUMMARY:Programming Support LOCATION: DESCRIPTION:Programming Support (Chair: Mehdi Jazayeri)\n\nAre Your Incomin g Aliases Really Necessary? Counting the Cost of Object Ownership\nAlex Pot anin\, Monique Damitio\, and James Noble\nVictoria University of Wellington \, New Zealand\n\nEfficient Construction of Approximate Call Graphs for Jav aScript IDE Services\nAsger Feldthaus\, Max Schäfer\, Manu Sridharan\, Juli an Dolby\, and Frank Tip\nAarhus University\, Denmark\; Nanyang Technologic al University\, Singapore\; IBM Research\, USA\; University of Waterloo\, C anada\n\nImproving Feature Location Practice with Multi-faceted Interactive Exploration\nJinshui Wang\, Xin Peng\, Zhenchang Xing\, and Wenyun Zhao\nF udan University\, China\; Nanyang Technological University\, Singapore\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T133000 DTEND;TZID=America/Los_Angeles:20130524T153000 SUMMARY:Program Repair LOCATION: DESCRIPTION:Program Repair (Chair: David Garlan)\n\nSemFix: Program Repair via Semantic Analysis\nHoang Duong Thien Nguyen\, Dawei Qi\, Abhik Roychoud hury\, and Satish Chandra\nNational University of Singapore\, Singapore\; I BM Research\, USA\n\nAutomatic Recovery from Runtime Failures\nAntonio Carz aniga\, Alessandra Gorla\, Andrea Mattavelli\, Nicolò Perino\, and Mauro Pe zzè\nUniversity of Lugano\, Switzerland\; Saarland University\, Germany\n\n Program Transformations to Fix C Integers\nZack Coker and Munawar Hafiz\nAu burn University\, USA\n\nAutomatic Patch Generation Learned from Human-Writ ten Patches\nDongsun Kim\, Jaechang Nam\, Jaewoo Song\, and Sunghun Kim\nHo ng Kong University of Science and Technology\, China\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T133000 DTEND;TZID=America/Los_Angeles:20130524T153000 SUMMARY:Tools LOCATION: DESCRIPTION:Tools (Chair: Wilhelm Schäfer)\n\nReverb: Recommending Code-Rel ated Web Pages\nNicholas Sawadsky\, Gail C. Murphy\, and Rahul Jiresal\nUni versity of British Columbia\, Canada\n\nDynamic Injection of Sketching Feat ures into GEF Based Diagram Editors\nAndreas Scharf and Till Amma\nUniversi ty of Kassel\, Germany\n\nDiscovering Essential Code Elements in Informal D ocumentation\nPeter C. Rigby and Martin P. Robillard\nConcordia University\ , Canada\; McGill University\, Canada\n\nAutomatic Query Reformulations for Text Retrieval in Software Engineering\nSonia Haiduc\, Gabriele Bavota\, A ndrian Marcus\, Rocco Oliveto\, Andrea De Lucia\, and Tim Menzies\nWayne St ate University\, USA\; University of Salerno\, Italy\; University of Molise \, Italy\; University of West Virginia\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T083000 DTEND;TZID=America/Los_Angeles:20130522T100000 SUMMARY:Keynote: Are Software Patents Bad? (Keynote) LOCATION: DESCRIPTION:Are Software Patents Bad? (Keynote) (Chair: Betty H. C. Cheng)\ nPamela Samuelson\nUC Berkeley\, USA\n\nPamela Samuelson is recognized as a pioneer in digital copyright law\, intellectual property\, cyberlaw and in formation policy. She has written and spoken extensively about the challeng es that new information technologies are posing for public policy and tradi tional legal regimes. Since 1996\, she has held a joint appointment with th e Berkeley Law School and the School of Information. She is the director of the Berkeley Center for Law and Technology\, serves on the board of direct ors of the Electronic Frontier Foundation and the Electronic Privacy Inform ation Center\, and on advisory boards for the Public Knowledge\, and the Be rkeley Center for New Media. She is also an advisor for the Samuelson Law\, Technology\, and Public Policy Clinic. Since 2002\, she has also been an h onorary professor at the University of Amsterdam.\n UID:2e77d8cd4b ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T083000 DTEND;TZID=America/Los_Angeles:20130523T100000 SUMMARY:Keynote: The Connection between Movie Making and Software Developme nt (Keynote) LOCATION: DESCRIPTION:The Connection between Movie Making and Software Development (K eynote) (Chair: Gail Murphy)\nTony DeRose\nPixar Research Group\, USA\n\nTo ny DeRose is currently a Senior Scientist and lead of the Research Group at Pixar Animation Studios. He received a BS in Physics in from the Universit y of California\, Davis\, and a Ph.D. in Computer Science from the Universi ty of California\, Berkeley. From 1986 to 1995 Dr. DeRose was a Professor o f Computer Science and Engineering at the University of Washington. In 1998 \, he was a major contributor to the Oscar (c) winning short film "\;Ge ri'\;s game"\;\, in 1999 he received the ACM SIGGRAPH Computer Graph ics Achievement Award\, and in 2006 he received a Scientific and Technical Academy Award (c) for his work on surface representations. In addition to h is research interests\, Tony is also involved in a number of initiatives to help make math\, science\, and engineering education more inspiring and re levant for middle and high school students. One such initiative is the Youn g Makers Program (youngmakers.org) that supports youth in building ambitiou s hands-on projects of their own choosing.\n UID:4e4934d20a ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T083000 DTEND;TZID=America/Los_Angeles:20130524T100000 SUMMARY:Keynote: Does Scale Really Matter? Ultra-Large-Scale Systems Seven Years after the Study (Keynote) LOCATION: DESCRIPTION:Does Scale Really Matter? Ultra-Large-Scale Systems Seven Years after the Study (Keynote) (Chair: Klaus Pohl)\nLinda Northrop\nSEI\, USA\n \nIn 2006\, Ultra-Large-Scale Systems: The Software Challenge of the Future (ISBN 0-9786956-0-7) documented the results of a year-long study on ultra- large\, complex\, distributed systems. Ultra-large-scale (ULS) systems are socio-technical ecosystems of ultra-large size on one or many dimensions nu mber of lines of code\; number of people employing the system for different purposes\; amount of data stored\, accessed\, manipulated\, and refined\; number of connections and interdependencies among software components\; num ber of hardware elements to which they interface. The characteristics of su ch systems require changes in traditional software development and manageme nt practices\, which in turn require a new multi-disciplinary perspective a nd research. A carefully prescribed research agenda was suggested. What has happened since the study results were published? This talk shares a perspe ctive on the post study reality --- a perspective based on research motivat ed by the study and direct experiences with ULS systems. Linda Northrop is director of the Research\, Technology\, and Systems Solution Program at th e Software Engineering Institute (SEI) where she leads the work in architec ture-centric engineering\, software product lines\, cyber-physical systems\ , advanced mobile systems\, and ultra-large-scale systems. Linda is coautho r of the book Software Product Lines: Practices and Patterns and led the re search group on ultra-large-scale systems that resulted in the book\, Ultra -Large-Scale Systems: The Software Challenge of the Future. Before joining the SEI\, she was associated with both the United States Air Force Academy and the State University of New York as professor of computer science\, and with both Eastman Kodak and IBM as a software engineer. She is an SEI Fell ow and an ACM Distinguished Member.\n UID:dd2a160839 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T103000 DTEND;TZID=America/Los_Angeles:20130524T120000 SUMMARY:SEIP: The Lean Mindset (SEIP Keynote) LOCATION: DESCRIPTION:The Lean Mindset (SEIP Keynote) (Chair: Jane Cleland-Huang)\n\n Mary Poppendieck has been in the Information Technology industry for over f orty years. She has managed software development\, supply chain management\ , manufacturing operations\, and new product development. She spearheaded t he implementation of a Just-in-Time system in a 3M video tape manufacturing plant and led new product development teams\, commercializing products ran ging from digital controllers to 3M Light Fiber(TM). Mary is a popular writ er and speaker\, and coauthor of the book Lean Software Development: an Agi le Toolkit\, which was awarded the Software Development Productivity Award in 2004. A sequel\, Implementing Lean Software Development: from Concept to Cash was published in 2006. A third book\, Leading Lean Software Developme nt: Results are Not the Point was published in November 2009.\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T103000 DTEND;TZID=America/Los_Angeles:20130522T120000 SUMMARY:SEIP: Technical Debt: Past\, Present\, and Future LOCATION: DESCRIPTION:Technical Debt: Past\, Present\, and Future (Chair: Steven Fras er)\nSteven Fraser\, Judith Bishop\, Barry Boehm\, Pradeep Kathail\, Philip pe Kruchten\, Ipek Ozkaya\, and Alexandra Szynkarski\nCisco Systems\, USA\; Microsoft Research\, USA\; University of Southern California\, USA\; Unive rsity of British Columbia\, Canada\; SEI\, USA\; CAST\, USA\n\nThe term Tec hnical Debt was coined over 20 years ago by Ward Cunningham in a 1992 OOPSL A experience report to describe the trade-offs between delivering the most appropriate albeit likely immature product\, in the shortest time possible. Since then the repercussions of going into technical debt have become more visible\, yet not necessarily more broadly understood. This panel will bri ng together practitioners to discuss and debate strategies for debt relief. \n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T133000 DTEND;TZID=America/Los_Angeles:20130522T153000 SUMMARY:SEIP: Agile and Distributed Practices LOCATION: DESCRIPTION:Agile and Distributed Practices (Chair: Romain Robbes)\n\nScali ng Agile Methods to Regulated Environments: An Industry Case Study\nBrian F itzgerald\, Klaas-Jan Stol\, Ryan O'Sullivan\, and Donal O'Brien\nLero\, Ir eland\; University of Limerick\, Ireland\; QUMAS\, Ireland\n\nAgility at Sc ale: Economic Governance\, Measured Improvement\, and Disciplined Delivery\ nAlan W. Brown\, Scott Ambler\, and Walker Royce\nUniversity of Surrey\, UK \; Ambler and Associates\, Canada\; IBM\, USA\n\nDistributed Development Co nsidered Harmful?\nEkrem Kocaguneli\, Thomas Zimmermann\, Christian Bird\, Nachiappan Nagappan\, and Tim Menzies\nWest Virginia University\, USA\; Mic rosoft Research\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T160000 DTEND;TZID=America/Los_Angeles:20130522T173000 SUMMARY:SEIP: Software Architecture LOCATION: DESCRIPTION:Software Architecture (Chair: Xavier Franch)\n\nMeasuring Archi tecture Quality by Structure Plus History Analysis\nRobert Schwanke\, Lu Xi ao\, and Yuanfang Cai\nSiemens\, USA\; Drexel University\, USA\n\nObtaining Ground-Truth Software Architectures\nJoshua Garcia\, Ivo Krka\, Chris Matt mann\, and Nenad Medvidovic\nUniversity of Southern California\, USA\; Jet Propulsion Laboratory\, USA\n\nMIDAS: A Design Quality Assessment Method fo r Industrial Software\nGanesh Samarthyam\, Girish Suryanarayana\, Tushar Sh arma\, and Shrinath Gupta\nSiemens\, India\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T160000 DTEND;TZID=America/Los_Angeles:20130522T173000 SUMMARY:SEIP: Metrics and Evaluation LOCATION: DESCRIPTION:Metrics and Evaluation (Chair: Carlos Castro-Herrera)\n\nEvalua ting Usefulness of Software Metrics: An Industrial Experience Report\nEric Bouwers\, Arie van Deursen\, and Joost Visser\nSoftware Improvement Group\, Netherlands\; TU Delft\, Netherlands\; Radboud University Nijmegen\, Nethe rlands\n\nReducing Human Effort and Improving Quality in Peer Code Reviews using Automatic Static Analysis and Reviewer Recommendation\nVipin Balachan dran\nVMware\, India\n\nEstimating Software-Intensive Projects in the Absen ce of Historical Data\nAldo Dagnino\nABB Research\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T103000 DTEND;TZID=America/Los_Angeles:20130523T120000 SUMMARY:SEIP: Mini-Tutorial LOCATION: DESCRIPTION:Mini-Tutorial (Chair: Dongmei Zhang / Tao Xie)\nDongmei Zhang a nd Tao Xie\nMicrosoft Research\, China\; North Carolina State University\, USA\n\nProducing industrial impact has often been one of the important goal s of academic or industrial researchers when conducting research. However\, it is generally challenging to transfer research results into industrial p ractices. There are some common challenges faced when pursuing technology t ransfer and adoption while particular challenges for some particular resear ch areas. At the same time\, various opportunities also exist for technolog y transfer and adoption. This mini-tutorial presents achievements and chall enges of technology transfer and adoption in various areas in software engi neering\, with examples drawn from research areas such as software analytic s along with software testing and analysis. This mini-tutorial highlights s uccess stories in industry\, research achievements that are transferred to industrial practice\, and challenges and lessons learned in technology tran sfer and adoption.\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T133000 DTEND;TZID=America/Los_Angeles:20130523T153000 SUMMARY:SEIP: Case Studies LOCATION: DESCRIPTION:Case Studies (Chair: Erik Simmons)\n\nUser Involvement in Softw are Evolution Practice: A Case Study\nDennis Pagano and Bernd Brügge\nTU Mu nich\, Germany\n\nA Characteristic Study on Failures of Production Distribu ted Data-Parallel Programs\nSihan Li\, Hucheng Zhou\, Haoxiang Lin\, Tian X iao\, Haibo Lin\, Wei Lin\, and Tao Xie\nNorth Carolina State University\, USA\; Microsoft Research\, China\; Tsinghua University\, China\; Microsoft Bing\, China\; Microsoft Bing\, USA\n\nIs Time-Zone Proximity an Advantage for Software Development? The Case of the Brazilian IT Industry\nRafael Pri kladnicki and Erran Carmel\nPUCRS\, Brazil\; American University\, USA\n\nA Study of Enabling Factors for Rapid Fielding: Combined Practices to Balanc e Speed and Stability\nStephany Bellomo\, Robert L. Nord\, and Ipek Ozkaya\ nSEI\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T160000 DTEND;TZID=America/Los_Angeles:20130523T173000 SUMMARY:SEIP: Testing LOCATION: DESCRIPTION:Testing (Chair: Michael Whalen)\n\nJST: An Automatic Test Gener ation Tool for Industrial Java Applications with Strings\nIndradeep Ghosh\, Nastaran Shafiei\, Guodong Li\, and Wei-Fan Chiang\nFujitsu Labs\, USA\; Y ork University\, Canada\; University of Utah\, USA\n\nEfficient and Change- Resilient Test Automation: An Industrial Case Study\nSuresh Thummalapenta\, Pranavadatta Devaki\, Saurabh Sinha\, Satish Chandra\, Sivagami Gnanasunda ram\, Deepa D. Nagaraj\, and Sampathkumar Sathishkumar\nIBM Research\, Indi a\; IBM Research\, USA\; IBM\, India\n\nAutomatic Detection of Performance Deviations in the Load Testing of Large Scale Systems\nHaroon Malik\, Hadi Hemmati\, and Ahmed E. Hassan\nQueen's University\, Canada\; University of Waterloo\, Canada\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T103000 DTEND;TZID=America/Los_Angeles:20130524T120000 SUMMARY:SEIP: Bug Detection LOCATION: DESCRIPTION:Bug Detection (Chair: Robert Schwanke)\n\nDetecting Inconsisten cies in Wrappers: A Case Study\nHenning Femmer\, Dharmalingam Ganesan\, Mik ael Lindvall\, and David McComas\nTU Munich\, Germany\; Fraunhofer CESE\, U SA\; NASA Goddard Space Flight Center\, USA\n\nCategorizing Bugs with Socia l Networks: A Case Study on Four Open Source Software Communities\nMarcelo Serrano Zanetti\, Ingo Scholtes\, Claudio Juan Tessone\, and Frank Schweitz er\nETH Zurich\, Switzerland\n\nPredicting Bug-Fixing Time: An Empirical St udy of Commercial Software Projects\nHongyu Zhang\, Liang Gong\, and Steve Versteeg\nTsinghua University\, China\; CA Technologies\, Australia\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T133000 DTEND;TZID=America/Los_Angeles:20130522T153000 SUMMARY:SEE: Problem-Based and Studio Learning LOCATION: DESCRIPTION:Problem-Based and Studio Learning (Chair: Janet Burge)\n\nAuthe ntic Assessment in Software Engineering Education Based on PBL Principles: A Case Study in the Telecom Market\nSimone C. dos Santos and Felipe S. F. S oares\nUFPE\, Brazil\; Recife Center of Advanced Studies and Systems\, Braz il\n\nStudios in Software Engineering Education: Towards an Evaluable Model \nChristopher N. Bull\, Jon Whittle\, and Leon Cruickshank\nLancaster Unive rsity\, UK\n\nEnabling a Classroom Design Studio with a Collaborative Sketc h Design Tool\nDastyni Loksa\, Nicolas Mangano\, Thomas D. LaToza\, and And ré van der Hoek\nUC Irvine\, USA\n\nA Framework to Evaluate Software Engine ering Student Contests: Evaluation and Integration with Academic Programs\n Amir Zeid\nAmerican University of Kuwait\, Kuwait\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T160000 DTEND;TZID=America/Los_Angeles:20130522T180000 SUMMARY:SEE: Teaching Introductory Software Engineering LOCATION: DESCRIPTION:Teaching Introductory Software Engineering (Chair: Laurie Willi ams)\n\nAn Evaluation of Interactive Test-Driven Labs with WebIDE in CS0\nD avid S. Janzen\, John Clements\, and Michael Hilton\nCal Poly\, USA\n\nPOPT : A Problem-Oriented Programming and Testing Approach for Novice Students\n Vicente Lustosa Neto\, Roberta Coelho\, Larissa Leite\, Dalton S. Guerrero\ , and Andrea P. Mendonça\nUFRN\, Brazil\; UFCG\, Brazil\; IFAM\, Brazil\n\n Teaching Developer Skills in the First Software Engineering Course\nVáclav Rajlich\nWayne State University\, USA\n\nTeaching and Learning Programming and Software Engineering via Interactive Gaming\nNikolai Tillmann\, Jonatha n de Halleux\, Tao Xie\, Sumit Gulwani\, and Judith Bishop\nMicrosoft Resea rch\, USA\; North Carolina State University\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T133000 DTEND;TZID=America/Los_Angeles:20130523T153000 SUMMARY:SEE: Panel: Town Hall Discussion of SE 2004 Revisions LOCATION: DESCRIPTION:Panel: Town Hall Discussion of SE 2004 Revisions (Chair: Debra Richardson)\nMark Ardis\, David Budgen\, Gregory W. Hislop\, Jeff Offutt\, Mark Sebern\, and Willem Visser\nStevens Institute of Technology\, USA\; Du rham University\, UK\; Drexel University\, USA\; George Mason University\, USA\; Milwaukee School of Engineering\, USA\; Stellenbosch University\, Sou th Africa\n\nThis panel will engage participants in a discussion of recent changes in software engineering practice that should be reflected in curric ulum guidelines for undergraduate software engineering programs. Current pr ogress in revising the guidelines will be presented\, including suggestions to update coverage of agile methods\, security and service-oriented comput ing.\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T160000 DTEND;TZID=America/Los_Angeles:20130523T174500 SUMMARY:SEE: Advanced Software Engineering Education LOCATION: DESCRIPTION:Advanced Software Engineering Education (Chair: Rafael Prikladn icki)\n\nTeaching Students Global Software Engineering Skills using Distrib uted Scrum\nMaria Paasivaara\, Casper Lassenius\, Daniela Damian\, Petteri Räty\, and Adrian Schröter\nAalto University\, Finland\; University of Vict oria\, Canada\n\nTeaching Software Process Modeling\nMarco Kuhrmann\, Danie l Méndez Fernández\, and Jürgen Münch\nTU Munich\, Germany\; University of Helsinki\, Finland\n\nIndustry Involvement in ICT Curriculum: A Comparative Survey\nChris J. Pilgrim\nSwinburne University of Technology\, Australia\n \nVulnerability of the Day: Concrete Demonstrations for Software Engineerin g Undergraduates\nAndrew Meneely and Samuel Lucidi\nRochester Institute of Technology\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T103000 DTEND;TZID=America/Los_Angeles:20130522T120000 SUMMARY:NIER: Dependability Perspectives LOCATION: DESCRIPTION:Dependability Perspectives (Chair: Paolo Tonella)\n\nEliminativ e Induction: A Basis for Arguing System Confidence\nJohn B. Goodenough\, Ch arles B. Weinstock\, and Ari Z. Klein\nSEI\, USA\n\nExploring the Internal State of User Interfaces by Combining Computer Vision Techniques with Gramm atical Inference\nPaul Givens\, Aleksandar Chakarov\, Sriram Sankaranarayan an\, and Tom Yeh\nUniversity of Colorado at Boulder\, USA\n\nSemantic Smell s and Errors in Access Control Models: A Case Study in PHP\nFrançois Gauthi er and Ettore Merlo\nPolytechnique Montréal\, Canada\n\nPractical Semantic Test Simplification\nSai Zhang\nUniversity of Washington\, USA\n\nUnderstan ding Regression Failures through Test-Passing and Test-Failing Code Changes \nRoykrong Sukkerd\, Ivan Beschastnikh\, Jochen Wuttke\, Sai Zhang\, and Yu riy Brun\nUniversity of Washington\, USA\; University of Massachusetts\, US A\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T133000 DTEND;TZID=America/Los_Angeles:20130522T153000 SUMMARY:NIER: Supporting Tomorrow's Developer LOCATION: DESCRIPTION:Supporting Tomorrow's Developer (Chair: Walter Tichy)\n\nTempor al Code Completion and Navigation\nYun Young Lee\, Sam Harwell\, Sarfraz Kh urshid\, and Darko Marinov\nUniversity of Illinois at Urbana-Champaign\, US A\; University of Texas at Austin\, USA\n\nSituational Awareness: Personali zing Issue Tracking Systems\nOlga Baysal\, Reid Holmes\, and Michael W. God frey\nUniversity of Waterloo\, Canada\n\nGROPG: A Graphical On-Phone Debugg er\nTuan Anh Nguyen\, Christoph Csallner\, and Nikolai Tillmann\nUniversity of Texas at Arlington\, USA\; Microsoft Research\, USA\n\nWhy Did This Cod e Change?\nSarah Rastkar and Gail C. Murphy\nUniversity of British Columbia \, Canada\n\nDeciphering the Story of Software Development through Frequent Pattern Mining\nNicolas Bettenburg and Andrew Begel\nQueen's University\, Canada\; Microsoft Research\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T103000 DTEND;TZID=America/Los_Angeles:20130523T120000 SUMMARY:NIER: Collaborative Development LOCATION: DESCRIPTION:Collaborative Development (Chair: Daniela Damian)\n\nLiberating Pair Programming Research from the Oppressive Driver/Observer Regime\nStep han Salinger\, Franz Zieris\, and Lutz Prechelt\nFreie Universität Berlin\, Germany\n\nPricing Crowdsourcing-Based Software Development Tasks\nKe Mao\ , Ye Yang\, Mingshu Li\, and Mark Harman\nISCAS\, China\; UCAS\, Cina\; Uni versity College London\, UK\n\nBuilding Test Suites in Social Coding Sites by Leveraging Drive-By Commits\nRaphael Pham\, Leif Singer\, and Kurt Schne ider\nLeibniz Universität Hannover\, Germany\n\nSupporting Application Deve lopment with Structured Queries in the Cloud\nMichael Smit\, Bradley Simmon s\, Mark Shtern\, and Marin Litoiu\nYork University\, Canada\n\nHunting for Smells in Natural Language Tests\nBenedikt Hauptmann\, Maximilian Junker\, Sebastian Eder\, Lars Heinemann\, Rudolf Vaas\, and Peter Braun\nTU Munich \, Germany\; CQSE\, Germany\; Munich Re\, Germany\; Validas\, Germany\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T133000 DTEND;TZID=America/Los_Angeles:20130523T153000 SUMMARY:NIER: Alternative Modeling LOCATION: DESCRIPTION:Alternative Modeling (Chair: Nenad Medvidovic)\n\nBottom-Up Mod el-Driven Development\nHamid Bagheri and Kevin Sullivan\nUniversity of Virg inia\, USA\n\nAn Approach for Restructuring Text Content\nLerina Aversano\, Gerardo Canfora\, Giuseppe De Ruvo\, and Maria Tortorella\nUniversity of S annio\, Italy\n\nA Case for Human-Driven Software Development\nEmilie Balla nd\, Charles Consel\, Bernard N'Kaoua\, and Hélène Sauzéon\nUniversity of B ordeaux\, France\; INRIA\, France\n\nA Framework for Managing Cloned Produc t Variants\nJulia Rubin and Marsha Chechik\nIBM Research\, Israel\; Univers ity of Toronto\, Canada\n\nSketching Software in the Wild\nDavid Socha and Josh Tenenberg\nUniversity of Washington\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T190000 DTEND;TZID=America/Los_Angeles:20130522T203000 SUMMARY:NIER: Posters LOCATION: DESCRIPTION:Posters\n\nOn Extracting Unit Tests from Interactive Live Progr amming Sessions\nAdrian Kuhn\nUniversity of British Columbia\, Canada\n\nTo wards Automated Testing and Fixing of Re-engineered Feature Models\nChristo pher Henard\, Mike Papadakis\, Gilles Perrouin\, Jacques Klein\, and Yves L e Traon\nUniversity of Luxembourg\, Luxembourg\; University of Namur\, Belg ium\n\nComputational Alignment of Goals and Scenarios for Complex Systems\n Dalal Alrajeh\, Alessandra Russo\, James Lockerbie\, Neil Maiden\, Alistair Mavin\, and Mark Novak\nImperial College London\, UK\; City University Lon don\, UK\; Rolls Royce\, UK\; Aero Engine Controls\, UK\n\nService Networks for Development Communities\nDamian A. Tamburri\, Patricia Lago\, and Hans van Vliet\nVU University Amsterdam\, Netherlands\n\nFormal Specifications Better Than Function Points for Code Sizing\nMark Staples\, Rafal Kolanski\ , Gerwin Klein\, Corey Lewis\, June Andronick\, Toby Murray\, Ross Jeffery\ , and Len Bass\nNICTA\, Australia\n\nUsing Mutation Analysis for a Model-Cl one Detector Comparison Framework\nMatthew Stephan\, Manar H. Alalfi\, Andr ew Stevenson\, and James R. Cordy\nQueen's University\, Canada\n\nOn the Re lationships between Domain-Based Coupling and Code Clones: An Exploratory S tudy\nMd Saidur Rahman\, Amir Aryani\, Chanchal K. Roy\, and Fabrizio Perin \nUniversity of Saskatchewan\, Canada\; Australian National University\, Au stralia\; University of Bern\, Switzerland\n\nQuantitative Program Slicing: Separating Statements by Relevance\nRaul Santelices\, Yiji Zhang\, Siyuan Jiang\, Haipeng Cai\, and Ying-Jie Zhang\nUniversity of Notre Dame\, USA\; Tsinghua University\, China\n\nExample-Driven Modeling: Model = Abstraction s + Examples\nKacper Bąk\, Dina Zayan\, Krzysztof Czarnecki\, Michał Antkie wicz\, Zinovy Diskin\, Andrzej Wąsowski\, and Derek Rayside\nUniversity of Waterloo\, Canada\; IT University of Copenhagen\, Denmark\n\nTowards Recogn izing and Rewarding Efficient Developer Work Patterns\nWill Snipes\, Vinay Augustine\, Anil R. Nair\, and Emerson Murphy-Hill\nABB Research\, USA\; AB B Research\, India\; North Carolina State University\, USA\n\nSelecting Che ckpoints along the Time Line: A Novel Temporal Checkpoint Selection Strateg y for Monitoring a Batch of Parallel Business Processes\nXiao Liu\, Yun Yan g\, Dahai Cao\, and Dong Yuan\nEast China Normal University\, China\; Swinb urne University of Technology\, Australia\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T133000 DTEND;TZID=America/Los_Angeles:20130523T153000 SUMMARY:DEMO: Formal Demonstrations 1 LOCATION: DESCRIPTION:Formal Demonstrations 1 (Chair: Yuanfang Cai)\n\nLAMBDAFICATOR: From Imperative to Functional Programming through Automated Refactoring\nL yle Franklin\, Alex Gyori\, Jan Lahoda\, and Danny Dig\nBall State Universi ty\, USA\; Politehnica University of Timisoara\, Romania\; Oracle\, Czech R epublic\; University of Illinois at Urbana-Champaign\, USA\n\nJITTAC: A Jus t-in-Time Tool for Architectural Consistency\nJim Buckley\, Sean Mooney\, J acek Rosik\, and Nour Ali\nUniversity of Limerick\, Ireland\; Lero\, Irelan d\; University of Brighton\, UK\n\nSeahawk: Stack Overflow in the IDE\nLuca Ponzanelli\, Alberto Bacchelli\, and Michele Lanza\nUniversity of Lugano\, Switzerland\n\nDRC: A Detection Tool for Dangling References in PHP-Based Web Applications\nHung Viet Nguyen\, Hoan Anh Nguyen\, Tung Thanh Nguyen\, and Tien N. Nguyen\nIowa State University\, USA\n\nTestEvol: A Tool for Ana lyzing Test-Suite Evolution\nLeandro Sales Pinto\, Saurabh Sinha\, and Ales sandro Orso\nPolitecnico di Milano\, Italy\; IBM Research\, India\; Georgia Tech\, USA\n\nQuery Quality Prediction and Reformulation for Source Code S earch: The Refoqus Tool\nSonia Haiduc\, Giuseppe De Rosa\, Gabriele Bavota\ , Rocco Oliveto\, Andrea De Lucia\, and Andrian Marcus\nWayne State Univers ity\, USA\; University of Salerno\, Italy\; University of Molise\, Italy\n\ nA Large Scale Linux-Kernel Based Benchmark for Feature Location Research\n Zhenchang Xing\, Yinxing Xue\, and Stan Jarzabek\nNanyang Technological Uni versity\, Singapore\; National University of Singapore\, Singapore\n\nNavCl us: A Graphical Recommender for Assisting Code Exploration\nSeonah Lee\, Su ngwon Kang\, and Matt Staats\nKAIST\, South Korea\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T133000 DTEND;TZID=America/Los_Angeles:20130524T153000 SUMMARY:DEMO: Formal Demonstrations 2 LOCATION: DESCRIPTION:Formal Demonstrations 2 (Chair: Ewan Tempero)\n\nLASE: An Examp le-Based Program Transformation Tool for Locating and Applying Systematic E dits\nJohn Jacobellis\, Na Meng\, and Miryung Kim\nUniversity of Texas at A ustin\, USA\n\nCEL: Modeling Everywhere\nRemo Lemma\, Michele Lanza\, and F ernando Olivero\nUniversity of Lugano\, Switzerland\n\nV:ISSUE:LIZER: Explo ring Requirements Clarification in Online Communication over Time\nEric Kna uss and Daniela Damian\nUniversity of Victoria\, Canada\n\nYODA: Young and newcOmer Developer Assistant\nGerardo Canfora\, Massimiliano Di Penta\, Ste fano Giannantonio\, Rocco Oliveto\, and Sebastiano Panichella\nUniversity o f Sannio\, Italy\; University of Molise\, Italy\; University of Salerno\, I taly\n\nRADAR: A Tool for Debugging Regression Problems in C/C++ Software\n Fabrizio Pastore\, Leonardo Mariani\, and Alberto Goffi\nUniversity of Mila no-Bicocca\, Italy\; University of Lugano\, Switzerland\n\nMCT: A Tool for Commenting Programs by Multimedia Comments\nYiyang Hao\, Ge Li\, Lili Mou\, Lu Zhang\, and Zhi Jin\nPeking University\, China\; Chinese Academy of Sci ences-AMSS\, China\n\nMemoise: A Tool for Memoized Symbolic Execution\nGuow ei Yang\, Sarfraz Khurshid\, and Corina S. Păsăreanu\nUniversity of Texas a t Austin\, USA\; Carnegie Mellon Silicon Valley\, USA\; NASA Ames Research Center\, USA\n\nController Synthesis: From Modelling to Enactment\nVíctor B raberman\, Nicolas D'Ippolito\, Nir Piterman\, Daniel Sykes\, and Sebastian Uchitel\nUniversidad de Buenos Aires\, Argentina\; Imperial College London \, UK\; University of Leicester\, UK\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130521T140000 DTEND;TZID=America/Los_Angeles:20130521T180000 SUMMARY:TUT: Specifying Effective Non-functional Requirements LOCATION: DESCRIPTION:Specifying Effective Non-functional Requirements\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130520T083000 DTEND;TZID=America/Los_Angeles:20130520T123000 SUMMARY:TUT: Automated Testing of GUI Applications: Models\, Tools\, and Co ntrolling Flakiness LOCATION: DESCRIPTION:Automated Testing of GUI Applications: Models\, Tools\, and Con trolling Flakiness\nAtif M. Memon and Myra B. Cohen\nUniversity of Maryland \, USA\; University of Nebraska-Lincoln\, USA\n\nSystem testing of applicat ions with graphical user interfaces (GUIs) such as web browsers\, desktop o r mobile apps\, is more complex than testing from the command line. Special ized tools are needed to generate and run test cases\, models are needed to quantify behavioral coverage\, and changes in the environment\, such as th e operating system\, virtual machine or system load\, as well as starting s tates of the executions\, impact the repeatability of the outcome of tests making tests appear flaky. In this tutorial\, we present an overview of th e state of the art in GUI testing\, consisting of both lectures and demonst rations on various platforms (desktop\, web and mobile applications)\, usin g an open source testing tool\, GUITAR. We show how to setup a system under test\, how to extract models without source code\, and how to then use tho se models to generate and replay test cases. We then present a lecture on t he various factors that may cause flakiness in the execution of GUI-centric software\, and hence impact the results of analyses and experiments based on such software. We end with a demonstration of a community resource for s haring GUI testing artifacts aimed at controlling these factors. This tuto rial targets both researchers who develop techniques for testing GUI softwa re\, and practitioners from industry who want to learn more about model-bas ed GUI testing or who run and rerun GUI tests and often find their runs are flaky.\n UID:6da83bacd1 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130520T083000 DTEND;TZID=America/Los_Angeles:20130520T123000 SUMMARY:TUT: Build Your Own Model Checker in One Month LOCATION: DESCRIPTION:Build Your Own Model Checker in One Month\nJin Song Dong\, Jun Sun\, and Yang Liu\nNational University of Singapore\, Singapore\; Singapor e University of Technology and Design\, Singapore\; Nanyang Technological U niversity\, Singapore\n\nModel checking has established as an effective met hod for automatic system analysis and verification. It is making its way in to many domains and methodologies. Applying model checking techniques to a new domain (which probably has its own dedicated modeling language) is\, ho wever\, far from trivial. Translation-based approach works by translating d omain specific languages into input languages of a model checker. Because t he model checker is not designed for the domain (or equivalently\, the lang uage)\, translation-based approach is often ad hoc. Ideally\, it is desirab le to have an optimized model checker for each application domain. Implemen ting one with reasonable efficiency\, however\, requires years of dedicated efforts. In this tutorial\, we will briefly survey a variety of model chec king techniques. Then we will show how to develop a model checker for a lan guage combining real-time and probabilistic features using the PAT (Process Analysis Toolkit) step-by-step\, and show that it could take as short as a few weeks to develop your own model checker with reasonable efficiency. Th e PAT system is designed to facilitate development of customized model chec kers. It has an extensible and modularized architecture to support new lang uages (and their operational semantics)\, new state reduction or abstractio n techniques\, new model checking algorithms\, etc. Since its introduction 5 years ago\, PAT has attracted more than 2500 registered users (from 500+ organisations in 60 countries) and has been applied to develop model checke rs for 20 different languages.\n UID:bb9f8e50fe ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130520T083000 DTEND;TZID=America/Los_Angeles:20130520T123000 SUMMARY:TUT: Data Science for Software Engineering LOCATION: DESCRIPTION:Data Science for Software Engineering\nTim Menzies\, Ekrem Koca guneli\, Fayola Peters\, Burak Turhan\, and Leandro L. Minku\nWest Virginia University\, USA\; University of Oulu\, Finland\; University of Birmingham \, UK\n\nTarget audience: Software practitioners and researchers wanting to understand the state of the art in using data science for software enginee ring (SE). Content: In the age of big data\, data science (the knowledge of deriving meaningful outcomes from data) is an essential skill that should be equipped by software engineers. It can be used to predict useful informa tion on new projects based on completed projects. This tutorial offers core insights about the state-of-the-art in this important field. What particip ants will learn: Before data science: this tutorial discusses the tasks nee ded to deploy machine-learning algorithms to organizations (Part1: Organiza tion Issues). During data science: from discretization to clustering to dic hotomization and statistical analysis. And the rest: When local data is sca rce\, we show how to adapt data from other organizations to local problems. When privacy concerns block access\, we show how to privatize data while s till being able to mine it. When working with data of dubious quality\, we show how to prune spurious information. When data or models seem too comple x\, we show how to simplify data mining results. When data is too scarce to support intricate models\, we show methods for generating predictions. Whe n the world changes\, and old models need to be updated\, we show how to ha ndle those updates. When the effect is too complex for one model\, we show how to reason across ensembles of models. Pre-requisites: This tutorial mak es minimal use of maths of advanced algorithms and would be understandable by developers and technical managers.\n UID:7404a58838 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130520T140000 DTEND;TZID=America/Los_Angeles:20130520T180000 SUMMARY:TUT: Software Analytics: Achievements and Challenges LOCATION: DESCRIPTION:Software Analytics: Achievements and Challenges\nDongmei Zhang and Tao Xie\nMicrosoft Research\, China\; North Carolina State University\, USA\n\nA huge wealth of various data exist in the practice of software dev elopment. Further rich data are produced by modern software and services in operation\, many of which tend to be data-driven and/or data-producing in nature. Hidden in the data is information about the quality of software and services or the dynamics of software development. Software analytics is to utilize a data-driven approach to enable software practitioners to perform data exploration and analysis in order to obtain insightful and actionable information\; such information is used for completing various tasks around software systems\, software users\, and software development process. This tutorial presents achievements and challenges of research and practice on principles\, techniques\, and applications of software analytics\, highligh ting success stories in industry\, research achievements that are transferr ed to industrial practice\, and future research and practice directions in software analytics.\n UID:f4916dbb4a ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130520T140000 DTEND;TZID=America/Los_Angeles:20130520T180000 SUMMARY:TUT: Developing Verified Programs with Dafny LOCATION: DESCRIPTION:Developing Verified Programs with Dafny\nK. Rustan M. Leino\nMi crosoft Research\, USA\n\nDafny is a programming language and program verif ier. The language includes specification constructs and the verifier checks that the program lives up to its specifications. These tutorial notes give some Dafny programs used as examples in the tutorial.\n UID:86a0e0b1f6 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130521T083000 DTEND;TZID=America/Los_Angeles:20130521T123000 SUMMARY:TUT: Software Metrics: Pitfalls and Best Practices LOCATION: DESCRIPTION:Software Metrics: Pitfalls and Best Practices\nEric Bouwers\, A rie van Deursen\, and Joost Visser\nSoftware Improvement Group\, Netherland s\; TU Delft\, Netherlands\; Radboud University Nijmegen\, Netherlands\n\nU sing software metrics to keep track of the progress and quality of products and processes is a common practice in industry. Additionally\, designing\, validating and improving metrics is an important research area. Although u sing software metrics can help in reaching goals\, the effects of using met rics incorrectly can be devastating. In this tutorial we leverage 10 years of metrics-based risk assessment experience to illustrate the benefits of s oftware metrics\, discuss different types of metrics and explain typical us age scenarios. Additionally\, we explore various ways in which metrics can be interpreted using examples solicited from participants and practical ass ignments based on industry cases. During this process we will present the f our common pitfalls of using software metrics. In particular\, we explain w hy metrics should be placed in a context in order to maximize their benefit s. A methodology based on benchmarking to provide such a context is discuss ed and illustrated by a model designed to quantify the technical quality of a software system. Examples of applying this model in industry are given a nd challenges involved in interpreting such a model are discussed. This tut orial provides an in-depth overview of the benefits and challenges involved in applying software metrics. At the end you will have all the information you need to use\, develop and evaluate metrics constructively.\n UID:4d7ea9fde1 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130521T083000 DTEND;TZID=America/Los_Angeles:20130521T123000 SUMMARY:TUT: A Hands-On Java PathFinder Tutorial LOCATION: DESCRIPTION:A Hands-On Java PathFinder Tutorial\nPeter Mehlitz\, Neha Rungt a\, and Willem Visser\nNASA Ames Research Center\, USA\; Stellenbosch Unive rsity\, South Africa\n\nJava Pathfinder (JPF) is an open source analysis sy stem that automatically verifies Java programs. The JPF tutorial provides a n opportunity to software engineering researchers and practitioners to lear n about JPF\, be able to install and run JPF\, and understand the concepts required to extend JPF. The hands-on tutorial will expose the attendees to the basic architecture framework of JPF\, demonstrate the ways to use it fo r analyzing their artifacts\, and illustrate how they can extend JPF to imp lement their own analyses. One of the defining qualities of JPF is its exte nsibility. JPF has been extended to support symbolic execution\, directed a utomated random testing\, different choice generation\, configurable state abstractions\, various heuristics for enabling bug detection\, configurable search strategies\, checking temporal properties and many more. JPF suppor ts these extensions at the design level through a set of stable well define d interfaces. The interfaces are designed to not require changes to the cor e\, yet enable the development of various JPF extensions. In this tutorial we provide attendees a hands on experience of developing different interfac es in order to extend JPF. The tutorial is targeted toward a general softwa re engineering audiencesoftware engineering researchers and practitioners. The attendees need to have a good understanding of the Java programming lan guage and be fairly comfortable with Java program development. The attendee s are not required to have any background in Java Pathfinder\, software mod el checking or any other formal verification techniques. The tutorial will be self-contained.\n UID:822b42b1a8 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130525T083000 DTEND;TZID=America/Los_Angeles:20130525T123000 SUMMARY:TUT: Efficient Quality Assurance of Variability-Intensive Systems LOCATION: DESCRIPTION:Efficient Quality Assurance of Variability-Intensive Systems\nP atrick Heymans\, Axel Legay\, and Maxime Cordy\nUniversity of Namur\, Belgi um\; IRISA\, France\; INRIA\, France\n\nVariability is becoming an increasi ngly important concern in software development but techniques to cost-effec tively verify and validate software in the presence of variability have yet to become widespread. This half-day tutorial offers an overview of the sta te of the art in an emerging discipline at the crossroads of formal methods and software engineering: quality assurance of variability-intensive syste ms. We will present the most significant results obtained during the last f our years or so\, ranging from conceptual foundations to readily usable too ls. Among the various quality assurance techniques\, we focus on model chec king\, but also extend the discussion to other techniques. With its lightwe ight usage of mathematics and balance between theory and practice\, this tu torial is designed to be accessible to a broad audience. Researchers workin g in the area\, willing to join it\, or simply curious\, will get a compreh ensive picture of the recent developments. Practitioners developing variabi lity-intensive systems are invited to discover the capabilities of our tech niques and tools\, and to consider integrating them in their processes.\n UID:a51f2190e1 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130525T140000 DTEND;TZID=America/Los_Angeles:20130525T180000 SUMMARY:TUT: Software Requirement Patterns LOCATION: DESCRIPTION:Software Requirement Patterns\nXavier Franch\nUniversitat Polit ècnica de Catalunya\, Spain\n\nSoftware requirements reuse becomes a fundam ental activity for those IT organizations that conduct requirements enginee ring processes in similar settings. One strategy to implement this reuse is by exploiting a catalogue of software requirement patterns (SRPs). In this tutorial\, we provide an introduction to the concept of SRP\, summarise se veral existing approaches\, and reflect on the consequences on several requ irements engineering processes and activities. We take one of these approac hes\, the PABRE framework\, as exemplar for the tutorial and analyse in mor e depth the catalogue of SRP that is proposed. We apply the concepts given on a practical exercise.\n UID:9ccfebb2a8 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T081500 DTEND;TZID=America/Los_Angeles:20130522T083000 SUMMARY:Welcome Message LOCATION: DESCRIPTION:Welcome Message (Chair: Betty H. C. Cheng / Klaus Pohl)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T081500 DTEND;TZID=America/Los_Angeles:20130523T083000 SUMMARY:ACM SIGSOFT Awards LOCATION: DESCRIPTION:ACM SIGSOFT Awards (Chair: Will Tracz)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T081500 DTEND;TZID=America/Los_Angeles:20130524T083000 SUMMARY:IEEE CS TCSE Awards LOCATION: DESCRIPTION:IEEE CS TCSE Awards (Chair: Hausi Müller)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T160000 DTEND;TZID=America/Los_Angeles:20130524T170000 SUMMARY:Awards Ceremony (SRC\, SCORE\, ACM Distinguished Papers\, MIP) LOCATION: DESCRIPTION:Awards Ceremony (SRC\, SCORE\, ACM Distinguished Papers\, MIP) (Chair: William Griswold)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T170000 DTEND;TZID=America/Los_Angeles:20130524T173000 SUMMARY:Conference Closing and Preview of 2014\, 2015 LOCATION: DESCRIPTION:Conference Closing and Preview of 2014\, 2015 (Chair: Betty H. C. Cheng / Klaus Pohl)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130521T083000 DTEND;TZID=America/Los_Angeles:20130521T180000 SUMMARY:New Faculty Symposium LOCATION: DESCRIPTION:New Faculty Symposium (Chair: Joanne Atlee / André van der Hoek )\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130518T083000 DTEND;TZID=America/Los_Angeles:20130518T180000 SUMMARY:Workshop on Text Retrieval and/or Natural Language Analysis LOCATION: DESCRIPTION:Workshop on Text Retrieval and/or Natural Language Analysis\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130519T203000 DTEND;TZID=America/Los_Angeles:20130519T223000 SUMMARY:CSEE&T Steering Committee Meeting LOCATION: DESCRIPTION:CSEE&T Steering Committee Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130521T183000 DTEND;TZID=America/Los_Angeles:20130521T223000 SUMMARY:ICSE Steering Committee Meeting LOCATION: DESCRIPTION:ICSE Steering Committee Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130521T123000 DTEND;TZID=America/Los_Angeles:20130521T140000 SUMMARY:SEAMS Steering Committee Meeting LOCATION: DESCRIPTION:SEAMS Steering Committee Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T120000 DTEND;TZID=America/Los_Angeles:20130522T133000 SUMMARY:BoF: National Software-Engineering Centers LOCATION: DESCRIPTION:BoF: National Software-Engineering Centers\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T120000 DTEND;TZID=America/Los_Angeles:20130522T133000 SUMMARY:ICSE 2014 Program Board Meeting LOCATION: DESCRIPTION:ICSE 2014 Program Board Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T120000 DTEND;TZID=America/Los_Angeles:20130522T133000 SUMMARY:IEEE TCSE EC LOCATION: DESCRIPTION:IEEE TCSE EC\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T180000 DTEND;TZID=America/Los_Angeles:20130522T181500 SUMMARY:Tribute to David Notkin LOCATION: DESCRIPTION:Tribute to David Notkin (Chair: William Griswold)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T183000 DTEND;TZID=America/Los_Angeles:20130522T200000 SUMMARY:ACM SIGSOFT / IEEE TCSE Town-Hall Meeting LOCATION: DESCRIPTION:ACM SIGSOFT / IEEE TCSE Town-Hall Meeting (Chair: Will Tracz / Hausi Müller)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T160000 DTEND;TZID=America/Los_Angeles:20130523T173000 SUMMARY:ACM SRC Presentations by Finalists LOCATION: DESCRIPTION:ACM SRC Presentations by Finalists (Chair: Tao Xie)\n\nPresenta tions by the finalists from the Wednesday SRC poster session.\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T153000 DTEND;TZID=America/Los_Angeles:20130522T160000 SUMMARY:SCORE Posters LOCATION: DESCRIPTION:SCORE Posters\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T120000 DTEND;TZID=America/Los_Angeles:20130523T133000 SUMMARY:ICSE 2014 Organizing Committee Meeting LOCATION: DESCRIPTION:ICSE 2014 Organizing Committee Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T120000 DTEND;TZID=America/Los_Angeles:20130523T133000 SUMMARY:ACM SIGSOFT EC LOCATION: DESCRIPTION:ACM SIGSOFT EC\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T184500 DTEND;TZID=America/Los_Angeles:20130523T220000 SUMMARY:Banquet\, Sponsored by Microsoft Research LOCATION: DESCRIPTION:Banquet\, Sponsored by Microsoft Research\n\nOur banquet will b e on a cruise of beautiful San Francisco Bay (http://www.hornblower.com/hom e/sf). We need to complete boarding by 19:00\, so please be there at 18:45. There will be a champagne reception\, followed at 20:00 by a two-hour crui se toward the Golden Gate Bridge. The banquet features a buffet with a carv ing station\, Thai dishes\, pasta and desserts. After dinner\, enjoy DJ mus ic\, dancing and drinks\, with return around 22:00. (As Mark Twain supposed ly said\, "The coldest winter I ever spent was a summer in San Francisco." Please plan for chilly air on the cruise.)\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T133000 DTEND;TZID=America/Los_Angeles:20130524T180000 SUMMARY:MODELS 2013 Program Board Meeting LOCATION: DESCRIPTION:MODELS 2013 Program Board Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130525T083000 DTEND;TZID=America/Los_Angeles:20130525T180000 SUMMARY:MODELS 2013 Program Board Meeting LOCATION: DESCRIPTION:MODELS 2013 Program Board Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T120000 DTEND;TZID=America/Los_Angeles:20130524T133000 SUMMARY:ESEC/FSE Organizing and Program Committees Meeting LOCATION: DESCRIPTION:ESEC/FSE Organizing and Program Committees Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130525T083000 DTEND;TZID=America/Los_Angeles:20130525T180000 SUMMARY:ESEC/FSE 2013 PC Meeting LOCATION: DESCRIPTION:ESEC/FSE 2013 PC Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130526T083000 DTEND;TZID=America/Los_Angeles:20130526T180000 SUMMARY:ESEC/FSE 2013 PC Meeting LOCATION: DESCRIPTION:ESEC/FSE 2013 PC Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T100000 DTEND;TZID=America/Los_Angeles:20130522T103000 SUMMARY:Morning Break\, Sponsored by Google LOCATION: DESCRIPTION:Morning Break\, Sponsored by Google\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T100000 DTEND;TZID=America/Los_Angeles:20130523T103000 SUMMARY:Morning Break\, Sponsored by Microsoft Research LOCATION: DESCRIPTION:Morning Break\, Sponsored by Microsoft Research\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T100000 DTEND;TZID=America/Los_Angeles:20130524T103000 SUMMARY:Morning Break\, Sponsored by Intel LOCATION: DESCRIPTION:Morning Break\, Sponsored by Intel\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T120000 DTEND;TZID=America/Los_Angeles:20130522T133000 SUMMARY:Lunch\, Sponsored by Intel LOCATION: DESCRIPTION:Lunch\, Sponsored by Intel\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T120000 DTEND;TZID=America/Los_Angeles:20130523T133000 SUMMARY:Lunch\, Sponsored by Accenture LOCATION: DESCRIPTION:Lunch\, Sponsored by Accenture\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T120000 DTEND;TZID=America/Los_Angeles:20130523T133000 SUMMARY:Student-Industry Lunch LOCATION: DESCRIPTION:Student-Industry Lunch (Chair: Gail Murphy)\n\nAll student regi strations to the main ICSE 2013 conference are invited to the Student-Indus try Lunch on Thursday May 24. Students\, look for signs to the location of this lunch! Your student registration to the main conference is your ticket to entry. This lunch provides students with an opportunity to interact wi th multiple industrial participants from the conference sponsors. Students\ , come with your questions about what working in industry is really like an d what opportunities exist. Come and get industrial perspectives on your re search. Come. Connect. Participate!\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T120000 DTEND;TZID=America/Los_Angeles:20130524T133000 SUMMARY:Lunch\, Sponsored by Siemens LOCATION: DESCRIPTION:Lunch\, Sponsored by Siemens\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130522T153000 DTEND;TZID=America/Los_Angeles:20130522T160000 SUMMARY:Afternoon Break\, Sponsored by Google LOCATION: DESCRIPTION:Afternoon Break\, Sponsored by Google\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130523T153000 DTEND;TZID=America/Los_Angeles:20130523T160000 SUMMARY:Afternoon Break\, Sponsored by Microsoft Research LOCATION: DESCRIPTION:Afternoon Break\, Sponsored by Microsoft Research\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=America/Los_Angeles:20130524T153000 DTEND;TZID=America/Los_Angeles:20130524T160000 SUMMARY:Afternoon Break\, Sponsored by Intel LOCATION: DESCRIPTION:Afternoon Break\, Sponsored by Intel\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT END:VCALENDAR