* ICSE 2018 * (series) /
* ICSE 2018 * Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 27 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 27 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | Opening, Vision Keynote, and Developer ObservationICPC Technical Research at J1 room Chair(s): Foutse Khomh Polytechnique Montréal, Chanchal K. Roy University of Saskatchewan, Katsuro Inoue Osaka University | ||
09:00 10mDay opening | Welcome to ICPC 2018 ICPC Technical Research | ||
09:11 34mTalk | Sensing and Supporting Software Developer's Focus (Vision Keynote)Vision Keynote ICPC Technical Research Manuela Zueger University of Zurich, Thomas Fritz University of Zurich, University of British Columbia | ||
09:45 10mShort-paper | Code Phonology: an exploration into the vocalization of codeERA ICPC Technical Research Felienne Hermans , Alaaeddin Swidan Delft University of Technology, Efthimia Aivaloglou Open University of the Netherlands | ||
09:55 17mFull-paper | Meaningful Variable Names for Decompiled Code: A Machine Translation ApproachTechnical Research ICPC Technical Research Alan Jaffe Carnegie Mellon University, Jeremy Lacomis Carnegie Mellon University, Edward Schwartz Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University Pre-print Media Attached | ||
10:13 17mFull-paper | Descriptive Compound Identifier Names Improve Source Code ComprehensionTechnical Research ICPC Technical Research Andrea Schankin Karlsruhe Institute of Technology, Annika Berger Karlsruhe Institute of Technology, Daniel Holt Heidelberg University, Johannes Hofmeister University of Passau, Till Riedel Karlsruhe Institute of Technology, Michael Beigl Karlsruhe Institute of Technology Pre-print | ||
09:00 - 10:30 | OpeningMobileSoft at J2 room Chair(s): Christine Julien The University of Texas at Austin, Grace Lewis Carnegie Mellon Software Engineering Institute | ||
09:00 30mTalk | Welcome to MobileSoft 2018 MobileSoft Christine Julien The University of Texas at Austin, Grace Lewis Carnegie Mellon Software Engineering Institute | ||
09:30 60mTalk | Development, Testing and Maintenance of Android Apps: Challenges, Approaches, Tools, and Future DirectionsKeynote MobileSoft File Attached | ||
09:00 - 17:30 | |||
09:00 - 18:00 | |||
09:00 - 17:30 | |||
09:00 - 09:30 | |||
09:00 30mTalk | Opening Remarks: The Journey from Metaphor to Theory and Practice TechDebt Paul Nielsen Carnegie Mellon Software Engineering Institute, Robert Nord Software Engineering Institute | ||
09:00 - 17:00 | |||
09:00 - 17:30 | |||
09:00 - 17:30 | |||
09:15 - 17:00 | |||
09:30 - 10:30 | |||
09:30 30mTalk | An Exploratory Study on the Influence of Developers in Technical Debt TechDebt Reem Alfayez , Pooyan Behnamghader University of Southern California, USA, Kamonphop Srisopha University of Southern California, USA, Barry Boehm University of Southern California | ||
10:00 30mTalk | Architectural Technical Debt Identification: The Research Landscape TechDebt Roberto Verdecchia Gran Sasso Science Institute, Vrije Universiteit Amsterdam, Ivano Malavolta Vrije Universiteit Amsterdam, Patricia Lago Vrije Universiteit Amsterdam Link to publication Pre-print | ||
11:00 - 12:30 | Clones, Code Smell, Refactoring and MaintenanceICPC Technical Research at J1 room Chair(s): Hitesh Sajnani Microsoft | ||
11:00 10mShort-paper | Towards Just-In-Time Refactoring Recommenders (ERA)ERA ICPC Technical Research Jevgenija Pantiuchina Università della Svizzera italiana, Gabriele Bavota Università della Svizzera italiana (USI), Michele Tufano College of William and Mary, Denys Poshyvanyk William and Mary | ||
11:10 10mShort-paper | Toward Refactoring Evaluation with Code NaturalnessERA ICPC Technical Research Pre-print | ||
11:20 10mIndustry talk | How Slim Will My System Be? Estimating Refactored Code Size by Merging ClonesIndustry Track ICPC Technical Research Norihiro Yoshida Nagoya University, Takuya Ishizu Osaka University, Buford Edwards Iii Osaka University, Katsuro Inoue Osaka University Link to publication DOI | ||
11:30 10mShort-paper | RepliComment: Identifying Clones in Code CommentsERA ICPC Technical Research Arianna Blasi Università della Svizzera italiana (USI) and IMDEA Software Institute, Alessandra Gorla IMDEA Software Institute | ||
11:40 10mShort-paper | A Preliminary Study on Using Code Smells to Improve Bug LocalizationERA ICPC Technical Research Aoi Takahashi Tokyo Institute of Technology, Natthawute Sae-Lim Tokyo Institute of Technology, Shinpei Hayashi Tokyo Institute of Technology, Motoshi Saeki Tokyo Institute of Technology DOI Pre-print | ||
11:50 17mFull-paper | Un-Break My Build: Assisting Developers with Build Repair HintsTechnical Research ICPC Technical Research Carmine Vassallo University of Zurich, Sebastian Proksch University of Zurich, Timothy Zemp University of Zurich, Harald Gall University of Zurich DOI Pre-print | ||
12:07 17mFull-paper | Aiding Comprehension of Unit Test Cases and Test Suites with Stereotype-based TaggingTechnical Research ICPC Technical Research Boyang Li , Christopher Vendome , Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia , Denys Poshyvanyk William and Mary | ||
11:00 - 12:00 | |||
11:00 20mFull-paper | Ares: Triggering Payload of Evasive Android Malware MobileSoft | ||
11:20 20mFull-paper | Orlis: Obfuscation-Resilient Library Detection for Android MobileSoft Yan Wang , Haowei Wu , Hailong Zhang Ohio State University, USA, Atanas Rountev Ohio State University | ||
11:40 20mFull-paper | AnFlo: Detecting Anomalous Sensitive Information Flows in Android Apps MobileSoft | ||
11:00 - 12:30 | |||
11:00 30mTalk | Technical Debt as an External Software Attribute TechDebt Luigi Lavazza Università degli Studi dell'Insubria, Sandro Morasca Università degli Studi dell'Insubria | ||
11:30 30mTalk | Prioritizing Technical Debt in Database Normalization Using Portfolio Theory and Data Quality Metrics TechDebt | ||
12:00 30mTalk | Evaluating Domain-Specific Metric Thresholds: An Empirical Study TechDebt Gustavo Vale University of Passau, Markos Viggiato Federal University of Minas Gerais, Brazil, Eduardo Figueiredo UFMG, Pooyan Jamshidi Carnegie Mellon University | ||
11:00 - 12:30 | Static and Dynamic AnalysisICPC Technical Research at R2 Chair(s): Aiko Yamashita Oslo Metropolitan University | ||
11:00 17mFull-paper | JIT Feedback - what experienced developers like about static analysisTechnical Research ICPC Technical Research Yuriy Tymchuk Swisscom AG, Mohammad Ghafari University of Bern, Oscar Nierstrasz University of Bern, Switzerland Link to publication DOI Pre-print | ||
11:17 17mFull-paper | How do Design Decisions Influence the Distribution of Software Metrics?Technical Research ICPC Technical Research Marcos Dosea Federal University of Sergipe and Federal Univeresity of Bahia, Claudio Sant'Anna Federal University of Bahia, Bruno da Silva California Polytechnic State University DOI Pre-print | ||
11:34 10mShort-paper | SDExplorer: a generic toolkit for smoothly exploring massive-scale sequence diagramTool Demo ICPC Technical Research Kaixie Lyu , Kunihiro Noda Tokyo Institute of Technology, Takashi Kobayashi Tokyo Institute of Technology Pre-print | ||
11:44 17mFull-paper | Hierarchical Abstraction of Execution Traces for Program ComprehensionTechnical Research ICPC Technical Research Yang Feng University of California, Irvine, Kaj Dreef University of California, Irvine, James Jones University of California, Irvine, Arie van Deursen Delft University of Technology DOI Pre-print | ||
12:01 17mFull-paper | Component Interface Identification and Behavioral Model Discovery from Software Execution DataTechnical Research ICPC Technical Research Cong Liu Eindhoven University of Technology, Boudewijn Van Dongen Eindhoven University of Technology, Nour Assy Eindhoven University of Technology, Wil van der Aalst RWTH Aachen University, Germany | ||
12:18 10mIndustry talk | CodeCompass: An Open Software Comprehension FrameworkIndustry Track ICPC Technical Research Zoltan Porkolab Eotvos Lorond University, Dániel Krupp Ericsson Ltd, Tibor Brunner Ericsson Hungary, Marton Csordas Ericsson Hungary Link to publication DOI Pre-print | ||
12:00 - 12:30 | S2: Student Research Competition MadnessMobileSoft at J2 room Chair(s): Mirco Franzago University of L'Aquila, Italy, Jamie Payton | ||
12:00 6mResearch paper | Identifying Architectural Technical Debt in Android Applications through Compliance Checking MobileSoft Roberto Verdecchia Gran Sasso Science Institute, Vrije Universiteit Amsterdam Link to publication Pre-print | ||
12:06 6mResearch paper | Programming Support for Data Intensive Distributed Mobile Applications at the Edge MobileSoft Breno Dantas Cruz Virginia Tech | ||
12:12 6mResearch paper | Classifying code comments in Java Mobile Applications MobileSoft Luca Pascarella Delft University of Technology Pre-print | ||
12:18 6mResearch paper | Improving Android Permissions Models for Increased User Awareness and Security MobileSoft | ||
12:24 6mResearch paper | Does Source Code Quality Reflect the Ratings of Apps? MobileSoft Gemma Catolino University of Salerno | ||
13:00 - 18:15 | Doctoral SymposiumICGSE at Lindholmen Conference Centre Chair(s): John Noll University of East London, and Lero - The Irish Software Research Centre, Paolo Tell IT University of Copenhagen | ||
13:00 55mDoctoral symposium paper | "A Preliminary Structure of Software Security Assurance Model” by Rafiq Ahmad Khan ICGSE | ||
13:55 55mDoctoral symposium paper | “Scaling Agile Software Development to Large and Globally Distributed Large-scale Organizations” by Abheeshta Putta ICGSE | ||
14:50 55mDoctoral symposium paper | “Toward a Theory of Communication in Distributed Software Development Teams: A Research Proposal” by Nelson G. De Sá Leitão Júnior ICGSE | ||
15:45 30mBreak | Joint break with ICSSP ICGSE | ||
16:15 45mPoster | Elevator pitch and poster walk around ICGSE | ||
17:00 45mOther | Keynote: Doctoral Symposium ICGSE | ||
17:45 30mDay closing | Discussion and Wrap-up ICGSE | ||
14:00 - 15:30 | |||
14:00 17mFull-paper | Recognizing Software Bug-Specific Named Entity in Software Bug RepositoryTechnical Research ICPC Technical Research Cheng Zhou Yangzhou University, Bin Li Yangzhou University, Xiaobing Sun Yangzhou University, Hongjing Guo Yangzhou University | ||
14:17 10mShort-paper | CoBOT: Static C/C++ Bug Detection in the Presence of Incomplete CodeTool Demo ICPC Technical Research Qing Gao Peking University, Sen Ma Peking University, Sihao Shao , Yulei Sui University of Technology Sydney, Australia, Guoliang Zhao CASIC_CQC Software Testing and Assessment Technology(Beijing) Corporation, Ltd., Luyao Ma Peking University, Xiao Ma Peking University, Fuyao Duan , Xiao Deng Peking University, Shikun Zhang Peking University, Xianglong Chen CASC Software Testing Center | ||
14:28 17mFull-paper | Recommending Frequently Encountered BugsTechnical Research ICPC Technical Research Yun Zhang Zhejiang University, David Lo Singapore Management University, Xin Xia Monash University, Jing Jiang Beihang University, JianLing Sun Zhejiang University Pre-print | ||
14:45 17mFull-paper | Cross Version Defect Prediction with Representative Data via Sparse Subset SelectionTechnical Research ICPC Technical Research | ||
15:02 17mFull-paper | Unsupervised Deep Bug Report SummarizationTechnical Research ICPC Technical Research Xiaochen Li , He Jiang , Dong Liu Dalian University of Technology, Zhilei Ren , Ge Li Peking University | ||
15:19 7mShort-paper | MetropolJS: Visualizing and Debugging Large-Scale JavaScript Program Structure with TreemapsTool Demo ICPC Technical Research Joshua Scarsbrook University of Waikato, Ryan Ko University of Waikato, Bill Rogers University of Waikato, David Bainbridge University of Waikato | ||
14:00 - 15:00 | |||
14:00 20mFull-paper | An Investigation into Android Run-time Permissions from the End Users’ Perspective MobileSoft Gian Luca Scoccia , Stefano Ruberto , Ivano Malavolta Vrije Universiteit Amsterdam, Marco Autili University of L'Aquila, Italy, Paola Inverardi University of L'Aquila | ||
14:20 20mFull-paper | Investigating User Perception and Comprehension of Android Permission Models MobileSoft Anthony Peruma Rochester Institute of Technology, Jeffrey Palmerino , Daniel Krutz Rochester Institute of Technology | ||
14:40 10mShort-paper | Automated Detection and Repair of Incompatible Uses of Runtime Permissions in Android Apps MobileSoft Malwala Arachchige Malinda Dilhara , Haipeng Cai Washington State University, USA, John Jenkins Washington State University Pre-print | ||
14:50 10mOther | Discussion (S3) MobileSoft | ||
14:00 - 14:30 | |||
14:00 5mTalk | Tools Track Introduction TechDebt Clemente Izurieta Montana State University | ||
14:05 5mTalk | Introducing Debtgrep: A Tool for Fighting Technical Debt in Base Station Software TechDebt Svante Arvedahl Ericsson AB | ||
14:10 5mTalk | Static Software Metrics for Reliability and Maintainability TechDebt Jeremy Ludwig Stottler Henke Associates, Inc. | ||
14:15 5mTalk | AnaConDebt: A Tool to Assess and Track Technical Debt TechDebt Antonio Martini University of Oslo | CA Technologies | ||
14:20 5mIndustry talk | Cognitive Complexity: An Origin Story Overview and Evaluation TechDebt G. Ann Campbell SonarSource SA File Attached | ||
14:25 5mTalk | Prioritize Technical Debt in Large-Scale Systems Using CodeScene TechDebt Adam Tornhill Empear AB | ||
14:00 - 15:30 | Logs and Dynamic AnalysisICPC Technical Research at R2 Chair(s): Giuliano Antoniol Polytechnique Montréal | ||
14:00 17mFull-paper | Analysis of Test Log Information through Interactive VisualizationsTechnical Research ICPC Technical Research Pre-print | ||
14:17 17mFull-paper | A Search-based Approach for Accurate Identification of Log Message FormatsTechnical Research ICPC Technical Research Salma Messaoudi University of Luxembourg, Annibale Panichella Deflt University of Technology, Domenico Bianculli University of Luxembourg, Lionel Briand SnT Centre/University of Luxembourg, Raimondas Sasnauskas SES Pre-print | ||
14:34 17mFull-paper | LogTracker: Learning Log Revision Behaviors Proactively from Software Evolution HistoryTechnical Research ICPC Technical Research Shanshan Li , Xu Niu , Zhouyang Jia National University of Defense Technology, Ji Wang , Haochen He National University of Defense Technology, Teng Wang National University of Defense Technology DOI Pre-print File Attached | ||
14:51 17mFull-paper | Identifying Software Components from Object-Oriented APIs Based on Dynamic AnalysisTechnical Research ICPC Technical Research Anas Shatnawi University of Milano-Bicocca, Hudhaifa Shatnawi Maharishi University of Management, Mohamed Aymen Saied Concordia University, Zakarea Al Shara LIRMM, CNRS and University of Montpellier, Houari Sahraoui University of Montreal, Abdelhak Seriai LIRMM, CNRS and University of Montpellier Pre-print | ||
14:30 - 15:30 | |||
15:30 - 16:30 | |||
15:30 60mDemonstration | Demos, SRC, and Posters with Break MobileSoft | ||
16:00 - 16:45 | Managing the Debt I (Short Papers)TechDebt at R17+18 Chair(s): Ipek Ozkaya Carnegie Mellon Software Engineering Institute | ||
16:00 15mTalk | The Developer's Dilemma: Factors Affecting the Decision to Repay Code Debt TechDebt Alexander Chatzigeorgiou University of Macedonia | ||
16:15 15mTalk | From Lasagna to Spaghetti: A Decision Model to Manage Defect Debt TechDebt Abdullah Aldaeej University of Maryland Baltimore County, Carolyn Seaman University of Maryland Baltimore County File Attached | ||
16:30 15mTalk | A Proposed Sizing Model for Managing Technical Debt in Third-Party Code TechDebt | ||
16:30 - 17:30 | |||
16:30 20mFull-paper | Intent to Share: Enhancing Android Inter-Component Communication for Distributed Devices MobileSoft | ||
16:50 20mFull-paper | Programming and Runtime Support for Sharing Resources Across Heterogeneous Mobile Devices MobileSoft | ||
17:10 10mShort-paper | Code Offloading Solutions for Audio Processing in Mobile Healthcare Applications: A Case Study MobileSoft | ||
17:20 10mOther | Discussion (S5) MobileSoft | ||
16:45 - 17:30 | |||
17:00 - 17:45 | |||
19:00 - 21:00 | |||
19:00 2hDinner | Doctoral Symposium Dinner ICGSE | ||
Mon 28 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 28 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00 | |||
08:30 30m | Welcome to SEAMS 2018 SEAMS | ||
08:30 - 17:30 | |||
09:00 - 10:30 | |||
09:00 90m | Self adaptive software systems are essential for the Internet of ThingsKeynote SEAMS Danny Hughes KU Leuven File Attached | ||
09:00 - 10:30 | KeynoteICGSE at E2 room Chair(s): Maria Paasivaara IT University of Copenhagen & Aalto University, Finland | ||
09:00 90mOther | Keynote Speaker: Brian Fitzgerald: “Crowdsourcing Software Development: Silver Bullet or Lead Balloon”KEYNOTE ICGSE | ||
09:00 - 10:30 | |||
09:00 90mTalk | Mining the Mind, Minding the Mine: Grand Challenges in Comprehension and MiningKeynote MSR Technical Papers | ||
09:00 - 10:30 | |||
09:00 20mFull-paper | Automation of Android Applications Functional Testing Using Machine Learning Activities Classification MobileSoft | ||
09:20 20mFull-paper | Guiding App Testing with Mined Interaction Models MobileSoft | ||
09:40 20mFull-paper | Self-Reported Activities of Android Developers MobileSoft Luca Pascarella Delft University of Technology, Franz-Xaver Geiger , Fabio Palomba , Dario Di Nucci Vrije Universiteit Brussel, Ivano Malavolta Vrije Universiteit Amsterdam, Alberto Bacchelli University of Zurich DOI Pre-print | ||
10:00 10mShort-paper | How Do Android Operating System Updates Impact Apps? MobileSoft | ||
10:10 10mShort-paper | Detecting No-Sleep Energy Bugs Using Reference Counted Variables MobileSoft | ||
10:20 10mOther | Discussion (S6) MobileSoft | ||
09:00 - 17:30 | |||
09:00 - 17:30 | |||
09:00 - 10:30 | |||
09:00 90mTalk | Keynote: The Past, Present, and Future of Technical Debt: Learning from the Past to Prepare for the Future TechDebt | ||
09:00 - 17:30 | |||
09:00 - 17:00 | |||
09:00 - 09:45 | |||
09:00 45mTalk | Opening Remarks SEiA Michel Chaudron University of Gothenburg & Chalmers University of Technology, Engineer Bainomugisha Makerere University, Imed Hammouda Chalmers and University of Gothenburg | ||
09:45 - 10:45 | Natural Language Processing and Semantic TechnologiesSEiA at R26 Chair(s): Engineer Bainomugisha Makerere University | ||
10:15 30mTalk | Consolidation of BI Efforts in the LOD Era for African Context SEiA | ||
11:00 - 12:30 | |||
11:00 15mExperience report | Transitioning from plan-driven to lean in a global software engineering organization: a practice-centric view ICGSE Roopa M.S Siemens Healthcare Private Ltd, Ratnanabh Kumar Siemens Healthcare Private Ltd, V. S. Mani Siemens | ||
11:15 15mExperience report | Effective Distributed Pair Programming ICGSE Mark Rajpal Agile Global Results | ||
11:30 30mIndustry talk | Global Software Engineering at Google ICGSE Fergus Henderson Google File Attached | ||
12:00 15mExperience report | Validation of Outsourcing Teams Work on Agile Projects of Samsung Brazil Research Center ICGSE Gizelle Lemos Samsung Research Center Brazil, Marcia Costa Samsung Research Center Brazil, Tatiana Borghi Samsung Research Center Brazil, Paula Povoas Samsung Research Center Brazil | ||
12:15 15mTalk | Questions and answers ICGSE | ||
11:00 - 12:30 | Modularity and DependencyMSR Technical Papers at E3 room Chair(s): Moritz Beller Delft University of Technology | ||
11:00 17mFull-paper | An Empirical Evaluation of OSGi Dependencies Best Practices in the Eclipse IDE MSR Technical Papers A: Lina Ochoa , A: Thomas Degueule CWI, Netherlands, A: Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV | ||
11:17 17mFull-paper | On the impact of security vulnerabilities in the npm package dependency network MSR Technical Papers Link to publication DOI | ||
11:34 17mFull-paper | Feature Location using Crowd-based Screencasts MSR Technical Papers Pre-print | ||
11:51 17mFull-paper | Profiling call changes via motif mining MSR Technical Papers Pre-print | ||
12:08 7mShort-paper | Toward Predicting Architectural Significance of Implementation Issues MSR Technical Papers A: Arman Shahbazian University of Southern California, A: Daye Nam University of Southern California, USA, A: Nenad Medvidović University of Southern California Pre-print | ||
12:15 15mOther | Discussion phase MSR Technical Papers | ||
11:00 - 12:30 | Generation and ClassificationICPC Technical Research at J1 room Chair(s): Shaowei Wang Queen's University | ||
11:00 17mFull-paper | Deep Code Comment GenerationTechnical Research ICPC Technical Research Xing Hu Peking University, Ge Li Peking University, Xin Xia Monash University, David Lo Singapore Management University, Zhi Jin Peking University Pre-print | ||
11:17 10mShort-paper | On the Naturalness of Auto-generated Code —Can We Identify Auto-Generated Code Automatically?ERA ICPC Technical Research Masayuki Doi Osaka University, Yoshiki Higo Osaka University, Ryo Arima , Kento Shimonaka Osaka University, Shinji Kusumoto Pre-print | ||
11:27 10mShort-paper | Augmenting Source Code Lines with Sample Variable ValuesERA ICPC Technical Research Matúš Sulír Technical University of Košice, Jaroslav Porubän Technical University of Košice, Slovakia Pre-print | ||
11:37 17mFull-paper | Automatically Classifying Posts into Question Categories on Stack OverflowTechnical Research ICPC Technical Research Stefanie Beyer University of Klagenfurt, Christian Macho University of Klagenfurt, Massimiliano Di Penta University of Sannio, Martin Pinzger Alpen-Adria-Universität Klagenfurt | ||
11:54 17mFull-paper | Automatic Tag Recommendation for Software Development Video TutorialsTechnical Research ICPC Technical Research Esteban Parra Florida State University, Javier Escobar-Avila Florida State University, Sonia Haiduc Florida State University DOI Pre-print | ||
12:11 17mFull-paper | Classification of APIs by Hierarchical ClusteringTechnical Research ICPC Technical Research Johannes Härtel University of Koblenz-Landau, Germany, Hakan Aksu University of Koblenz, Ralf Laemmel University of Koblenz-Landau, Germany | ||
11:00 - 12:30 | |||
11:00 20mFull-paper | LiqDroid: Towards Seamlessly Distributed Android Applications MobileSoft Luciano Baresi Politecnico di Milano, Anita Imani Politecnico di Milano, Cristina Frà , Massimo Valla | ||
11:20 10mResearch paper | Towards a Framework for Proximity-based Hybrid Mobile Applications MobileSoft | ||
11:30 60mOther | Panel & DiscussionPanel MobileSoft | ||
11:00 - 12:30 | Managing the Debt IITechDebt at R17+18 Chair(s): Antonio Martini University of Oslo | CA Technologies | ||
11:00 30mTalk | Governing Technology Debt: Beyond Technical Debt TechDebt Johan Magnusson Swedish Center for Digital Innovation, University of Gothenburg, Carlos Juiz University of the Balearic Islands | ||
11:30 30mTalk | Trade-off Decisions Across Time in Technical Debt Management: A Systematic Literature Review TechDebt | ||
12:00 30mTalk | Design Debt Prioritization: A Design Best Practice-Based Approach TechDebt | ||
11:00 - 17:30 | |||
11:00 - 12:30 | |||
11:00 30mTalk | A state-of-the-art techniques on fraud detection in smart meter data analytics SEiA | ||
11:30 30mTalk | Applying Big data Analytics to Defend against Malicious Programs SEiA Emmanuel Masabo , Swaib Kyanda Kaawaase Makerere University, Julianne Sansa Otim Makerere University | ||
12:00 30mTalk | Tracking Food Insecurity from Tweets Using Data Mining Techniques SEiA Andrew Lukyamuzi Mbarara University of Science and Technology, Uganda | ||
14:00 - 15:30 | UncertaintySEAMS at E1 room Chair(s): Hausi Müller University of Victoria, Computer Science, Faculty of Engineering, Canada | ||
14:00 25m | Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic SearchLong Paper SEAMS Cody Kinneer Carnegie Mellon University, Zack Coker Carnegie Mellon University, Jiacheng Wang Dickinson College, David Garlan Carnegie Mellon University, Claire Le Goues Carnegie Mellon University | ||
14:25 15m | Uncertainty Reduction in Self-Adaptive SystemsShort Paper SEAMS Gabriel A. Moreno Carnegie Mellon University, USA, Javier Camara Carnegie Mellon University, David Garlan Carnegie Mellon University, Mark Klein Carnegie Mellon University | ||
14:40 25m | Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper SEAMS Ilias Gerostathopoulos Technical University of Munich, Christian Prehofer fortiss, Germany, Tomas Bures Charles University, Czech Republic Pre-print | ||
15:05 15m | Trace Checking for Dynamic Software Product LinesShort Paper SEAMS Rafael Olaechea University of Waterloo, Joanne M. Atlee University of Waterloo, Canada, Axel Legay , Uli Fahrenberg École Polytechnique | ||
14:00 - 15:30 | Communication and Collaboration in Distributed ProjectsICGSE at E2 room Chair(s): Filippo Lanubile University of Bari | ||
14:00 15mResearch paper | Is Stack Overflow in Portuguese attractive for Brazilian Users? ICGSE Miguel Botto Tobar Eindhoven University of Technology, Weslley Silva Torres Eindhoven University of Technology, The Netherlands, Angela Lozano HealthConnect, Mark van den Brand Eindhoven University of Technology, The Netherlands, Bogdan Vasilescu Carnegie Mellon University, Alexander Serebrenik Eindhoven University of Technology DOI Pre-print | ||
14:15 15mExperience report | East Meets West: Global Software Engineering Course in Germany and Japan ICGSE D. Moritz Marutschke Ritsumeikan University, Victor Kryssanov Ritsumeikan University, Patricia Brockmann Technical University Nuremberg | ||
14:30 15mExperience report | Effective collaboration across demography through digital dash boards and machine learning ICGSE Prabhulinga Manikreddy Siemens Technology and Services Pvt Ltd, Jaikrishna Iyer Siemens Technology and Services Pvt Ltd | ||
14:45 15mExperience report | Software Engineering Tools Environment for Outsourcing Teams Collaboration ICGSE Marcia Costa Samsung Research Center Brazil, Gizelle Lemos Samsung Research Center Brazil, Flavio Beck Samsung Research Center Brazil | ||
15:00 15mIndustry talk | The hidden truth about IT outsourcing ICGSE Mateusz Kapica Banedanmark, Denmark (Copenhagen) | ||
15:15 15mTalk | Questions and answers ICGSE | ||
14:00 - 15:30 | |||
14:00 17mFull-paper | The Android Update Problem: An Empirical Study MSR Technical Papers DOI Pre-print | ||
14:17 17mFull-paper | Why are Android Apps Removed From Google Play? A Large-scale Empirical Study MSR Technical Papers Pre-print | ||
14:34 17mFull-paper | Anatomy of Functionality Deletion - An Exploratory Study in Mobile Apps MSR Technical Papers A: Maleknaz Nayebi University of Toronto, A: Konstantin Kuznetsov Saarland University, CISPA, A: Paul Chen University of Calgary, A: Andreas Zeller Saarland University, A: Guenther Ruhe University of Calgary Pre-print | ||
14:51 17mFull-paper | Characterising Deprecated Android APIs MSR Technical Papers A: Li Li University of Luxembourg, Luxembourg, A: Jun Gao University of Luxembourg, SnT, A: Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, A: Lei Ma Harbin Institute of Technology, A: Xin Xia Monash University, A: Jacques Klein University of Luxembourg, SnT Pre-print | ||
15:08 7mShort-paper | Leveraging Historical Versions of Android Apps for Efficient and Precise Taint Analysis MSR Technical Papers Pre-print | ||
15:15 15mOther | Discussion phase MSR Technical Papers | ||
14:00 - 15:30 | |||
14:00 20mFull-paper | Automatic Inference of Java-to-Swift Translation Rules for Porting Mobile Applications MobileSoft | ||
14:20 20mFull-paper | Development Frameworks for Mobile Devices: A Comparative Study about Energy Consumption MobileSoft | ||
14:40 20mFull-paper | ANEL: Robust Mobile Network Programming Using a Declarative Language MobileSoft | ||
15:00 10mResearch paper | Beyond Web/Native/Hybrid: A New Taxonomy for Mobile App Development MobileSoft | ||
15:10 10mResearch paper | Vision: Improved development of mobile eHealth applications MobileSoft Pre-print Media Attached | ||
15:20 10mOther | Discussion (S8) MobileSoft | ||
14:00 - 15:30 | |||
14:00 30mTalk | Technical Debt Cripples Software Developer Productivity: A Longitudinal Study on Developers' Daily Software Development Work TechDebt Terese Besker Chalmers University of Technology, Sweden, Antonio Martini University of Oslo | CA Technologies, Jan Bosch Chalmers University of Technology | ||
14:30 30mTalk | A Framework for Managing Interest in Technical Debt: An Industrial Validation TechDebt Areti Ampatzoglou , Alexander Chatzigeorgiou University of Macedonia, Paris Avgeriou University of Groningen, The Netherlands | ||
15:00 30mTalk | Limiting Technical Debt with Maintainability Assurance: An Industry Survey on Used Techniques and Differences with Service- and Microservice-Based Systems TechDebt Pre-print | ||
14:00 - 15:30 | |||
14:00 30mTalk | Adapting Lightweight User-Centered Design with the Scrum-Based Development Process into the Project Management Process SEiA Degif Teka Addis Ababa University, Yvonne Dittrich IT University of Copenhagen, Denmark, Mesfin Kifle Addis Ababa University | ||
14:30 30mTalk | Partitioning Microservices: A Domain Engineering Approach SEiA Immaculee Joselyne Munezero Makerere University, Doreen Tuheirwe Mukasa Makerere University, Benjamin Kanagwa Makerere University, Joseph Balikuddembe Makerere University | ||
15:00 30mTalk | Planning for public sector Software Projects using Value-Based Requirements Engineering Techniques; a Research Agenda SEiA | ||
16:00 - 17:00 | |||
16:00 15mResearch paper | A Process for Distributed Software Evolution ICGSE Joao Ricardo Moreno Camilo Univesidade Tecnologica Federal do Parana , Tiago Pagotto Univesidade Tecnologica Federal do Parana, Alexandre L’erario Univesidade Tecnologica Federal do Parana , Jose Augusto Fabri Univesidade Tecnologica Federal do Parana | ||
16:15 15mExperience report | Global Software Engineering Experience through International Capstone Project Exchanges ICGSE Dean Knudson , Stavros Kalafatis Texas A&M University, Carsten Kleiner University of Applied Sciences & Arts Hannover, Barbara Seegebarth Technische Universität Braunschweig, Stephen Zahos University of Illinois at Urbana-Champaign, Jonas Detterfelt Linkoping University, Iman Avazpour Deakin University, Kristian Sandahl Linkoping University, Peter Gorder Univ. of Colorado Colorado Springs, Jeewani Ginige Western Sydney University, Alex Radermacher North Dakota State University, Hugo Caballero Universidad del Norte, Humberto Gomez Universidad del Norte, Mikael Roos Blekinge Institute of Technology | ||
16:30 15mIndustry talk | Success factors of customer and vendor collaboration for large scale deployment ICGSE | ||
16:45 15mTalk | Questions and answers ICGSE | ||
16:00 - 17:00 | |||
16:00 20mFull-paper | P2A: A Tool for Converting Pixels to Animated Mobile Application User Interfaces MobileSoft Pre-print | ||
16:20 20mFull-paper | GUIFetch: Supporting App Design and Development through GUI Search MobileSoft Farnaz Behrang Georgia Institute of Technology, Steven P. Reiss Brown University, USA, Alessandro Orso Georgia Tech | ||
16:40 10mResearch paper | Acceptance Testing of Mobile Applications – Automated Emotion Tracking for Large User Groups MobileSoft | ||
16:50 10mResearch paper | Vision: eHealth Learning and Intervention Platform – eHeLP MobileSoft Pre-print Media Attached | ||
16:00 - 16:30 | Future Research (Short Papers)TechDebt at R17+18 Chair(s): Carolyn Seaman University of Maryland Baltimore County | ||
16:00 15mTalk | Technical Debt-Related Information Asymmetry Between Finance and IT TechDebt Thomas Patrick Stablein University of South Florida | ||
16:15 15mTalk | A Position Study to Investigate Technical Debt Associated with Security Weaknesses TechDebt Clemente Izurieta Montana State University | ||
16:00 - 17:00 | The Future of SE in AfricaSEiA at R26 Chair(s): Engineer Bainomugisha Makerere University, Imed Hammouda Chalmers and University of Gothenburg | ||
16:00 60mTalk | Panel: The Future of SE in AfricaPanel SEiA | ||
16:30 - 17:15 | |||
17:00 - 17:30 | |||
17:00 30mTalk | Closing MobileSoft Christine Julien The University of Texas at Austin | ||
17:15 - 17:30 | Closing RemarksTechDebt at R17+18 Chair(s): Robert Nord Software Engineering Institute, Ipek Ozkaya Carnegie Mellon Software Engineering Institute | ||
17:30 - 18:30 | |||
18:00 - 22:00 | |||
18:00 4hDinner | SEAMS Banquet SEAMS | ||
18:30 - 21:30 | |||
18:30 3hSocial Event | Open Space Evening ICGSE | ||
Tue 29 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 29 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00 | |||
08:30 30m | Opening Day 2 SEAMS | ||
08:30 - 17:30 | |||
08:30 - 10:00 | |||
08:30 30mTalk | Opening and Introductions DS - Doctoral Symposium | ||
09:00 60mTalk | Keynote: Engineering your software engineering research careerKeynote DS - Doctoral Symposium Jan Vitek Northeastern University | ||
09:00 - 10:30 | |||
09:00 60mOther | Keynote Speaker: Lennart Krook, Zenuity: Agile Transformation and Challenges in Automotive Industry – The Way Forward from ZenuityKEYNOTE ICGSE | ||
10:00 30mPoster | Poster Session ICGSE | ||
09:00 - 10:30 | 2008 Most Influential Paper Award and Evolution and ChangesMSR Technical Papers at E4 room Chair(s): Cor-Paul Bezemer Queen's University, Kingston, Ontario | ||
09:00 59mTalk | What do large commits tell us? A taxonomical study of large commits MSR Technical Papers Pre-print | ||
09:59 17mFull-paper | SOTorrent: Reconstructing and Analyzing the Evolution Stack Overflow Posts MSR Technical Papers A: Sebastian Baltes University of Trier, A: Lorik Dumani , A: Christoph Treude The University of Adelaide, A: Stephan Diehl Computer Science, University Trier, Germany DOI Pre-print Media Attached | ||
10:16 7mShort-paper | A Design Structure Matrix Approach for Measuring Co-Change-Modularity of Software Products MSR Technical Papers Link to publication DOI Pre-print | ||
10:23 7mShort-paper | A Study on Inappropriately Partitioned Commits --- How Much and What Kinds of IP Commits in Java Projects? --- MSR Technical Papers Pre-print | ||
09:00 - 12:30 | |||
09:00 90mTalk | Strategies for Continuous Testing in iDevOps TB - Technical Briefings | ||
11:00 90mTalk | Metamorphic Testing 20 Years Later: A Hands-on Introduction TB - Technical Briefings | ||
09:00 - 12:30 | |||
09:00 90mTalk | Big Data Software Analytics with Apache Spark TB - Technical Briefings Georgios Gousios TU Delft | ||
11:00 90mTalk | Machine Learning for Software Engineering: Models, Methods, and Applications TB - Technical Briefings | ||
09:00 - 17:30 | |||
09:00 - 12:30 | |||
09:00 90mTalk | Detecting and Managing Code Smells: Research and Practice TB - Technical Briefings Tushar Sharma Athens University of Economics and Business Media Attached | ||
11:00 90mTalk | Multi-Platform Computing for Physical Devices with MakeCode and CODAL TB - Technical Briefings | ||
09:00 - 17:30 | |||
09:00 - 17:30 | |||
09:00 - 17:30 | |||
10:00 - 10:30 | |||
10:00 3mTalk | [Poster] An Approach to Engineer and Realize Emergent Configurations in the Internet of Things DS - Doctoral Symposium | ||
10:03 3mTalk | [Poster] Effort-Oriented Methods and Tools for Software Development and Maintenance for Mobile Apps DS - Doctoral Symposium Gemma Catolino University of Salerno | ||
10:07 3mTalk | [Poster] Understanding and Improving Cyber-Physical System Models and Development Tools DS - Doctoral Symposium Shafiul Azam Chowdhury University of Texas at Arlington | ||
10:11 3mTalk | [Poster] Effective Engineering of Multi-Robot Software Applications DS - Doctoral Symposium | ||
10:15 3mTalk | [Poster] Automated Migration Support for Software Product Line Co-Evolution DS - Doctoral Symposium | ||
10:22 3mTalk | [Poster] The Relationship between Personality and Value-Based Decision-Making DS - Doctoral Symposium | ||
10:26 3mTalk | [Poster] IoT-based Urban Security Models DS - Doctoral Symposium | ||
11:00 - 12:30 | |||
11:00 25m | Toward Evaluating the Impact of Self-adaptation on Security Control CertificationLong Paper SEAMS Allen Marshall University of Tulsa, Sharmin Jahan University of Tulsa, Rose Gamble University of Tulsa | ||
11:25 25m | Requirements and Specifications for Adaptive Security: Concepts and AnalysisSEAMS 2018 Best Paper AwardLong Paper SEAMS Thein Tun , Mu Yang The Open University, Arosha K Bandara Open University, Yijun Yu The Open University, Armstrong Nhlabatsi Qatar University, Niamul Khan Qatar University, Khaled Khan Qatar University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland) Pre-print | ||
11:50 25m | Defining, Enforcing and Checking Privacy Policies In Data-Intensive ApplicationsLong Paper SEAMS Michele Guerriero Politecnico di Milano, Damian Andrew Tamburri TU/e, Elisabetta Di Nitto Politecnico di Milano | ||
12:15 10m | INSpIRA: INtegrating Security Into Risk AssessmentDoctoral Project SEAMS Jürgen Dobaj Graz University of Technology | ||
11:00 - 12:30 | |||
11:00 6mShort-paper | 50K-C: A dataset of compilable, and compiled, Java projects MSR Data Showcase A: Pedro Martins University of California at Irvine, USA, A: Crista Lopes University of California Irvine, A: Rohan Achar | ||
11:06 6mShort-paper | JBench: A Dataset of Data Races for Concurrency Testing MSR Data Showcase A: Jian Gao School of Software, Tsinghua University, A: Xin Yang , A: Yu Jiang , A: Han Liu , A: Weiliang Ying , A: Xian Zhang | ||
11:12 6mShort-paper | Bugs.jar: A Large-scale, Diverse Dataset of Real-world Java Bugs MSR Data Showcase A: Ripon Saha , A: Yingjun Lyu University of Southern California, A: Wing Lam University of Illinois at Urbana-Champaign, A: Hiroaki Yoshida Fujitsu Laboratories of America, Inc., A: Mukul Prasad Fujitsu Laboratories of America | ||
11:18 6mShort-paper | A Gold Standard for Emotion Annotation in Stack Overflow MSR Data Showcase A: Nicole Novielli University of Bari, A: Fabio Calefato University of Bari, A: Filippo Lanubile University of Bari Pre-print | ||
11:24 6mShort-paper | Vulinoss: A Dataset of Security Vulnerabilities in Open-source Systems MSR Data Showcase A: Antonios Gkortzis Athens University of Economics and Business, A: Dimitris Mitropoulos , A: Diomidis Spinellis Athens University of Economics and Business Pre-print | ||
11:30 6mShort-paper | A Dataset of Duplicate Pull-requests in GitHub MSR Data Showcase A: Zhixing Li College of Computer, National University of Defense Technology, Changsha, China, A: Yue Yu National University of Defense Technology, A: Gang Yin National University of Defense Technology, A: Tao Wang National University of Defense Technology, A: Huaimin Wang Pre-print | ||
11:36 6mShort-paper | Structured Information on State and Evolution of Dockerfiles on GitHub MSR Data Showcase DOI Pre-print | ||
11:42 6mShort-paper | A Graph-based Dataset of Commit History of Real-World Android apps MSR Data Showcase A: Franz-Xaver Geiger , A: Ivano Malavolta Vrije Universiteit Amsterdam, A: Luca Pascarella Delft University of Technology, A: Fabio Palomba , A: Dario Di Nucci Vrije Universiteit Brussel, A: Alberto Bacchelli University of Zurich DOI Pre-print | ||
11:48 6mShort-paper | Public Git Archive: a Big Code dataset for all MSR Data Showcase DOI Pre-print | ||
11:54 6mShort-paper | Word Embeddings for the Software Engineering Domain MSR Data Showcase A: Vasiliki Efstathiou Athens University of Economics and Business, A: Christos Chatzilenas , A: Diomidis Spinellis Athens University of Economics and Business DOI Pre-print | ||
12:00 6mShort-paper | npm-miner: An Infrastructure for Measuring the Quality of the npm Registry MSR Data Showcase A: Kyriakos Chatzidimitriou Aristotle University of Thessaloniki, A: Michail Papamichail , A: Themistoklis Diamantopoulos Electrical and Computer Engineering Dept, Aristotle University of Thessaloniki, A: Michail Tsapanos , A: Andreas Symeonidis DOI Pre-print | ||
12:06 6mShort-paper | CROP: Linking Code Reviews to Source Code Changes MSR Data Showcase A: Matheus Paixao University College London, A: Jens Krinke University College London, A: DongGyun Han University College London, A: Mark Harman Facebook and University College London DOI Pre-print | ||
12:12 6mShort-paper | Developer Interaction Traces backed by IDE Screen Recordings from Think-aloud Sessions MSR Data Showcase A: Aiko Yamashita Oslo Metropolitan University, A: Fabio Petrillo Concordia University, A: Foutse Khomh Polytechnique Montréal, A: Yann-Gaël Guéhéneuc Concordia University and Polytechnique Montréal Pre-print | ||
12:18 6mShort-paper | A Multi-level Dataset of Linux Kernel Patchwork MSR Data Showcase DOI Pre-print | ||
12:24 6mShort-paper | Documented Unix Facilities Over 48 Years MSR Data Showcase Link to publication DOI Media Attached | ||
11:00 - 12:30 | |||
11:00 22mTalk | [Full paper] Assisted Discovery of Software Vulnerabilities DS - Doctoral Symposium | ||
11:22 22mTalk | [Full paper] Automatic Verification of Time Behavior of Programs DS - Doctoral Symposium | ||
11:45 22mTalk | [Full paper] Learning to Accelerate Compiler Testing DS - Doctoral Symposium Junjie Chen Peking University | ||
12:07 22mDoctoral symposium paper | [Full paper] Characteristics of Defective Infrastructure as Code Scripts in DevOps DS - Doctoral Symposium Akond Rahman North Carolina State University Pre-print Media Attached | ||
12:30 - 14:00 | |||
14:00 - 15:30 | Fishbowl: “The future of global software engineering – trends, patterns and industries – A new normal?”ICGSE at E2 room Chair(s): Sarah Beecham Lero - The Irish Software Research Centre and University of Limerick | ||
14:00 - 15:30 | Search and TraceabilityMSR Technical Papers at E3 room Chair(s): Sonia Haiduc Florida State University | ||
14:00 17mFull-paper | Analyzing Requirements and Traceability Information to Improve Bug Localization MSR Technical Papers A: Michael Rath Technische Universität Ilmenau, A: David Lo Singapore Management University, A: Patrick Mäder Technische Universität Ilmenau DOI Pre-print | ||
14:17 17mFull-paper | Towards Extracting Web API Specifications from Documentation MSR Technical Papers A: Jinqiu Yang , A: Erik Wittern IBM Research, A: Annie T.T. Ying EquitySim, A: Julian Dolby IBM Thomas J. Watson Research Center, A: Lin Tan University of Waterloo | ||
14:34 17mFull-paper | Evaluating How Developers Use General-Purpose Web-Search for Code Retrieval MSR Technical Papers A: Md Masudur Rahman University of Virginia, USA, A: Jed Barson University of Virginia, A: Sydney Paul , A: Joshua Kayani , A: Federico Andrés Lois , A: Sebastián Fernandez Quezada , A: Chris Parnin NCSU, A: Kathryn Stolee North Carolina State University, A: Baishakhi Ray Columbia University, New York Pre-print | ||
14:51 17mFull-paper | Learning to Mine Aligned Code and Natural Language Pairs from Stack Overflow MSR Technical Papers A: Pengcheng Yin , A: Bowen Deng Carnegie Mellon University, A: Edgar Chen Carnegie Mellon University, A: Bogdan Vasilescu Carnegie Mellon University, A: Graham Neubig Carnegie Mellon University | ||
15:08 7mShort-paper | A Search System for Mathematical Expressions on Software Binaries MSR Technical Papers A: Ridhi Jain , A: Sai Prathik Saba Bama , A: Venkatesh Vinayakarao IIITD, A: Rahul Purandare IIIT-Delhi DOI Pre-print | ||
15:15 15mOther | Discussion phase MSR Technical Papers | ||
14:00 - 15:30 | |||
14:00 90mTalk | HAL’s Legacy after 50 years of 2001 Space OdysseyKeynote 2001: A Space Odyssey Symposium - 50 years celebration | ||
14:00 - 17:30 | |||
14:00 90mTalk | Demystifying Cyber-Physical Malware TB - Technical Briefings Suresh Kothari Iowa State University, USA | ||
16:00 90mTalk | State of the Systems Security TB - Technical Briefings Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
14:00 - 17:30 | |||
14:00 90mTalk | Automatic Software Summarization - The State of the Art TB - Technical Briefings | ||
16:00 90mTalk | Natural Language Requirements Processing: from Research to Practice TB - Technical Briefings | ||
14:00 - 17:30 | |||
14:00 90mTalk | Analyzing Software Engineering Experiments: Everything You Always Wanted to Know but Were Afraid to Ask TB - Technical Briefings Sira Vegas Universidad Politecnica de Madrid File Attached | ||
16:00 90mTalk | How to Analyze Git Repositories with Command Line Tools: We're not in Kansas anymore TB - Technical Briefings DOI Pre-print | ||
14:00 - 14:45 | |||
14:00 15mTalk | [Full paper] Fostering Software Developers' Productivity at Work Through Self-Monitoring and Goal-Setting DS - Doctoral Symposium André N. Meyer University of Zurich | ||
14:15 15mTalk | [Full paper] Interactive Model Mining from Embedded Legacy Software DS - Doctoral Symposium | ||
14:30 15mTalk | [Full paper] Towards Personalized Software Defect Predictors DS - Doctoral Symposium Beyza Eken Istanbul Technical University | ||
14:45 - 15:30 | |||
14:45 22mTalk | [Full paper] Crowdsourced Software Development and Maintenance DS - Doctoral Symposium Bin Lin Università della Svizzera italiana (USI) | ||
15:07 22mTalk | [Full paper] A Neuro-Cognitive Perspective of Program Comprehension DS - Doctoral Symposium Norman Peitek Leibniz Institute for Neurobiology | ||
15:45 - 17:15 | |||
15:45 20mResearch paper | On Developers' Personality in Large-scale Distributed Projects: The Case of the Apache Ecosystem ICGSE Fabio Calefato University of Bari, Giuseppe Iaffaldano University of Bari, Filippo Lanubile University of Bari, Bogdan Vasilescu Carnegie Mellon University DOI Pre-print | ||
16:05 20mResearch paper | Virtual by Design: How a Work Environment can Support Agile Distributed Software Development ICGSE Pernille Lous IT University of Copenhagen, Paolo Tell IT University of Copenhagen, Christian Bo Michelsen IT University of Copenhagen, Yvonne Dittrich IT University of Copenhagen, Denmark, Marco Kuhrmann Clausthal University of Technology, Allan Ebdrup Debitoor | ||
16:25 20mResearch paper | Team Resilience in Distributed Student Projects ICGSE Igor Cavrak University of Zagreb, Faculty of Electrical Engineering and Computing, Ivana Bosnić University of Zagreb | ||
16:45 20mResearch paper | Scaling Agile across the Global Organization: An Early Stage Industrial SAFe Self-Assessment ICGSE Mohammad Abdur Razzak Lero - The Irish Software Research Centre and University of Limerick, Ita Richardson Lero - The Irish Software Research Centre and University of Limerick, John Noll University of East London, and Lero - The Irish Software Research Centre, Clodagh Nic Canna Ocuco Ltd, Sarah Beecham Lero - The Irish Software Research Centre and University of Limerick | ||
17:05 10mTalk | Questions and answers ICGSE | ||
16:00 - 17:10 | |||
16:00 25m | Learning Non-Deterministic Impact Models for AdaptationLong Paper SEAMS Francisco Duarte Universidade de Lisboa, Richard Gil Universidade de Lisboa, Paolo Romano University of Lisbon, Portugal, Antónia Lopes University of Lisbon, Luis Rodrigues INESC-ID, IST, ULisboa | ||
16:25 25m | A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive SystemsLong Paper SEAMS Arthur Rodrigues University of Brası́lia, Ricardo Caldas University of Brası́lia, Genaina Rodrigues University of Brasilia, Thomas Vogel Humboldt-Universität zu Berlin, Patrizio Pelliccione University of Gothenburg & Chalmers University of Technology Pre-print | ||
16:50 15m | Adaptive Runtime Response Time Control in PLC-based Real-Time Systems using Reinforcement LearningShort Paper SEAMS Mahshid Helali Moghadam RISE SICS AB/Mälardalen University, Mehrdad Saadatmand RISE SICS, Markus Borg RISE SICS AB, Markus Bohlin RISE SICS, Björn Lisper Malardalen University | ||
16:00 - 17:30 | |||
16:00 90mTalk | Will computers be able to do what HAL did? Panel 2001: A Space Odyssey Symposium - 50 years celebration Olle Häggström , Dorna Behdadi , Thore Husfeldt Lund University, Sweden and IT University of Copenhagen, Denmark, Prem Devanbu University of California, David G. Stork | ||
16:00 - 17:30 | |||
16:00 60mTalk | Panel: Best and Worst of Doctoral StudiesPanel DS - Doctoral Symposium Jocelyn Simmonds University of Chile, Gregor Engels Paderborn University, Massimiliano Di Penta University of Sannio, Andrian Marcus University of Texas at Dallas | ||
17:00 30mTalk | Closing DS - Doctoral Symposium | ||
17:10 - 17:30 | |||
17:10 10m | Closing SEAMS 2018 SEAMS | ||
17:20 10m | Outlook on SEAMS 2019 SEAMS | ||
17:30 - 18:00 | |||
17:30 30mDay closing | Closing MSR Technical Papers | ||
18:00 - 22:00 | |||
18:30 - 21:15 | |||
18:30 2h45mOther | 2001: A Space Odyssey 2001: A Space Odyssey Symposium - 50 years celebration | ||
18:30 - 21:30 | |||
18:30 3hDinner | ICGSE Conference Dinner Cruise ICGSE | ||
Wed 30 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:30 | |||
08:30 30mTalk | Opening Session Plenary Sessions G: Ivica Crnkovic Chalmers University of Technology & University of Gothenburg, P: Marsha Chechik University of Toronto, P: Mark Harman Facebook and University College London Media Attached | ||
09:00 90mTalk | Communication systems and networks, key enablers for digitizing industry and society – opportunities and challengesKeynote Plenary Sessions | ||
11:00 - 11:30 | Forum Session I: Opening and Industry TalkIF - Industry Forum at Congress Hall Chair(s): Pekka Abrahamsson University of Jyväskylä, Judith Bishop Stellenbosch University, Jaana Nyfjord RISE | ||
11:00 15mTalk | Opening IF - Industry Forum Judith Bishop Stellenbosch University, Pekka Abrahamsson University of Jyväskylä, Jaana Nyfjord RISE | ||
11:15 15mTalk | The software industry is not industrialised IF - Industry Forum | ||
11:00 - 12:30 | |||
11:00 30mTalk | Perceval: Software Project Data at Your Will DEMO - Demonstrations Santiago Dueñas , Valerio Cosentino Bitergia, Gregorio Robles Universidad Rey Juan Carlos, Jesus M. Gonzalez-Barahona Universidad Rey Juan Carlos Pre-print Media Attached File Attached | ||
11:30 30mTalk | StackInTheFlow: Behavior-Driven Recommendation System for Stack Overflow Posts DEMO - Demonstrations | ||
12:00 30mTalk | SATD Detector: A Text-Mining-Based Self-Admitted Technical Debt Detection Tool DEMO - Demonstrations Zhongxin Liu Zhejiang University, Qiao Huang , Xin Xia Monash University, Emad Shihab Concordia University, David Lo Singapore Management University, Shanping Li Pre-print Media Attached | ||
11:00 - 12:30 | Test automation and failure diagnosisDEMO - Demonstrations at E1/B room Chair(s): Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI) | ||
11:00 30mTalk | Aletheia: A Failure Diagnosis Toolchain DEMO - Demonstrations Mojdeh Golagha , Abu Mohammed Raisuddin Technical University of Munich, Lennart Mittag , Alexander Pretschner , Dominik Hellhake | ||
11:30 30mDemonstration | When the testing gets tough, the tough get ElasTest DEMO - Demonstrations Antonia Bertolino CNR-ISTI, Antonello Calabrò CNR-ISTI, Guglielmo De Angelis CNR-IASI, CNR-ISTI, Micael Gallego , Boni García , Francisco Gortázar Universidad Rey Juan Carlos DOI Pre-print Media Attached | ||
12:00 30mTalk | SUSHI: A Test Generator for Programs with Complex Structured Inputs DEMO - Demonstrations Pietro Braione University of Milano-Bicocca, Giovanni Denaro University of Milano-Bicocca, Italy, Andrea Mattavelli Imperial College London, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca Pre-print | ||
11:00 - 12:30 | Security, Safety, and QualityNIER - New Ideas and Emerging Results at E3 room Chair(s): Michael Whalen University of Minnesota | ||
11:00 15mTalk | Generative Secure Design, Defined NIER - New Ideas and Emerging Results | ||
11:15 15mTalk | Towards Secure Dynamic Product Lines in the Cloud NIER - New Ideas and Emerging Results Sebastian Krieter Magdeburg University, Jacob Krüger Harz University of Applied Sciences, Germany, Nico Weichbrodt , Vasily Sartakov , Rüdiger Kapitza Technical University of Braunschweig, Thomas Leich Harz University of Applied Sciences, Germany | ||
11:30 15mTalk | Towards Forensic-Ready Software Systems NIER - New Ideas and Emerging Results Liliana Pasquale University College Dublin & Lero, Ireland, Dalal Alrajeh Imperial College London, Claudia Peersman , Thein Tun , Bashar Nuseibeh The Open University (UK) & Lero (Ireland), Awais Rashid University of Bristol, UK | ||
11:45 15mTalk | Measure Confidence of Assurance Cases in Safety-Critical Domains NIER - New Ideas and Emerging Results | ||
12:00 15mTalk | A Critical Review of "A Practical Guide to Select Quality Indicators for Assessing Pareto-Based Search Algorithms in Search-Based Software Engineering": Essay on Quality Indicator Selection for SBSE NIER - New Ideas and Emerging Results | ||
12:15 15mTalk | Enabling Real-Time Feedback in Software Engineering NIER - New Ideas and Emerging Results Enrique Larios Vargas Software Improvement Group, Joseph Hejderup Delft University of Technology, Netherlands, Maria Kechagia Delft University of Technology, Magiel Bruntink , Georgios Gousios TU Delft DOI Pre-print | ||
11:00 - 12:30 | Software Evolution and Maintenance ITechnical Papers / Journal first papers at G1 room Chair(s): Chanchal K. Roy University of Saskatchewan | ||
11:00 20mTalk | Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments Technical Papers | ||
11:20 20mTalk | Automated Localization for Unreproducible Builds Technical Papers | ||
11:40 20mTalk | Enlightened Debugging Technical Papers Xiangyu Li Georgia Institute of Technology, Shaowei Zhu Georgia Institute of Technology, Marcelo d'Amorim Federal University of Pernambuco, Alessandro Orso Georgia Tech Pre-print File Attached | ||
12:00 20mResearch paper | Experiences and Challenges in Building a Data Intensive System for Data Migration Journal first papers Link to publication DOI | ||
12:20 10mTalk | Q&A in groups Technical Papers | ||
11:00 - 12:30 | Software Repair IJournal first papers / Technical Papers at H1 room Chair(s): Lars Grunske Humboldt-Universität zu Berlin | ||
11:00 20mTalk | Context-Aware Patch Generation for Better Automated Program Repair Technical Papers Ming Wen The Hong Kong University of Science and Technology, Junjie Chen Peking University, Rongxin Wu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Dan Hao Peking University, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology Pre-print | ||
11:20 20mTalk | Towards Practical Program Repair with On-Demand Candidate Generation Technical Papers Jinru Hua , Mengshi Zhang University of Texas at Austin, USA, Kaiyuan Wang , Sarfraz Khurshid University of Texas at Austin File Attached | ||
11:40 20mTalk | A Correlation Study between Automated Program Repair and Test-Suite Metrics Journal first papers Jooyong Yi Innopolis University, Shin Hwei Tan , Sergey Mechtaev National University of Singapore, Marcel Böhme Monash University, Abhik Roychoudhury National University of Singapore Pre-print | ||
12:00 20mTalk | Do Automated Program Repair Techniques Repair Hard and Important Bugs? Journal first papers Manish Motwani University of Massachusetts, Amherst, Sandhya Sankaranarayanan , René Just University of Massachusetts, USA, Yuriy Brun University of Massachusetts, Amherst Link to publication DOI Pre-print | ||
12:20 10mTalk | Q&A in groups Technical Papers | ||
11:00 - 12:30 | Human and Social Aspects of Computing ITechnical Papers / Journal first papers at J1 room Chair(s): Ita Richardson Lero - The Irish Software Research Centre and University of Limerick | ||
11:00 20mTalk | Sentiment Analysis for Software Engineering: How Far Can We Go? Technical Papers Bin Lin , Fiorella Zampetti University of Sannio, Gabriele Bavota Università della Svizzera italiana (USI), Massimiliano Di Penta University of Sannio, Michele Lanza Università della Svizzera italiana (USI), Rocco Oliveto University of Molise | ||
11:20 20mTalk | Identifying Features in Forks Technical Papers Shurui Zhou , Ştefan Stănciulescu , Olaf Leßenich , Yingfei Xiong Peking University, Andrzej Wąsowski IT University of Copenhagen, Denmark, Christian Kästner Carnegie Mellon University Pre-print File Attached | ||
11:40 20mTalk | Roles and Impacts of Hands-on Software Architects in Five Industrial Case Studies Technical Papers Inayat Rehman , Mehdi Mirakhorli Rochester Institute of Technology, Mei Nagappan University of Waterloo, Azad Aralbay , Matthew Thornton | ||
12:00 20mTalk | Sentiment Polarity Detection for Software Development Journal first papers Fabio Calefato University of Bari, Filippo Lanubile University of Bari, Federico Maiorano , Nicole Novielli University of Bari DOI Pre-print | ||
12:20 10mTalk | Q&A in groups Technical Papers | ||
11:00 - 12:30 | |||
11:00 90mTalk | [Keynote] Software Heritage: why and how we collect, preserve and share all the software source codeKeynote SEIS - Software Engineering in Society Roberto Di Cosmo Inria, France / University of Paris Diderot, France | ||
11:30 - 12:30 | Forum Session II: KeynoteIF - Industry Forum at Congress Hall Chair(s): Pekka Abrahamsson University of Jyväskylä | ||
11:30 60mTalk | Why Digitalization Will Kill Your (Software) Company TooKeynote IF - Industry Forum Jan Bosch Chalmers University of Technology | ||
12:30 - 14:00 | Social I: Forum Sit Down Working Lunch - Academics meet IndustrialistsIF - Industry Forum at Restaurant Seasons | ||
12:30 90mLunch | Forum Sit Down Working Lunch - Academics meet Industrialists IF - Industry Forum | ||
14:00 - 14:30 | Forum Session III: Speed Dating ActivityIF - Industry Forum at Congress Hall Chair(s): Judith Bishop Stellenbosch University | ||
14:00 30mMeeting | Speed Dating Activity - lightning chats with other attendees IF - Industry Forum | ||
14:00 - 15:30 | |||
14:00 30mDemonstration | MuAlloy: A Mutation Testing Framework for Alloy DEMO - Demonstrations Link to publication File Attached | ||
14:30 30mTalk | An Extensible, Regular-Expression-Based Tool for Multi-Language Mutant Generation DEMO - Demonstrations Alex Groce Northern Arizona University, Josie Holmes Pennsylvania State University, USA, Darko Marinov University of Illinois at Urbana-Champaign, August Shi University of Illinois at Urbana-Champaign, Lingming Zhang Pre-print Media Attached | ||
15:00 30mTalk | MDroid+: A Mutation Testing Framework for Android DEMO - Demonstrations Kevin Moran College of William & Mary, Michele Tufano College of William and Mary, Carlos Bernal-Cárdenas , Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia , Gabriele Bavota Università della Svizzera italiana (USI), Christopher Vendome , Massimiliano Di Penta University of Sannio, Denys Poshyvanyk William and Mary Pre-print Media Attached | ||
14:00 - 15:30 | Take-home lessons ISEET - Software Engineering Education and Training at E2 room Chair(s): Sira Vegas Universidad Politecnica de Madrid | ||
14:00 20mTalk | Software Engineering Lab – an Essential Component of a Software Engineering Curriculum SEET - Software Engineering Education and Training | ||
14:20 20mTalk | Dimensions of Experientialism for Software Engineering Education SEET - Software Engineering Education and Training Pre-print | ||
14:40 20mTalk | Open-Source Sofware in Class: Students’ Common Mistakes SEET - Software Engineering Education and Training Zhewei Hu North Carolina State University, Yang Song University of North Carolina Wilmington, Edward Gehringer North Carolina State University | ||
15:00 20mFull-paper | How Does Participating in a Capstone Project with IndustrialCustomers Affect Student Attitudes? SEET - Software Engineering Education and Training Maria Paasivaara IT University of Copenhagen & Aalto University, Finland, Dragos Voda , Ville Heikkilä , Jari Vanhanen , Casper Lassenius Pre-print | ||
15:20 10mTalk | Q&A in groups SEET - Software Engineering Education and Training | ||
14:00 - 15:30 | |||
14:00 20mTalk | Hybrid Regression Test Selection Technical Papers Lingming Zhang University of Texas at Dallas | ||
14:20 20mTalk | Fine-Grained Test Minimization Technical Papers Pre-print | ||
14:40 20mTalk | FAST Approaches to Scalable Similarity-based Test Case Prioritization Technical Papers Breno Miranda Federal University of Pernambuco, Emilio Cruciani Gran Sasso Science Institute, L'Aquila, Italy, Roberto Verdecchia Gran Sasso Science Institute, Vrije Universiteit Amsterdam, Antonia Bertolino CNR-ISTI DOI Pre-print File Attached | ||
15:00 20mTalk | Towards Refactoring-Aware Regression Test Selection Technical Papers Kaiyuan Wang , Chenguang Zhu University of Texas, Austin, Ahmet Celik University of Texas at Austin, USA, Jongwook Kim , Don Batory University of Texas, Austin, Milos Gligoric University of Texas at Austin File Attached | ||
15:20 10mTalk | Q&A in groups Technical Papers | ||
14:00 - 15:30 | Software Repair IITechnical Papers / Journal first papers at H1 room Chair(s): Alessandro Orso Georgia Tech | ||
14:00 20mTalk | Semantic Program Repair Using a Reference Implementation Technical Papers Sergey Mechtaev National University of Singapore, Manh-Dung Nguyen , Yannic Noller Humboldt-Universität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin, Abhik Roychoudhury National University of Singapore File Attached | ||
14:20 20mTalk | Automated Repair of Mobile Friendly Problems in Web Pages Technical Papers Sonal Mahajan University of Southern California, USA, Negarsadat Abolhassani , Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California | ||
14:40 20mTalk | Static Automated Program Repair for Heap Properties Technical Papers Pre-print File Attached | ||
15:00 20mTalk | Overfitting in Semantics-based Automated Program Repair Journal first papers Xuan-Bach D. Le Singapore Management University, Singapore, Ferdian Thung , David Lo Singapore Management University, Claire Le Goues Carnegie Mellon University Pre-print | ||
15:20 10mTalk | Q&A in groups Technical Papers | ||
14:00 - 15:30 | Open-Source SystemsTechnical Papers / Journal first papers at J1 room Chair(s): Andrzej Wąsowski IT University of Copenhagen, Denmark | ||
14:00 20mTalk | Inheritance Usage Patterns in Open-Source Systems Technical Papers Pre-print File Attached | ||
14:20 20mTalk | Almost There: A Study on Quasi-Contributors in Open-Source Software Projects Technical Papers Igor Steinmacher Federal University of Technology - Paraná / Northern Arizona University, Gustavo Pinto UFPA, Igor Wiese Federal University of Technology - Paraná (UTFPR), Marco Gerosa Northern Arizona University Pre-print | ||
14:40 20mTalk | Analyzing a Decade of Linux System Calls Journal first papers Mojtaba Bagherzadeh Queen's University, Nafiseh Kahani , Cor-Paul Bezemer Queen's University, Kingston, Ontario, Ahmed E. Hassan Queen's University, Juergen Dingel Queen's University, Kingston, Ontario, James R. Cordy Link to publication Pre-print | ||
15:00 20mTalk | To Distribute or Not to Distribute? Why Licensing Bugs Matter Technical Papers Christopher Vendome , Daniel M. German , Massimiliano Di Penta University of Sannio, Gabriele Bavota Università della Svizzera italiana (USI), Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia , Denys Poshyvanyk William and Mary | ||
15:20 10mTalk | Q&A in groups Technical Papers | ||
14:00 - 15:30 | Software by and for peopleSEIS - Software Engineering in Society at R2 Chair(s): Hausi Müller University of Victoria, Computer Science, Faculty of Engineering, Canada | ||
14:00 20mTalk | [Full paper] The Role of Foundations in Open Source Projects SEIS - Software Engineering in Society File Attached | ||
14:20 20mTalk | [Full paper] User Feedback in the App Store: a Cross-Cultural Study SEIS - Software Engineering in Society | ||
14:40 20mTalk | [Full paper] Assistive Computing: A Human-Centered Approach To Developing Computing Support for Cognition SEIS - Software Engineering in Society Charles Consel University of Bordeaux | ||
15:00 20mTalk | [Short paper] Agile development for vulnerable populations: lessons learned and recommendations SEIS - Software Engineering in Society Marcos Baez University of Trento, Fabio Casati University of Trento and Tomsk Polytechnic University Pre-print | ||
15:20 10mTalk | Q&A in groups SEIS - Software Engineering in Society | ||
14:30 - 15:30 | |||
14:30 60mTalk | Robotics, Software and Artificial Intelligence: State of the art and future challengesKeynote IF - Industry Forum Danica Kragic KTH Royal Institute of Technology | ||
16:00 - 17:00 | Forum Session V: PanelIF - Industry Forum at Congress Hall Chair(s): Pekka Abrahamsson University of Jyväskylä | ||
16:00 60mTalk | Software Engineering in 2030Panel IF - Industry Forum P: Lionel Briand SnT Centre/University of Luxembourg, P: Markus Borg RISE SICS AB, P: Mark Harman Facebook and University College London, P: Liliana Pasquale University College Dublin & Lero, Ireland, P: Caitlin Sadowski Google, P: Thomas Zimmermann Microsoft Research | ||
16:00 - 17:30 | Testing vulnerabilitiesDEMO - Demonstrations at E1/A room Chair(s): Lingxiao Jiang Singapore Management University | ||
16:00 30mTalk | SAFL: Increasing and Accelerating Testing Coverage with Symbolic Execution and Guided Fuzzing DEMO - Demonstrations Mingzhe Wang , Jie Liang , Yuanliang Chen , Yu Jiang , Xun Jiao , Han Liu , Xibin Zhao , Jiaguang Sun Link to publication | ||
16:30 30mTalk | ReGuard: Finding Reentrancy Bugs in Smart Contracts DEMO - Demonstrations | ||
17:00 30mTalk | Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis DEMO - Demonstrations | ||
16:00 - 17:30 | |||
16:00 30mDemonstration | GuideGen - A Tool for Keeping Requirements and Acceptance Tests Aligned DEMO - Demonstrations Link to publication | ||
16:30 30mTalk | EVA: A Tool for Visualizing Software Architectural Evolution DEMO - Demonstrations Daye Nam University of Southern California, USA, Youn Kyu Lee , Nenad Medvidović University of Southern California Pre-print Media Attached | ||
17:00 30mTalk | CSLICERCLOUD: A Web-Based Semantic History Slicing Framework DEMO - Demonstrations Yi Li Nanyang Technological University, Chenguang Zhu University of Texas, Austin, Julia Rubin University of British Columbia, Marsha Chechik University of Toronto Pre-print Media Attached | ||
16:00 - 17:30 | Mining, Verifying, and LearningNIER - New Ideas and Emerging Results at E3 room Chair(s): Mukul Prasad Fujitsu Laboratories of America | ||
16:00 15mTalk | Mining Container Image Repositories---MSR for Software Configurations and Beyond NIER - New Ideas and Emerging Results Tianyin Xu University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign Pre-print | ||
16:15 15mTalk | Explainable Software Analytics NIER - New Ideas and Emerging Results Pre-print | ||
16:30 15mTalk | Generalizing Specific-Instance Interpolation Proofs with SyGuS NIER - New Ideas and Emerging Results | ||
16:45 15mTalk | Efficient Parametric Model Checking Using Domain-Specific Modelling Patterns NIER - New Ideas and Emerging Results | ||
17:00 15mTalk | Deep Learning UI Design Patterns of Mobile Apps NIER - New Ideas and Emerging Results | ||
17:15 15mShort-paper | Code Review Comments: Language matters NIER - New Ideas and Emerging Results Vasiliki Efstathiou Athens University of Economics and Business, Diomidis Spinellis Athens University of Economics and Business DOI Pre-print | ||
16:00 - 17:30 | |||
16:00 90mTalk | [Keynote] Industrial-grade DevOps - Balancing Agility and Speed with Extreme QualityKeynote SEIP - Software Engineering in Practice Frank Buschmann Siemens AG | ||
16:00 - 17:30 | |||
16:00 20mTalk | Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles Technical Papers Leonardo Mariani University of Milano Bicocca, Mauro Pezzè University of Milano-Bicocca, Italy, Daniele Zuddas Pre-print | ||
16:20 20mTalk | Towards Optimal Concolic Testing Technical Papers Xinyu Wang Zhejiang University, Jun Sun Singapore University of Technology and Design, Zhenbang Chen College of Computer, National University of Defense Technology, Peixin Zhang , Jingyi Wang Singapore University of Technology and Design, Yun Lin Pre-print | ||
16:40 20mTalk | DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars Technical Papers | ||
17:00 20mTalk | Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts Technical Papers | ||
17:20 10mTalk | Q&A in groups Technical Papers | ||
16:00 - 17:30 | |||
16:00 20mTalk | Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities Technical Papers Hua Yan University of New South Wales, Yulei Sui University of Technology Sydney, Australia, Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia, Jingling Xue UNSW Sydney | ||
16:20 20mTalk | Program Splicing Technical Papers | ||
16:40 20mTalk | Chopped Symbolic Execution Technical Papers David Trabish Tel Aviv University, Andrea Mattavelli Imperial College London, Noam Rinetzky Tel Aviv University, Cristian Cadar Imperial College London Link to publication File Attached | ||
17:00 20mTalk | Perses: Syntax-Guided Program Reduction Technical Papers Chengnian Sun University of California, Davis, Yuanbo Li , Qirun Zhang University of California, Davis, Tianxiao Gu , Zhendong Su University of California, Davis | ||
17:20 10mTalk | Q&A in groups Technical Papers | ||
17:00 - 17:30 | Forum Session VI: Academia and Industry IF - Industry Forum at Congress Hall Chair(s): Judith Bishop Stellenbosch University | ||
17:00 15mTalk | Mechanisms through which academics and industrialists can work together productively IF - Industry Forum Mark Harman Facebook and University College London | ||
17:15 15mTalk | Supporter talk: Mälardalen University, Sweden - Industrial PhD School (IT-EASY) - Efficient industry-academia cooperation IF - Industry Forum | ||
17:30 - 18:30 | |||
17:30 30mTalk | Closing IF - Industry Forum Judith Bishop Stellenbosch University, Pekka Abrahamsson University of Jyväskylä, Jaana Nyfjord RISE | ||
18:00 30mBreak | After Work: Forum Aperitivo with drinks and posters IF - Industry Forum | ||
Thu 31 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:30 | |||
08:30 15mTalk | Opening Session 50 years of Software engineering Plenary Sessions | ||
08:45 55mTalk | Learning the Hard Way: A History of Software Engineering 1948-1980Keynote Plenary Sessions | ||
09:40 50mTalk | The Language as a Software EngineerKeynote Plenary Sessions | ||
09:00 - 18:00 | Poster ExhibitionSRC - ACM Student Research Competition at H - Exibition Hall Chair(s): Olga Baysal Carleton University, Jun Sun Singapore University of Technology and Design | ||
09:00 9hTalk | VarXplorer: Reasoning About Feature Interactions SRC - ACM Student Research Competition Larissa Soares Universidade Federal da Bahia | ||
09:00 9hTalk | Toward an Empirical Theory of Feedback-Driven Development SRC - ACM Student Research Competition Moritz Beller Delft University of Technology | ||
09:00 9hTalk | Automatically Finding Bugs in Commercial Cyber-Physical System Development Tool Chains SRC - ACM Student Research Competition Shafiul Azam Chowdhury University of Texas at Arlington | ||
09:00 9hTalk | Interactive and Automated Debugging for Big Data Analytics SRC - ACM Student Research Competition Muhammad Ali Gulzar University of California, Los Angeles | ||
09:00 9hShort-paper | Deadlock Detector and Solver (DDS) SRC - ACM Student Research Competition Eman Aldakheel University of Illinois at Chicago & Princess Nourah bint Abdulrahman University DOI | ||
09:00 9hTalk | AutoModel: A Domain-specific Language for Automatic Modeling of Real-time Embedded Systems SRC - ACM Student Research Competition | ||
09:00 9hTalk | When to Extract Features: Towards a Recommender System SRC - ACM Student Research Competition Jacob Krüger Harz University of Applied Sciences, Germany | ||
09:00 9hTalk | Compiler-Assisted Test Acceleration Using GPUs SRC - ACM Student Research Competition Vanya Yaneva University of Edinburgh, UK | ||
09:00 9hTalk | Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem SRC - ACM Student Research Competition Asher Trockman University of Evansville | ||
09:00 9hTalk | Combining Symbolic Execution and Model Checking to Verify MPI Programs SRC - ACM Student Research Competition | ||
09:00 - 18:00 | Thursday Poster Exibition (with authors present during 13:15-13:55 and 15:40-15:55)Posters at H - Exibition Hall Chair(s): Yuriy Brun University of Massachusetts, Amherst, Raffaela Mirandola Politecnico di Milano | ||
09:00 9hTalk | Poster T1: An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property Posters Haitao Zhang Lanzhou University, Guoqiang Li Shanghai Jiao Tong University, Xiaohong Li TianJin University, Zhuo Cheng Jiangxi Normal University, Jinyun Xue Jiangxi Normal University, Shaoying Liu Hosei University | ||
09:00 9hTalk | Poster T2: Conway: Law or Not? Posters Wolfgang Mauerer OTH Regensburg / Siemens AG, Mitchell Joblin Siemens AG, Damian Andrew Tamburri TU/e, Carlos Paradis University of Hawaii, Sven Apel Saarland University, Germany, Rick Kazman | ||
09:00 9hTalk | Poster T3: Adoption of the Visual Brainstorming Technique in the Open Source Software Development Process Posters Lucrecia Llerena Universidad Autónoma de Madrid, Nancy Rodriguez Universidad Autónoma de Madrid, Pablo Gómez-Abajo Universidad Autónoma de Madrid, John W. Castro Universidad de Atacama, Silvia Teresita Acuña Castillo Universidad Autonoma de Madrid | ||
09:00 9hTalk | Poster T4: A General Framework to Detect Behavioral Design Patterns Posters Cong Liu Eindhoven University of Technology, Boudewijn Van Dongen Eindhoven University of Technology, Nour Assy Eindhoven University of Technology, Wil van der Aalst RWTH Aachen University, Germany | ||
09:00 9hTalk | Poster T5: Subsuming Mutation Operators Posters Huan Lin State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Yawen Wang State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Yunzhan Gong State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications | ||
09:00 9hTalk | Poster T6: Detecting Missing Checks for Identifying Insufficient Attack Protections Posters Lingyun Situ Nanjing University, Liang Zou Nanyang Technological University, Linzhang Wang , Yang Liu Nanyang Technological University, Singapore, Bing Mao Nanjing University, Xuandong Li Nanjing University | ||
09:00 9hTalk | Poster T7: How Do Community Smells Influence Code Smells? Posters Fabio Palomba , Damian Andrew Tamburri TU/e, Alexander Serebrenik Eindhoven University of Technology, Andy Zaidman TU Delft, Francesca Arcelli Fontana University of Milano-Bicocca, Rocco Oliveto University of Molise Pre-print | ||
09:00 9hTalk | Poster T8: Communication in Open-Source Projects--End of the E-mail Era? Posters Verena Käfer University of Stuttgart, Daniel Graziotin University of Stuttgart, Ivan Bogicevic University of Stuttgart, Stefan Wagner Universität Stuttgart, Jasmin Ramadani University of Stuttgart | ||
09:00 9hTalk | Poster T9: Predicting components for issue reports using deep learning with information retrieval Posters Morakot Choetkiertikul University of Wollongong, Hoa Khanh Dam University of Wollongong, Truyen Tran , Trang Pham Deakin University, Aditya Ghose | ||
09:00 9hTalk | Poster T10: OreoCF: Towards Accurate and Scalable Detection of Semantic Clones Posters Vaibhav Saini University of California at Irvine, USA, Farima Farmahinifarahani University of California, Irvine, Crista Lopes University of California Irvine, Pedro Martins University of California at Irvine, USA | ||
09:00 9hTalk | Poster T11: Understanding Differences among Executions with Variational Traces Posters Jens Meinicke Magdeburg University, Chu-Pan Wong Carnegie Mellon University, Christian Kästner Carnegie Mellon University, Gunter Saake University of Magdeburg, Germany | ||
09:00 9hTalk | Poster T12: An Experimental Analysis of Fault Detection Capabilities of Covering Array Constructors Posters Rubing Huang Jiangsu University, Yunan Zhou Jiangsu University, Tsong Yueh Chen Swinburne University of Technology, Dave Towey University of Nottingham, Jinfu Chen Jiangsu University | ||
09:00 9hTalk | Poster T13: Are Information Retrieval-based Bug Localization Techniques Trustworthy? Posters | ||
09:00 9hTalk | Poster T14: Accelerating Counterexample Detection in Software Model Checking Posters | ||
09:00 9hTalk | Poster T15: A Novel Variable-centric Fault Localization Technique Posters Jeongho Kim Sungkyunkwan University, Jindae Kim The Hong Kong University of Science and Technology, Eunseok Lee Sungkyunkwan University | ||
09:00 9hTalk | Poster T16: Android Inter-Component Communication Analysis with Intent Revision Posters | ||
09:00 9hTalk | Poster T17: Exploration of Academic and Industrial Evidence about Architectural Tactics and Patterns in Microservices Posters Gaston Marquez Universidad Tecnica Federico Santa Maria, Hernan Astudillo Universidad Tecnica Federico Santa María, Felipe Osses Universidad Federico Santa Maria | ||
09:00 9hTalk | Poster T18: FreeDA: Deploying Incompatible Stock Dynamic Analyses in Production via Multi-Version Execution Posters Luís Pina George Mason University, Anastasios Andronidis Imperial College London, UK, Cristian Cadar Imperial College London | ||
09:00 9hTalk | Poster T19: Automatically Solving NP-Complete Problems on a Quantum Computer Posters | ||
09:00 9hTalk | Poster T20: Guiding Developers to Make Informative Commenting Decisions in Source Code Posters Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Nan Jia School of Management Science and Engineering, Hebei GEO University, Shijiazhuang, China, Qiang Zhou School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Xiangping Chen , Yingfei Xiong Peking University, Xiaonan Luo School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China | ||
09:00 9hTalk | Poster T21: Making Well-Informed Software Design Decisions Posters Arman Shahbazian University of Southern California, Youn Kyu Lee , Yuriy Brun University of Massachusetts, Amherst, Nenad Medvidović University of Southern California Link to publication DOI Pre-print | ||
09:00 9hTalk | Poster T22: Runtime Verification of Memory Safety via Source Transformation Posters Zhe Chen Nanjing University of Aeronautics and Astronautics, Junqi Yan Nanjing University of Aeronautics and Astronautics, Wenming Li , Ju Qian Nanjing University of Aeronautics and Astronautics, Zhiqiu Huang Nanjing University of Aeronautics and Astronautics | ||
09:00 9hTalk | Poster T23: Synthesizing Relation-Aware Entity Transformation by Examples Posters Jiarong Wu Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xiaoxing Ma Nanjing University, Jian Lu Nanjing University | ||
09:00 9hTalk | Poster T24: Testing Heap-Based Programs with Java StarFinder Posters Long H. Pham Singapore University of Technology and Design, Quang Loc Le School of Computing, Teesside University, UK, Quoc-Sang Phan Fujitsu Laboratories of America, Jun Sun Singapore University of Technology and Design, Shengchao Qin University of Teesside | ||
09:00 9hTalk | Poster T25: Automatically Answering API-Related Questions Posters WuDi , Xiao-Yuan Jing State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Haowen Chen State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Xiaoke Zhu State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Hongyu Zhang The University of Newcastle, Mei Zuo State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Lu Zi State Key Laboratory of Software Engineering, School of Computer, Wuhan University, Chen Zhu State Key Laboratory of Software Engineering, School of Computer, Wuhan University | ||
09:00 9hTalk | Poster T26: Exploring Uncertainty in GitHub OSS Projects Posters Naoyasu Ubayashi Kyushu University, Hokuto Muraoka Kyushu University, Daiki Muramoto Kyushu University, Yasutaka Kamei Kyushu University, Ryosuke Sato University of Tokyo, Japan | ||
09:00 9hTalk | Poster T27: Systematic Top-down Design of Cyber-physical Models with Integrated Validation and Formal Verification Posters | ||
09:00 9hTalk | Poster T28: On Vulnerability Evolution in Android Apps Posters Jun Gao University of Luxembourg, SnT, Li Li University of Luxembourg, Luxembourg, Pingfan Kong Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Jacques Klein University of Luxembourg, SnT | ||
09:00 9hTalk | Poster T29: UMLx: a UML Diagram Analytic Tool for Software Management Decisions Posters | ||
09:00 9hTalk | Poster T30: Benchmarking cross-project defect prediction approaches with cost metrics Posters Steffen Herbold University of Göttingen | ||
09:00 9hPoster | Poster T31: Unit Tests and Component Tests do Make a Difference on Fault Localisation Effectiveness Posters Gulsher Laghari University of Antwerp, Belgium; University of Sindh, Pakistan, Serge Demeyer University of Antwerp, Belgium Pre-print | ||
09:00 9hTalk | Poster T32: Recommending Exception Handling Patterns with ExAssist Posters | ||
09:00 9hTalk | Poster T33: ALPACA: Advanced Linguistic Pattern and Concept Analysis Framework for Software Engineering Corpora Posters | ||
09:00 9hTalk | Poster T34: Combining STPA and BDD for Safety Analysis and Verification in Agile Development Posters | ||
09:00 9hTalk | Poster T35: When Pair Programming is most helpful: Explaining session dynamics from knowledge gaps Posters | ||
09:00 9hPoster | Poster T36: Machine-Learning-Based Code Smell Detection through WekaNose Posters Umberto Azadi University of Milan-Bicocca, Francesca Arcelli Fontana University of Milano-Bicocca, Marco Zanoni University of Milano Bicocca Pre-print | ||
09:00 9hTalk | Poster T37: Knowledge-enriched Security and Privacy Threat Modeling Posters Laurens Sion , Koen Yskout , Dimitri Van Landuyt Katholieke Universiteit Leuven, Wouter Joosen Katholieke Universiteit Leuven | ||
09:00 9hTalk | Poster T38: CrossEcore: An Extendible Framework to Use Ecore and OCL across Platforms Posters Simon Schwichtenberg Paderborn University, Ivan Jovanovikj Paderborn University, Christian Gerth Osnabrueck University of Applied Sciences, Gregor Engels Paderborn University | ||
09:00 9hTalk | Poster T39: Semantically Enhanced Tag Recommendation for Software CQAs via Deep Learning Posters Jian Zhang Beihang University, Hailong Sun Beihang University, Yanfei Tian Beihang University, Xudong Liu Beihang University | ||
09:00 9hTalk | Poster T40: QoS-aware Service Composition using Blockchain-based Smart Contract Posters Puwei Wang Renmin University of China, Xiaohe Liu Renmin University of China, Jinchuan Chen Renmin University of China, Ying Zhan Guizhou University of Finance and Economics, Zhi Jin Guizhou University of Finance and Economics | ||
09:00 9hTalk | Poster T41: An Automated and Instant Discovery of Concrete Repairs for Model Inconsistencies Posters Roland Kretschmer Johannes Kepler Universität Linz, Djamel Eddine Khelladi ISSE - JKU, Alexander Egyed | ||
09:00 9hTalk | Poster T42: Knowledge Transfer from Research to Industry: A Survey on Program Comprehension Posters Ivonne Schröter University of Magdeburg, Germany, Jacob Krüger Harz University of Applied Sciences, Germany, Janet Siegmund University of Passau, Thomas Leich Harz University of Applied Sciences, Germany | ||
09:00 9hTalk | Poster T43: MOBS: Multi-Operator Observation-Based Slicing using Lexical Approximation of Program Dependence Posters Seongmin Lee Korea Advanced Institute of Science and Technology, David Binkley Loyola University Baltimore, Nicolas Gold University College London, Syed Islam University of East London, Jens Krinke University College London, Shin Yoo Korea Advanced Institute of Science and Technology | ||
09:00 9hTalk | Poster T44: On Extracting Relevant and Complex Variability Information from Software Descriptions with Pattern Structures Posters Jessie Carbonnel LIRMM, CNRS and University of Montpellier, Marianne Huchard LIRMM, Clémentine Nebut Université Montpellier 2 | ||
09:00 9hTalk | Poster T45: CUTER: ClUstering-based TEst suite Reduction Posters Carmen Coviello University of Basilicata, Simone Romano University of Basilicata, Giuseppe Scanniello University of Basilicata | ||
09:00 9hTalk | Poster T46: The Effect of Noise on Requirements Comprehension Posters Simone Romano University of Basilicata, Giuseppe Scanniello University of Basilicata, Davide Fucci University of Hamburg, Natalia Juristo Facultad de Informática - UPM, Burak Turhan Brunel University | ||
09:00 9hTalk | Poster T47: Incremental UML for Agile Development: An Introduction Posters | ||
09:00 9hTalk | Poster T48: An Algorithm and Tool to Infer Practical Postconditions Posters John L. Singleton University of Central Florida, Gary T. Leavens University of Central Florida, Hridesh Rajan Iowa State University, David Cok GrammaTech, Inc | ||
09:00 9hTalk | Poster T49: Designing Bug Detection Rules for Fewer False Alarms Posters Jaechang Nam Pohang University of Science and Technology, Song Wang University of Waterloo, Yuan Xi University of Waterloo, Lin Tan University of Waterloo | ||
09:00 9hTalk | Poster T50: Automated User Reviews Analyser Posters Adelina Ciurumelea University of Zurich, Sebastiano Panichella University of Zurich, Harald Gall University of Zurich | ||
09:00 9hTalk | Poster T51: A Recommender System for Developer Onboarding Posters Chao Liu Chongqing University, Dan Yang Chongqing University, Xiaohong Zhang Chongqing University, Haibo Hu Chongqing University, Jed Barson University of Virginia, Baishakhi Ray Columbia University, New York | ||
09:00 9hTalk | Poster T52: Automated Test Script Repair for Mobile Applications Posters Tongtong Xu Nanjing University, Minxue Pan Nanjing University, Tian Zhang Nanjing University, Xuandong Li Nanjing University | ||
09:00 9hTalk | Poster T53: Obfuscating Program Control Flow with Intel SGX Posters Yongzhi Wang Xidian University, Yulong Shen Xidian University, Ke Cheng Xidian University, Yibo Yang Xidian University, Cuicui Su Xidian University, Anter Faree Xidian University | ||
09:00 9hTalk | Poster T54: Benchmarking Microservice Systems for Software Engineering Research Posters Xiang Zhou , Xin Peng Fudan University, Tao Xie University of Illinois at Urbana-Champaign, Jun Sun Singapore University of Technology and Design, Chenjie Xu Fudan University, Chao Ji Fudan University, Wenyun Zhao Fudan University | ||
09:00 9hTalk | Poster T55: Bridging Effort-Aware Prediction and Strong Classification - a Just-in-Time Software Defect Prediction Study Posters Yuchen GUO Xi'an Jiaotong University, Martin Shepperd Brunel University London, Ning Li School of Computer Science, Northwestern Polytechnical University File Attached | ||
09:00 9hTalk | Poster T56: Model-Based Adaptation to Extreme Physical Environments: A Case Study on Mixed-Criticality Industrial Ethernet Posters Zonghui Li Software School, Tsinghua University, Hai Wan Tsinghua University, Yangdong Deng Tsinghua University, Qinghan Yu Software School,Tsinghua University, Tianchi Li Tsinghua University, Kang Wei Software School,Tsinghua University, Ming Gu Tsinghua University | ||
09:00 9hTalk | Poster T57: Efficient and Deterministic Replay for Web-enabled Android Apps Posters Fangge Yan Shanghai Jiao Tong University, Mingyuan Xia McGill University, Zhengwei Qi Shanghai Jiao Tong University, Xue Liu McGill University | ||
09:00 9hTalk | Poster T58: A Parallel Framework for Ab Initio Transcript-Clustering Posters Dhananjai Rao Miami University | ||
09:00 9hTalk | Poster T59: Sources of Satisfaction in Agile Software Development Posters Robert Biddle Carleton University, Martin Kropp University of Applied Sciences Northwestern Switzerland, Andreas Meier Zurich University of Applied Sciences, Craig Anslow Victoria University of Wellington | ||
09:00 9hTalk | Poster T60: Which Similarity Metric to Use for Software Documents? A Study on Information Retrieval-Based Software Engineering Tasks Posters Md Masudur Rahman University of Virginia, USA, Saikat Chakraborty University of Virginia, Baishakhi Ray Columbia University, New York | ||
11:00 - 12:30 | |||
11:00 20mTalk | DeFlaker: Automatically Detecting Flaky Tests Technical Papers Jonathan Bell George Mason University, Owolabi Legunsen University of Illinois at Urbana-Champaign, Michael Hilton Carnegie Mellon University, USA, Lamyaa Eloussi , Tifany Yung , Darko Marinov University of Illinois at Urbana-Champaign Pre-print Media Attached | ||
11:20 20mTalk | DetReduce: Minimizing Android GUI Test Suites for Regression Testing Technical Papers Wontae Choi , Koushik Sen University of California, Berkeley, George Necula University of California, Berkeley, Wenyu Wang University of Illinois at Urbana-Champaign | ||
11:40 20mTalk | Time to Clean your Test Objectives Technical Papers Michaël Marcozzi Imperial College London, Sébastien Bardin , Nikolai Kosmatov , Mike Papadakis University of Luxembourg, Virgile Prevosto , Loïc Correnson Link to publication DOI File Attached | ||
12:00 20mTalk | Prioritizing Browser Environments for Web Application Test Execution Technical Papers Junghyun Kwon , In-Young Ko Korea Advanced Institute of Science and Technology, Gregg Rothermel University of Nebraska - Lincoln | ||
12:20 10mTalk | Q&A in groups Technical Papers | ||
11:00 - 12:30 | |||
11:00 30mDemonstration | KernelHaven – An Experimentation Workbench for Analyzing Software Product Lines DEMO - Demonstrations Christian Kröher University of Hildesheim, Sascha El-Sharkawy University of Hildesheim, Klaus Schmid Stiftung University Hildesheim Link to publication DOI Pre-print | ||
11:30 30mTalk | Elixir: An Automated Repair Tool for Java Programs DEMO - Demonstrations Ripon Saha , Hiroaki Yoshida Fujitsu Laboratories of America, Inc., Mukul Prasad Fujitsu Laboratories of America, Susumu Tokumoto Fujitsu Laboratories Ltd., Kuniharu Takayama , Isao Nanba | ||
12:00 30mTalk | Multi-View Editing of Software Product Lines with PEoPL DEMO - Demonstrations Mukelabai Mukelabai , Benjamin Behringer htw saar, Germany, Moritz Fey , Jochen Palz , Jacob Krüger Harz University of Applied Sciences, Germany, Thorsten Berger Link to publication Pre-print | ||
11:00 - 12:30 | Static analysisDEMO - Demonstrations at E1/B room Chair(s): Anne Koziolek Karlsruhe Institute of Technology | ||
11:00 30mDemonstration | AnATLyzer: An Advanced IDE for ATL Model Transformations DEMO - Demonstrations Pre-print Media Attached | ||
11:30 30mTalk | VisuFlow: a Debugging Environment for Static Analyses DEMO - Demonstrations Lisa Nguyen Quang Do Paderborn University, Stefan Krüger , Patrick Hill , Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication Pre-print | ||
12:00 30mTalk | SQLInspect: A Static Analyzer to Inspect Database Usage in Java Applications DEMO - Demonstrations | ||
11:00 - 12:30 | SCORESEET - Software Engineering Education and Training at E2 room Chair(s): Christine Julien The University of Texas at Austin, Rafael Prikladnicki Faculdade de Informática da PUCRS | ||
11:00 30mTalk | Ridertrack - an accessible tracking platform for outdoor sports events SEET - Software Engineering Education and Training | ||
11:30 30mTalk | Transient Shared Communication Channels SEET - Software Engineering Education and Training Birkan Denizer Istanbul Technical University, Berkay Giriş Istanbul Technical University, Kağan Özgün , Alperen Özkan , Berk Dehrioğlu , Ayse Tosun Istanbul Technical University | ||
12:00 30mTalk | Travlendar by CPSoftware SEET - Software Engineering Education and Training Anderson Júnior Federal Institute of Alagoas, Gabriel Lima Federal Institute of Alagoas (IFAL), Genilson Almeida Federal Institute of Alagoas (IFAL), Igor Santana Federal University of Alagoas | ||
11:00 - 12:30 | Keynote IISEIP - Software Engineering in Practice at E4 room Chair(s): Jan Bosch Chalmers University of Technology | ||
11:00 90mTalk | [Keynote] The Car as a Computer On WheelsKeynote SEIP - Software Engineering in Practice | ||
11:00 - 12:30 | Meeting other sciencesSEIS - Software Engineering in Society at R2 Chair(s): Amel Bennaceur The Open University | ||
11:00 20mTalk | [Full paper] SE in ES: Opportunities for Software Engineering and Cloud Computing in Environmental Science SEIS - Software Engineering in Society Will Simm , Faiza Samreen , Richard Bassett , Gordon Blair , Maria Angela Ferrario Lancaster University, Jon Whittle Monash University, Paul Young | ||
11:20 20mTalk | [Full paper] Towards a Unified Conceptual Model for Surveillance Theories SEIS - Software Engineering in Society Pre-print File Attached | ||
11:40 20mTalk | [Full paper] Competence-Confidence Gap: A Threat to Female Developers' Contribution on GitHub SEIS - Software Engineering in Society DOI Pre-print | ||
12:00 20mTalk | [Short paper] Digital Ecclesia: Towards an Online Direct-Democracy Framework SEIS - Software Engineering in Society Dionysis Athanasopoulos Victoria University of Wellington DOI Pre-print | ||
12:20 10mTalk | Q&A in groups SEIS - Software Engineering in Society | ||
14:00 - 15:30 | Testing IJournal first papers / Technical Papers at Congress Hall Chair(s): Antonia Bertolino CNR-ISTI | ||
14:00 20mTalk | ChangeLocator: Locate Crash-Inducing Changes Based on Crash Reports Journal first papers Rongxin Wu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Ming Wen The Hong Kong University of Science and Technology, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Hongyu Zhang The University of Newcastle | ||
14:20 20mTalk | Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults Technical Papers Mike Papadakis University of Luxembourg, Donghwan Shin KAIST, Shin Yoo Korea Advanced Institute of Science and Technology, Doo-Hwan Bae Korea Advanced Institute of Science and Technology Pre-print | ||
14:40 20mTalk | Efficient Sampling of SAT Solutions for Testing Technical Papers Rafael Dutra UC Berkeley, Kevin Laeufer University of California, Berkeley, Jonathan Bachrach , Koushik Sen University of California, Berkeley Link to publication DOI Media Attached File Attached | ||
15:00 20mTalk | Are Fix-Inducing Changes a Moving Target? A Longitudinal Case Study of Just-In-Time Defect Prediction Journal first papers Pre-print | ||
15:20 10mTalk | Q&A in groups Technical Papers | ||
14:00 - 15:30 | Model-driven developmentDEMO - Demonstrations at E1/A room Chair(s): Jan Oliver Ringert Tel Aviv University | ||
14:00 30mTalk | MDebugger: A Model-level Debugger for UML-RT DEMO - Demonstrations Mojtaba Bagherzadeh Queen's University, Nicolas Hili IRT Saint-Exupéry, David Seekatz , Juergen Dingel Queen's University, Kingston, Ontario Pre-print | ||
14:30 30mDemonstration | CyPhEF: A Model-Driven Engineering Framework for Self-Adaptive Cyber-Physical Systems DEMO - Demonstrations Link to publication | ||
15:00 30mTalk | ReVision: A Tool for History-based Model Repair Recommendations DEMO - Demonstrations Link to publication | ||
14:00 - 15:30 | VerificationDEMO - Demonstrations at E1/B room Chair(s): Marie-Christine Jakobs LMU, Munich, Germany | ||
14:00 30mTalk | COMB: Computing Relevant Program Behaviors DEMO - Demonstrations Benjamin Holland , Payas Awadhutkar , Suresh Kothari Iowa State University, USA, Ahmed Tamrawi , Jon Mathews EnSoft Corp. Link to publication | ||
14:30 30mDemonstration | The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems DEMO - Demonstrations Vince Molnár Budapest University of Technology and Economics, Bence Graics Budapest University of Technology and Economics, András Vörös Budapest University of Technology and Economics, Istvan Majzik Budapest University of Technology and Economics, Daniel Varro McGill University / Budapest University of Technology and Economics DOI Pre-print Media Attached | ||
15:00 30mTalk | A Regression Proof Selection Tool For Coq DEMO - Demonstrations Ahmet Celik University of Texas at Austin, USA, Karl Palmskog The University of Texas at Austin, Milos Gligoric University of Texas at Austin Pre-print Media Attached File Attached | ||
14:00 - 15:30 | Cloud and DevOpsSEIP - Software Engineering in Practice at E4 room Chair(s): Yvonne Dittrich IT University of Copenhagen, Denmark | ||
14:00 20mTalk | Adopting Autonomic Computing Capabilities in Existing Large-Scale Systems SEIP - Software Engineering in Practice Heng Li Queen's University, Tse-Hsun (Peter) Chen Concordia University, Ahmed E. Hassan Queen's University, Mohamed Nasser , Parminder Flora | ||
14:20 20mTalk | Java Performance Troubleshooting and Optimization at Alibaba SEIP - Software Engineering in Practice | ||
14:40 20mTalk | An Exploratory Study on Faults in Web API Integration in a Large-Scale Payment Company SEIP - Software Engineering in Practice Joop Aué , Maurício Aniche Delft University of Technology, Netherlands, Maikel Lobbezoo , Arie van Deursen Delft University of Technology DOI Pre-print | ||
15:00 20mTalk | Transparency and Contracts: Continuous Integration and Delivery in the Automotive Ecosystem SEIP - Software Engineering in Practice Rob van der Valk , Patrizio Pelliccione University of Gothenburg & Chalmers University of Technology, Patricia Lago Vrije Universiteit Amsterdam, Rogardt Heldal , Eric Knauss Chalmers University of Technology and University of Gothenbrug, Jacob Juul Pre-print Media Attached | ||
15:20 10mTalk | Q&A in this sesson SEIP - Software Engineering in Practice | ||
14:00 - 15:30 | Program Analysis ITechnical Papers at G1 room Chair(s): Darko Marinov University of Illinois at Urbana-Champaign | ||
14:00 20mTalk | Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications Technical Papers Pre-print File Attached | ||
14:20 20mTalk | Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps Technical Papers Yifei Zhang UNSW Sydney, Yulei Sui University of Technology Sydney, Australia, Jingling Xue UNSW Sydney DOI Pre-print File Attached | ||
14:40 20mTalk | UFO: Predictive Concurrency Use-After-Free Detection Technical Papers Jeff Huang Texas A&M University Pre-print | ||
15:00 20mTalk | Collective Program Analysis Technical Papers Pre-print | ||
15:20 10mTalk | Q&A in groups Technical Papers | ||
14:00 - 15:30 | Studying Software Engineers IJournal first papers / Technical Papers at H2 room Chair(s): Amy Ko University of Washington | ||
14:00 20mTalk | Understanding Developers’ Needs on Deprecation as a Language Feature Technical Papers Anand Ashok Sawant , Maurício Aniche Delft University of Technology, Netherlands, Arie van Deursen Delft University of Technology, Alberto Bacchelli University of Zurich Pre-print | ||
14:20 20mTalk | On The Dichotomy of Debugging Behavior Among Programmers Technical Papers Moritz Beller Delft University of Technology, Niels Spruit , Diomidis Spinellis Athens University of Economics and Business, Andy Zaidman TU Delft Pre-print | ||
14:40 20mTalk | Measuring Program Comprehension: A Large-Scale Field Study with Professionals Journal first papers Xin Xia Monash University, Lingfeng Bao , David Lo Singapore Management University, Zhenchang Xing Australia National University, Ahmed E. Hassan Queen's University, Shanping Li | ||
15:00 20mTalk | Data Scientists in Software Teams: State of the Art and Challenges Journal first papers Miryung Kim University of California at Los Angeles, USA, Thomas Zimmermann Microsoft Research, Robert Deline , Andrew Begel Microsoft Research Link to publication DOI Authorizer link Pre-print | ||
15:20 10mTalk | Q&A in groups Technical Papers | ||
14:00 - 15:30 | Panel on "Software engineering in Society"SEIS - Software Engineering in Society at R2 Chair(s): Schahram Dustdar TU Wien | ||
14:00 90mTalk | Panel on "Software engineering in Society"Panel SEIS - Software Engineering in Society Fabio Casati University of Trento and Tomsk Polytechnic University, Paola Inverardi University of L'Aquila, Patricia Lago Vrije Universiteit Amsterdam, Sam Malek University of California, Irvine, Bashar Nuseibeh The Open University (UK) & Lero (Ireland), Awais Rashid University of Bristol, UK | ||
16:00 - 18:00 | |||
16:00 30mTalk | 50 years of Software Engineering or The View from Garmisch Plenary Sessions Brian Randell Newcastle University, UK | ||
16:30 30mTalk | Panel: 50 years of Software Engineering & Celebrating the 40th ICSEPanel Plenary Sessions Brian Randell Newcastle University, UK, David Gries , Doug McIlroy , Bob McClure , Gerhard Goos , Manfred Paul | ||
17:00 60mTalk | Celebration of 40th anniversary of ICSE Plenary Sessions | ||
Fri 1 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 1 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 08:55 | |||
08:30 25mTalk | ICSE Awards Plenary Sessions | ||
09:00 - 10:30 | Keynote IIISEIP - Software Engineering in Practice at Congress Hall Chair(s): Frances Paulisch Siemens Healthineers | ||
09:00 90mTalk | [Keynote] Modern Trends Through an Architecture LensKeynote SEIP - Software Engineering in Practice Linda Northrop Carnegie Mellon University | ||
09:00 - 10:30 | KEYNOTE and PANELSEET - Software Engineering Education and Training at E2 room Chair(s): Patricia Lago Vrije Universiteit Amsterdam, Michal Young University of Oregon | ||
09:00 60mTalk | [Keynote] Using MOOCs to Teach Software EngineeringKeynote SEET - Software Engineering Education and Training | ||
10:00 30mTalk | [Panel] What is the role of universities in the age of online education and digitalization?Panel SEET - Software Engineering Education and Training Daniela Damian University of Victoria, Jim Herbsleb Carnegie Mellon University, Gregor Kiczales , Marian Petre | ||
09:00 - 10:30 | Testing IITechnical Papers / Journal first papers at E4 room Chair(s): Mike Papadakis University of Luxembourg | ||
09:00 20mTalk | When Testing Meets Code Review: Why and How Developers Review Tests Technical Papers Davide Spadini , Maurício Aniche Delft University of Technology, Netherlands, Margaret-Anne Storey University of Victoria, Magiel Bruntink , Alberto Bacchelli University of Zurich DOI Pre-print | ||
09:20 20mTalk | Redefining Prioritization: Continuous Prioritization for Continuous Integration Technical Papers Jingjing Liang , Sebastian Elbaum University of Nebraska-Lincoln, USA, Gregg Rothermel University of Nebraska - Lincoln | ||
09:40 20mTalk | MAHAKIL: Diversity based Oversampling Approach to Alleviate the Class Imbalance Issue in Software Defect Prediction Journal first papers | ||
10:00 20mTalk | On the Use of Hidden Markov Model to Predict the Time to Fix Bugs Journal first papers | ||
10:20 10mTalk | Q&A in groups Technical Papers | ||
09:00 - 10:30 | Software ComprehensionJournal first papers / Technical Papers at H1 room Chair(s): Margaret Burnett Oregon State University | ||
09:00 20mTalk | Debugging Data Flows in Reactive Programs Technical Papers Pre-print | ||
09:20 20mTalk | Do You Remember This Source Code? Technical Papers Jacob Krüger Harz University of Applied Sciences, Germany, Jens Wiemann , Wolfram Fenske University of Magdeburg, Germany, Gunter Saake University of Magdeburg, Germany, Thomas Leich Harz University of Applied Sciences, Germany | ||
09:40 20mTalk | Inferring Hierarchical Motifs from Execution Traces Technical Papers Saba Alimadadi Northeastern University, Ali Mesbah University of British Columbia, Karthik Pattabiraman University of British Columbia | ||
10:00 20mTalk | A Comparison of Program Comprehension Strategies by Blind and Sighted Programmers Journal first papers | ||
10:20 10mTalk | Q&A in groups Technical Papers | ||
09:00 - 10:30 | Studying Software Engineers IIJournal first papers / Technical Papers at H2 room Chair(s): Minghui Zhou Peking University | ||
09:00 20mTalk | What makes a great manager of software engineers? Journal first papers Eirini Kalliamvakou University of Victoria, Christian Bird Microsoft Research, Thomas Zimmermann Microsoft Research, Andrew Begel Microsoft Research, Robert Deline , Daniel M. German | ||
09:20 20mTalk | Older adults and hackathons: a qualitative study Journal first papers Wiesław Kopeć Polish-Japanese Academy of Information Technology, Bartłomiej Balcerzak , Radosław Nielek , Grzegorz Kowalik , Adam Wierzbicki , Fabio Casati Link to publication DOI | ||
09:40 20mTalk | Does Syntax Highlighting Help Programming Novices? Journal first papers | ||
10:00 20mTalk | Do programmers work at night or during weekend? Technical Papers Maëlick Claes , Mika Mäntylä University of Oulu, Miikka Kuutila , Bram Adams MCIS, École Polytechnique de Montréal Pre-print | ||
10:20 10mTalk | Q&A in groups Technical Papers | ||
09:00 - 10:30 | Requirements and Recommender SystemsTechnical Papers / Journal first papers at J1 room Chair(s): Joanne M. Atlee University of Waterloo, Canada | ||
09:00 20mTalk | The Evolution of Requirements Practices in Software Startups Technical Papers Catarina Gralha NOVA-LINCS, FCT/UNL, Daniela Damian University of Victoria, Anthony I. (Tony) Wasserman Carnegie Mellon Silicon Valley, Miguel Goulao NOVA-LINCS, FCT/UNL, João Araújo Pre-print Media Attached | ||
09:20 20mTalk | Traceability in the Wild: Automatically Augmenting Incomplete Trace links Technical Papers Michael Rath Technische Universität Ilmenau, Jacob Rendall University of Notre Dame, Jin L.C. Guo McGill University, Jane Cleland-Huang University of Notre Dame, Patrick Mäder Technische Universität Ilmenau Pre-print | ||
09:40 20mTalk | A Temporal Permission Analysis and Enforcement Framework for Android Technical Papers Alireza Sadeghi Google, Inc, Reyhaneh Jabbarvand University of California, Irvine, Negar Ghorbani , Hamid Bagheri University of Nebraska-Lincoln, USA, Sam Malek University of California, Irvine | ||
10:00 20mTalk | Global-Aware Recommendations for Repairing Violations in Exception Handling Journal first papers | ||
10:20 10mTalk | Q&A in groups Technical Papers | ||
09:00 - 10:30 | |||
09:00 90mTalk | [Selected research talks] SRC - ACM Student Research Competition | ||
11:00 - 12:30 | Testing IIIJournal first papers / Technical Papers at Congress Hall Chair(s): Myra Cohen University of Nebraska-Lincoln | ||
11:00 20mTalk | RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations Technical Papers DOI File Attached | ||
11:20 20mResearch paper | Symbolic Verification of Regular Properties Technical Papers Hengbiao Yu , Zhenbang Chen College of Computer, National University of Defense Technology, Ji Wang , Zhendong Su University of California, Davis, Wei Dong Pre-print | ||
11:40 20mTalk | Metamorphic Testing of RESTful Web APIs Journal first papers Sergio Segura , José Antonio Parejo Maestre University of Sevilla, Javier Troya , Antonio Ruiz-Cortés Universidad de Sevilla | ||
12:00 20mTalk | Integrating Technical Debt Management and Software Quality Management Processes: A Normative Framework and Field Tests Journal first papers | ||
12:20 10mTalk | Q&A in groups Technical Papers | ||
11:00 - 12:30 | Design and ToolsSEIP - Software Engineering in Practice at E1 room Chair(s): Caitlin Sadowski Google | ||
11:00 20mFull-paper | Echoes from Space: Grouping Commands with Large-Scale Telemetry Data SEIP - Software Engineering in Practice Alexander Lattas Imperial College London, Diomidis Spinellis Athens University of Economics and Business DOI Pre-print | ||
11:20 20mTalk | Tool-based Interactive Parallelization: A Case Study SEIP - Software Engineering in Practice Media Attached | ||
11:40 20mTalk | Studying Pull Request Merges: A Case Study of Shopify's Active Merchant SEIP - Software Engineering in Practice Oleksii Kononenko , Tresa Rose , Olga Baysal Carleton University, Michael W. Godfrey University of Waterloo, Canada, Dennis Theisen , Bart de Water Pre-print | ||
12:00 20mTalk | A Detailed and Real-time Performance Monitoring Framework for Blockchain Systems SEIP - Software Engineering in Practice File Attached | ||
12:20 10mTalk | Q&A in this sesson SEIP - Software Engineering in Practice | ||
11:00 - 12:30 | Testing and Defects ISEIP - Software Engineering in Practice at E4 room Chair(s): Sigrid Eldh Ericsson, Sweden | ||
11:00 20mTalk | Proactive and Pervasive Combinatorial Testing SEIP - Software Engineering in Practice | ||
11:20 20mTalk | Practical Selective Regression Testing with Effective Redundancy in Interleaved Tests SEIP - Software Engineering in Practice | ||
11:40 20mTalk | State of Mutation Testing at Google SEIP - Software Engineering in Practice | ||
12:00 20mTalk | Improving Model-Based Testing in Automotive Software Engineering SEIP - Software Engineering in Practice Matthias Markthaler , Stefan Kriebel , Karin Samira Salman , Timo Greifenberg , Steffen Hillemacher , Bernhard Rumpe , Christoph Schulze , Andreas Wortmann RWTH Aachen University, Philipp Orth , Johannes Richenhagen | ||
12:20 10mTalk | Q&A in this sesson SEIP - Software Engineering in Practice | ||
11:00 - 12:30 | Code Search, Synthesis, PerformanceTechnical Papers / Journal first papers at H1 room Chair(s): Shahar Maoz Tel Aviv University | ||
11:00 20mResearch paper | Deep Code Search Technical Papers Xiaodong Gu The Hong Kong University of Science and Technology, Hongyu Zhang The University of Newcastle, Sunghun Kim Hong Kong University of Science and Technology Pre-print | ||
11:20 20mTalk | Augmenting and Structuring User Queries to Support Efficient Free-Form Code Search Journal first papers Raphaël Sirres , Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, David Lo Singapore Management University, Jacques Klein University of Luxembourg, SnT, Kisub Kim University of Luxembourg, SnT, Yves Le Traon University of Luxembourg Link to publication DOI Pre-print Media Attached | ||
11:40 20mTalk | FaCoY – A Code-to-Code Search Engine Technical Papers Kisub Kim University of Luxembourg, SnT, Dongsun Kim University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Eunjong Choi Nara Institute of Science and Technology, Li Li University of Luxembourg, Luxembourg, Jacques Klein University of Luxembourg, SnT, Yves Le Traon University of Luxembourg Link to publication DOI Pre-print Media Attached | ||
12:00 20mTalk | Generalized Data Structure Synthesis Technical Papers Calvin Loncaric University of Washington, Michael D. Ernst University of Washington, USA, Emina Torlak University of Washington DOI Pre-print Media Attached | ||
12:20 10mTalk | Q&A in groups Technical Papers | ||
14:00 - 15:30 | Testing IVJournal first papers / Technical Papers at Congress Hall Chair(s): Xiaoying Bai Tsinghua University | ||
14:00 20mTalk | Analyzing The Effects of Test Driven Development In GitHub Journal first papers Neil Borle , Meysam Feghhi , Eleni Stroulia University of Alberta, Russell Grenier , Abram Hindle University of Alberta Pre-print | ||
14:20 20mTalk | A Comparative Study to Benchmark Cross-project Defect Prediction Approaches Journal first papers Link to publication DOI Pre-print | ||
14:40 20mTalk | MSeer - An Advanced Technique for Locating Multiple Bugs in Parallel Journal first papers | ||
15:00 20mTalk | Journal First Presentation of An Experience Report On Applying Software Testing Academic Results In Industry: We Need Usable Automated Test Generation Journal first papers | ||
15:20 10mTalk | Q&A in groups Technical Papers | ||
14:00 - 15:30 | Safety and CultureSEIP - Software Engineering in Practice at E3 room Chair(s): Dusica Marijan Simula | ||
14:00 20mTalk | We Don't Need Another Hero? The Impact of "Heroes" on Software Development SEIP - Software Engineering in Practice Amritanshu Agrawal North Carolina State University, Akond Rahman North Carolina State University, Rahul Krishna NC State University, Alexander Sobran , Tim Menzies Link to publication DOI Pre-print File Attached | ||
14:20 20mTalk | Improve The Definition of Software Development Projects Through Design Thinking Led Collaboration Workshops SEIP - Software Engineering in Practice Hilary Cinis Data61 at CSIRO, Australia | ||
14:40 20mTalk | Evaluating Specification-level MC/DC Criterion in Model-based Testing of Safety Critical Systems SEIP - Software Engineering in Practice | ||
15:00 20mTalk | On groupthink in safety analysis: An industrial case study SEIP - Software Engineering in Practice | ||
15:20 10mTalk | Q&A in this sesson SEIP - Software Engineering in Practice | ||
14:00 - 15:30 | Models and Modeling IITechnical Papers / Journal first papers at G1 room Chair(s): Jon Whittle Monash University | ||
14:00 20mTalk | Programming Not Only by Example Technical Papers Pre-print Media Attached | ||
14:20 20mTalk | Goal-Conflict Likelihood Assessment based on Model Counting Technical Papers Renzo Degiovanni Universidad Nacional de Río Cuarto, Pablo Castro , Marcelo Arroyo , Marcelo Ruiz Dept. of Mathematics, FCEFQyN, University of Río Cuarto, Argentina , Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires Pre-print File Attached | ||
14:40 20mTalk | A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications Journal first papers | ||
15:00 20mTalk | A Static Verification Framework for Message Passing in Go using Behavioural Types Technical Papers Julien Lange University of Kent, Nicholas Ng Imperial College London, Bernardo Toninho Imperial College London, Nobuko Yoshida Imperial College London DOI Pre-print Media Attached | ||
15:20 10mTalk | Q&A in groups Technical Papers | ||
14:00 - 15:30 | Software Evolution and Maintenance IITechnical Papers at H2 room Chair(s): Massimiliano Di Penta University of Sannio | ||
14:00 20mTalk | CCAligner: a token based large-gap clone detector Technical Papers Pengcheng Wang University of Science and Technology of China, Jeffrey Svajlenko Microsoft, Yanzhao Wu , Yun Xu University of Science and Technology of China, Chanchal K. Roy University of Saskatchewan | ||
14:20 20mTalk | HireBuild: An Automatic Approach to History-Driven Repair of Build Scripts Technical Papers Foyzul Hassan University of Texas at San Antonio, USA, Xiaoyin Wang University of Texas at San Antonio, USA Pre-print | ||
14:40 20mTalk | The Road to Live Programming: Insights From the Practice Technical Papers Juraj Kubelka University of Chile, Romain Robbes Free University of Bozen-Bolzano, Alexandre Bergel University of Chile | ||
15:00 20mTalk | Assessing the Threat of Untracked Changes in Software Evolution Technical Papers Andre Hora UFMS, Danilo Silva , Marco Tulio Valente Federal University of Minas Gerais, Brazil, Romain Robbes Free University of Bozen-Bolzano Pre-print | ||
15:20 10mTalk | Q&A in groups Technical Papers | ||
14:00 - 15:00 | Software Engineering in Other DomainsNIER - New Ideas and Emerging Results at R2 Chair(s): Liliana Pasquale University College Dublin & Lero, Ireland | ||
14:00 15mTalk | Deep Customization of Multi-Tenant SaaS Using Intrusive Microservices NIER - New Ideas and Emerging Results | ||
14:15 15mTalk | Software Ecosystem Call Graph for Dependency Management NIER - New Ideas and Emerging Results Joseph Hejderup Delft University of Technology, Netherlands, Arie van Deursen Delft University of Technology, Georgios Gousios TU Delft DOI Pre-print | ||
14:30 15mTalk | An Immersive Future for Software Engineering - Avenues and Approaches NIER - New Ideas and Emerging Results | ||
14:45 15mTalk | Dronology: An Incubator for Cyber-Physical Systems Research NIER - New Ideas and Emerging Results Jane Cleland-Huang University of Notre Dame, Michael Vierhauser University of Notre Dame, Sean Bayley | ||
15:00 - 15:30 | 50 Years of Software Engineering TalkPlenary Sessions at R2 Chair(s): Ivica Crnkovic Chalmers University of Technology & University of Gothenburg | ||
15:00 30mTalk | 50 years of software engineering, so now what? Plenary Sessions | ||
16:00 - 18:00 | |||
16:00 15mTalk | Awards Ceremony - Overview Plenary Sessions | ||
16:15 30mTalk | Most Most Influential Paper: Debugging reinvented: asking and answering why and why not questions about program behavior Plenary Sessions | ||
16:45 45mTalk | ACM Sigsoft Outstanding Research Award: Relevance, Simplicity, and Innovation: Stories and Takeaways from Software Engineering Research Plenary Sessions Andreas Zeller Saarland University | ||
17:30 30mTalk | Conference Closing Plenary Sessions Ivica Crnkovic Chalmers University of Technology & University of Gothenburg | ||
Sat 2 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 2 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 17:30 | |||
08:30 - 17:30 | |||
08:45 - 09:00 | WelcomeFormaliSE at R22+23 Chair(s): Patrizio Pelliccione University of Gothenburg & Chalmers University of Technology, Paola Spoletini Kennesaw State University | ||
09:00 - 17:00 | |||
09:00 - 10:00 | KeynoteFormaliSE at R22+23 Chair(s): Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" | ||
09:00 60mTalk | Risk management of high tech systems FormaliSE Marielle Stoelinga University of Twente | ||
09:00 - 17:30 | |||
10:00 - 10:30 | Formal Methods for Autonomous Systems 1FormaliSE at R22+23 Chair(s): Claudio Menghi University of Gothenburg, Sweden | ||
10:00 30mFull-paper | Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms FormaliSE | ||
11:00 - 12:30 | |||
11:00 30mResearch paper | Extending Specification Patterns for Verification of Parametric Traces FormaliSE | ||
11:30 30mResearch paper | Runtime Verification of Hyperproperties for Deterministic Programs FormaliSE | ||
12:00 30mResearch paper | Testing Meets Static and Runtime Verification FormaliSE | ||
14:15 - 15:30 | Program Verification and ApplicationFormaliSE at R22+23 Chair(s): Wolfgang Ahrendt Chalmers University of Technology | ||
14:15 25mResearch paper | CIL to Java-bytecode Translation for Static Analysis Leveraging FormaliSE | ||
14:40 25mResearch paper | Modeling Time in Java Programs for Automatic Error Detection FormaliSE | ||
15:05 25mTalk | [Short paper] Domain-specific Design of Patient Classification in Cancer-related Cachexia Research FormaliSE Alexander Wickert University of Potsdam, Anna-Lena Lamprecht Utrecht University, Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre | ||
16:00 - 17:15 | Formal Methods for Autonomous Systems 2FormaliSE at R22+23 Chair(s): Michael Whalen University of Minnesota | ||
16:00 25mResearch paper | Self-Adaptive Automata FormaliSE | ||
16:25 25mResearch paper | Formal Verification of an Autonomous Wheel Loader by Model Checking FormaliSE | ||
16:50 25mShort-paper | [Short paper] Formal verification of automotive embedded software FormaliSE | ||
17:15 - 17:30 | Closing remarksFormaliSE at R22+23 Chair(s): Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" , Nico Plat Thanos | ||