The Software Engineering in Practice (SEIP) Track is the premier venue for researchers and practitioners to discuss insights, innovations and solutions to concrete software engineering problems. SEIP provides a unique forum for making connections, exchanging ideas, fostering innovations, and forging long-term collaborations for addressing software engineering research that impacts directly on practice. SEIP will gather highly-qualified industrial and research participants that are eager to communicate and share common interests in software engineering. The track will comprise invited and reviewed sessions, including paper presentations, reviewed talks, interactive sessions and lightning talks with a strong focus on software practice. Authors from this track will be encouraged to submit an extended version of their work to Journal of Software: Practice and Experience’s special issue on software engineering in practice.
Wed 29 MayDisplayed time zone: Eastern Time (US & Canada) change
| 11:00 - 12:30 | Automated Program Repair 1Journal-First Papers / Technical Track / Papers at Laurier Chair(s): Lars Grunske Humboldt-Universität zu Berlin | ||
| 11:0020m Talk | Learning to Spot and Refactor Inconsistent Method NamesTechnical Track Technical Track Kui Liu Huawei Software Engineering Application Technology Lab, Dongsun Kim Furiosa.ai, Tegawendé F. Bissyandé SnT, University of Luxembourg, Taeyoung Kim Chonbuk National University, Kisub Kim University of Luxembourg, SnT, Anil Koyuncu University of Luxembourg, Luxembourg, Suntae Kim , Yves Le Traon University of LuxembourgPre-print | ||
| 11:2020m Talk | Harnessing Evolution for Multi-Hunk Program RepairTechnical Track Technical Track Seemanta Saha University of California Santa Barbara, Ripon Saha Fujitsu Laboratories of America, Inc., Mukul Prasad Fujitsu Laboratories of America | ||
| 11:4020m Talk | On Learning Meaningful Code Changes via Neural Machine TranslationTechnical Track Technical Track Michele Tufano College of William and Mary, Jevgenija Pantiuchina Università della Svizzera italiana, Cody Watson  , Gabriele Bavota Università della Svizzera italiana (USI), Denys Poshyvanyk William and MaryPre-print | ||
| 12:0010m Talk | Mining Fix Patterns for FindBugs ViolationsJournal-First Journal-First Papers Kui Liu Huawei Software Engineering Application Technology Lab, Dongsun Kim Furiosa.ai, Tegawendé F. Bissyandé SnT, University of Luxembourg, Shin Yoo Korea Advanced Institute of Science and Technology, Yves Le Traon University of LuxembourgPre-print | ||
| 12:1010m Talk | Test-equivalence Analysis for Automatic Patch GenerationJournal-First Journal-First Papers Sergey Mechtaev University College London, Xiang Gao National University of Singapore, Shin Hwei Tan Southern University of Science and Technology, Abhik Roychoudhury National University of Singapore | ||
| 12:2010m Talk | Discussion Period Papers | ||
| 11:00 - 12:30 | Security 1Journal-First Papers / Papers / Technical Track / New Ideas and Emerging Results / Software Engineering in Practice at Van-Horne Chair(s): Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center | ||
| 11:0020m Talk | Interventions for Software Security: Creating a Lightweight Program of Assurance Techniques for  DevelopersSEIPIndustry Program Software Engineering in Practice Charles Weir Lancaster University, Lynne Blair Lancaster University, Ingolf Becker University College London, M. Angela Sasse University College London, James Noble Victoria University of Wellington, Awais Rashid University of Bristol, UK | ||
| 11:2020m Talk | Towards Better Utilizing Static Application Security TestingSEIPIndustry Program Software Engineering in Practice Jinqiu Yang Concordia University, Montreal, Canada, Lin Tan Purdue University, John Peyton HCL America, Kristofer A Duer AppScan Source | ||
| 11:4020m Talk | LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment through Program MetricsTechnical Track Technical Track Xiaoning Du Nanyang Technological University, Bihuan Chen Fudan University, Yuekang Li Nanyang Technological University, Jianmin Guo Tsinghua University, Yaqin Zhou Nanyang Technological University, Yang Liu Nanyang Technological University, Singapore, Yu Jiang  | ||
| 12:0010m Talk | A Screening Test for Disclosed Vulnerabilities in FOSS ComponentsIndustry ProgramJournal-First Journal-First Papers Stanislav Dashevskyi University of Luxembourg, Achim D. Brucker The University of Sheffield, Fabio Massacci University of TrentoLink to publication DOI Pre-print | ||
| 12:1010m Talk | VULTRON: Catching Vulnerable Smart Contracts Once and for AllNIER New Ideas and Emerging Results Haijun Wang Nanyang Technological University, Yi Li Nanyang Technological University, Shang-Wei LIN Nanyang Technological University, Lei Ma Kyushu University, Yang Liu Nanyang Technological University, Singapore | ||
| 12:2010m Talk | Discussion Period Papers | ||
| 11:00 - 12:30 | Static AnalysisTechnical Track / Papers / Demonstrations at Viger Chair(s): Mauro Pezze Università della Svizzera italiana (USI) (Switzerland) and Università degli Studi di Milano Bicocca (Italy) | ||
| 11:0020m Talk | SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code Technical Track Gang Fan Hong Kong University of Science and Technology, Rongxin Wu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Qingkai Shi Hong Kong University of Science and Technology, Xiao Xiao Sourcebrella Inc., Jinguo Zhou Sourcebrella Inc., Charles Zhang The Hong Kong University of Science and TechnologyPre-print | ||
| 11:2020m Talk | Reasonably-Most-General Clients for JavaScript Library Analysis Technical Track | ||
| 11:4020m Talk | Resource-aware Program Analysis via Online Abstraction Coarsening Technical Track | ||
| 12:0020m Talk | SMT-Based Refutation of Spurious Bug Reports in the Clang Static AnalyzerDemos Demonstrations Mikhail R. Gadelha SIDIA Instituto de Ciência e Tecnologia, Enrico Steffinlongo , Lucas C. Cordeiro University of Manchester, UK, Bernd Fischer Stellenbosch University, Denis A. Nicole University of Southampton | ||
| 12:2010m Talk | Discussion Period Papers | ||
| 14:00 - 15:30 | Debugging and Fault LocalizationJournal-First Papers / Papers / Demonstrations / Technical Track at Laurier Chair(s): Marsha Chechik University of Toronto | ||
| 14:0020m Talk | A System Identification based Oracle for Control-CPS Software Fault LocalizationTechnical TrackIndustry Program Technical Track Zhijian He The Hong Kong Polytechnic University, Yao Chen The Hong Kong Polytechnic University, Enyan Huang The Hong Kong Polytechnic University, Qixin Wang The Hong Kong Polytechnic University, Yu Pei The Hong Kong Polytechnic University, Haidong Yuan The Chinese University of Hong Kong | ||
| 14:2020m Talk | VeDebug: Regression Debugging Tool for JavaDemos Demonstrations Ben Buhse The University of Texas at Austin, Thomas Wei The University of Texas at Austin, Zhiqiang Zang The University of Texas at Austin, Aleksandar Milicevic , Milos Gligoric University of Texas at Austin | ||
| 14:4020m Talk | ReCDroid: Automatically Reproducing Android Application Crashes from Bug Reports Technical Track Yu Zhao University of Kentucky, Tingting Yu University of Kentucky, Ting Su Nanyang Technological University, Singapore, Yang Liu Nanyang Technological University, Singapore, Wei Zheng Northwestern Polytechnical University, Jingzhi Zhang Northwestern Polytechnical University, William G.J. Halfond University of Southern California | ||
| 15:0010m Talk | How Practitioners Perceive Automated Bug Report Management TechniquesIndustry ProgramJournal-First Journal-First Papers Weiqin Zou nju, David Lo Singapore Management University, Zhenyu Chen Nanjing University, Xin Xia Monash University, Yang Feng University of California, Irvine, Baowen Xu  | ||
| 15:1010m Talk | Chaff from the Wheat: Characterizing and Determining Valid Bug ReportsJournal-First Journal-First Papers Yuanrui Fan , Xin Xia Monash University, David Lo Singapore Management University, Ahmed E. Hassan Queen's University | ||
| 15:2010m Talk | Discussion Period Papers | ||
| 14:00 - 15:30 | DevOps and LoggingSoftware Engineering in Practice / Technical Track / Papers at Mansfield / Sherbrooke Chair(s): Diomidis Spinellis Athens University of Economics and Business | ||
| 14:0020m Talk | An Empirical Investigation of Incident Triage for Online Service SystemsSEIPIndustry Program Software Engineering in Practice Junjie Chen Peking University, Xiaoting He Microsoft, Qingwei Lin Microsoft Research, China, Yong Xu Microsoft, China, Hongyu Zhang The University of Newcastle, Dan Hao Peking University, Feng Gao Microsoft, Zhangwei Xu Microsoft, Yingnong Dang Microsoft Azure, Dongmei Zhang Microsoft Research, China | ||
| 14:2020m Talk | Tools and Benchmarks for Automated Log ParsingSEIPIndustry Program Software Engineering in Practice Jieming Zhu Huawei Noah's Ark Lab, Shilin He Chinese University of Hong Kong, Jinyang Liu Sun Yat-Sen University, Pinjia He Computer Science and Engineering, The Chinese University of Hong Kong, Qi Xie Southwest Minzu University, Zibin Zheng School of Data and Computer Science, Sun Yat-sen University, Michael Lyu  | ||
| 14:4020m Talk | Mining Historical Test Logs to Predict Bugs and Localize Faults in the Test LogsTechnical TrackIndustry Program Technical Track | ||
| 15:0020m Talk | DLFinder: Characterizing and Detecting Duplicate Logging Code SmellsTechnical TrackIndustry Program Technical Track Zhenhao Li Concordia University, Tse-Hsun (Peter) Chen Concordia University, Jinqiu Yang  , Weiyi Shang Concordia University, Canada | ||
| 15:2010m Talk | Discussion Period Papers | ||
| 16:00 - 18:00 | Mobile AppsJournal-First Papers / Technical Track / Software Engineering in Practice / Papers / New Ideas and Emerging Results at Mansfield / Sherbrooke Chair(s): Sandeep Kuttal The University of Tulsa | ||
| 16:0020m Talk | Large-scale Empirical Study on Industrial Fake AppsSEIPIndustry Program Software Engineering in Practice Chongbin Tang East China Normal University, Sen Chen Nanyang Technological University, Singapore, Lingling Fan Nanyang Technological University, Singapore, Lihua Xu , Yang Liu Nanyang Technological University, Singapore, Zhushou Tang Pwnzen Infotech Inc., Liang Dou East China Normal University | ||
| 16:2020m Talk | Practical Android Test Recording with Espresso Test RecorderSEIPIndustry Program Software Engineering in Practice | ||
| 16:4020m Talk | Mimic: UI Compatibility Testing System for Android AppsTechnical Track Technical Track Taeyeon Ki Samsung Research America, Chang Min Park University at Buffalo, The State University of New York, Karthik Dantu University at Buffalo, The State University of New York, Steve Ko University at Buffalo, The State University of New York, Lukasz Ziarek SUNY Buffalo, USA | ||
| 17:0020m Talk | IconIntent: Automatic Identification of Sensitive UI Widgets based on Icon Classification for Android AppsTechnical Track Technical Track Xusheng Xiao Case Western Reserve University, Xiaoyin Wang University of Texas at San Antonio, USA, Zhihao Cao Case Western Reserve University, Hanlin Wang Case Western Reserve University, Peng Gao Princeton UniversityPre-print | ||
| 17:2010m Talk | Studying Bad Updates of Top Free-to-Download Apps in the Google Play StoreIndustry ProgramJournal-First Journal-First Papers Safwat Hassan Queens University, Kingston, Canada, Cor-Paul Bezemer University of Alberta, Canada, Ahmed E. Hassan Queen's University | ||
| 17:3010m Talk | Navigation-aware and Personalized Prefetching of Network Requests in Android AppsIndustry ProgramNIER New Ideas and Emerging Results Ivano Malavolta Vrije Universiteit Amsterdam, Francesco Nocera Polytechnic University of Bari, Patricia Lago Vrije Universiteit Amsterdam, Marina Mongiello Polytechnic University of Bari, ItalyPre-print Media Attached | ||
| 17:4020m Talk | Discussion Period Papers | ||
| 16:00 - 18:00 | Program Comprehension and ReusePapers / Journal-First Papers / Technical Track at St-Paul / Ste-Catherine Chair(s): Baishakhi Ray Columbia University, New York | ||
| 16:0020m Talk | Active Inductive Logic Programming for Code Search Technical Track Aishwarya Sivaraman University of California, Los Angeles, Tianyi Zhang University of California, Los Angeles, Guy Van den Broeck University of California, Los Angeles, Miryung Kim University of California, Los AngelesPre-print | ||
| 16:2010m Talk | The State of Empirical Evaluation in Static Feature LocationJournal-First Journal-First Papers Abdul Razzaq , Asanka Wasala University of Limerick, Chris Exton University of Limerick, Jim Buckley Lero - The Irish Software Research Centre and University of Limerick | ||
| 16:3010m Talk | Automatic and accurate expansion of abbreviations in parametersJournal-First Journal-First Papers Yanjie Jiang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, Jiaqi Zhu Beijing Institute of Technology, Lu Zhang Peking University | ||
| 16:4020m Talk | NL2Type: Inferring JavaScript Function Types from Natural Language Information Technical Track Rabee Sohail Malik TU Darmstadt, Jibesh Patra Technical University of Darmstadt, Michael Pradel University of StuttgartPre-print Media Attached File Attached | ||
| 17:0020m Talk | Analyzing and Supporting Adaptation of Online Code Examples Technical Track Tianyi Zhang University of California, Los Angeles, Di Yang University of California at Irvine, USA, Crista Lopes , Miryung Kim University of California, Los AngelesPre-print | ||
| 17:2020m Talk | DockerizeMe: Automatic Inference of Environment Dependencies for Python Code Snippets Technical Track | ||
| 17:4020m Talk | Discussion Period Papers | ||
| 16:00 - 18:00 | SE Datasets, Research Infrastructure, and MethodologyJournal-First Papers / New Ideas and Emerging Results / Demonstrations / Papers / Technical Track at Viger Chair(s): Rashina Hoda The University of Auckland | ||
| 16:0020m Talk | BugSwarm: Mining and Continuously Growing a Dataset of Reproducible Failures and FixesTechnical Track Technical Track Naji Dmeiri University of California, Davis, David A Tomassi University of California, Davis, Yichen Wang University of California, Davis, Antara Bhowmick University of California, Davis, Yen-Chuan Liu University of California, Davis, Prem Devanbu University of California, Bogdan Vasilescu Carnegie Mellon University, Cindy Rubio-González University of California, DavisPre-print | ||
| 16:2020m Talk | DefeXts: A Curated Dataset of Reproducible Real-World Bugs for Modern JVM LanguagesDemos Demonstrations Samuel Benton The University of Texas at Dallas, Ali Ghanbari The University of Texas at Dallas, Lingming Zhang  | ||
| 16:4010m Talk | Open Collaborative Data – using OSS principles to share data in SW engineeringNIER New Ideas and Emerging Results Per Runeson Lund University | ||
| 16:5010m Talk | Leveraging Small Software Engineering Data Sets with Pre-trained Neural NetworksNIER New Ideas and Emerging Results | ||
| 17:0020m Talk | ActionNet: Vision-based Workflow Action Recognition From Programming ScreencastsTechnical Track Technical Track Dehai Zhao , Zhenchang Xing Australia National University, Chunyang Chen Monash University, Xin Xia Monash University, Guoqiang Li Shanghai Jiao Tong University | ||
| 17:2010m Talk | The ABC of Software Engineering ResearchJournal-First Journal-First Papers Klaas-Jan Stol University College Cork and Lero, Ireland, Brian Fitzgerald Lero - The Irish Software Research Centre and University of LimerickLink to publication DOI | ||
| 17:3010m Talk | Mining Plausible Hypotheses from the Literature via Meta-AnalysisNIER New Ideas and Emerging Results Vladimir Ivanov , Giancarlo Succi Innopolis University, Jooyong Yi UNIST (Ulsan National Institute of Science and Technology) | ||
| 17:4010m Talk | Analyzing Families of Experiments in SE: a Systematic Mapping StudyJournal-First Journal-First Papers Adrian Santos Parrilla , Omar Gomez Escuela Superior Politecnica de Chimborazo Riobamba, Natalia Juristo Universidad Politecnica de Madrid | ||
| 17:5010m Talk | Discussion Period Papers | ||
Thu 30 MayDisplayed time zone: Eastern Time (US & Canada) change
| 11:00 - 12:30 | Unit TestingTechnical Track / Software Engineering in Practice / Papers / Journal-First Papers at Laurier Chair(s): Martin Kropp University of Applied Sciences Northwestern Switzerland | ||
| 11:0030m Talk | (SEIP Talk) Mythical Unit Test CoverageSEIPIndustry Program Software Engineering in Practice | ||
| 11:3020m Research paper | Hunting for Bugs in Code Coverage Tools via Randomized Differential TestingTechnical Track Technical Track Yibiao Yang Nanjing University, China, Yuming Zhou , Hao Sun Unaffiliated, Zhendong Su ETH Zurich, Zhiqiang Zuo Nanjing University, China, Lei Xu Nanjing University, Baowen Xu  | ||
| 11:5020m Talk | Rotten Green TestsTechnical Track Technical Track Julien Delplanque University of Lille, Stéphane Ducasse  INRIA Lille, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Andrew P. Black Portland State University and INRIA, Anne Etien Ecole Polytechnique Universitaire de Lille | ||
| 12:1010m Talk | A comprehensive study of pseudo-tested methodsJournal-First Journal-First Papers Oscar Luis Vera Pérez INRIA, Benjamin Danglot University Lille 1 and INRIA, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH Royal Institute of Technology, SwedenLink to publication DOI Pre-print | ||
| 12:2010m Talk | Discussion Period Papers | ||
| 11:00 - 12:30 | RequirementsDemonstrations / Papers / New Ideas and Emerging Results / Technical Track / Journal-First Papers at Van-Horne Chair(s): Liliana Pasquale University College Dublin & Lero, Ireland | ||
| 11:0020m Talk | MCP: A Security Testing Tool Driven by RequirementsDemos Demonstrations Phu X. Mai University of Luxembourg, Fabrizio Pastore University of Luxembourg, Arda Goknil University of Luxembourg, Lionel Briand SnT Centre/University of Luxembourg | ||
| 11:2020m Talk | RM2PT: A Tool for Automated Prototype Generation from Requirements ModelDemos Demonstrations Yilong Yang University of Macau, Xiaoshan Li Faculty of Science and Technology, Univesity of Macau, Zhiming Liu Southwest University, Wei Ke Macao Polytechnic Institute | ||
| 11:4020m Talk | Supporting Analysts by Dynamic Extraction and Classification of Requirements-Related KnowledgeTechnical Track Technical Track Zahra Shakeri University of Calgary, Vincenzo Gervasi University of Pisa, Didar Zowghi University of Technology, Sydney, Behrouz Far University of Calgary | ||
| 12:0010m Talk | An Active Learning Approach for Improving the Accuracy of Automated Domain Model ExtractionJournal-First Journal-First Papers Chetan Arora SES Networks and University of Luxembourg, Mehrdad Sabetzadeh SnT Centre / University of Luxembourg, Shiva Nejati SnT Centre/University of Luxembourg, Lionel Briand SnT Centre/University of Luxembourg | ||
| 12:1010m Talk | Requirements Engineering as Science in the SmallNIER New Ideas and Emerging Results | ||
| 12:2010m Talk | Discussion Period Papers | ||
| 14:00 - 15:30 | |||
| 14:0020m Talk | ENRE: A Tool Framework for Extensible eNtity Relation ExtractionDemos Demonstrations Wuxia Jin Xi'an Jiaotong University, Yuanfang Cai  Drexel University, Rick Kazman University of Hawai‘i at Mānoa, Qinghua Zheng MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Di Cui Xi'an Jiaotong University, Ting Liu MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China | ||
| 14:2020m Talk | Detection and Repair of Architectural Inconsistencies in Java Technical Track Negar Ghorbani University of California, Irvine, Joshua Garcia University of California, Irvine, Sam Malek University of California, Irvine | ||
| 14:4020m Talk | Can I Have a Stack Trace to Examine the Dependency Conflict Issue?Technical Track Technical Track Ying Wang Northeastern University, China, Ming Wen The Hong Kong University of Science and Technology, Rongxin Wu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Zhenwei Liu Northeastern University, China, Shin Hwei Tan Southern University of Science and Technology, Zhiliang Zhu Northeastern University, China, Hai Yu Northeastern University, China, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology | ||
| 15:0020m Talk | Investigating the Impact of Multiple Dependency Structures on Software DefectsTechnical Track Technical Track Di Cui Xi'an Jiaotong University, Ting Liu MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Yuanfang Cai  Drexel University, Qinghua Zheng MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Qiong Feng Drexel University, Wuxia Jin Xi'an Jiaotong University, Jiaqi Guo Xi'an Jiaotong University, Yu Qu Xi'an Jiaotong University | ||
| 15:2010m Talk | Discussion Period Papers | ||
| 14:00 - 15:30 | Trends and Challenges in SENew Ideas and Emerging Results / Technical Track / Software Engineering in Practice / Papers at Place du Canada Chair(s): Barbora Buhnova Masaryk University | ||
| 14:0020m Talk | Software Engineering for Machine Learning: A Case Study Software Engineering in Practice Saleema Amershi Microsoft, Andrew Begel , Christian Bird Microsoft Research, Robert DeLine Microsoft Research, Harald Gall University of Zurich, Ece Kamar Microsoft, Nachiappan Nagappan Microsoft Research, Besmira Nushi Microsoft Research, Thomas Zimmermann Microsoft ResearchPre-print | ||
| 14:2010m Talk | Blockchain-based Software EngineeringNIER New Ideas and Emerging Results Moritz Beller Delft University of Technology, Joseph Hejderup Delft University of Technology, NetherlandsPre-print | ||
| 14:3010m Talk | On Testing Quantum ProgramsNIER New Ideas and Emerging ResultsPre-print | ||
| 14:4010m Talk | Towards a Systematic Study of Values in SE:  Tools for Industry and EducationNIER New Ideas and Emerging Results Emily Winter Lancaster University, Stephen Forshaw Lancaster University, Lucy Hunt Lancaster University, Maria Angela Ferarrio Lancaster University | ||
| 14:5010m Talk | Robustness and Games Against Nature in Molecular ProgrammingNIER New Ideas and Emerging Results Jack H. Lutz Iowa State University, Neil Lutz University of Pennsylvania, Robyn Lutz Iowa State University, Matthew Riley Iowa State University | ||
| 15:0020m Talk | Statistical Algorithmic Profiling for Randomized Approximate Programs Technical Track Keyur Joshi University of Illinois at Urbana-Champaign, Vimuth Fernando University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-ChampaignPre-print | ||
| 15:2010m Talk | Discussion Period Papers | ||
| 14:00 - 15:30 | Crowdsourced Knowledge and FeedbackJournal-First Papers / Technical Track / Software Engineering in Practice / Papers at St-Paul / Ste-Catherine Chair(s): Xin Xia Monash University | ||
| 14:0020m Talk | Emerging App Issue Identification from User Feedback: Experience on WeChatSEIPIndustry Program Software Engineering in Practice Cuiyun Gao The Chinese University of Hong Kong, Wujie Zheng Tencent, Inc., Yuetang Deng Tencent, Inc., David Lo Singapore Management University, Jichuan Zeng , Michael Lyu , Irwin King  | ||
| 14:2010m Talk | An Empirical Study of Game Reviews on the Steam PlatformIndustry ProgramJournal-First Journal-First Papers Dayi Lin Queen's University, Cor-Paul Bezemer University of Alberta, Canada, Ying Zou Queen's University, Kingston, Ontario, Ahmed E. Hassan Queen's University | ||
| 14:3020m Talk | How Reliable is the Crowdsourced Knowledge of Security Implementation?Technical Track Technical Track Mengsu Chen Virginia Tech, Felix Fischer Technical University of Munich, Na Meng Virginia Tech, Xiaoyin Wang University of Texas at San Antonio, USA, Jens Grossklags Technical University of Munich | ||
| 14:5020m Talk | Pattern-based Mining of Opinions in Q&A WebsitesTechnical Track Technical Track Bin Lin Università della Svizzera italiana (USI), Fiorella Zampetti University of Sannio, Gabriele Bavota Università della Svizzera italiana (USI), Massimiliano Di Penta University of Sannio, Michele Lanza Universita della Svizzera italiana (USI) | ||
| 15:1010m Talk | How Do Users Revise Answers on Technical Q&A Websites?  A Case Study on Stack OverflowIndustry ProgramJournal-First Journal-First Papers Shaowei Wang Queen's University, Tse-Hsun (Peter) Chen Concordia University, Ahmed E. Hassan Queen's University | ||
| 15:2010m Talk | Discussion Period Papers | ||
| 14:00 - 15:30 | Requirements Engineering for Mass-Market SoftwareSoftware Engineering in Practice / Technical Track / Papers / Journal-First Papers / Demonstrations at Van-Horne Chair(s): Paul Ralph University of Auckland | ||
| 14:0030m Talk | (SEIP Talk) Data-Driven Requirements EngineeringSEIPIndustry Program Software Engineering in Practice Walid Maalej University of Hamburg, Maleknaz Nayebi Polytechnique Montréal, Guenther Ruhe University of Calgary | ||
| 14:3020m Talk | Guigle: A GUI Search Engine for Android AppsDemosIndustry Program Demonstrations Carlos Bernal-Cárdenas William and Mary, Kevin Moran College of William & Mary, Michele Tufano College of William and Mary, Zichang Liu College of William & Mary, Linyong Nan College of William & Mary, Zhehan Shi College of William & Mary, Denys Poshyvanyk William and MaryPre-print Media Attached | ||
| 14:5020m Talk | StoryDroid: Automated Generation of Storyboard for Android AppsTechnical TrackIndustry Program Technical Track Sen Chen Nanyang Technological University, Singapore, Lingling Fan Nanyang Technological University, Singapore, Chunyang Chen Monash University, Ting Su Nanyang Technological University, Singapore, Wenhe Li New York University Shanghai, Yang Liu Nanyang Technological University, Singapore, Lihua Xu  | ||
| 15:1010m Talk | Metamorphic Relations for Enhancing System Understanding and UseJournal-First Journal-First Papers Zhi Quan (George) Zhou University of Wollongong, Australia, Liqun Sun University of Wollongong, Tsong Yueh Chen Swinburne University of Technology, Dave Towey University of Nottingham Ningbo China | ||
| 15:2010m Talk | Discussion Period Papers | ||
Fri 31 MayDisplayed time zone: Eastern Time (US & Canada) change
| 11:00 - 12:30 | Mining Software Changes and PatternsTechnical Track / Demonstrations / Papers at Centre-Ville Chair(s): Ayşe Başar Ryerson University | ||
| 11:0020m Talk | The List is the Process: Reliable Pre-Integration Tracking  of Commits on Mailing Lists Technical Track Ralf Ramsauer OTH Regensburg, Daniel Lohmann Leibniz Universität Hannover, Wolfgang Mauerer OTH Regensburg / Siemens AG | ||
| 11:2020m Talk | Graph-based Mining of In-the-Wild, Fine-grained, Semantic Code Change PatternsTechnical Track Technical Track Hoan Nguyen Iowa State University, Tien N. Nguyen University of Texas at Dallas, Danny Dig School of EECS at Oregon State University, Son Nguyen The University of Texas at Dallas, Hieu Tran The University of Texas at Dallas, Michael Hilton Carnegie Mellon University, USA | ||
| 11:4020m Talk | Coming: a Tool for Mining Change Pattern Instances from Git CommitsDemos Demonstrations | ||
| 12:0020m Talk | PatchNet: A Tool  for Deep Patch ClassificationDemos Demonstrations Thong Hoang Singapore Management University, Singapore, Julia Lawall Inria/LIP6, Richard J Oentaryo McLaren Applied Technologies, Singapore, Yuan Tian Queens University, Kingston, Canada, David Lo Singapore Management University | ||
| 12:2010m Talk | Discussion Period Papers | ||
| 11:00 - 12:30 | |||
| 11:0020m Talk | SLF: Fuzzing without Valid Seed InputsTechnical TrackIndustry Program Technical Track Wei You Purdue University, Xuwei Liu Zhejiang University, Shiqing Ma Purdue University, USA, David Mitchel Perry Purdue University, Xiangyu Zhang Purdue University, Bin Liang Renmin University of China, China | ||
| 11:2020m Talk | Superion: Grammar-Aware Greybox FuzzingTechnical Track Technical Track Junjie Wang Nanyang Technological University, Bihuan Chen Fudan University, Lei Wei Nanyang Technological University, Yang Liu Nanyang Technological University, Singapore | ||
| 11:4020m Talk | Grey-box Concolic Testing on Binary Code Technical Track Jaeseung Choi KAIST, Joonun Jang Samsung Research, Samsung Electronics, Choongwoo Han NAVER Corporation, Sang Kil Cha KAIST | ||
| 12:0020m Talk | REST-ler: Stateful REST API FuzzingTechnical TrackIndustry Program Technical Track Vaggelis Atlidakis Columbia University, Patrice Godefroid Microsoft Research, Marina Polishchuk MicrosoftLink to publication | ||
| 12:2010m Talk | Discussion Period Papers | ||
| 11:00 - 12:30 | Machine Learning in Static AnalysisPapers / Technical Track at Place du Canada Chair(s): Na Meng Virginia Tech | ||
| 11:0020m Talk | Training Binary Classifiers as Data Structure InvariantsTechnical Track Technical Track Facundo Molina Universidad Nacional de Rio Cuarto, Argentina, Renzo Degiovanni SnT, University of Luxembourg, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Germán Regis Universidad Nacional de Río Cuarto, Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires | ||
| 11:2020m Talk | Graph Embedding based Familial Analysis of Android Malware using Unsupervised LearningTechnical Track Technical Track Ming Fan MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Xiapu Luo , Jun Liu MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Meng Wang University of Bristol, UK, Chunyin Nong , Qinghua Zheng MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China, Ting Liu MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China | ||
| 11:4020m Talk | A Novel Neural Source Code Representation based on Abstract Syntax Tree Technical Track Jian Zhang Beihang University, Xu Wang Beihang University, Hongyu Zhang The University of Newcastle, Hailong Sun Beihang University, Kaixuan Wang Beihang University, Xudong Liu Beihang UniversityPre-print | ||
| 12:0020m Talk | A Neural Model for Generating Natural Language Summaries of Program SubroutinesTechnical Track Technical Track Alexander LeClair University Of Notre Dame, Siyuan Jiang Eastern Michigan University, Collin McMillan  | ||
| 12:2010m Talk | Discussion Period Papers | ||
| 11:00 - 12:30 | ConcurrencyTechnical Track / Demonstrations / Papers at St-Denis / Notre-Dame Chair(s): Tuba Yavuz University of Florida | ||
| 11:0020m Talk | Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams Technical Track Raffi Khatchadourian City University of New York (CUNY) Hunter College, Yiming Tang City University of New York (CUNY) Graduate Center, Mehdi Bagherzadeh Oakland University, Syed Ahmed Oakland UniversityPre-print Media Attached | ||
| 11:2020m Talk | Detecting Atomicity Violations for Event-Driven Node.js ApplicationsTechnical TrackIndustry Program Technical Track Xiaoning Chang Institute of Software, Chinese Academy of Sciences, Wensheng Dou Institute of Software, Chinese Academy of Sciences, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Jie Wang Institute of Software, Chinese Academy of Sciences, Jun Wei Institute of Software, Chinese Academy of Sciences, China, Tao Huang Institute of Software Chinese Academy of Sciences | ||
| 11:4020m Talk | Parallel Refinement for Multi-Threaded Program Verification Technical Track Liangze Yin National University of Defense Technology, Wei Dong , Wanwei Liu National University of Defense Technology, Ji Wang  | ||
| 12:0020m Talk | SWORD: A Scalable Whole Program Race Detector for JavaDemos Demonstrations | ||
| 12:2010m Talk | Discussion Period Papers | ||
| 11:00 - 12:30 | Software Product LinesDemonstrations / Technical Track / Papers at Van-Horne Chair(s): Shahar Maoz Tel Aviv University | ||
| 11:0020m Talk | Intention-Based Integration of Software Variants Technical Track Max Lillack University of Leipzig, Ştefan Stănciulescu ABB Corporate Research, Switzerland, Wilhelm Hedman , Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Andrzej Wąsowski IT University of Copenhagen, DenmarkPre-print File Attached | ||
| 11:2020m Talk | Supporting the Statistical Analysis of Variability Models Technical Track Ruben Heradio UNED (Universidad Nacional de Educacion a Distancia), David Fernandez-Amoros UNED (Universidad Nacional de Educacion a Distancia), Christoph Mayr-Dorn Johannes Kepler University Linz, Alexander Egyed  | ||
| 11:4020m Talk | xLineMapper: A Product Line Feature-Architecture-Implementation Mapping ToolsetDemos Demonstrations Cuong Cu Cybersource Corporation, Xin Ye California State University San Marcos, Yongjie Zheng California State University San Marcos | ||
| 12:0020m Talk | Multifaceted Automated Analyses for Variability-Intensive Embedded SystemsTechnical Track Technical Track Sami Lazreg Visteon Electronics and Universite Cote d Azur, Maxime Cordy SnT, University of Luxembourg, Philippe Collet University of Nice, Patrick Heymans University of Namur, Sébastien Mosser Université du Québec à MontréalPre-print | ||
| 12:2010m Talk | Discussion Period Papers | ||
| 14:00 - 15:30 | Human FactorsJournal-First Papers / Technical Track / Papers at Centre-Ville Chair(s): Christoph Treude The University of Adelaide | ||
| 14:0020m Talk | How Practitioners Perceive Coding ProficiencyTechnical TrackIndustry Program Technical Track Xin Xia Monash University, Zhiyuan Wan Zhejiang University, Pavneet Singh Kochhar Microsoft, David Lo Singapore Management University | ||
| 14:2020m Talk | Socio-Technical Work-Rate Increase Associates With Changes in Work Patterns in Online ProjectsTechnical TrackIndustry Program Technical Track Farhana Sarker , Bogdan Vasilescu Carnegie Mellon University, Kelly Blincoe University of Auckland, Vladimir Filkov University of California at Davis, USAPre-print | ||
| 14:4020m Talk | Why Do Episodic Volunteers Stay in FLOSS Communities?Technical Track Technical Track Ann Barcomb Friedrich-Alexander University Erlangen-Nurnberg and Lero - The Irish Software Research Centre and University of Limerick, Klaas-Jan Stol University College Cork and Lero, Ireland, Dirk Riehle , Brian Fitzgerald Lero - The Irish Software Research Centre and University of LimerickPre-print | ||
| 15:0010m Talk | Uncovering the Periphery: A Qualitative Survey of Episodic Volunteering in Free/Libre and Open Source Software CommunitiesJournal-First Journal-First Papers Ann Barcomb Friedrich-Alexander University Erlangen-Nurnberg and Lero - The Irish Software Research Centre and University of Limerick, Andreas Kaufmann Friedrich-Alexander University Erlangen-Nuremberg, Dirk Riehle , Klaas-Jan Stol University College Cork and Lero, Ireland, Brian Fitzgerald Lero - The Irish Software Research Centre and University of LimerickDOI Pre-print | ||
| 15:1010m Talk | Discovering Community Patterns in Open-Source: A Systematic Approach and Its EvaluationJournal-First Journal-First Papers Damian Andrew Tamburri TU/e, Fabio Palomba University of Zurich, Alexander Serebrenik Eindhoven University of Technology, Andy Zaidman TU DelftPre-print | ||
| 15:2010m Talk | Discussion Period Papers | ||
| 14:00 - 15:30 | API AnalysisTechnical Track / Demonstrations / Papers at Duluth Chair(s): Sam Malek University of California, Irvine | ||
| 14:0020m Talk | Exposing Library API Misuses via Mutation AnalysisTechnical Track Technical Track Ming Wen The Hong Kong University of Science and Technology, Yepang Liu Southern University of Science and Technology, Rongxin Wu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xuan Xie School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Zhendong Su ETH Zurich | ||
| 14:2020m Demonstration | Vetting API Usages in C Programs with IMCheckerDemos Demonstrations Zuxing Gu School of Software, Tsinghua University, Jiecheng Wu Tsinghua University, Li Chi Tsinghua University, Min Zhou Tsinghua University, Yu Jiang , Ming Gu Tsinghua University, Jiaguang Sun Pre-print | ||
| 14:4020m Talk | PIVOT: Learning API-Device Correlations to Facilitate Android Compatibility Issue Detection Technical Track Lili Wei The Hong Kong University of Science and Technology, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and TechnologyPre-print | ||
| 15:0020m Talk | SafeCheck: Safety Enhancement of Java Unsafe APITechnical Track Technical Track Shiyou Huang Texas A&M University, Jianmei Guo Alibaba Group, Sanhong Li Alibaba Inc., Xiang Li Alibaba, Yumin Qi Alibaba, Kingsum Chow , Jeff Huang Texas A&M University | ||
| 15:2010m Talk | Discussion Period Papers | ||
| 14:00 - 15:30 | Testing of AI SystemsNew Ideas and Emerging Results / Demonstrations / Technical Track / Papers at Place du Canada Chair(s): Marija Mikic Google | ||
| 14:0020m Talk | CRADLE: Cross-Backend Validation to Detect and Localize Bugs in Deep Learning LibrariesTechnical Track Technical Track Hung Viet Pham University of Waterloo, Thibaud Lutellier , Weizhen Qi University of Science and Technology of China, Lin Tan Purdue UniversityPre-print | ||
| 14:2020m Talk | Guiding Deep Learning System Testing using Surprise Adequacy Technical Track Jinhan Kim KAIST, Robert Feldt Chalmers University of Technology, Shin Yoo Korea Advanced Institute of Science and TechnologyAuthorizer link Pre-print | ||
| 14:4020m Talk | DeepConcolic: Testing and Debugging Deep Neural NetworksDemos Demonstrations Youcheng Sun University of Oxford, Xiaowei Huang University of Liverpool, Daniel Kroening University of Oxford, James Sharp Defence Science and Technology Laboratory (Dstl), Matthew Hill Defence Science and Technology Laboratory (Dstl), Rob Ashmore Defence Science and Technology Laboratory (Dstl) | ||
| 15:0010m Talk | Towards Improved Testing For Deep LearningNIER New Ideas and Emerging ResultsPre-print | ||
| 15:1010m Talk | Structural Coverage Criteria for Neural Networks Could Be MisleadingNIER New Ideas and Emerging Results Zenan Li Nanjing University, Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Chun Cao Nanjing UniversityPre-print | ||
| 15:2010m Talk | Robustness of Neural Networks: A Probabilistic and Practical PerspectiveNIER New Ideas and Emerging Results | ||
| 14:00 - 15:30 | Specifications and ModelsPapers / Demonstrations / Technical Track at Van-Horne Chair(s): Sylvain Hallé Université du Québec à Chicoutimi, Canada | ||
| 14:0020m Talk | PsALM: Specification of Dependable Robotic MissionsDemos Demonstrations Claudio Menghi University of Luxembourg, SnT, Christos Tsigkanos Technische Universität Wien, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Patrizio Pelliccione Chalmers | University of Gothenburg and University of L'Aquila | ||
| 14:2020m Talk | Symbolic Repairs for GR(1) Specifications Technical Track Shahar Maoz Tel Aviv University, Jan Oliver Ringert Tel Aviv University, Rafi Shalom Tel Aviv University | ||
| 14:4020m Talk | ARepair: A Repair Framework for AlloyDemos Demonstrations Kaiyuan Wang Google, Inc., Allison Sullivan North Carolina Agriculture and Technical State University, Sarfraz Khurshid University of Texas at Austin | ||
| 15:0020m Talk | Visual Debugging of Behavioural ModelsDemos Demonstrations Gianluca Barbon Université Grenoble Alpes, Inria, LIG, Vincent Leroy University of Grenoble - CNRS, Gwen Salaün University of Grenoble Alpes, Emmanuel Yah Université Grenoble Alpes | ||
| 15:2010m Talk | Discussion Period Papers | ||
| 14:00 - 15:30 | Crowdsourcing in Software EngineeringPapers / Software Engineering in Practice / Technical Track at Viger Chair(s): Tayana Conte Universidade Federal do Amazonas | ||
| 14:0030m Talk | (SEIP Talk) Crowdsourcing in Software Engineering: Models, Motivations, and ChallengesSEIPIndustry Program Software Engineering in Practice Thomas LaToza George Mason University | ||
| 14:3020m Talk | CTRAS: Crowdsourced Test Report Aggregation and SummarizationTechnical TrackIndustry Program Technical Track hao rui , Yang Feng University of California, Irvine, James Jones University of California, Irvine, Yuying Li State Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu Chen Nanjing University | ||
| 14:5020m Talk | iSENSE: Completion-Aware Crowdtesting Management Technical Track Junjie Wang Institute of Software, Chinese Academy of Sciences, Ye Yang Stevens institute of technology, Rahul Krishna NC State University, Tim Menzies North Carolina State University, Qing Wang Institute of Software, Chinese Academy of Sciences | ||
| 15:1020m Talk | Discussion Period Papers | ||
| 16:00 - 17:20 | Software DocumentationTechnical Track / Papers / Software Engineering in Practice / Journal-First Papers at Centre-Ville Chair(s): Bonita Sharif University of Nebraska-Lincoln, USA | ||
| 16:0020m Talk | Web Feature Deprecation: A Case Study for ChromeSEIPIndustry Program Software Engineering in Practice Ariana Mirian University of California San Diego, Nikunj Bhagat Google, Caitlin Sadowski , Adriana Porter Felt Google, Stefan Savage University of California San Diego, Geoffrey M. Voelker University of California San Diego | ||
| 16:2020m Talk | Software Documentation Issues UnveiledTechnical TrackIndustry Program Technical Track Emad Aghajani Software Institute, USI - Lugano, Switzerland, Csaba Nagy Università della Svizzera italiana (USI), Olga Lucero Vega-Marquez Universidad de los Andes, Universidad de los Llanos, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia        , Laura Moreno Colorado State University, Gabriele Bavota Università della Svizzera italiana (USI), Michele Lanza Universita della Svizzera italiana (USI)Pre-print | ||
| 16:4020m Talk | 9.6 Million Links in Source Code Comments: Purpose, Evolution, and Decay Technical Track Hideaki Hata Nara Institute of Science and Technology, Christoph Treude The University of Adelaide, Raula Gaikovina Kula NAIST, Takashi Ishio Nara Institute of Science and TechnologyDOI Pre-print Media Attached | ||
| 17:0010m Talk | Categorizing the Content of GitHub README FilesJournal-First Journal-First Papers Gede Artha Azriadi Prana Singapore Management University, Christoph Treude The University of Adelaide, Ferdian Thung , Thushari Atapattu The University of Adelaide, David Lo Singapore Management UniversityLink to publication DOI Pre-print | ||
| 17:1010m Talk | Discussion Period Papers | ||
| 16:00 - 17:20 | APIsNew Ideas and Emerging Results / Technical Track / Papers / Demonstrations at Duluth Chair(s): Chris Parnin NCSU | ||
| 16:0020m Talk | FOCUS: A Recommender System for Mining API Function Calls and Usage Patterns Technical Track Phuong T. Nguyen University of L’Aquila, Juri Di Rocco Università di L'Aquila, Davide Di Ruscio University of L'Aquila, Lina Ochoa , Thomas Degueule CWI, Netherlands, Massimiliano Di Penta University of SannioPre-print | ||
| 16:2020m Talk | DRONE: A Tool to Detect and Repair Directive Defects in Java APIs  DocumentationDemos Demonstrations Yu Zhou , Xin Yan Nanjing University of Aeronautics and Astronautics, Taolue Chen Birkbeck, University of London, Sebastiano Panichella Zurich University of Applied Science/University of Zurich, Harald Gall University of Zurich | ||
| 16:4020m Talk | MULAPI: A Tool for API Method and Usage Location RecommendationDemos Demonstrations Congying Xu Yangzhou University, Bosen Min Yangzhou University, Xiaobing Sun Yangzhou University, Jiajun Hu The Hong Kong University of Science and Technology, Bin Li Yangzhou University, Yucong Duan Hainan University | ||
| 17:0010m Talk | API FluencyNIER New Ideas and Emerging Results Romain Robbes Free University of Bozen-Bolzano, Mircea F. Lungu University of Groningen, Andrea Janes  | ||
| 17:1010m Talk | Discussion Period Papers | ||
| 16:00 - 17:20 | Code ReviewsPapers / Journal-First Papers / Technical Track at Laurier Chair(s): Alexander Serebrenik Eindhoven University of Technology | ||
| 16:0020m Talk | Test-Driven Code Review: An Empirical StudyTechnical TrackIndustry Program Technical Track Davide Spadini Delft University of Technology, Netherlands, Fabio Palomba University of Zurich, Tobias Baum Leibniz Universität Hannover, Stefan Hanenberg University of Duisburg-Essen, Germany, Magiel Bruntink Software Improvement Group, Alberto Bacchelli University of ZurichDOI Pre-print Media Attached | ||
| 16:2020m Talk | Why Does Code Review Work for Open Source Software Communities?Technical Track Technical Track Adam Alami IT University of Copenhagen, Marisa Leavitt Cohn IT University of Copenhagen, Andrzej Wąsowski IT University of Copenhagen, DenmarkPre-print | ||
| 16:4010m Talk | Does Reviewer Recommendation Help Developers?Industry ProgramJournal-First Journal-First Papers Vladimir Kovalenko TU Delft, Nava Tintarev Delft University of Technology, Evgeny Pasynkov JetBrains GmbH, Christian Bird Microsoft Research, Alberto Bacchelli University of ZurichDOI Pre-print | ||
| 16:5010m Talk | The Impact of Human Factors on the Participation Decision of Reviewers in Modern Code ReviewJournal-First Journal-First Papers Shade Ruangwan Nara Institute of Science and Technology, Patanamon Thongtanunam The University of Melbourne, Akinori Ihara Wakayama University, Kenichi Matsumoto Nara Institute of Science and TechnologyDOI Pre-print | ||
| 17:0020m Talk | Discussion Period Papers | ||
| 16:00 - 17:20 | Testing and Analysis: Domain-Specific ApproachesTechnical Track / Journal-First Papers / Papers at Place du Canada Chair(s): Gregory Gay University of South Carolina, Chalmers | University of Gothenburg | ||
| 16:0020m Talk | Detecting Incorrect Build Rules Technical TrackPre-print Media Attached | ||
| 16:2020m Talk | Adversarial Sample Detection for Deep Neural Network through Model Mutation TestingTechnical Track Technical Track Jingyi Wang National University of Singapore, Singapore, Guoliang Dong Computer College of Zhejiang University, Jun Sun Singapore Management University, Singapore, Xinyu Wang Zhejiang University, Peixin Zhang Zhejiang University | ||
| 16:4010m Talk | Oracles for Testing Software Timeliness with UncertaintyJournal-First Journal-First Papers Chunhui Wang University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand SnT Centre/University of Luxembourg | ||
| 16:5020m Talk | Deep Differential Testing of JVM ImplementationsTechnical Track Technical Track Yuting Chen Shanghai Jiao Tong University, Ting Su Nanyang Technological University, Singapore, Zhendong Su ETH Zurich | ||
| 17:1010m Talk | Discussion Period Papers | ||
| 16:00 - 17:20 | Reverse EngineeringTechnical Track / Papers at St-Paul / Ste-Catherine Chair(s): Sandeep Kuttal The University of Tulsa | ||
| 16:0020m Talk | Recovering Variable Names for Minified Code with Usage ContextsTechnical Track Technical Track Hieu Tran The University of Texas at Dallas, Ngoc Tran , Son Nguyen The University of Texas at Dallas, Hoan Nguyen Iowa State University, Tien N. Nguyen University of Texas at Dallas | ||
| 16:2020m Talk | Gigahorse: Thorough, Declarative Decompilation of Smart Contracts Technical Track Neville Grech University of Athens, Lexi Brent University of Sydney, Bernhard Scholz University of Sydney, Australia, Yannis Smaragdakis University of Athens | ||
| 16:4020m Talk | Probabilistic Disassembly Technical Track Kenneth Miller Purdue University, Yonghwi Kwon University of Virginia, Yi Sun Purdue University, USA, Zhuo Zhang Purdue University, Xiangyu Zhang Purdue University, Zhiqiang Lin The Ohio State University | ||
| 17:0020m Talk | Discussion Period Papers | ||
| 16:00 - 17:20 | Program TransformationsNew Ideas and Emerging Results / Technical Track / Papers at Van-Horne Chair(s): Cindy Rubio-González University of California, Davis | ||
| 16:0020m Talk | Global Optimization of Numerical Programs via Prioritized Stochastic Algebraic Transformations Technical Track Xie Wang Nanjing University, Huaijin Wang Nanjing University, Zhendong Su ETH Zurich, Enyi Tang Nanjing University, Xin Chen Nanjing University, Weijun Shen Nanjing University, Zhenyu Chen Nanjing University, Linzhang Wang , Xianpei Zhang Nanjing University, Xuandong Li Nanjing University | ||
| 16:2020m Talk | Type Migration in Ultra-Large-Scale Codebases Technical Track Ameya Ketkar Oregon State University, USA, Ali Mesbah University of British Columbia, Davood Mazinanian University of British Columbia, Danny Dig School of EECS at Oregon State University, Eddie Aftandilian GooglePre-print | ||
| 16:4020m Talk | Dynamic Slicing for AndroidTechnical Track Technical Track Tanzirul Azim Microsoft, USA, Arash Alavi University of California, Riverside, Iulian Neamtiu New Jersey Institute of Technology, Rajiv Gupta UC Riverside | ||
| 17:0010m Talk | Conditional Compilation is Dead, Long Live Conditional Compilation!NIER New Ideas and Emerging ResultsPre-print | ||
| 17:1010m Talk | Discussion Period Papers | ||
| 16:00 - 17:20 | Software QualitySoftware Engineering in Practice / New Ideas and Emerging Results / Papers / Technical Track at Viger Chair(s): Ying Zou Queen's University, Kingston, Ontario | ||
| 16:0020m Talk | WSQF: Comprehensive Software Quality Evaluation Framework and Benchmark based on the SQuaRESEIPIndustry Program Software Engineering in Practice Naohiko Tsuda Waseda University, Hironori Washizaki Waseda University, Kiyoshi Honda , Hidenori Nakai Waseda University, Yoshiaki Fukazawa Waseda University, Motoei Azuma Waseda University, Toshihiro Komiyama NEC Corporation, Tokyo, Japan, Tadashi Nakano  Computer Software Association of Japan, Tokyo, Japan, Hirotsugu Suzuki Computer Software Association of Japan, Tokyo, Japan, Sumie Morita FUJITSU GENERAL LIMITED, Kanagawa, Japan (until the  end of FY2017, FUJITSU LABORATORIES LTD.,Kanagawa, Japan), Katsue Kojima Fujitsu Limited, Tokyo, Japan, Akiyoshi Hando FUJITSU BROAD SOLUTION & CONSULTING Inc., Tokyo, Japan | ||
| 16:2020m Talk | Leveraging Artifact Trees to Evolve and Reuse Safety Cases Technical Track Ankit Agrawal University of Notre Dame, Seyedehzahra Khoshmanesh Iowa State University, Michael Vierhauser University of Notre Dame, Mona Rahimi , Jane Cleland-Huang University of Notre Dame, Robyn Lutz Iowa State University | ||
| 16:4010m Talk | Trade-off-Oriented Development: Making Quality Attribute Trade-offs First-ClassNIER New Ideas and Emerging Results Tobias Dürschmid Carnegie Mellon University, Institute for Software Research, Eunsuk Kang Carnegie Mellon University, David Garlan Carnegie Mellon UniversityPre-print | ||
| 16:5010m Talk | Current Challenges in Practical Object-Oriented Software DesignNIER New Ideas and Emerging Results Maurício Aniche Delft University of Technology, Netherlands, Joe Yoder The Refactory, Inc., Fabio Kon University of São Paulo | ||
| 17:0020m Talk | Discussion Period Papers | ||
Accepted Papers
Call for Papers
The Software Engineering in Practice (SEIP) Track is the premier venue for researchers and practitioners to discuss insights, innovations and solutions to concrete software engineering problems. SEIP provides a unique forum for making connections, exchanging ideas, fostering innovations, and forging long-term collaborations for addressing software engineering research that impacts directly on practice. SEIP will gather highly-qualified industrial and research participants that are eager to communicate and share common interests in software engineering. The track will comprise invited and reviewed sessions, including paper presentations, reviewed talks, interactive sessions and lightning talks with a strong focus on software practice.
Submissions
We are seeking the following types of submission. All submissions have to be written exclusively in English.
Full papers: (8-10 pages, including figures, tables, appendices, and references): Full papers address industrially-relevant problems through systematic investigations. For example, a full paper may describe an application and evaluation of basic research ideas to an industrially-relevant context, an empirical study of an industrially-relevant issue, a rigorous report of industrially-relevant experience, and so on. Negative results are encouraged as analysis of failures is rare. For example, determining in a principled way where or why current research cannot be applied on industrially-relevant problems is an important and often overlooked aspect of software engineering.
Papers will be evaluated primarily on potential impact and real-world focus: each paper should describe a problem of practical importance, explain how the problem was investigated and in what context, and present evidence for the paper’s conclusions. Other aspects that should be included if appropriate are: discussing why the resolution of the problem is innovative, (cost-) effective, or efficient; providing a concise explanation of the approach, techniques, and methodologies employed; considering how relevant was the context to these results and whether other contexts would yield similar results; and explaining the insights or best practices that emerged, tools developed, and/or software processes involved.
Full papers will appear in the ICSE SEIP Companion proceedings. IEEE Software will recognize the best paper of the SEIP track with an award at the conference.
Talk proposals (2 pages): Talks present practitioner-oriented topics that are likely to be relevant and interesting to both industrial and academic attendees. Talk proposals should include the title, the name and affiliation of each presenter, a short abstract (150 words), and up to 8 keywords. In addition the proposal should describe what the talk will be about, highlighting its key points and the reason why it is interesting to ICSE-SEIP attendees (500 words). Submissions should include a speaker biography and history, and can include supporting materials such as white papers or videos. Please note that the target audience of the talk proposal is the SEIP program committee. Talk proposals will be reviewed in two phases. The outcome of the first phase is either rejected or conditionally accepted for the next phase. In the second phase, submitters will be required to prepare the complete presentation. The target audience of the second phase talk proposal is the attendees of the SEIP track and readers of the proceedings. The committee will then review the presentations and make the final accept/reject decisions. Each accepted talk will be of 30 minutes duration and will be allowed two pages for an "extended abstract" in the ICSE SEIP Companion proceedings.
Interactive proposals (2 pages): This type of submission is aimed at practitioners, but should be attractive for all audiences. Interactive sessions will be 60 minutes’ duration and will explore an aspect of practice in-depth. They may take the form of a goldfish bowl, or coding dojo, or ‘live coding’ for example, but should not aim to promote a specific proprietary tool or approach. We especially welcome new and thought-provoking ideas and formats, and encourage submitters to contact the chairs at any time with their suggestions (before making a formal proposal). Interactive proposals should include a title, the name and affiliation of each presenter, a short abstract that describes the focus of the session and the outcomes for attendees (150 words), and up to 8 keywords. In addition the proposal should describe why the session focus is important, outlining the session structure and the reason why it is interesting to ICSE-SEIP attendees (500 words). Interactive proposals will be reviewed in two phases. The outcome of the first phase is either rejected or conditionally accepted for the next phase. In the second phase, submitters will be required to prepare a detailed plan of the session and a complete set of materials to be used. Each interactive session will be allowed two pages for an "extended abstract" in the ICSE SEIP Companion proceedings.
Formatting and Submission Links: All submissions must conform to the IEEE Conference Proceedings Formatting Guidelines (title in 24pt font and full text in 10pt type, LaTEX users must use \documentclass[10pt,conference]{IEEEtran} without including the compsoc or compsocconf option). They can be submitted via EasyChair.
Evaluation
All submissions will be reviewed by members of the SEIP Program Committee. Full paper and talk proposals must not have been previously published or concurrently submitted elsewhere. Submissions will be evaluated on the basis of industry relevance, significance of contribution, and quality of presentation.
Special Issue
Authors from this track will be encouraged to submit an extended version of their work to Journal of Software: Practice and Experience’s special issue on software engineering in practice.
Important Dates for Paper submissions
- Submissions Due: 1st Oct 2018
- Notification of Acceptance: 17th Dec 2018
- Camera Ready Copy: beginning Feb 2019
Important Dates for Talk and Interactive submissions
- Phase 1 Submissions Due: 1st Oct 2018
- Phase 1 Notifications: 30th Nov 2018
- Phase 2 Submissions Due: 7th Jan 2019
- Notification of Acceptance: 21st Jan 2019
- Camera Ready Copy: beginning Feb 2019
Contact 
If there are queries regarding the CFP, please contact the chairs here: icse2019seip@gmail.com.












































