BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH X-WR-CALNAME:Events of FSE 2014 PRODID:-//Generated by Conference Publishing//EN BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141118T104000 DTEND;TZID=Asia/Hong_Kong:20141118T122000 SUMMARY:Helping and Understanding Developers LOCATION:Auditorium DESCRIPTION:Helping and Understanding Developers (Chair: Martin Robillard)\ n\nDevelopers’ Code Context Models for Change Tasks\nThomas Fritz\, David C . Shepherd\, Katja Kevic\, Will Snipes\, and Christoph Bräunlich\nUniversit y of Zurich\, Switzerland\; ABB Research\, USA\n\nSoftware Developers’ Perc eptions of Productivity\nAndré N. Meyer\, Thomas Fritz\, Gail C. Murphy\, a nd Thomas Zimmermann\nUniversity of Zurich\, Switzerland\; University of Br itish Columbia\, Canada\; Microsoft Research\, USA\n\nEnablers\, Inhibitors \, and Perceptions of Testing in Novice Software Teams\nRaphael Pham\, Step han Kiesling\, Olga Liskin\, Leif Singer\, and Kurt Schneider\nLeibniz Univ ersität Hannover\, Germany\; University of Victoria\, Canada\n\nFeedback Ge neration for Performance Problems in Introductory Programming Assignments\n Sumit Gulwani\, Ivan Radiček\, and Florian Zuleger\nMicrosoft Research\, US A\; Vienna University of Technology\, Austria\n\n UID:uyai4duRae ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141118T104000 DTEND;TZID=Asia/Hong_Kong:20141118T122000 SUMMARY:Debugging and Refactoring LOCATION:Hall 4-7 DESCRIPTION:Debugging and Refactoring (Chair: Satish Chandra)\n\nTest Case Purification for Improving Fault Localization\nJifeng Xuan and Martin Monpe rrus\nINRIA\, France\; University of Lille\, France\n\nAutomatically Genera ted Patches as Debugging Aids: A Human Study\nYida Tao\, Jindae Kim\, Sungh un Kim\, and Chang Xu\nHong Kong University of Science and Technology\, Chi na\; Nanjing University\, China\n\nA Foundation for Refactoring C with Macr os\nJeffrey L. Overbey\, Farnaz Behrang\, and Munawar Hafiz\nAuburn Univers ity\, USA\n\nVector Abstraction and Concretization for Scalable Detection o f Refactorings\nNarcisa Andreea Milea\, Lingxiao Jiang\, and Siau-Cheng Kho o\nNational University of Singapore\, Singapore\; Singapore Management Univ ersity\, Singapore\n\n UID:fei3Hai8Zu ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141118T133000 DTEND;TZID=Asia/Hong_Kong:20141118T151000 SUMMARY:Static Analysis LOCATION:Auditorium DESCRIPTION:Static Analysis (Chair: Jianjun Zhao)\n\nFlowTwist: Efficient C ontext-Sensitive Inside-Out Taint Analysis for Large Codebases\nJohannes Le rch\, Ben Hermann\, Eric Bodden\, and Mira Mezini\nTU Darmstadt\, Germany\n \nORBS: Language-Independent Program Slicing\nDavid Binkley\, Nicolas Gold\ , Mark Harman\, Syed Islam\, Jens Krinke\, and Shin Yoo\nLoyola University Maryland\, USA\; University College London\, UK\n\nJSAI: A Static Analysis Platform for JavaScript\nVineeth Kashyap\, Kyle Dewey\, Ethan A. Kuefner\, John Wagner\, Kevin Gibbons\, John Sarracino\, Ben Wiedermann\, and Ben Har dekopf\nUniversity of California at Santa Barbara\, USA\; Harvey Mudd Colle ge\, USA\n\nA Path-Sensitively Sliced Control Flow Graph\nJoxan Jaffar and Vijayaraghavan Murali\nNational University of Singapore\, Singapore\n\n UID:UNg0Lowoo7 ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141118T133000 DTEND;TZID=Asia/Hong_Kong:20141118T151000 SUMMARY:Mining Software Repositories LOCATION:Hall 4-7 DESCRIPTION:Mining Software Repositories (Chair: Thomas Zimmermann)\n\nLet' s Talk About It: Evaluating Contributions through Discussion in GitHub\nJas on Tsay\, Laura Dabbish\, and James Herbsleb\nCarnegie Mellon University\, USA\n\nA Large Scale Study of Programming Languages and Code Quality in Git hub\nBaishakhi Ray\, Daryl Posnett\, Vladimir Filkov\, and Premkumar Devanb u\nUniversity of California at Davis\, USA\n\nMining Preconditions of APIs in Large-Scale Code Corpus\nHoan Anh Nguyen\, Robert Dyer\, Tien N. Nguyen\ , and Hridesh Rajan\nIowa State University\, USA\n\nAutomatic Mining of Spe cifications from Invocation Traces and Method Invariants\nIvo Krka\, Yuriy Brun\, and Nenad Medvidovic\nGoogle\, Switzerland\; University of Massachus etts\, USA\; University of Southern California\, USA\n\n UID:ab8ohCohle ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141118T153000 DTEND;TZID=Asia/Hong_Kong:20141118T171000 SUMMARY:Formal Methods and Verification LOCATION:Auditorium DESCRIPTION:Formal Methods and Verification (Chair: Tevfik Bultan)\n\nCount erexample Guided Abstraction Refinement of Product-Line Behavioural Models\ nMaxime Cordy\, Patrick Heymans\, Axel Legay\, Pierre-Yves Schobbens\, Brun o Dawagne\, and Martin Leucker\nUniversity of Namur\, Belgium\; INRIA\, Fra nce\; University of Lübeck\, Germany\n\nPowering the Static Driver Verifier using Corral\nAkash Lal and Shaz Qadeer\nMicrosoft Research\, India\; Micr osoft Research\, USA\n\nVerifying CTL-Live Properties of Infinite State Mod els using an SMT Solver\nAmirhossein Vakili and Nancy A. Day\nUniversity of Waterloo\, Canada\n\nEfficient Runtime-Enforcement Techniques for Policy W eaving\nRichard Joiner\, Thomas Reps\, Somesh Jha\, Mohan Dhawan\, and Vino d Ganapathy\nUniversity of Wisconsin-Madison\, USA\; IBM Research\, India\; Rutgers University\, USA\n\n UID:oPhae4wooP ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141118T153000 DTEND;TZID=Asia/Hong_Kong:20141118T171000 SUMMARY:Regression Testing LOCATION:Hall 4-7 DESCRIPTION:Regression Testing (Chair: Willem Visser)\n\nTechniques for Imp roving Regression Testing in Continuous Integration Development Environment s\nSebastian Elbaum\, Gregg Rothermel\, and John Penix\nUniversity of Nebra ska-Lincoln\, USA\; Google\, USA\n\nBalancing Trade-Offs in Test-Suite Redu ction\nAugust Shi\, Alex Gyori\, Milos Gligoric\, Andrey Zaytsev\, and Dark o Marinov\nUniversity of Illinois at Urbana-Champaign\, USA\n\nIdentifying the Characteristics of Vulnerable Code Changes: An Empirical Study\nAmiangs hu Bosu\, Jeffrey C. Carver\, Munawar Hafiz\, Patrick Hilley\, and Derek Ja nni\nUniversity of Alabama\, USA\; Auburn University\, USA\; Providence Col lege\, USA\; Lewis & Clark College\, USA\n\n UID:diL5eok5le ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141119T104000 DTEND;TZID=Asia/Hong_Kong:20141119T122000 SUMMARY:Improving Recommender Systems LOCATION:Auditorium DESCRIPTION:Improving Recommender Systems (Chair: Nenad Medvidovic)\n\nOn t he Localness of Software\nZhaopeng Tu\, Zhendong Su\, and Premkumar Devanbu \nUniversity of California at Davis\, USA\n\nLearning Natural Coding Conven tions\nMiltiadis Allamanis\, Earl T. Barr\, Christian Bird\, and Charles Su tton\nUniversity of Edinburgh\, UK\; University College London\, UK\; Micro soft Research\, USA\n\nHow Should We Measure Functional Sameness from Progr am Source Code? An Exploratory Study on Java Methods\nYoshiki Higo and Shin ji Kusumoto\nOsaka University\, Japan\n\nThe Plastic Surgery Hypothesis\nEa rl T. Barr\, Yuriy Brun\, Premkumar Devanbu\, Mark Harman\, and Federica Sa rro\nUniversity College London\, UK\; University of Massachusetts\, USA\; U niversity of California at Davis\, USA\n\n UID:ieCai3kewa ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141119T104000 DTEND;TZID=Asia/Hong_Kong:20141119T122000 SUMMARY:Concurrency and Parallelism LOCATION:Hall 4-7 DESCRIPTION:Concurrency and Parallelism (Chair: Sarfraz Khurshid)\n\nGrail: Context-Aware Fixing of Concurrency Bugs\nPeng Liu\, Omer Tripp\, and Char les Zhang\nWuhan University\, China\; IBM Research\, USA\; Hong Kong Univer sity of Science and Technology\, China\n\nAI: A Lightweight System for Tole rating Concurrency Bugs\nMingxing Zhang\, Yongwei Wu\, Shan Lu\, Shanxiang Qi\, Jinglei Ren\, and Weimin Zheng\nTsinghua University\, China\; Universi ty of Wisconsin-Madison\, USA\; University of Illinois at Urbana-Champaign\ , USA\n\nRetrofitting Concurrency for Android Applications through Refactor ing\nYu Lin\, Cosmin Radoi\, and Danny Dig\nUniversity of Illinois at Urban a-Champaign\, USA\; Oregon State University\, USA\n\nSherlock: Scalable Dea dlock Detection for Concurrent Programs\nMahdi Eslamimehr and Jens Palsberg \nUniversity of California at Los Angeles\, USA\n\n UID:poolee0Zee ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141119T133000 DTEND;TZID=Asia/Hong_Kong:20141119T151000 SUMMARY:Self Adaptation and Repair / Program Analysis Applications LOCATION:Auditorium DESCRIPTION:Self Adaptation and Repair / Program Analysis Applications (Cha ir: Sebastian Uchitel)\n\nSearch-Based Synthesis of Equivalent Method Seque nces\nAlberto Goffi\, Alessandra Gorla\, Andrea Mattavelli\, Mauro Pezzè\, and Paolo Tonella\nUniversity of Lugano\, Switzerland\; Saarland University \, Germany\; Fondazione Bruno Kessler\, Italy\n\nBeyond the Rainbow: Self-A daptive Failure Avoidance in Configurable Systems\nJacob Swanson\, Myra B. Cohen\, Matthew B. Dwyer\, Brady J. Garvin\, and Justin Firestone\nUniversi ty of Nebraska-Lincoln\, USA\n\nSemantics-Based Obfuscation-Resilient Binar y Code Similarity Comparison with Applications to Software Plagiarism Detec tion\nLannan Luo\, Jiang Ming\, Dinghao Wu\, Peng Liu\, and Sencun Zhu\nPen nsylvania State University\, USA\n\nFocus-Shifting Patterns of OSS Develope rs and Their Congruence with Call Graphs\nQi Xuan\, Aaron Okano\, Premkumar Devanbu\, and Vladimir Filkov\nUniversity of California at Davis\, China\; University of California at Davis\, USA\n\n UID:phae3thieT ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141119T133000 DTEND;TZID=Asia/Hong_Kong:20141119T151000 SUMMARY:Symbolic Execution LOCATION:Hall 4-7 DESCRIPTION:Symbolic Execution (Chair: Charles Zhang)\n\nHow We Get There: A Context-Guided Search Strategy in Concolic Testing\nHyunmin Seo and Sungh un Kim\nHong Kong University of Science and Technology\, China\n\nSolving C omplex Path Conditions through Heuristic Search on Induced Polytopes\nPeter Dinges and Gul Agha\nUniversity of Illinois at Urbana-Champaign\, USA\n\nS tatistical Symbolic Execution with Informed Sampling\nAntonio Filieri\, Cor ina S. Păsăreanu\, Willem Visser\, and Jaco Geldenhuys\nUniversity of Stutt gart\, Germany\; Carnegie Mellon University\, USA\; Stellenbosch University \, South Africa\n\nSymJS: Automatic Symbolic Testing of JavaScript Web Appl ications\nGuodong Li\, Esben Andreasen\, and Indradeep Ghosh\nFujitsu Labs\ , USA\; Aarhus University\, Denmark\n\n UID:Qui8loo5gu ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141119T153000 DTEND;TZID=Asia/Hong_Kong:20141119T164500 SUMMARY:Software Documentation LOCATION:Auditorium DESCRIPTION:Software Documentation (Chair: Jane Cleland-Huang)\n\nSelection and Presentation Practices for Code Example Summarization\nAnnie T. T. Yin g and Martin P. Robillard\nMcGill University\, Canada\n\nMining Idioms from Source Code\nMiltiadis Allamanis and Charles Sutton\nUniversity of Edinbur gh\, UK\n\nAutomatic Generation of Release Notes\nLaura Moreno\, Gabriele B avota\, Massimiliano Di Penta\, Rocco Oliveto\, Andrian Marcus\, and Gerard o Canfora\nUniversity of Texas at Dallas\, USA\; University of Sannio\, Ita ly\; University of Molise\, Italy\n\n UID:Quohz6veeF ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141119T153000 DTEND;TZID=Asia/Hong_Kong:20141119T164500 SUMMARY:Web Apps LOCATION:Hall 4-7 DESCRIPTION:Web Apps (Chair: Luciano Baresi)\n\nDiscovering Refactoring Opp ortunities in Cascading Style Sheets\nDavood Mazinanian\, Nikolaos Tsantali s\, and Ali Mesbah\nConcordia University\, Canada\; University of British C olumbia\, Canada\n\nSAFEWAPI: Web API Misuse Detector for Web Applications\ nSungGyeong Bae\, Hyunghun Cho\, Inho Lim\, and Sukyoung Ryu\nKAIST\, South Korea\; Samsung Electronics\, South Korea\n\nBuilding Call Graphs for Embe dded Client-Side Code in Dynamic Web Applications\nHung Viet Nguyen\, Chris tian Kästner\, and Tien N. Nguyen\nIowa State University\, USA\; Carnegie M ellon University\, USA\n\n UID:Ew4ohcaido ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141120T104000 DTEND;TZID=Asia/Hong_Kong:20141120T122000 SUMMARY:Architecture and Design LOCATION:Auditorium DESCRIPTION:Architecture and Design (Chair: James Herbsleb)\n\nSketches and Diagrams in Practice\nSebastian Baltes and Stephan Diehl\nUniversity of Tr ier\, Germany\n\nArchitecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study\nKlaus-Benedikt Schultis\, Christoph Elsn er\, and Daniel Lohmann\nSiemens\, Germany\; University of Erlangen-Nurembe rg\, Germany\n\nVariable-Specific Resolutions for Feature Interactions\nCec ylia Bocovich and Joanne M. Atlee\nUniversity of Waterloo\, Canada\n\nAn Em pirical Study on Program Comprehension with Reactive Programming\nGuido Sal vaneschi\, Sven Amann\, Sebastian Proksch\, and Mira Mezini\nTU Darmstadt\, Germany\; TU Darmstadt\, UK\n\n UID:bisieL8aqu ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141120T104000 DTEND;TZID=Asia/Hong_Kong:20141120T122000 SUMMARY:Mobile Apps LOCATION:Hall 4-7 DESCRIPTION:Mobile Apps (Chair: Antonio Carzaniga)\n\nApposcopy: Semantics- Based Detection of Android Malware through Static Analysis\nYu Feng\, Saswa t Anand\, Isil Dillig\, and Alex Aiken\nUniversity of Texas at Austin\, USA \; Stanford University\, USA\n\nDetecting Energy Bugs and Hotspots in Mobil e Apps\nAbhijeet Banerjee\, Lee Kee Chong\, Sudipta Chattopadhyay\, and Abh ik Roychoudhury\nNational University of Singapore\, Singapore\; Linköping U niversity\, Sweden\n\nEvoDroid: Segmented Evolutionary Testing of Android A pps\nRiyadh Mahmood\, Nariman Mirzaei\, and Sam Malek\nGeorge Mason Univers ity\, USA\n\nPrioritizing the Devices to Test Your App on: A Case Study of Android Game Apps\nHammad Khalid\, Meiyappan Nagappan\, Emad Shihab\, and A hmed E. Hassan\nQueen's University\, Canada\; Rochester Institute of Techno logy\, USA\; Concordia University\, Canada\n\n UID:Oshie5ging ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141120T133000 DTEND;TZID=Asia/Hong_Kong:20141120T151000 SUMMARY:Testing and Oracles LOCATION:Auditorium DESCRIPTION:Testing and Oracles (Chair: Prem Devanbu)\n\nImproving Oracle Q uality by Detecting Brittle Assertions and Unused Inputs in Tests\nChen Huo and James Clause\nUniversity of Delaware\, USA\n\nOn the Efficiency of Aut omated Testing\nMarcel Böhme and Soumya Paul\nSaarland University\, Germany \; National University of Singapore\, Singapore\n\nAn Empirical Analysis of Flaky Tests\nQingzhou Luo\, Farah Hariri\, Lamyaa Eloussi\, and Darko Mari nov\nUniversity of Illinois at Urbana-Champaign\, USA\n\nAre Mutants a Vali d Substitute for Real Faults in Software Testing?\nRené Just\, Darioush Jal ali\, Laura Inozemtseva\, Michael D. Ernst\, Reid Holmes\, and Gordon Frase r\nUniversity of Washington\, USA\; University of Waterloo\, Canada\; Unive rsity of Sheffield\, UK\n\n UID:Iecu4uo5wi ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT BEGIN:VEVENT CREATED:20170713T063107Z DTSTAMP:20170713T063107Z DTSTART;TZID=Asia/Hong_Kong:20141120T133000 DTEND;TZID=Asia/Hong_Kong:20141120T151000 SUMMARY:Evolution and Maintenance LOCATION:Hall 4-7 DESCRIPTION:Evolution and Maintenance (Chair: Massimiliano Di Penta)\n\nNo Issue Left Behind: Reducing Information Overload in Issue Tracking\nOlga Ba ysal\, Reid Holmes\, and Michael W. Godfrey\nUniversité de Montréal\, Canad a\; University of Waterloo\, Canada\n\nPanning Requirement Nuggets in Strea m of Software Maintenance Tickets\nSenthil Mani\, Karthik Sankaranarayanan\ , Vibha Singhal Sinha\, and Premkumar Devanbu\nIBM Research\, India\; Unive rsity of California at Davis\, USA\n\nLearning to Rank Relevant Files for B ug Reports using Domain Knowledge\nXin Ye\, Razvan Bunescu\, and Chang Liu\ nOhio University\, USA\n\nQuerying Sequential Software Engineering Data\nCh engnian Sun\, Haidong Zhang\, Jian-Guang Lou\, Hongyu Zhang\, Qiang Wang\, Dongmei Zhang\, and Siau-Cheng Khoo\nUniversity of California at Davis\, US A\; Microsoft Research\, China\; National University of Singapore\, Singapo re\n\n UID:zea4Iqu1re ORGANIZER:ConfPub CATEGORIES:Conference Program Event END:VEVENT END:VCALENDAR