BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH X-WR-CALNAME:Events of ICSE 2012 PRODID:-//Generated by Conference Publishing//EN BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T104500 DTEND;TZID=Europe/Zurich:20120606T124500 SUMMARY:Fault Handling LOCATION: DESCRIPTION:Fault Handling\n\nA Systematic Study of Automated Program Repai r: Fixing 55 out of 105 Bugs for $8 Each\nClaire Le Goues\, Michael Dewey-V ogt\, Stephanie Forrest\, and Westley Weimer\nUniversity of Virginia\, USA\ ; University of New Mexico\, USA\n\nWhere Should the Bugs Be Fixed? - More Accurate Information Retrieval-Based Bug Localization Based on Bug Reports\ nJian Zhou\, Hongyu Zhang\, and David Lo\nTsinghua University\, China\; Sin gapore Management University\, Singapore\n\nDeveloper Prioritization in Bug Repositories\nJifeng Xuan\, He Jiang\, Zhilei Ren\, and Weiqin Zou\nDalian University of Technology\, China\n\nWhoseFault: Automatic Developer-to-Fau lt Assignment through Fault Localization\nFrancisco Servant and James A. Jo nes\nUC Irvine\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T104500 DTEND;TZID=Europe/Zurich:20120606T124500 SUMMARY:Code Generation and Recovery LOCATION: DESCRIPTION:Code Generation and Recovery\n\nRecovering Traceability Links b etween an API and Its Learning Resources\nBarthélémy Dagenais and Martin P. Robillard\nMcGill University\, Canada\n\nGenerating Range Fixes for Softwa re Configuration\nYingfei Xiong\, Arnaud Hubaux\, Steven She\, and Krzyszto f Czarnecki\nUniversity of Waterloo\, Canada\; University of Namur\, Belgiu m\n\nGraph-Based Pattern-Oriented\, Context-Sensitive Source Code Completio n\nAnh Tuan Nguyen\, Tung Thanh Nguyen\, Hoan Anh Nguyen\, Ahmed Tamrawi\, Hung Viet Nguyen\, Jafar Al-Kofahi\, and Tien N. Nguyen\nIowa State Univers ity\, USA\n\nAutomatic Input Rectification\nFan Long\, Vijay Ganesh\, Micha el Carbin\, Stelios Sidiroglou\, and Martin Rinard\nMIT\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T104500 DTEND;TZID=Europe/Zurich:20120606T124500 SUMMARY:Empirical Studies of Development LOCATION: DESCRIPTION:Empirical Studies of Development\n\nOvercoming the Challenges i n Cost Estimation for Distributed Software Projects\nNarayan Ramasubbu and Rajesh Krishna Balan\nSingapore Management University\, Singapore\n\nCharac terizing Logging Practices in Open-Source Software\nDing Yuan\, Soyeon Park \, and Yuanyuan Zhou\nUniversity of Illinois at Urbana-Champaign\, USA\; UC San Diego\, USA\n\nThe Impacts of Software Process Improvement on Develope rs: A Systematic Review\nMathieu Lavallée and Pierre N. Robillard\nÉcole Po lytechnique de Montréal\, Canada\n\nCombining Functional and Imperative Pro gramming for Multicore Software: An Empirical Study Evaluating Scala and Ja va\nVictor Pankratius\, Felix Schmidt\, and Gilda Garretón\nKIT\, Germany\; Oracle Labs\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T104500 DTEND;TZID=Europe/Zurich:20120606T124500 SUMMARY:Performance Analysis LOCATION: DESCRIPTION:Performance Analysis\n\nUncovering Performance Problems in Java Applications with Reference Propagation Profiling\nDacong Yan\, Guoqing Xu \, and Atanas Rountev\nOhio State University\, USA\; UC Irvine\, USA\n\nPer formance Debugging in the Large via Mining Millions of Stack Traces\nShi Ha n\, Yingnong Dang\, Song Ge\, Dongmei Zhang\, and Tao Xie\nMicrosoft Resear ch\, China\; North Carolina State University\, USA\n\nAutomatically Finding Performance Problems with Feedback-Directed Learning Software Testing\nMar k Grechanik\, Chen Fu\, and Qing Xie\nAccenture Technology Labs\, USA\; Uni versity of Illinois at Chicago\, USA\n\nPredicting Performance via Automate d Feature-Interaction Detection\nNorbert Siegmund\, Sergiy S. Kolesnikov\, Christian Kästner\, Sven Apel\, Don Batory\, Marko Rosenmüller\, and Gunter Saake\nUniversity of Magdeburg\, Germany\; University of Passau\, Germany\ ; Philipps University of Marburg\, Germany\; University of Texas at Austin\ , USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T140000 DTEND;TZID=Europe/Zurich:20120606T153000 SUMMARY:Defect Prediction LOCATION: DESCRIPTION:Defect Prediction\n\nSound Empirical Evidence in Software Testi ng\nGordon Fraser and Andrea Arcuri\nSaarland University\, Germany\; Simula Research Laboratory\, Norway\n\nPrivacy and Utility for Defect Prediction: Experiments with MORPH\nFayola Peters and Tim Menzies\nWest Virginia Unive rsity\, USA\n\nBug Prediction Based on Fine-Grained Module Histories\nHidea ki Hata\, Osamu Mizuno\, and Tohru Kikuno\nOsaka University\, Japan\; Kyoto Institute of Technology\, Japan\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T140000 DTEND;TZID=Europe/Zurich:20120606T153000 SUMMARY:Refactoring LOCATION: DESCRIPTION:Refactoring\n\nReconciling Manual and Automatic Refactoring\nXi Ge\, Quinton L. DuBose\, and Emerson Murphy-Hill\nNorth Carolina State Uni versity\, USA\n\nWitchDoctor: IDE Support for Real-Time Auto-Completion of Refactorings\nStephen R. Foster\, William G. Griswold\, and Sorin Lerner\nU C San Diego\, USA\n\nUse\, Disuse\, and Misuse of Automated Refactorings\nM ohsen Vakilian\, Nicholas Chen\, Stas Negara\, Balaji Ambresh Rajkumar\, Br ian P. Bailey\, and Ralph E. Johnson\nUniversity of Illinois at Urbana-Cham paign\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T140000 DTEND;TZID=Europe/Zurich:20120606T153000 SUMMARY:Human Aspects of Development LOCATION: DESCRIPTION:Human Aspects of Development\n\nTest Confessions: A Study of Te sting Practices for Plug-In Systems\nMichaela Greiler\, Arie van Deursen\, and Margaret-Anne Storey\nTU Delft\, Netherlands\; University of Victoria\, Canada\n\nHow Do Professional Developers Comprehend Software?\nTobias Roeh m\, Rebecca Tiarks\, Rainer Koschke\, and Walid Maalej\nTU Munich\, Germany \; University of Bremen\, Germany\n\nAsking and Answering Questions about U nfamiliar APIs: An Exploratory Study\nEkwa Duala-Ekoko and Martin P. Robill ard\nMcGill University\, Canada\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T160000 DTEND;TZID=Europe/Zurich:20120606T180000 SUMMARY:Bug Detection LOCATION: DESCRIPTION:Bug Detection\n\nAutomated Repair of HTML Generation Errors in PHP Applications Using String Constraint Solving\nHesam Samimi\, Max Schäfe r\, Shay Artzi\, Todd Millstein\, Frank Tip\, and Laurie Hendren\nUC Los An geles\, USA\; IBM Research\, USA\; McGill University\, Canada\n\nLeveraging Test Generation and Specification Mining for Automated Bug Detection witho ut False Positives\nMichael Pradel and Thomas R. Gross\nETH Zurich\, Switze rland\n\nAxis: Automatically Fixing Atomicity Violations through Solving Co ntrol Constraints\nPeng Liu and Charles Zhang\nHong Kong University of Scie nce and Technology\, China\n\nCBCD: Cloned Buggy Code Detector\nJingyue Li and Michael D. Ernst\nDNV Research and Innovation\, Norway\; University of Washington\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T160000 DTEND;TZID=Europe/Zurich:20120606T180000 SUMMARY:Multiversion Software LOCATION: DESCRIPTION:Multiversion Software\n\nCrosscutting Revision Control System\n Sagi Ifrah and David H. Lorenz\nOpen University\, Israel\n\nWhere Does This Code Come from and Where Does It Go? - Integrated Code History Tracker for Open Source Systems -\nKatsuro Inoue\, Yusuke Sasaki\, Pei Xia\, and Yuki Manabe\nOsaka University\, Japan\n\nImproving Early Detection of Software M erge Conflicts\nMário Luís Guimarães and António Rito Silva\nTechnical Univ ersity of Lisbon\, Portugal\n\nA History-Based Matching Approach to Identif ication of Framework Evolution\nSichen Meng\, Xiaoyin Wang\, Lu Zhang\, and Hong Mei\nKey Laboratory of High Confidence Software Technologies\, China\ ; Peking University\, China\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T160000 DTEND;TZID=Europe/Zurich:20120606T180000 SUMMARY:Similarity and Classification LOCATION: DESCRIPTION:Similarity and Classification\n\nDetecting Similar Software App lications\nCollin McMillan\, Mark Grechanik\, and Denys Poshyvanyk\nCollege of William and Mary\, USA\; Accenture Technology Labs\, USA\; University o f Illinois at Chicago\, USA\n\nContent Classification of Development Emails \nAlberto Bacchelli\, Tommaso Dal Sasso\, Marco D'Ambros\, and Michele Lanz a\nUniversity of Lugano\, Switzerland\n\nIdentifying Linux Bug Fixing Patch es\nYuan Tian\, Julia Lawall\, and David Lo\nSingapore Management Universit y\, Singapore\; INRIA/LIP6\, France\n\nActive Refinement of Clone Anomaly R eports\n Lucia\, David Lo\, Lingxiao Jiang\, and Aditya Budi\nSingapore Man agement University\, Singapore\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T104500 DTEND;TZID=Europe/Zurich:20120607T124500 SUMMARY:Analysis for Evolution LOCATION: DESCRIPTION:Analysis for Evolution\n\nAutomated Analysis of CSS Rules to Su pport Style Maintenance\nAli Mesbah and Shabnam Mirshokraie\nUniversity of British Columbia\, Canada\n\nGraph-Based Analysis and Prediction for Softwa re Evolution\nPamela Bhattacharya\, Marios Iliofotou\, Iulian Neamtiu\, and Michalis Faloutsos\nUC Riverside\, USA\n\nIntegrated Impact Analysis for M anaging Software Changes\nMalcom Gethers\, Bogdan Dit\, Huzefa Kagdi\, and Denys Poshyvanyk\nCollege of William and Mary\, USA\; Wichita State Univers ity\, USA\n\nDetecting and Visualizing Inter-worksheet Smells in Spreadshee ts\nFelienne Hermans\, Martin Pinzger\, and Arie van Deursen\nTU Delft\, Ne therlands\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T104500 DTEND;TZID=Europe/Zurich:20120607T124500 SUMMARY:Debugging LOCATION: DESCRIPTION:Debugging\n\nAn Empirical Study about the Effectiveness of Debu gging When Random Test Cases Are Used\nMariano Ceccato\, Alessandro Marchet to\, Leonardo Mariani\, Cu D. Nguyen\, and Paolo Tonella\nFondazione Bruno Kessler\, Italy\; University of Milano-Bicocca\, Italy\n\nReducing Confound ing Bias in Predicate-Level Statistical Debugging Metrics\nRoss Gore and Pa ul F. Reynolds\, Jr.\nUniversity of Virginia\, USA\n\nBugRedux: Reproducing Field Failures for In-House Debugging\nWei Jin and Alessandro Orso\nGeorgi a Tech\, USA\n\nObject-Centric Debugging\nJorge Ressia\, Alexandre Bergel\, and Oscar Nierstrasz\nUniversity of Bern\, Switzerland\; University of Chi le\, Chile\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T104500 DTEND;TZID=Europe/Zurich:20120607T124500 SUMMARY:Human Aspects of Process LOCATION: DESCRIPTION:Human Aspects of Process\n\nDisengagement in Pair Programming: Does It Matter?\nLaura Plonka\, Helen Sharp\, and Janet van der Linden\nOpe n University\, UK\n\nAmbient Awareness of Build Status in Collocated Softwa re Teams\nJohn Downs\, Beryl Plimmer\, and John G. Hosking\nUniversity of M elbourne\, Australia\; University of Auckland\, New Zealand\; Australian Na tional University\, Australia\n\nWhat Make Long Term Contributors: Willingn ess and Opportunity in OSS Community\nMinghui Zhou and Audris Mockus\nPekin g University\, China\; Key Laboratory of High Confidence Software Technolog ies\, China\; Avaya Labs Research\, USA\n\nDevelopment of Auxiliary Functio ns: Should You Be Agile? An Empirical Assessment of Pair Programming and Te st-First Programming\nOtávio Augusto Lazzarini Lemos\, Fabiano Cutigi Ferra ri\, Fábio Fagundes Silveira\, and Alessandro Garcia\nUNIFESP\, Brazil\; UF SCar\, Brazil\; PUC-Rio\, Brazil\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T104500 DTEND;TZID=Europe/Zurich:20120607T124500 SUMMARY:Models LOCATION: DESCRIPTION:Models\n\nMaintaining Invariant Traceability through Bidirectio nal Transformations\nYijun Yu\, Yu Lin\, Zhenjiang Hu\, Soichiro Hidaka\, H iroyuki Kato\, and Lionel Montrieux\nOpen University\, UK\; University of I llinois at Urbana-Champaign\, USA\; National Institute of Informatics\, Jap an\n\nSlicing MATLAB Simulink Models\nRobert Reicherdt and Sabine Glesner\n TU Berlin\, Germany\n\nPartial Evaluation of Model Transformations\nAli Raz avi and Kostas Kontogiannis\nUniversity of Waterloo\, Canada\; National Tec hnical University of Athens\, Greece\n\nPartial Models: Towards Modeling an d Reasoning with Uncertainty\nMichalis Famelis\, Rick Salay\, and Marsha Ch echik\nUniversity of Toronto\, Canada\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T160000 DTEND;TZID=Europe/Zurich:20120607T173000 SUMMARY:Concurrency and Exceptions LOCATION: DESCRIPTION:Concurrency and Exceptions\n\nStatic Detection of Resource Cont ention Problems in Server-Side Scripts\nYunhui Zheng and Xiangyu Zhang\nPur due University\, USA\n\nAmplifying Tests to Validate Exception Handling Cod e\nPingyu Zhang and Sebastian Elbaum\nUniversity of Nebraska-Lincoln\, USA\ n\nMagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications\nY an Cai and W. K. Chan\nCity University of Hong Kong\, China\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T160000 DTEND;TZID=Europe/Zurich:20120607T173000 SUMMARY:Software Architecture LOCATION: DESCRIPTION:Software Architecture\n\nDoes Organizing Security Patterns Focu s Architectural Choices?\nKoen Yskout\, Riccardo Scandariato\, and Wouter J oosen\nKU Leuven\, Belgium\n\nEnhancing Architecture-Implementation Conform ance with Change Management and Support for Behavioral Mapping\nYongjie Zhe ng and Richard N. Taylor\nUC Irvine\, USA\n\nA Tactic-Centric Approach for Automating Traceability of Quality Concerns\nMehdi Mirakhorli\, Yonghee Shi n\, Jane Cleland-Huang\, and Murat Cinar\nDePaul University\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T160000 DTEND;TZID=Europe/Zurich:20120607T173000 SUMMARY:Formal Verification LOCATION: DESCRIPTION:Formal Verification\n\nBuild Code Analysis with Symbolic Evalua tion\nAhmed Tamrawi\, Hoan Anh Nguyen\, Hung Viet Nguyen\, and Tien N. Nguy en\nIowa State University\, USA\n\nAn Automated Approach to Generating Effi cient Constraint Solvers\nDharini Balasubramaniam\, Christopher Jefferson\, Lars Kotthoff\, Ian Miguel\, and Peter Nightingale\nUniversity of St. Andr ews\, UK\n\nSimulation-Based Abstractions for Software Product-Line Model C hecking\nMaxime Cordy\, Andreas Classen\, Gilles Perrouin\, Pierre-Yves Sch obbens\, Patrick Heymans\, and Axel Legay\nUniversity of Namur\, Belgium\; INRIA\, France\; LIFL–CNRS\, France\; IRISA\, France\; Aalborg University\, Denmark\; University of Liège\, Belgium\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T084500 DTEND;TZID=Europe/Zurich:20120608T101500 SUMMARY:Invariant Generation LOCATION: DESCRIPTION:Invariant Generation\n\nUsing Dynamic Analysis to Discover Poly nomial and Array Invariants\nThanhVu Nguyen\, Deepak Kapur\, Westley Weimer \, and Stephanie Forrest\nUniversity of New Mexico\, USA\; University of Vi rginia\, USA\n\nMetadata Invariants: Checking and Inferring Metadata Coding Conventions\nMyoungkyu Song and Eli Tilevich\nVirginia Tech\, USA\n\nGener ating Obstacle Conditions for Requirements Completeness\nDalal Alrajeh\, Je ff Kramer\, Axel van Lamsweerde\, Alessandra Russo\, and Sebastián Uchitel\ nImperial College London\, UK\; Université Catholique de Louvain\, Belgium\ n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T084500 DTEND;TZID=Europe/Zurich:20120608T101500 SUMMARY:Regression Testing LOCATION: DESCRIPTION:Regression Testing\n\nmake test-zesti: A Symbolic Execution Sol ution for Improving Regression Testing\nPaul Dan Marinescu and Cristian Cad ar\nImperial College London\, UK\n\nBALLERINA: Automatic Generation and Clu stering of Efficient Random Unit Tests for Multithreaded Code\nAdrian Nisto r\, Qingzhou Luo\, Michael Pradel\, Thomas R. Gross\, and Darko Marinov\nUn iversity of Illinois at Urbana-Champaign\, USA\; ETH Zurich\, Switzerland\n \nOn-Demand Test Suite Reduction\nDan Hao\, Lu Zhang\, Xingxia Wu\, Hong Me i\, and Gregg Rothermel\nPeking University\, China\; Key Laboratory of High Confidence Software Technologies\, China\; University of Nebraska\, USA\n\ n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T084500 DTEND;TZID=Europe/Zurich:20120608T101500 SUMMARY:Software Vulnerability LOCATION: DESCRIPTION:Software Vulnerability\n\nAutomated Detection of Client-State M anipulation Vulnerabilities\nAnders Møller and Mathias Schwarz\nAarhus Univ ersity\, Denmark\n\nUnderstanding Integer Overflow in C/C++\nWill Dietz\, P eng Li\, John Regehr\, and Vikram Adve\nUniversity of Illinois at Urbana-Ch ampaign\, USA\; University of Utah\, USA\n\nA Large Scale Exploratory Analy sis of Software Vulnerability Life Cycles\nMuhammad Shahzad\, Muhammad Zuba ir Shafiq\, and Alex X. Liu\nMichigan State University\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T104500 DTEND;TZID=Europe/Zurich:20120608T124500 SUMMARY:API Learning LOCATION: DESCRIPTION:API Learning\n\nSynthesizing API Usage Examples\nRaymond P. L. Buse and Westley Weimer\nUniversity of Virginia\, USA\n\nSemi-automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge \nStefan Henß\, Martin Monperrus\, and Mira Mezini\nTU Darmstadt\, Germany\ ; University of Lille\, France\; INRIA\, France\n\nTemporal Analysis of API Usage Concepts\nGias Uddin\, Barthélémy Dagenais\, and Martin P. Robillard \nMcGill University\, Canada\n\nInferring Method Specifications from Natura l Language API Descriptions\nRahul Pandita\, Xusheng Xiao\, Hao Zhong\, Tao Xie\, Stephen Oney\, and Amit Paradkar\nNorth Carolina State University\, USA\; Chinese Academy of Sciences\, China\; CMU\, USA\; IBM Research\, USA\ n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T104500 DTEND;TZID=Europe/Zurich:20120608T124500 SUMMARY:Code Recommenders LOCATION: DESCRIPTION:Code Recommenders\n\nAutomatic Parameter Recommendation for Pra ctical API Usage\nCheng Zhang\, Juyuan Yang\, Yi Zhang\, Jing Fan\, Xin Zha ng\, Jianjun Zhao\, and Peizhao Ou\nShanghai Jiao Tong University\, China\n \nOn the Naturalness of Software\nAbram Hindle\, Earl T. Barr\, Zhendong Su \, Mark Gabel\, and Premkumar Devanbu\nUC Davis\, USA\; University of Texas at Dallas\, USA\n\nRecommending Source Code for Use in Rapid Software Prot otypes\nCollin McMillan\, Negar Hariri\, Denys Poshyvanyk\, Jane Cleland-Hu ang\, and Bamshad Mobasher\nCollege of William and Mary\, USA\; DePaul Univ ersity\, USA\n\nActive Code Completion\nCyrus Omar\, YoungSeok Yoon\, Thoma s D. LaToza\, and Brad A. Myers\nCMU\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T104500 DTEND;TZID=Europe/Zurich:20120608T124500 SUMMARY:Test Automation LOCATION: DESCRIPTION:Test Automation\n\nAutomated Oracle Creation Support\, or: How I Learned to Stop Worrying about Fault Propagation and Love Mutation Testin g\nMatt Staats\, Gregory Gay\, and Mats P. E. Heimdahl\nKAIST\, South Korea \; University of Minnesota\, USA\n\nAutomating Test Automation\nSuresh Thum malapenta\, Saurabh Sinha\, Nimit Singhania\, and Satish Chandra\nIBM Resea rch\, India\; IBM Research\, USA\n\nStride: Search-Based Deterministic Repl ay in Polynomial Time via Bounded Linkage\nJinguo Zhou\, Xiao Xiao\, and Ch arles Zhang\nHong Kong University of Science and Technology\, China\n\niTre e: Efficiently Discovering High-Coverage Configurations Using Interaction T rees\nCharles Song\, Adam Porter\, and Jeffrey S. Foster\nUniversity of Mar yland\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T104500 DTEND;TZID=Europe/Zurich:20120608T124500 SUMMARY:Validation of Specification LOCATION: DESCRIPTION:Validation of Specification\n\nInferring Class Level Specificat ions for Distributed Systems\nSandeep Kumar\, Siau-Cheng Khoo\, Abhik Roych oudhury\, and David Lo\nNational University of Singapore\, Singapore\; Sing apore Management University\, Singapore\n\nStatically Checking API Protocol Conformance with Mined Multi-Object Specifications\nMichael Pradel\, Ciera Jaspan\, Jonathan Aldrich\, and Thomas R. Gross\nETH Zurich\, Switzerland\ ; CMU\, USA\n\nBehavioral Validation of JFSL Specifications through Model S ynthesis\nCarlo Ghezzi and Andrea Mocci\nPolitecnico di Milano\, Italy\n\nV erifying Client-Side Input Validation Functions Using String Analysis\nMuat h Alkhalaf\, Tevfik Bultan\, and Jose L. Gallegos\nUC Santa Barbara\, USA\n \n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T090000 DTEND;TZID=Europe/Zurich:20120606T101500 SUMMARY:Keynote: Digital Formations of the Powerful and the Powerless (Keyn ote) LOCATION: DESCRIPTION:Digital Formations of the Powerful and the Powerless (Keynote)\ nSaskia Sassen\nColumbia University\, USA\n\nThis talk compares two kinds o f socio-technical formations: electronic financial networks and local socia l activist movements that are globally networked. Both cut across the duali ty global/national and each has altered the economic and political landscap es for respectively financial elites and social activists. Using these two cases helps illuminate the very diverse ways in which the growth of electro nic networks partially transforms existing politico-economic orderings. The y are extreme cases\, one marked by hypermobility and the other by physical immobility. But they show us that each is only partly so: financial electr onic networks are subject to particular types of embeddedness and local act ivist organizations can benefit from novel electronic potentials for global operation. I show how financial electronic networks and electronic activis m reveal two parallel developments associated with particular technical pro perties of the new ICTs\, but also reveal a third\, radically divergent out come\, one I interpret as signaling the weight of the specific social logic s of users in each case.\n UID:e8082449da ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T090000 DTEND;TZID=Europe/Zurich:20120607T101500 SUMMARY:Keynote: Supporting Sustainability with Software - An Industrial Pe rspective (Keynote) LOCATION: DESCRIPTION:Supporting Sustainability with Software - An Industrial Perspec tive (Keynote)\nFrank-Dieter Clesle\nSAP\, Germany\n\nSupporting sustainabi lity with software is often summed up in the expression ‘Green IT’ and dire ctly relates to the reduction of CO2 emissions and energy used by IT. The a mount of CO2 used in the IT industry covers 2\% of the overall CO2 emission s. “Green by IT” describes the influence of appropriate software to the rem aining 98\% of the industry. We estimate that the effect of our sustainabil ity related software on our customers’ CO2 footprint could be 10.000 times higher than our own. The so called triple bottom line defines sustainabili ty as covering economic\, ecological\, and social aspects and the dependenc ies between. Based on this definition of sustainability\, software could no t only focus on green house gas reduction. Other topics like: consumers’ pr otection\, sustainable supply\, reduction of emission (air\, water\, waste) \, recycling\, human recourse management and intelligent energy usage must be as well focus areas supported by software. At last software industry sho uld not only focus on delivering tools for life cycle assessment (LCA)\, we should use it and provide a LCA for our software self. The industrial que stion is how to increase short and long term profitability by holistically managing economic\, social and environmental risks and opportunities suppor ted by software.\n UID:c11d9fbf5b ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T140000 DTEND;TZID=Europe/Zurich:20120608T151500 SUMMARY:Keynote: Whither Software Architecture? (Keynote) LOCATION: DESCRIPTION:Whither Software Architecture? (Keynote)\nJeff Kramer\nImperial College London\, UK\n\nSince its early beginnings in the 1980s\, much has been achieved in the research field of software architecture. Among other a spects\, this research has produced foundational work on the specification\ , analysis and component configuration of software architectures\, includin g the development of associated software tools. However\, adoption of the r esearch by industry has been largely methodological rather than based on pr ecise specifications in architecture description languages (ADLs) or rigoro usly underpinned by formal models of behaviour and non-functional attribute s. Why is this? Why were the actual formalisms and tools not more widely ad opted? Can we draw any lessons from this? In this talk\, I hope to explore this further\, drawing on my personal experience as a researcher in distrib uted software architectures. I particularly hope to tickle the fancy of th e younger members of our community\, indicating the excitement of research\ , the benefits of belonging to a vibrant research community such as ours\, and the benefits of being an active contributor. For the more mature resear chers\, there will be some nostalgic memories combined with some inevitable stepping on toes. For both young and old\, there will be some thoughts for research opportunities as the need for self-managing adaptive software sys tems becomes more urgent.\n UID:d8bc8229d6 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T104500 DTEND;TZID=Europe/Zurich:20120606T124500 SUMMARY:SEIP: Services and Analytics LOCATION: DESCRIPTION:Services and Analytics\n\nTowards a Federated Cloud Ecosystem ( Invited Industrial Talk)\nClovis Chapman\nDell\, Ireland\n\nSpecification P atterns from Research to Industry: A Case Study in Service-Based Applicatio ns\nDomenico Bianculli\, Carlo Ghezzi\, Cesare Pautasso\, and Patrick Senti \nUniversity of Lugano\, Switzerland\; Politecnico di Milano\, Italy\; Cred it Suisse\, Switzerland\n\nMethodology for Migration of Long Running Proces s Instances in a Global Large Scale BPM Environment in Credit Suisse's SOA Landscape\nTarmo Ploom\, Stefan Scheit\, and Axel Glaser\nCredit Suisse\, S witzerland\n\nInformation Needs for Software Development Analytics\nRaymond P. L. Buse and Thomas Zimmermann\nUniversity of Virginia\, USA\; Microsoft Research\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T140000 DTEND;TZID=Europe/Zurich:20120606T153000 SUMMARY:SEIP: Mini-Tutorial: Software Analytics LOCATION: DESCRIPTION:Mini-Tutorial: Software Analytics\nDongmei Zhang and Tao Xie\nM icrosoft Research\, China\; North Carolina State University\, USA\n\nA huge wealth of various data exist in the practice of software development. Furt her rich data are produced by modern software and services in operation\, m any 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 and the dynamics of software development. Software analytics is to develop and apply data exploration and analysis technologies\, such as pattern recognit ion\, machine learning\, and information visualization\, on software data t o obtain insightful and actionable information for modern software and serv ices. This tutorial presents latest research and practice on principles\, t echniques\, and applications of software analytics in practice\, highlighti ng success stories in industry\, research achievements that are transferred to industrial practice\, and future research and practice directions in so ftware analytics. The attendees can acquire the skills and knowledge needed to perform industrial research or conduct industrial practice in the field of software analytics and to integrate analytics in their own industrial r esearch\, practice\, and training.\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T160000 DTEND;TZID=Europe/Zurich:20120606T180000 SUMMARY:SEIP: Invited Industrial Experts LOCATION: DESCRIPTION:Invited Industrial Experts\n\nSoftware as an Engineering Materi al: How the Affordances of Programming Have Changed and What to Do about It (Invited Industrial Talk)\nKeith Braithwaite\nZühlke Engineering\, UK\n\nS oftware Architecture - What Does It Mean in Industry? (Invited Industrial T alk)\nEberhard Wolff\nadesso\, Germany\n\nHow Software Engineering Can Bene fit from Traditional Industries - A Practical Experience Report (Invited In dustrial Talk)\nTom Sprenger\nAdNovum Informatik\, Switzerland\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T104500 DTEND;TZID=Europe/Zurich:20120607T124500 SUMMARY:SEIP: Formal Methods LOCATION: DESCRIPTION:Formal Methods\n\nTen Years of Automated Code Analysis at Micro soft (Invited Industrial Talk)\nWolfram Schulte\nMicrosoft Research\, USA\n \nLarge-Scale Formal Verification in Practice: A Process Perspective\nJune Andronick\, Ross Jeffery\, Gerwin Klein\, Rafal Kolanski\, Mark Staples\, H e Zhang\, and Liming Zhu\nNICTA\, Australia\; UNSW\, Australia\n\nConstruct ing Parser for Industrial Software Specifications Containing Formal and Nat ural Language Description\nFutoshi Iwama\, Taiga Nakamura\, and Hironori Ta keuchi\nIBM Research\, Japan\n\nFormal Correctness\, Safety\, Dependability \, and Performance Analysis of a Satellite\nMarie-Aude Esteve\, Joost-Piete r Katoen\, Viet Yen Nguyen\, Bart Postma\, and Yuri Yushtein\nEuropean Spac e Agency\, Netherlands\; RWTH Aachen University\, Germany\; University of T wente\, Netherlands\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T160000 DTEND;TZID=Europe/Zurich:20120607T173000 SUMMARY:SEIP: Goldfish Bowl Panel: Software Development Analytics LOCATION: DESCRIPTION:Goldfish Bowl Panel: Software Development Analytics\nTim Menzie s and Thomas Zimmermann\nWest Virginia University\, USA\; Microsoft Researc h\, USA\n\nGaming companies now routinely apply data mining to their user d ata in order to plan the next release of their software. We predict that su ch software development analytics will become commonplace\, in the near fut ure. For example\, as large software systems migrate to the cloud\, they ar e divided and sold as dozens of smaller apps\; when shopping inside the clo ud\, users are free to mix and match their apps from multiple vendors (e.g. Google Docs’ word processor with Zoho’s slide manager)\; to extend\, or ev en retain\, market share cloud vendors must mine their user data in order t o understand what features best attract their clients. This panel will addr ess the open issues with analytics. Issues addressed will include the follo wing. What is the potential for software development analytics? What are th e strengths and weaknesses of the current generation of analytics tools? Ho w best can we mature those tools?\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T160000 DTEND;TZID=Europe/Zurich:20120607T173000 SUMMARY:SEIP: Re-engineering LOCATION: DESCRIPTION:Re-engineering\n\nMaking Sense of Healthcare Benefits\nJonathan Bnayahu\, Maayan Goldstein\, Mordechai Nisenson\, and Yahalomit Simionovic i\nIBM Research\, Israel\n\nOn the Proactive and Interactive Visualization for Feature Evolution Comprehension: An Industrial Investigation\nRenato No vais\, Camila Nunes\, Caio Lima\, Elder Cirilo\, Francisco Dantas\, Alessan dro Garcia\, and Manoel Mendonça\nFederal University of Bahia\, Brazil\; Fe deral Institute of Bahia\, Brazil\; PUC-Rio\, Brazil\n\nExtending Static An alysis by Mining Project-Specific Rules\nBoya Sun\, Gang Shu\, Andy Podgurs ki\, and Brian Robinson\nCase Western Reserve University\, USA\; ABB Resear ch\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T084500 DTEND;TZID=Europe/Zurich:20120608T101500 SUMMARY:SEIP: Debugging LOCATION: DESCRIPTION:Debugging\n\nDebugger Canvas: Industrial Experience with the Co de Bubbles Paradigm\nRobert DeLine\, Andrew Bragdon\, Kael Rowan\, Jens Jac obsen\, and Steven P. Reiss\nMicrosoft Research\, USA\; Brown University\, USA\n\nCharacterizing and Predicting Which Bugs Get Reopened\nThomas Zimmer mann\, Nachiappan Nagappan\, Philip J. Guo\, and Brendan Murphy\nMicrosoft Research\, USA\; Stanford University\, USA\; Microsoft Research\, UK\n\nReB ucket: A Method for Clustering Duplicate Crash Reports Based on Call Stack Similarity\nYingnong Dang\, Rongxin Wu\, Hongyu Zhang\, Dongmei Zhang\, and Peter Nobel\nMicrosoft Research\, China\; Tsinghua University\, China\; Mi crosoft\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T084500 DTEND;TZID=Europe/Zurich:20120608T101500 SUMMARY:SEIP: Case Studies LOCATION: DESCRIPTION:Case Studies\n\nUnderstanding the Impact of Pair Programming on Developers Attention: A Case Study on a Large Industrial Experimentation\n Alberto Sillitti\, Giancarlo Succi\, and Jelena Vlasenko\nFree University o f Bolzano\, Italy\n\nHow Much Does Unused Code Matter for Maintenance?\nSeb astian Eder\, Maximilian Junker\, Elmar Jürgens\, Benedikt Hauptmann\, Rudo lf Vaas\, and Karl-Heinz Prommer\nTU Munich\, Germany\; Munich Re\, Germany \n\nUsing Knowledge Elicitation to Improve Web Effort Estimation: Lessons f rom Six Industrial Case Studies\nEmilia Mendes\nZayed University\, United A rab Emirates\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T104500 DTEND;TZID=Europe/Zurich:20120608T124500 SUMMARY:SEIP: Testing LOCATION: DESCRIPTION:Testing\n\nLarge-Scale Test Automation in the Cloud (Invited In dustrial Talk)\nJohn Penix\nGoogle\, USA\n\nEfficient Reuse of Domain-Speci fic Test Knowledge: An Industrial Case in the Smart Card Domain\nNicolas De vos\, Christophe Ponsard\, Jean-Christophe Deprez\, Renaud Bauvin\, Benedic te Moriau\, and Guy Anckaerts\nCETIC\, Belgium\; STMicroelectronics\, Belgi um\n\nThe Quamoco Product Quality Modelling and Assessment Approach\nStefan Wagner\, Klaus Lochmann\, Lars Heinemann\, Michael Kläs\, Adam Trendowicz\ , Reinhold Plösch\, Andreas Seidl\, Andreas Goeb\, and Jonathan Streit\nUni versity of Stuttgart\, Germany\; TU Munich\, Germany\; Fraunhofer IESE\, Ge rmany\; JKU Linz\, Austria\; Capgemini\, Germany\; SAP\, Germany\; itestra\ , Germany\n\nIndustrial Application of Concolic Testing Approach: A Case St udy on libexif by Using CREST-BV and KLEE\nYunho Kim\, Moonzoo Kim\, YoungJ oo Kim\, and Yoonkyu Jang\nKAIST\, South Korea\; Samsung Electronics\, Sout h Korea\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T104500 DTEND;TZID=Europe/Zurich:20120606T110000 SUMMARY:SEE: Opening Remarks LOCATION: DESCRIPTION:Opening Remarks (Chair: Jochen Ludewig / Hausi Müller)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T110000 DTEND;TZID=Europe/Zurich:20120606T124500 SUMMARY:SEE: The Role of Software Projects in Software Engineering Educatio n LOCATION: DESCRIPTION:The Role of Software Projects in Software Engineering Education (Chair: Kurt Schneider)\n\nTeaching Software Engineering and Software Proj ect Management: An Integrated and Practical Approach\nGabriele Bavota\, And rea De Lucia\, Fausto Fasano\, Rocco Oliveto\, and Carlo Zottoli\nUniversit y of Salerno\, Italy\; University of Molise\, Italy\n\nTeaching Collaborati ve Software Development: A Case Study\nTerhi Kilamo\, Imed Hammouda\, and M ohamed Amine Chatti\nTampere University of Technology\, Finland\; RWTH Aach en University\, Germany\n\nUsing Continuous Integration of Code and Content to Teach Software Engineering with Limited Resources\nJörn Guy Süß and Wil liam Billingsley\nUniversity of Queensland\, Australia\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T140000 DTEND;TZID=Europe/Zurich:20120606T153000 SUMMARY:SEE: Aspects of Teaching Software Engineering LOCATION: DESCRIPTION:Aspects of Teaching Software Engineering (Chair: Martin Naedele )\n\nStages in Teaching Software Testing\nTony Cowling\nUniversity of Sheff ield\, UK\n\nIntegrating Tools and Frameworks in Undergraduate Software Eng ineering Curriculum\nChristopher Fuhrman\, Roger Champagne\, and Alain Apri l\nUniversity of Québec\, Canada\n\nWhat Scope Is There for Adopting Eviden ce-Informed Teaching in SE?\nDavid Budgen\, Sarah Drummond\, Pearl Brereton \, and Nikki Holland\nDurham University\, UK\; Keele University\, UK\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T160000 DTEND;TZID=Europe/Zurich:20120606T180000 SUMMARY:SEE: Software Engineering Education in Industry LOCATION: DESCRIPTION:Software Engineering Education in Industry (Chair: Grace Lewis) \nGanesh Samarthyam\, Girish Suryanarayana\, Arbind Kumar Gupta\, and Raghu Nambiar\nSiemens\, India\n\nSiemens Corporate Development Center India (CT DC IN) develops software applications for the industry\, energy\, health-c are\, and infrastructure &\; cities sectors of Siemens. These applicatio ns are typically critical in nature and require software practitioners who have considerable competency in the area of software engineering. To enhanc e the competency of engineers\, CT DC IN has introduced an internal curricu lum titled "\;FOundation CUrriculum for Software engineers"\; (FOCU S) which is an adapted version of IEEE'\;s SWEBOK curriculum. The FOCUS program has been used to train more than 500 engineers in the last three ye ars. In this experience report\, we describe the motivation for FOCUS\, how it was structured to address the specific needs of CT DC IN\, and how the FOCUS program was rolled out within the organization. We also provide resul ts obtained from a survey of the FOCUS participants\, their managers\, and FOCUS trainers that was conducted to throw light on the effectiveness of th e program. We believe the insights from the survey results provide useful p ointers to other organizations and academic institutions that are planning to adopt a SWEBOK-based curriculum.\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T104500 DTEND;TZID=Europe/Zurich:20120607T111500 SUMMARY:SEE: Fishbowl Panel: Do we need to Change Software Engineering Curr icula for the Challenges of an Instrumented and Interconnected World? LOCATION: DESCRIPTION:Fishbowl Panel: Do we need to Change Software Engineering Curri cula for the Challenges of an Instrumented and Interconnected World? (Chair : Hausi Müller)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T111500 DTEND;TZID=Europe/Zurich:20120607T123000 SUMMARY:SEE: Teaching Distributed Software Engineering LOCATION: DESCRIPTION:Teaching Distributed Software Engineering (Chair: Richard LeBla nc)\n\nTen Tips to Succeed in Global Software Engineering Education\nIvica Crnković\, Ivana Bosnić\, and Mario Žagar\nMälardalen University\, Sweden\; University of Zagreb\, Croatia\n\nCollaboration Patterns in Distributed So ftware Development Projects\nIgor Čavrak\, Marin Orlić\, and Ivica Crnković \nUniversity of Zagreb\, Croatia\; Mälardalen University\, Sweden\n\nImprov ing PSP Education by Pairing: An Empirical Study\nGuoping Rong\, He Zhang\, Mingjuan Xie\, and Dong Shao\nNanjing University\, China\; NICTA\, Austral ia\; UNSW\, Australia\n\nFive Days of Empirical Software Engineering: The P ASED Experience\nMassimiliano Di Penta\, Giuliano Antoniol\, Daniel M. Germ án\, Yann-Gaël Guéhéneuc\, and Bram Adams\nUniversity of Sannio\, Italy\; É cole Polytechnique de Montréal\, Canada\; University of Victoria\, Canada\n \n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T123000 DTEND;TZID=Europe/Zurich:20120607T124500 SUMMARY:SEE: Closing Remarks LOCATION: DESCRIPTION:Closing Remarks (Chair: Jochen Ludewig / Hausi Müller)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T104500 DTEND;TZID=Europe/Zurich:20120606T124500 SUMMARY:NIER: NIER in Support of Software Engineers LOCATION: DESCRIPTION:NIER in Support of Software Engineers\n\nAutomatically Detectin g Developer Activities and Problems in Software Development Work\nTobias Ro ehm and Walid Maalej\nTU Munich\, Germany\n\nSoftware Process Improvement t hrough the Identification and Removal of Project-Level Knowledge Flow Obsta cles\nSusan M. Mitchell and Carolyn B. Seaman\nUniversity of Maryland in Ba ltimore County\, USA\n\nSymbiotic General-Purpose and Domain-Specific Langu ages\nColin Atkinson\, Ralph Gerbig\, and Bastian Kennel\nUniversity of Man nheim\, Germany\n\nEvaluating the Specificity of Text Retrieval Queries to Support Software Engineering Tasks\nSonia Haiduc\, Gabriele Bavota\, Rocco Oliveto\, Andrian Marcus\, and Andrea De Lucia\nWayne State University\, US A\; University of Salerno\, Italy\; University of Molise\, Italy\n\nCo-adap ting Human Collaborations and Software Architectures\nChristoph Dorn and Ri chard N. Taylor\nUC Irvine\, USA\n\nRelease Engineering Practices and Pitfa lls\nHyrum K. Wright and Dewayne E. Perry\nUniversity of Texas at Austin\, USA\n\nAugmented Intelligence - The New AI - Unleashing Human Capabilities in Knowledge Work\nJames M. Corrigan\nStony Brook University\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T104500 DTEND;TZID=Europe/Zurich:20120607T124500 SUMMARY:NIER: NIER for Mining Product and Process Data LOCATION: DESCRIPTION:NIER for Mining Product and Process Data\n\nOn How Often Code I s Cloned across Repositories\nNiko Schwarz\, Mircea Lungu\, and Romain Robb es\nUniversity of Bern\, Switzerland\; University of Chile\, Chile\n\nMinin g Input Sanitization Patterns for Predicting SQL Injection and Cross Site S cripting Vulnerabilities\nLwin Khin Shar and Hee Beng Kuan Tan\nNanyang Tec hnological University\, Singapore\n\nInferring Developer Expertise through Defect Analysis\nTung Thanh Nguyen\, Tien N. Nguyen\, Evelyn Duesterwald\, Tim Klinger\, and Peter Santhanam\nIowa State University\, USA\; IBM Resear ch\, USA\n\nGreen Mining: Investigating Power Consumption across Versions\n Abram Hindle\nUniversity of Alberta\, Canada\n\nMulti-label Software Behavi or Learning\nYang Feng and Zhenyu Chen\nNanjing University\, China\n\nTrend s in Object-Oriented Software Evolution: Investigating Network Properties\n Alexander Chatzigeorgiou and George Melas\nUniversity of Macedonia\, Greece \n\nExploring Techniques for Rationale Extraction from Existing Documents\n Benjamin Rogers\, James Gung\, Yechen Qiao\, and Janet E. Burge\nMiami Univ ersity\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T084500 DTEND;TZID=Europe/Zurich:20120608T101500 SUMMARY:NIER: NIER to Leverage Social Aspects LOCATION: DESCRIPTION:NIER to Leverage Social Aspects\n\nContinuous Social Screencast ing to Facilitate Software Tool Discovery\nEmerson Murphy-Hill\nNorth Carol ina State University\, USA\n\nUDesignIt: Towards Social Media for Community -Driven Design\nPhil Greenwood\, Awais Rashid\, and James Walkerdine\nLanca ster University\, UK\n\nInfluencing the Adoption of Software Engineering Me thods Using Social Software\nLeif Singer and Kurt Schneider\nLeibniz Univer sität Hannover\, Germany\n\nToward Actionable\, Broadly Accessible Contests in Software Engineering\nJane Cleland-Huang\, Yonghee Shin\, Ed Keenan\, A dam Czauderna\, Greg Leach\, Evan Moritz\, Malcom Gethers\, Denys Poshyvany k\, Jane Huffman Hayes\, and Wenbin Li\nDePaul University\, USA\; College o f William and Mary\, USA\; University of Kentucky\, USA\n\nCodeTimeline: St orytelling with Versioning Data\nAdrian Kuhn and Mirko Stocker\nUniversity of British Columbia\, Canada\; University of Applied Sciences Rapperswil\, Switzerland\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T104500 DTEND;TZID=Europe/Zurich:20120608T124500 SUMMARY:NIER: NIER for Verification and Evolution LOCATION: DESCRIPTION:NIER for Verification and Evolution\n\nAnalyzing Multi-agent Sy stems with Probabilistic Model Checking Approach\nSongzheng Song\, Jianye H ao\, Yang Liu\, Jun Sun\, Ho-Fung Leung\, and Jin Song Dong\nNational Unive rsity of Singapore\, Singapore\; Chinese University of Hong Kong\, China\; University of Technology and Design\, Singapore\n\nBrace: An Assertion Fram ework for Debugging Cyber-Physical Systems\nKevin Boos\, Chien-Liang Fok\, Christine Julien\, and Miryung Kim\nUniversity of Texas at Austin\, USA\n\n Augmenting Test Suites Effectiveness by Increasing Output Diversity\nNadia Alshahwan and Mark Harman\nUniversity College London\, UK\n\nImproving IDE Recommendations by Considering Global Implications of Existing Recommendati ons\nKıvanç Muşlu\, Yuriy Brun\, Reid Holmes\, Michael D. Ernst\, and David Notkin\nUniversity of Washington\, USA\; University of Waterloo\, Canada\n \nTowards Flexible Evolution of Dynamically Adaptive Systems\nGilles Perrou in\, Brice Morin\, Franck Chauvel\, Franck Fleurey\, Jacques Klein\, Yves L e Traon\, Olivier Barais\, and Jean-Marc Jézéquel\nUniversity of Namur\, Be lgium\; SINTEF\, Norway\; University of Luxembourg\, Luxembourg\; IRISA\, F rance\n\nTowards Business Processes Orchestrating the Physical Enterprise w ith Wireless Sensor Networks\nFabio Casati\, Florian Daniel\, Guenadi Dantc hev\, Joakim Eriksson\, Niclas Finne\, Stamatis Karnouskos\, Patricio Moren o Montero\, Luca Mottola\, Felix Jonathan Oppermann\, Gian Pietro Picco\, A ntonio Quartulli\, Kay Römer\, Patrik Spiess\, Stefano Tranquillini\, and T hiemo Voigt\nUniversity of Trento\, Italy\; SAP\, Germany\; Swedish Institu te of Computer Science\, Sweden\; Acciona Infraestructuras\, Spain\; Univer sity of Lübeck\, Germany\n\nEngineering and Verifying Requirements for Prog rammable Self-Assembling Nanomachines\nRobyn Lutz\, Jack Lutz\, James Lathr op\, Titus Klinge\, Eric Henderson\, Divita Mathur\, and Dalia Abo Sheasha\ nIowa State University\, USA\; California Institute of Technology\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T160000 DTEND;TZID=Europe/Zurich:20120606T180000 SUMMARY:Formal Demos 1 LOCATION: DESCRIPTION:Formal Demos 1\n\nFacilitating Communication between Engineers with CARES\nAnja Guzzi and Andrew Begel\nTU Delft\, Netherlands\; Microsoft Research\, USA\n\nInteractive Refinement of Combinatorial Test Plans\nItai Segall and Rachel Tzoref-Brill\nIBM Research\, Israel\n\nTraceLab: An Expe rimental Workbench for Equipping Researchers to Innovate\, Synthesize\, and Comparatively Evaluate Traceability Solutions\nEd Keenan\, Adam Czauderna\ , Greg Leach\, Jane Cleland-Huang\, Yonghee Shin\, Evan Moritz\, Malcom Get hers\, Denys Poshyvanyk\, Jonathan Maletic\, Jane Huffman Hayes\, Alex Dekh tyar\, Daria Manukian\, Shervin Hossein\, and Derek Hearn\nDePaul Universit y\, USA\; College of William and Mary\, USA\; Kent State University\, USA\; University of Kentucky\, USA\; CalPoly\, USA\n\nSpecification Engineering and Modular Verification Using a Web-Integrated Verifying Compiler\nCharles T. Cook\, Heather Harton\, Hampton Smith\, and Murali Sitaraman\nClemson U niversity\, USA\n\nWriting Dynamic Service Orchestrations with DSOL\nLeandr o Sales Pinto\, Gianpaolo Cugola\, and Carlo Ghezzi\nPolitecnico di Milano\ , Italy\n\nMASH: A Tool for End-User Plug-In Composition\nLeonardo Mariani and Fabrizio Pastore\nUniversity of Milano-Bicocca\, Italy\n\nBabelRef: Det ection and Renaming Tool for Cross-Language Program Entities in Dynamic Web Applications\nHung Viet Nguyen\, Hoan Anh Nguyen\, Tung Thanh Nguyen\, and Tien N. Nguyen\nIowa State University\, USA\n\nMDSheet: A Framework for Mo del-Driven Spreadsheet Engineering\nJácome Cunha\, João Paulo Fernandes\, J orge Mendes\, and João Saraiva\nUniversity of Minho\, Portugal\; University of Porto\, Portugal\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T104500 DTEND;TZID=Europe/Zurich:20120608T124500 SUMMARY:Formal Demos 2 LOCATION: DESCRIPTION:Formal Demos 2\n\nWorkItemExplorer: Visualizing Software Develo pment Tasks Using an Interactive Exploration Environment\nChristoph Treude\ , Patrick Gorman\, Lars Grammel\, and Margaret-Anne Storey\nUniversity of V ictoria\, Canada\n\nRuntime Monitoring of Component Changes with Spy@Runtim e\nCarlo Ghezzi\, Andrea Mocci\, and Mario Sangiorgio\nPolitecnico di Milan o\, Italy\; MIT\, USA\n\nGraPacc: A Graph-Based Pattern-Oriented\, Context- Sensitive Code Completion Tool\nAnh Tuan Nguyen\, Hoan Anh Nguyen\, Tung Th anh Nguyen\, and Tien N. Nguyen\nIowa State University\, USA\n\nCode Bubble s: A Practical Working-Set Programming Environment\nSteven P. Reiss\, Jared N. Bott\, and Joseph J. LaViola\, Jr.\nBrown University\, USA\; University of Central Florida\, USA\n\nEVOSS: A Tool for Managing the Evolution of Fr ee and Open Source Software Systems\nDavide Di Ruscio\, Patrizio Pelliccion e\, and Alfonso Pierantonio\nUniversity of L'Aquila\, Italy\n\nSupporting E xtract Class Refactoring in Eclipse: The ARIES Project\nGabriele Bavota\, A ndrea De Lucia\, Andrian Marcus\, Rocco Oliveto\, and Fabio Palomba\nUniver sity of Salerno\, Italy\; Wayne State University\, USA\; University of Moli se\, Italy\n\nEXSYST: Search-Based GUI Testing\nFlorian Gross\, Gordon Fras er\, and Andreas Zeller\nSaarland University\, Germany\n\nJavaMOP: Efficien t Parametric Runtime Monitoring Framework\nDongyun Jin\, Patrick O’Neil Mer edith\, Choonghwan Lee\, and Grigore Roşu\nUniversity of Illinois at Urbana -Champaign\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T150000 DTEND;TZID=Europe/Zurich:20120607T160000 SUMMARY:Posters LOCATION: DESCRIPTION:Posters\n\nAugmenting Test Suites Automatically\nKonstantin Rub inov and Jochen Wuttke\nUniversity of Lugano\, Switzerland\; University of Washington\, USA\n\nUsing the GPGPU for Scaling Up Mining Software Reposito ries\nRina Nagano\, Hiroki Nakamura\, Yasutaka Kamei\, Bram Adams\, Kenji H isazumi\, Naoyasu Ubayashi\, and Akira Fukuda\nKyushu University\, Japan\; École Polytechnique de Montréal\, Canada\n\nFastFix: Monitoring Control for Remote Software Maintenance\nDennis Pagano\, Miguel A. Juan\, Alessandra B agnato\, Tobias Roehm\, Bernd Brügge\, and Walid Maalej\nTU Munich\, German y\; S2 Grupo\, Spain\; TXT e-solutions\, Italy\n\nModeling Cloud Performanc e with Kriging\nAlessio Gambi and Giovanni Toffetti\nUniversity of Lugano\, Switzerland\n\nSOA Adoption in the Italian Industry\nMaurizio Leotta\, Fil ippo Ricca\, Marina Ribaudo\, Gianna Reggio\, Egidio Astesiano\, and Tullio Vernazza\nUniversità di Genova\, Italy\n\nA Bidirectional Model-Driven Spr eadsheet Environment\nJácome Cunha\, João Paulo Fernandes\, Jorge Mendes\, and João Saraiva\nUniversity of Minho\, Portugal\n\nA Self-Healing Techniqu e for Java Applications\nAntonio Carzaniga\, Alessandra Gorla\, Andrea Matt avelli\, and Nicolò Perino\nUniversity of Lugano\, Switzerland\n\nWhen Open Source Turns Cold on Innovation - The Challenges of Navigating Licensing C omplexities in New Research Domains\nChristopher Forbes\, Iman Keivanloo\, and Juergen Rilling\nConcordia University\, Canada\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T160000 DTEND;TZID=Europe/Zurich:20120607T173000 SUMMARY:Informal Demonstrations LOCATION: DESCRIPTION:Informal Demonstrations\n\nLanguage Modularity with the MPS Lan guage Workbench\nMarkus Voelter and Vaclav Pech\nitemis\, Germany\; voelter ingenieurbuero fuer softwaretechnologie\, Germany\; JetBrains\, USA\n\nMin ing Application Repository to Recommend XML Configuration Snippets\nSheng H uang\, Yi Qi Lu\, Yanghua Xiao\, and Wei Wang\nFudan University\, China\n\n Locating Features in Dynamically Configured Avionics Software\nMaxime Ouell et\, Ettore Merlo\, Neset Sozen\, and Martin Gagnon\nÉcole Polytechnique de Montréal\, Canada\; CMC Electronics\, Canada\n\nDetecting Metadata Bugs on the Fly\nMyoungkyu Song and Eli Tilevich\nVirginia Tech\, USA\n\nBlaze\nJa n-Peter Krämer\, Joachim Kurz\, Thorsten Karrer\, and Jan Borchers\nRWTH Aa chen University\, Germany\n\nConTexter Feedback System\nTristan Wehrmaker\, Stefan Gärtner\, and Kurt Schneider\nLeibniz Universität Hannover\, German y\n\nxMapper: An Architecture-Implementation Mapping Tool\nYongjie Zheng an d Richard N. Taylor\nUC Irvine\, USA\n\nConcernReCS: Finding Code Smells in Software Aspectization\nPéricles Alves\, Diogo Santana\, and Eduardo Figue iredo\nUFMG\, Brazil\n\nEgidio: A Non-Invasive Approach for Synthesizing Or ganizational Models\nSaulius Astromskis\, Andrea Janes\, and Alireza Rezaei Mahdiraji\nFree University of Bolzano\, Italy\n\nSDiC: Context-Based Retri eval in Eclipse\nBruno Antunes\, Joel Cordeiro\, and Paulo Gomes\nUniversit y of Coimbra\, Portugal\n\nAn Integrated Bug Processing Framework\nXiangyu Zhang\, Mengxiang Lin\, and Kai Yu\nBeihang University\, China\n\nRepositor y for Model Driven Development (ReMoDD)\nRobert B. France\, James M. Bieman \, Sai Pradeep Mandalaparty\, Betty H. C. Cheng\, and Adam C. Jensen\nColor ado State University\, USA\; Michigan State University\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T090000 DTEND;TZID=Europe/Zurich:20120604T100000 SUMMARY:Doctoral: Introduction and Invited Talk by Prem Devanbu LOCATION: DESCRIPTION:Introduction and Invited Talk by Prem Devanbu (Chair: Daniela D amian)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T100000 DTEND;TZID=Europe/Zurich:20120604T103000 SUMMARY:Doctoral: Posters 1-12 LOCATION: DESCRIPTION:Posters 1-12\n\nGoing Global with Agile Service Networks\nDamia n A. Tamburri\nVU University Amsterdam\, Netherlands\n\nUsing Structural an d Semantic Information to Support Software Refactoring\nGabriele Bavota\nUn iversity of Salerno\, Italy\n\nAn Approach to Variability Management in Ser vice-Oriented Product Lines\nSedigheh Khoshnevis\nShahid Beheshti Universit y G.C.\, Iran\n\nUsing Machine Learning to Enhance Automated Requirements M odel Transformation\nErol-Valeriu Chioaşcă\nUniversity of Manchester\, UK\n \nSecurity Testing of Web Applications: A Research Plan\nAndrea Avancini\nF ondazione Bruno Kessler\, Italy\n\nApplication of Self-Adaptive Techniques to Federated Authorization Models\nChristopher Bailey\nUniversity of Kent\, UK\n\nImproving Information Retrieval-Based Concept Location Using Context ual Relationships\nTezcan Dilshener\nOpen University\, UK\n\nEffective Spec ification of Decision Rights and Accountabilities for Better Performing Sof tware Engineering Projects\nMonde Kalumbilo\nUniversity College London\, UK \n\nSearch Based Design of Software Product Lines Architectures\nThelma Eli ta Colanzi\nFederal University of Paraná\, Brazil\n\nSoftware Fault Localiz ation Based on Program Slicing Spectrum\nWanzhi Wen\nSoutheast University\, China\; Chinese Academy of Sciences\, China\n\nArchitectural Task Allocati on in Distributed Environment: A Traceability Perspective\nSalma Imtiaz\nIn ternational Islamic University\, Pakistan\n\nUsing Invariant Relations in t he Termination Analysis of While Loops\nWided Ghardallou\nUniversity of Tun is El Manar\, Tunisia\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T103000 DTEND;TZID=Europe/Zurich:20120604T110000 SUMMARY:Doctoral: Poster Break LOCATION: DESCRIPTION:Poster Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T110000 DTEND;TZID=Europe/Zurich:20120604T124500 SUMMARY:Doctoral: Presentations 1-4 LOCATION: DESCRIPTION:Presentations 1-4\n\nSoftware Regression as Change of Input Par titioning\nMarcel Böhme\nNational University of Singapore\, Singapore\n\nA Generic Methodology to Derive Domain-Specific Performance Feedback for Deve lopers\nDennis Westermann\nSAP Research\, Germany\n\nTowards the Verificati on of Multi-diagram UML Models\nAlfredo Motta\nPolitecnico di Milano\, Ital y\n\nDocumenting and Sharing Knowledge about Code\nAnja Guzzi\nTU Delft\, N etherlands\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T124500 DTEND;TZID=Europe/Zurich:20120604T140000 SUMMARY:Doctoral: Breakout into Subgroups over Lunch LOCATION: DESCRIPTION:Breakout into Subgroups over Lunch\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T140000 DTEND;TZID=Europe/Zurich:20120604T145000 SUMMARY:Doctoral: Presentations 5-6 LOCATION: DESCRIPTION:Presentations 5-6\n\nTimely and Efficient Facilitation of Coord ination of Software Developers’ Activities\nKelly Blincoe\nDrexel Universit y\, USA\n\nStack Layout Transformation: Towards Diversity for Securing Bina ry Programs\nBenjamin Rodes\nUniversity of Virginia\, USA\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T145000 DTEND;TZID=Europe/Zurich:20120604T153000 SUMMARY:Doctoral: Posters 13-25 LOCATION: DESCRIPTION:Posters 13-25\n\nSynthesis of Event-Based Controllers: A Softwa re Engineering Challenge\nNicolás D'Ippolito\nImperial College London\, UK\ n\nEmpirically Researching Development of International Software\nMalte Res sin\nUniversity of West London\, UK\n\nModel Translations among Big-Step Mo deling Languages\nFathiyeh Faghih\nUniversity of Waterloo\, Canada\n\nHARPP IE: Hyper Algorithmic Recipe for Productive Parallelism Intensive Endeavors \nPedro Monteiro\nUniversidade Nova de Lisboa\, Portugal\n\nOn the Analysis of Evolution of Software Artefacts and Programs\nFehmi Jaafar\nUniversity of Montreal\, Canada\n\nSocietal Computing\nSwapneel Sheth\nColumbia Univer sity\, USA\n\nFinding Suitable Programs: Semantic Search with Incomplete an d Lightweight Specifications\nKathryn T. Stolee\nUniversity of Nebraska-Lin coln\, USA\n\nCertification-Based Development of Critical Systems\nPanayiot is Steele\nUniversity of Virginia\, USA\n\nTesting and Debugging UML Models Based on fUML\nTanja Mayerhofer\nVienna University of Technology\, Austria \n\nBridging the Divide between Software Developers and Operators Using Log s\nWeiyi Shang\nQueen's University\, Canada\n\nThe Co-evolution of Socio-te chnical Structures in Sustainable Software Development: Lessons from the Op en Source Software Communities\nMarcelo Serrano Zanetti\nETH Zurich\, Switz erland\n\nLog-Based Testing\nAlexander Elyasov\nUtrecht University\, Nether lands\n\nMoving Mobile Applications between Mobile Devices Seamlessly\nVolk er Schuchardt\nUniversity of Duisburg-Essen\, Germany\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T153000 DTEND;TZID=Europe/Zurich:20120604T160000 SUMMARY:Doctoral: Poster Break LOCATION: DESCRIPTION:Poster Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T160000 DTEND;TZID=Europe/Zurich:20120604T173000 SUMMARY:Doctoral: Discussion and Lessons Learned LOCATION: DESCRIPTION:Discussion and Lessons Learned (Chair: Andreas Zeller)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T140000 DTEND;TZID=Europe/Zurich:20120606T153000 SUMMARY:Invited: Refounding Software Engineering: The Semat Initiative (Inv ited Presentation) LOCATION: DESCRIPTION:Refounding Software Engineering: The Semat Initiative (Invited Presentation)\nMira Kajko-Mattsson\, Ivar Jacobson\, Ian Spence\, Paul McMa hon\, Brian Elvesæter\, Arne J. Berre\, Michael Striewe\, Michael Goedicke\ , Shihong Huang\, Bruce MacIsaac\, and Ed Seymour\nKTH Royal Institute of T echnology\, Sweden\; Ivar Jacobson Int.\, UK\; PEM Systems\, USA\; SINTEF\, Norway\; University of Duisburg-Essen\, Germany\; Florida Atlantic Univers ity\, USA\; IBM\, USA\; Fujitsu\, UK\n\nThe new software engineering initia tive\, Semat\, is in the process of developing a kernel for software engine ering that stands on a solid theoretical basis. So far\, it has suggested a set of kernel elements for software engineering and basic language constru cts for defining the elements and their usage. This paper describes a sessi on during which Semat results and status will be presented. The presentatio n will be followed by a discussion panel.\n UID:b3b6b1e3f5 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T083000 DTEND;TZID=Europe/Zurich:20120606T090000 SUMMARY:Opening LOCATION: DESCRIPTION:Opening\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T153000 DTEND;TZID=Europe/Zurich:20120608T160000 SUMMARY:Closing LOCATION: DESCRIPTION:Closing\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T084500 DTEND;TZID=Europe/Zurich:20120607T090000 SUMMARY:Awards 1 LOCATION: DESCRIPTION:Awards 1\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T140000 DTEND;TZID=Europe/Zurich:20120607T150000 SUMMARY:Awards 2: MIP Award Talk LOCATION: DESCRIPTION:Awards 2: MIP Award Talk\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T151500 DTEND;TZID=Europe/Zurich:20120608T153000 SUMMARY:Awards 3 LOCATION: DESCRIPTION:Awards 3\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T124500 DTEND;TZID=Europe/Zurich:20120606T140000 SUMMARY:ICSE Organization Committee Meeting LOCATION: DESCRIPTION:ICSE Organization Committee Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T124500 DTEND;TZID=Europe/Zurich:20120607T140000 SUMMARY:ICSE Program Committee Meeting LOCATION: DESCRIPTION:ICSE Program Committee Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T124500 DTEND;TZID=Europe/Zurich:20120608T140000 SUMMARY:SIGSOFT Executive Committee Meeting LOCATION: DESCRIPTION:SIGSOFT Executive Committee Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T183000 DTEND;TZID=Europe/Zurich:20120606T200000 SUMMARY:Reception LOCATION: DESCRIPTION:Reception\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T200000 DTEND;TZID=Europe/Zurich:20120606T210000 SUMMARY:TSE Editorial Board Meeting LOCATION: DESCRIPTION:TSE Editorial Board Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T173000 DTEND;TZID=Europe/Zurich:20120607T184500 SUMMARY:SIGSOFT Town Hall Meeting LOCATION: DESCRIPTION:SIGSOFT Town Hall Meeting\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T191500 DTEND;TZID=Europe/Zurich:20120607T203000 SUMMARY:Banquet LOCATION: DESCRIPTION:Banquet\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T183000 DTEND;TZID=Europe/Zurich:20120608T203000 SUMMARY:OC and PC Victory Dinner LOCATION: DESCRIPTION:OC and PC Victory Dinner\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T140000 DTEND;TZID=Europe/Zurich:20120606T153000 SUMMARY:Panel eZurich LOCATION: DESCRIPTION:Panel eZurich\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T160000 DTEND;TZID=Europe/Zurich:20120606T180000 SUMMARY:SE Horizons 1 LOCATION: DESCRIPTION:SE Horizons 1\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T084500 DTEND;TZID=Europe/Zurich:20120608T101500 SUMMARY:SE Horizons 2 LOCATION: DESCRIPTION:SE Horizons 2\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120605T090000 DTEND;TZID=Europe/Zurich:20120605T173000 SUMMARY:New Factulty Symposium LOCATION: DESCRIPTION:New Factulty Symposium\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T090000 DTEND;TZID=Europe/Zurich:20120604T173000 SUMMARY:TutF1: Effective Experimental Design and Statistical Analysis of So ftware Engineering Data LOCATION: DESCRIPTION:TutF1: Effective Experimental Design and Statistical Analysis o f Software Engineering Data\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T090000 DTEND;TZID=Europe/Zurich:20120604T173000 SUMMARY:TutF2: Self-Organizing Teams (canceled) LOCATION: DESCRIPTION:TutF2: Self-Organizing Teams (canceled)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120605T090000 DTEND;TZID=Europe/Zurich:20120605T173000 SUMMARY:TutF3: Wolf Pack Programming Workshop - Real Time Collaboration han ds-on Experience (canceled) LOCATION: DESCRIPTION:TutF3: Wolf Pack Programming Workshop - Real Time Collaboration hands-on Experience (canceled)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120605T090000 DTEND;TZID=Europe/Zurich:20120605T173000 SUMMARY:TutF4: Domain Specific Language Design LOCATION: DESCRIPTION:TutF4: Domain Specific Language Design\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T090000 DTEND;TZID=Europe/Zurich:20120604T123000 SUMMARY:TutH1: Strategic Management of Technical Debt LOCATION: DESCRIPTION:TutH1: Strategic Management of Technical Debt\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T140000 DTEND;TZID=Europe/Zurich:20120604T173000 SUMMARY:TutH2: Positive Transitions from the Classroom to the Cubicle LOCATION: DESCRIPTION:TutH2: Positive Transitions from the Classroom to the Cubicle\n \n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T090000 DTEND;TZID=Europe/Zurich:20120604T123000 SUMMARY:TutH3: Multicore Software Engineering and Auto-Tuning LOCATION: DESCRIPTION:TutH3: Multicore Software Engineering and Auto-Tuning\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120604T140000 DTEND;TZID=Europe/Zurich:20120604T173000 SUMMARY:TutH4: SOA Migration in Practice LOCATION: DESCRIPTION:TutH4: SOA Migration in Practice\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120605T090000 DTEND;TZID=Europe/Zurich:20120605T123000 SUMMARY:TutH5: Using Ethnographic methods in Software Engineering Research LOCATION: DESCRIPTION:TutH5: Using Ethnographic methods in Software Engineering Resea rch\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120605T140000 DTEND;TZID=Europe/Zurich:20120605T173000 SUMMARY:TutH6: Mining Software Engineering Data LOCATION: DESCRIPTION:TutH6: Mining Software Engineering Data\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120605T090000 DTEND;TZID=Europe/Zurich:20120605T173000 SUMMARY:TutH7: Software Ecosystems - Implications for Strategy\, Business M odel and Architecture LOCATION: DESCRIPTION:TutH7: Software Ecosystems - Implications for Strategy\, Busine ss Model and Architecture\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120605T090000 DTEND;TZID=Europe/Zurich:20120605T103000 SUMMARY:B1: Understanding Machine Learning for Empirical Software Engineeri ng LOCATION: DESCRIPTION:B1: Understanding Machine Learning for Empirical Software Engin eering\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120605T110000 DTEND;TZID=Europe/Zurich:20120605T123000 SUMMARY:B2: Software Engineering in the Age of Data Privacy LOCATION: DESCRIPTION:B2: Software Engineering in the Age of Data Privacy\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120605T140000 DTEND;TZID=Europe/Zurich:20120605T153000 SUMMARY:B3: On the Use of Text Retrieval Techniques in Software Engineering LOCATION: DESCRIPTION:B3: On the Use of Text Retrieval Techniques in Software Enginee ring\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120605T160000 DTEND;TZID=Europe/Zurich:20120605T173000 SUMMARY:B4: Symbolic Techniques for Software Debugging LOCATION: DESCRIPTION:B4: Symbolic Techniques for Software Debugging\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120605T140000 DTEND;TZID=Europe/Zurich:20120605T153000 SUMMARY:B5: Licensing Compliance (canceled) LOCATION: DESCRIPTION:B5: Licensing Compliance (canceled)\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120605T160000 DTEND;TZID=Europe/Zurich:20120605T173000 SUMMARY:B6: Software Release Engineering LOCATION: DESCRIPTION:B6: Software Release Engineering\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T101500 DTEND;TZID=Europe/Zurich:20120606T104500 SUMMARY:Coffee Break LOCATION: DESCRIPTION:Coffee Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T101500 DTEND;TZID=Europe/Zurich:20120607T104500 SUMMARY:Coffee Break LOCATION: DESCRIPTION:Coffee Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T101500 DTEND;TZID=Europe/Zurich:20120608T104500 SUMMARY:Coffee Break LOCATION: DESCRIPTION:Coffee Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T153000 DTEND;TZID=Europe/Zurich:20120606T160000 SUMMARY:Coffee Break LOCATION: DESCRIPTION:Coffee Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T153000 DTEND;TZID=Europe/Zurich:20120607T160000 SUMMARY:Coffee Break LOCATION: DESCRIPTION:Coffee Break\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T160000 DTEND;TZID=Europe/Zurich:20120608T163000 SUMMARY:Farewell Coffee LOCATION: DESCRIPTION:Farewell Coffee\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120606T124500 DTEND;TZID=Europe/Zurich:20120606T140000 SUMMARY:Lunch LOCATION: DESCRIPTION:Lunch\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120607T124500 DTEND;TZID=Europe/Zurich:20120607T140000 SUMMARY:Lunch LOCATION: DESCRIPTION:Lunch\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Europe/Zurich:20120608T124500 DTEND;TZID=Europe/Zurich:20120608T140000 SUMMARY:Lunch LOCATION: DESCRIPTION:Lunch\n\n UID: ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT END:VCALENDAR