Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia

Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 21 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
Workshop Opening [Workshop] HCSE&CS at Kangaroo
Chair(s): Mohan Baruwal Chhetri Data61 CSIRO Australia, Thuong Hoang School of Information Technology, Deakin University, Karen Renaud Abertay University
00:00
60m
Keynote
Children and Cyber SecurityWorkshop
[Workshop] HCSE&CS
K: Karen Renaud Abertay University
01:10 - 02:40
Panel Session[Workshop] HCSE&CS at Kangaroo
Chair(s): Mohan Baruwal Chhetri Data61 CSIRO Australia
01:10
90m
Other
Panel Session: Cyber security at home - how much more important is it when working from homeWorkshop
[Workshop] HCSE&CS
Marthie Grobler CSIRO's Data61, Paul Watters , Ivano Bongiovanni The University of Queensland
02:50 - 03:50
Session 1 Paper Presentation[Workshop] HCSE&CS at Kangaroo
02:50
12m
Talk
A Risk Homeostasis Perspective on Zimbabwean Protective Point-of-Sale Transaction BehavioursWorkshop
[Workshop] HCSE&CS
Alfred Musarurwa Abertay University, Karen Renaud Abertay University, Tim Shuermann TU Darmstadt
03:02
12m
Talk
Designing a Serious Game: Teaching Developers to Embed Privacy into Software SystemsWorkshop
[Workshop] HCSE&CS
Nalin Asanka Gamagedara Arachchilage La Trobe University, Australia, Mumtaz Abdulhameed Technovation Consulting & Training PVT
03:14
12m
Talk
Vulnerability Discovery Strategies Used in Software ProjectsWorkshop
[Workshop] HCSE&CS
Farzana Ahamed Bhuiyan Tennessee Tech University, Akond Rahman Tennessee Tech University, Patrick Morrison IBM
03:26
12m
Talk
An Informed Consent Model for Handling the Privacy Paradox in Smart BuildingsWorkshop
[Workshop] HCSE&CS
Chehara Pathmabandu Monash University, Mohan Baruwal Chhetri Data61 CSIRO Australia, John Grundy Monash University, Australia, A: Zubair Baig Deakin University
03:38
12m
Talk
Characterizing Co-located Insecure Coding Patterns in Infrastructure as Code ScriptsWorkshop
[Workshop] HCSE&CS
Farzana Ahamed Bhuiyan Tennessee Tech University, Akond Rahman Tennessee Tech University
04:30 - 05:50
Session 2 Paper Presentation[Workshop] HCSE&CS at Kangaroo
Chair(s): Thuong Hoang School of Information Technology, Deakin University
04:30
16m
Talk
Exploring the Requirements of Pandemic Awareness Systems: A Case Study of COVID-19 Using Twitter, Reddit, and Google TrendsWorkshop
[Workshop] HCSE&CS
Esmaeil Shakeri University of Calgary, Behrouz Far University of Calgary
04:46
16m
Talk
mHealth4U: Designing for Health and Wellbeing Self-ManagemenWorkshop
[Workshop] HCSE&CS
Hamza Sellak CSIRO's Data61, Marthie Grobler CSIRO's Data61
05:02
16m
Talk
Reducing Delay Penalty of Multiple Concurrent Software Projects based on Overtime PlanningWorkshop
[Workshop] HCSE&CS
wei zhang East China University of Technology, Yun Yang Swinburne University of Technology, Xiao Liu School of Information Technology, Deakin University
05:18
16m
Talk
Towards Better Understanding of Agile Teams through Behavior Change ModelsWorkshop
[Workshop] HCSE&CS
Kashumi Madampe Monash University, Australia, Rashina Hoda Monash University, John Grundy Monash University, Australia
Pre-print
05:34
16m
Talk
A Vision to Mitigate Bioinformatics Software Development ChallengesWorkshop
[Workshop] HCSE&CS
Akond Rahman Tennessee Tech University, Farzana Ahamed Bhuiyan Tennessee Tech University
06:00 - 07:15
Panel Session & Closing[Workshop] HCSE&CS at Kangaroo
Chair(s): Xiao Liu School of Information Technology, Deakin University
06:00
75m
Other
Panel Session: Human-centric software engineering, past, present and futureWorkshop
[Workshop] HCSE&CS
Rashina Hoda Monash University, Chetan Arora School of Information Technology, Deakin University
08:00 - 11:20
International Workshop on Advances in Mobile App Analysis[Workshop] A-Mobile at Koala
08:00
10m
Day opening
A-Mobile - Welcome and OpeningWorkshop
[Workshop] A-Mobile
O: Xiao Chen Monash University, O: Guozhu Meng Institute of Information Engineering, Chinese Academy of Sciences, Jacques Klein University of Luxembourg, Luxembourg, Sam Malek University of California at Irvine, USA
08:10
60m
Keynote
Mobile App Testing and Analysis: Getting There in Industrial CasesWorkshop
[Workshop] A-Mobile
Tao Xie Peking University, USA
09:10
30m
Talk
Invited Talk: Smart Development of Mobile Apps with Deep Learning Workshop
[Workshop] A-Mobile
Chunyang Chen Monash University, Australia
09:40
20m
Talk
A Framework for the Automatic Execution of Measurement-based Experiments on Android DevicesWorkshop
[Workshop] A-Mobile
Ivano Malavolta Vrije Universiteit Amsterdam, Eoin Grua Vrije Universiteit Amsterdam, Cheng-Yu Lam , Randy de Vries , Franky Tan , Eric Zielinski , Michael Peters , Luuk Kaandorp
Pre-print
10:00
20m
Talk
Ecosystem Evolution Analysis and Trend Prediction of Projects in Android Application FrameworkWorkshop
[Workshop] A-Mobile
Zhehao Fan Tianjin University, Zhiyong Feng Tianjin University, Xiao Xue , Shizhan Chen , Hongyue Wu
10:20
20m
Talk
KnowledgeZooClient: Constructing Knowledge Graph for AndroidWorkshop
[Workshop] A-Mobile
Li Li Monash University, Australia, Jun Gao University of Luxembourg, Luxembourg, Pingfan Kong Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Haoyu Wang Beijing University of Posts and Telecommunications, China, Mengyu Huang Monash University, Yuan-Fang Li Monash University, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg
10:40
20m
Talk
Market-level Analysis of Government-backed COVID-19 Contact Tracing AppsWorkshop
[Workshop] A-Mobile
Huiyi Wang Beijing University of Posts and Telecommunications, Liu Wang Beijing University of Posts and Telecommunications, Haoyu Wang Beijing University of Posts and Telecommunications, China
11:00
20m
Talk
Enforcing Green Code with Android LintWorkshop
[Workshop] A-Mobile
Olivier Le Goaër LIUPPA, Université de Pau et des Pays de l'Adour
DOI Pre-print Media Attached
09:00 - 10:15
Opening & KeynoteDoctoral Symposium at Kangaroo
Chair(s): Massimiliano Di Penta University of Sannio, Italy, Jean-Guy Schneider Deakin University
09:00
10m
Day opening
Opening of Doctoral Symposium
Doctoral Symposium
Massimiliano Di Penta University of Sannio, Italy, Jean-Guy Schneider Deakin University
09:10
65m
Keynote
Taming your PhD
Doctoral Symposium
Oscar Nierstrasz University of Bern, Switzerland
10:15 - 11:00
DS: Presentation 1Doctoral Symposium at Kangaroo
Chair(s): Massimiliano Di Penta University of Sannio, Italy
10:15
22m
Talk
Towards Robust Production Machine Learning Systems: Managing Dataset Shift
Doctoral Symposium
Hala Abdelkader Applied Artificial Intelligence Institute, Deakin University
10:37
22m
Talk
Using Defect Prediction to Improve the Bug Detection Capability of Search-Based Software Testing
Doctoral Symposium
Anjana Perera Monash University
DOI Pre-print
16:00 - 16:40
DS: Presentation 2Doctoral Symposium at Kangaroo
Chair(s): Jean-Guy Schneider Deakin University
16:00
20m
Talk
Towards transparency-encouraging partial software disclosure to enable trust in data usage
Doctoral Symposium
Christian Schindler Institute for Enterprise Systems, University of Mannheim
16:20
20m
Talk
SAT-Based Arithmetic Support for Alloy
Doctoral Symposium
Cesar Cornejo University of Rio Cuarto and CONICET
16:00 - 17:50
Tutorial 2: AccessibilityTutorials at Platypus
16:00
1h50m
Tutorial
Creating Accessible Software Using Experiential Learning Labs
Tutorials
Daniel Krutz Rochester Institute of Technology
16:40 - 17:15
DS: Presentation 3Doctoral Symposium at Kangaroo
Chair(s): Jean-Guy Schneider Deakin University
16:40
17m
Talk
Applying Learning Techniques to Oracle Synthesis
Doctoral Symposium
Facundo Molina University of Río Cuarto
16:57
17m
Talk
Automated generation of client-specific backends utilizing existing microservices and architectural knowledge
Doctoral Symposium
Nils Wieber Institute for Enterprise Systems (InES), University of Mannheim
17:15 - 18:20
Panel & ClossingDoctoral Symposium at Kangaroo
17:15
45m
Panel Discussion
Doctoral Symposium

18:00
10m
Day closing
Closing of ASE 2020 Doctoral Symposium
Doctoral Symposium
Massimiliano Di Penta University of Sannio, Italy, Jean-Guy Schneider Deakin University

Tue 22 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
Opening CeremonyPlenary at Kangaroo
00:00
60m
Day opening
ASE2020 Opening & Awards
Plenary
John Grundy Monash University, David Lo Singapore Management University, Claire Le Goues Carnegie Mellon University
01:10 - 02:10
Keynote - Mahesh KrishnanPlenary at Kangaroo
Chair(s): Claire Le Goues Carnegie Mellon University
01:10
60m
Keynote
Evolution in the automation of CI/CD
Plenary
02:20 - 03:20
Test GenerationResearch Papers / Industry Showcase / Tool Demonstrations at Kangaroo
Chair(s): Xusheng Xiao Case Western Reserve University
02:20
20m
Talk
Legion: Best-First Concolic Testing
Research Papers
Dongge Liu The Univeristy of Melbourne, Gidon Ernst LMU Munich, Toby Murray University of Melbourne, Australia, Benjamin I.P. Rubinstein University of Melbourne
02:40
20m
Talk
The New Approach to IT Testing
Industry Showcase
03:00
10m
Talk
MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation
Tool Demonstrations
Runze Yu Wuhan University, Youzhe Zhang Wuhan University, Jifeng Xuan Wuhan University
02:20 - 03:20
Formal Methods (1)NIER track / Research Papers at Koala
Chair(s): Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto
02:20
20m
Talk
Accelerating All-SAT Computation with Short Blocking Clauses
Research Papers
Yueling Zhang Singapore Management University, Geguang Pu East China Normal University, Jun Sun Singapore Management University
02:40
20m
Talk
A Predictive Analysis for Detecting Deadlock in MPI Programs
Research Papers
Yu Huang Southwestern University of Finance and Economics, Benjamin Ogles Brigham Young University, Eric Mercer Brigham Young University
Pre-print
03:00
10m
Talk
Proving Termination by k-Induction
NIER track
Jianhui Chen Tsinghua University, Fei He Tsinghua University, China
02:20 - 03:20
Maintenance and Evolution (1)Research Papers / Tool Demonstrations at Wombat
Chair(s): Yi Li Nanyang Technological University, Singapore
02:20
20m
Talk
Learning to Handle Exceptions
Research Papers
Jian Zhang Beihang University, Xu Wang Beihang University, Hongyu Zhang University of Newcastle, Australia, Hailong Sun Beihang University, Yanjun Pu Beihang University, Xudong Liu Beihang University
Pre-print
02:40
20m
Talk
BuildFast: History-Aware Build Outcome Prediction for Fast Feedback and Reduced Cost in Continuous Integration
Research Papers
Bihuan Chen Fudan University, China, Linlin Chen Fudan University, Chen Zhang Fudan University, Xin Peng Fudan University, China
03:00
10m
Talk
OSLDetector: Identifying Open-Source Libraries through Binary Analysis
Tool Demonstrations
Dan Zhang Tsinghua University
08:00 - 09:00
Software Analysis (1)Research Papers at Kangaroo
Chair(s): Michael Pradel University of Stuttgart, Germany
08:00
20m
Talk
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Research Papers
Timotej Kapus Imperial College London, UK, Frank Busse Imperial College London, Cristian Cadar Imperial College London, UK
Pre-print Media Attached
08:20
20m
Talk
Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program AnalysisACM Distinguished Paper
Research Papers
Sungho Lee Chungnam National University, Korea, Hyogun Lee KAIST, Sukyoung Ryu KAIST
08:40
20m
Talk
Assessing and Restoring Reproducibility of Jupyter Notebooks
Research Papers
Jiawei Wang , Tzu-yang Kuo The Hong Kong University of Science and Technology, Li Li Monash University, Australia, Andreas Zeller CISPA, Germany
08:00 - 09:00
Maintenance and Evolution (2)Research Papers / Journal-first Papers at Koala
Chair(s): Cuiyun Gao Harbin Institute of Technology
08:00
20m
Talk
M3: Semantic API Migrations
Research Papers
Bruce Collie University of Edinburgh, Philip Ginsbach GitHub Software UK, Jackson Woodruff University of Edinburgh, Ajitha Rajan University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh
Pre-print Media Attached
08:20
20m
Talk
The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel
Research Papers
Nic Volanschi Inria Bordeaux, Julia Lawall Inria
Pre-print
08:40
20m
Talk
Game-theoretic Analysis of Development Practices: Challenges and Opportunities
Journal-first Papers
Carlos Gavidia-Calderon University College London, Federica Sarro University College London, UK, Mark Harman University College London, UK, Earl T. Barr University College London, UK
Link to publication DOI Pre-print Media Attached
08:00 - 09:00
Compiler and Systems TestingNIER track / Research Papers at Wombat
Chair(s): Yanyan Jiang Nanjing University
08:00
20m
Talk
Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data
Research Papers
Diego Clerissi , Giovanni Denaro University of Milano-Bicocca, Italy, Marco Mobilio University of Milano Bicocca, Leonardo Mariani University of Milano Bicocca
08:20
20m
Talk
Enhanced Compiler Bug Isolation via Memoized Search
Research Papers
Junjie Chen Tianjin University, China, Haoyang Ma College of Intelligence and Computing, Tianjin University, Lingming Zhang University of Illinois at Urbana-Champaign
08:40
10m
Talk
Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing
NIER track
Mitchell Olsthoorn Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Annibale Panichella Delft University of Technology
DOI Pre-print Media Attached
08:50
10m
Talk
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour
NIER track
Karine Even-Mendoza Imperial College London, Cristian Cadar Imperial College London, UK, Alastair F. Donaldson Imperial College London
Pre-print Media Attached
09:10 - 10:10
Formal Methods (2)Research Papers at Kangaroo
Chair(s): Eunsuk Kang Carnegie Mellon University, USA
09:10
20m
Talk
Verified from Scratch: Program Analysis for Learners' Programs
Research Papers
Andreas Stahlbauer University of Passau, Christoph Frädrich University of Passau, Gordon Fraser University of Passau
09:30
20m
Talk
Interval Change-Point Detection for Runtime Probabilistic Model Checking
Research Papers
Xingyu Zhao Heriot-Watt University, Radu Calinescu University of York, UK, Simos Gerasimou University of York, UK, Valentin Robu Heriot-Watt University, David Flynn Heriot-Watt University
Pre-print
09:50
20m
Talk
UnchartIt: An Interactive Framework for Program Recovery from Charts
Research Papers
Daniel Ramos INESC-ID/IST, Universidade de Lisboa, Jorge Pereira INESC-ID/IST, Universidade de Lisboa, Ines Lynce INESC-ID/IST, Universidade de Lisboa, Vasco Manquinho INESC-ID/IST, Universidade de Lisboa, Ruben Martins Carnegie Mellon University
09:10 - 10:10
Mobile App (1)Tool Demonstrations / Research Papers at Koala
Chair(s): Jacques Klein University of Luxembourg, Luxembourg
09:10
20m
Talk
Demystifying Diehard Android Apps
Research Papers
Hao Zhou The Hong Kong Polytechnic University, Haoyu Wang Beijing University of Posts and Telecommunications, China, Yajin Zhou Zhejiang University, Xiapu Luo The Hong Kong Polytechnic University, Yutian Tang ShanghaiTech University, Lei Xue The Hong Kong Polytechnic University, Ting Wang Penn State University
09:30
20m
Talk
UI Obfuscation and Its Effects on Automated UI Analysis for Android Apps
Research Papers
Hao Zhou The Hong Kong Polytechnic University, Ting Chen University of Electronic Science and Technology of China, Haoyu Wang Beijing University of Posts and Telecommunications, China, Le Yu The Hong Kong Polytechnic University, Xiapu Luo The Hong Kong Polytechnic University, Ting Wang Penn State University, Wei Zhang Nanjing University of Posts and Telecommunications
09:50
10m
Talk
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades
Tool Demonstrations
Marco Mobilio University of Milano Bicocca, Oliviero Riganelli University of Milano-Bicocca, Italy, Daniela Micucci University of Milano-Bicocca, Italy, Leonardo Mariani University of Milano Bicocca
09:10 - 10:10
Search-Based TestingJournal-first Papers / Tool Demonstrations / Research Papers at Wombat
Chair(s): Maria Kechagia University College London
09:10
20m
Talk
Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives
Research Papers
Pouria Derakhshanfar Delft University of Technology, Xavier Devroey Delft University of Technology, Andy Zaidman Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Annibale Panichella Delft University of Technology
DOI Pre-print Media Attached
09:30
20m
Talk
Multi-criteria test cases selection for model transformations
Journal-first Papers
Bader Alkhazi Kuwait University, Chaima Abid University of Michigan, Marouane Kessentini University of Michigan, Dorian Leroy JKU Linz, Manuel Wimmer Johannes Kepler University Linz
Link to publication DOI
09:50
10m
Talk
Botsing, a Search-based Crash Reproduction Framework for Java
Tool Demonstrations
Pouria Derakhshanfar Delft University of Technology, Xavier Devroey Delft University of Technology, Annibale Panichella Delft University of Technology, Andy Zaidman Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands
DOI Pre-print Media Attached
10:20 - 11:20
Women in ASESocial/Networking at Kangaroo
Chair(s): Hourieh Khalajzadeh Monash University, Australia
10:20
60m
Social Event
Women in ASEPanel
Social/Networking
Aldeida Aleti Monash University, Muneera Bano School of Information Technology, Deakin University, Didar Zowghi University of Technology Sydney, Jon Whittle CSIRO's Data61 and Monash University
10:20 - 11:20
LBR + DS Poster (1)Late Breaking Results / Doctoral Symposium at Koala
Chair(s): Kevin Lee Deakin University
10:20
5m
Poster
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy
Late Breaking Results
Tianqi Zhang National University of Defense Technology, Yufeng Zhang College of Information Science and Engineering, Hunan University, Zhenbang Chen College of Computer, National University of Defense Technology, Changsha, PR China, Ziqi Shuai National University of Defense Technology, Ji Wang National University of Defense Technology
10:25
5m
Poster
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN
Late Breaking Results
Meixi Liu National University of Defense Technology, Changsha, China, Weijiang Hong National University of Defense Technology, Changsha, China, Weiyu Pan National University of Defense Technology, Changsha, China, Chendong Feng College of Computer, National University of Defense Technology, Changsha, China, Zhenbang Chen College of Computer, National University of Defense Technology, Changsha, PR China, Ji Wang National University of Defense Technology
10:30
5m
Poster
Synthesizing Smart Solving Strategy for Symbolic Execution
Late Breaking Results
Zehua Chen National University of Defense Technology, Zhenbang Chen College of Computer, National University of Defense Technology, Changsha, PR China, Ziqi Shuai National University of Defense Technology, Yufeng Zhang College of Information Science and Engineering, Hunan University, Weiyu Pan National University of Defense Technology, Changsha, China
10:35
5m
Poster
Privacy Assessment of Android Clipboard
Late Breaking Results
Wei (Zach) Wang The University of Adelaide, Ruoxi Sun The University of Adelaide, Jason Minhui Xue The University of Adelaide, Damith C. Ranasinghe The University of Adelaide
DOI
10:40
5m
Poster
The Symptom, Cause and Repair of Workaround
Late Breaking Results
Daohan Song Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University, Li Jia Shanghai Jiao Tong University
10:45
5m
Poster
Edge4Sys: A Device-Edge Collaborative Framework for MEC based Smart Systems
Late Breaking Results
Han Gao School of Computer Science and Technology, Anhui University, Yi Xu School of Computer Science and Technology, Anhui University, Xiao Liu School of Information Technology, Deakin University, Jia Xu School of Computer Science and Technology, Anhui University, Tianxiang Chen School of Computer Science and Technology, Anhui University, Bowen Zhou School of Computer Science and Technology, Anhui University, Rui Li School of Information Technology, Deakin University, Xuejun Li School of Computer Science and Technology, Anhui University
10:50
5m
Poster
Towards Immersive Comprehension of Software Systems Using Augmented Reality - An Empirical Evaluation
Late Breaking Results
Rohit Mehra Accenture Labs, India, Vibhu Saujanya Sharma Accenture Labs, Bangalore, India, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture, Adam P. Burden Accenture
10:55
5m
Poster
Towards Programming and Verification for Activity-Oriented Smart Home Systems
Late Breaking Results
Xuansong Li School of Computer Science and Engineering, Nanjing University of Science and Technology, Wei Song School of Computer Science and Engineering, Nanjing University of Science and Technology, Xiangyu Zhang Purdue University, USA
11:00
5m
Talk
Towards Robust Production Machine Learning Systems: Managing Dataset Shift
Doctoral Symposium
Hala Abdelkader Applied Artificial Intelligence Institute, Deakin University
11:05
5m
Talk
Using Defect Prediction to Improve the Bug Detection Capability of Search-Based Software Testing
Doctoral Symposium
Anjana Perera Monash University
DOI Pre-print
10:20 - 11:20
Ask Me AnythingSocial/Networking at Wombat
Chair(s): Justyna Petke University College London
10:20
60m
Talk
Ask Me Anything - Max Di PentaAsk Me Anything
Social/Networking
Massimiliano Di Penta University of Sannio, Italy
16:00 - 17:00
Synthesis and RepairResearch Papers at Kangaroo
Chair(s): Shahar Maoz Tel Aviv University, Israel
16:00
20m
Talk
Synthesis of Infinite-State Systems with Random Behavior
Research Papers
Andreas Katis University of Minnesota, Grigory Fedyukovich Florida State University, Jeffrey Chen University of Minnesota, David Greve Collins Aerospace, Sanjai Rayadurgam University of Minnesota, Michael W. Whalen University of Minnesota
16:20
20m
Talk
Demystifying Loops in Smart Contracts
Research Papers
Benjamin Mariano University of Texas at Austin, Yanju Chen University of California, Santa Barbara, Yu Feng University of California, Santa Barbara, Shuvendu Lahiri Microsoft Research, Isil Dillig University of Texas at Austin, USA
16:40
20m
Talk
Patching as Translation: The Data and the Metaphor
Research Papers
Yangruibo Ding Columbia University, Baishakhi Ray Columbia University, USA, Prem Devanbu University of California, Vincent J. Hellendoorn Carnegie Mellon University
DOI Pre-print
16:00 - 17:00
Maintenance and Evolution (3)Research Papers / Tool Demonstrations at Koala
Chair(s): Yongjie Zheng California State University San Marcos
16:00
20m
Talk
Subdomain-Based Generality-Aware Debloating
Research Papers
Qi Xin Georgia Institute of Technology, Myeongsoo Kim Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology, USA, Alessandro Orso Georgia Tech
16:20
20m
Talk
Revisiting the relationship between fault detection, test adequacy criteria, and test set size.
Research Papers
Yiqun Chen University of Washington, Rahul Gopinath CISPA Helmholtz Center for Information Security, Anita Tadakamalla George Mason University, USA, Michael D. Ernst University of Washington, USA, Reid Holmes University of British Columbia, Gordon Fraser University of Passau, Paul Ammann George Mason University, USA, René Just University of Washington, USA
16:40
10m
Talk
WASim: Understanding WebAssembly Applications through Classification
Tool Demonstrations
Alan Romano University at Buffalo, SUNY, Weihang Wang University at Buffalo, SUNY
16:50
10m
Talk
Sosed: a tool for finding similar software projects
Tool Demonstrations
Egor Bogomolov JetBrains Research, Yaroslav Golubev JetBrains Research, Artyom Lobanov JetBrains Research, Vladimir Kovalenko JetBrains Research, JetBrains N.V., Timofey Bryksin JetBrains Research, Saint Petersburg State University
17:10 - 18:10
Software Analysis (2) Research Papers / Industry Showcase at Kangaroo
Chair(s): Saba Alimadadi Simon Fraser University
17:10
20m
Talk
Representing and Reasoning about Dynamic Code
Research Papers
Jesse Bartels University of Arizona, Jon Stephens University of Texas at Austin, Saumya Debray University of Arizona
17:30
20m
Talk
ER Catcher: A Static Analysis Framework for Accurate and Scalable Event-Race Detection in Android
Research Papers
Navid Salehnamadi University of California, Irvine, Abdulaziz Alshayban University of California, Irvine, Iftekhar Ahmed University of California at Irvine, USA, Sam Malek University of California at Irvine, USA
17:50
20m
Talk
Automatic Generation of IFTTT Mashup Infrastructures
Industry Showcase
Lei Liu Fujitsu Laboratories of America, Inc., Mehdi Bahrami Fujitsu Laboratories of America, Inc., Wei-Peng Chen Fujitsu Laboratories of America, Inc.
17:10 - 18:10
AI for Software Engineering (1)NIER track / Research Papers at Koala
Chair(s): Tingting Yu University of Kentucky
17:10
20m
Talk
DeepTC-Enhancer: Improving the Readability of Automatically Generated Tests
Research Papers
Devjeet Roy Washington State University, Ziyi Zhang Washington State University, Maggie Ma Washington State University, Venera Arnaoudova Washington State University, Annibale Panichella Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences, Danielle Gonzalez Rochester Institute of Technology, USA, Mehdi Mirakhorli Rochester Institute of Technology
17:30
20m
Talk
Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems
Research Papers
Mohammad Jafar Mashhadi University of Calgary, Hadi Hemmati University of Calgary
Pre-print
17:50
10m
Talk
On Benign Features in Malware Detection
NIER track
Michael Cao The University of British Columbia, Sahar Badihi University of British Columbia, Canada, Khaled Ahmed The University of British Columbia, Peiyu Xiong The University of British Columbia, Julia Rubin University of British Columbia, Canada
18:20 - 19:20
Ask Me AnythingSocial/Networking at Kangaroo
Chair(s): Laura Moreno Colorado State University
18:20
60m
Social Event
Ask Me Anything - Miryung KimAsk Me Anything
Social/Networking
Miryung Kim University of California at Los Angeles, USA
18:20 - 19:20
LBR + DS Poster (2)Doctoral Symposium / Late Breaking Results at Koala
Chair(s): Kevin Lee Deakin University
18:20
5m
Poster
Managing App Testing Device Clouds: Issues and Opportunities
Late Breaking Results
Mattia Fazzini University of Minnesota, Alessandro Orso Georgia Tech
18:25
5m
Talk
Towards transparency-encouraging partial software disclosure to enable trust in data usage
Doctoral Symposium
Christian Schindler Institute for Enterprise Systems, University of Mannheim
18:30
5m
Talk
Automated generation of client-specific backends utilizing existing microservices and architectural knowledge
Doctoral Symposium
Nils Wieber Institute for Enterprise Systems (InES), University of Mannheim
18:35
5m
Talk
SAT-Based Arithmetic Support for Alloy
Doctoral Symposium
Cesar Cornejo University of Rio Cuarto and CONICET
18:40
5m
Talk
Applying Learning Techniques to Oracle Synthesis
Doctoral Symposium
Facundo Molina University of Río Cuarto

Wed 23 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
Software Engineering for AI (1)NIER track / Research Papers at Kangaroo
Chair(s): Song Wang York University, Canada
00:00
20m
Talk
Multiple-Boundary Clustering and Prioritization to Promote Neural Network Retraining
Research Papers
Weijun Shen Nanjing University, Yanhui Li Department of Computer Science and Technology, Nanjing University, Lin Chen Nanjing University, YuanLei Han Nanjing University, Yuming Zhou Nanjing University, Baowen Xu State Key Laboratory for Novel Software Technology, Nanjing University
00:20
20m
Talk
MARBLE: Model-Based Robustness Analysis of Stateful Deep Learning Systems
Research Papers
Xiaoning Du Nanyang Technological University, Yi Li Nanyang Technological University, Singapore, Xiaofei Xie Nanyang Technological University, Lei Ma Kyushu University, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University
00:40
10m
Talk
Making Fair ML Software using Trustworthy Explanation
NIER track
Joymallya Chakraborty North Carolina State University, USA, Kewen Peng North Carolina State University, Tim Menzies North Carolina State University, USA
Link to publication DOI Pre-print Media Attached
00:00 - 01:00
AI for Software Engineering (2)Research Papers at Koala
Chair(s): Tse-Hsun (Peter) Chen Concordia University
00:00
20m
Talk
A Deep Multitask Learning Approach for Requirements Discovery and Annotation from Open Forum
Research Papers
Mingyang Li ISCAS, Lin Shi ISCAS, Ye Yang Stevens institute of technology, Qing Wang Institute of Software, Chinese Academy of Sciences
00:20
20m
Talk
Retrieve and Refine: Exemplar-based Neural Comment Generation
Research Papers
Bolin Wei Peking University, Yongmin Li Peking University, Ge Li Peking University, Xin Xia Monash University, Zhi Jin Peking University
Pre-print
00:40
20m
Talk
Where Shall We Log? Studying and Suggesting Logging Locations in Code Blocks
Research Papers
Zhenhao Li Concordia University, Tse-Hsun (Peter) Chen Concordia University, Weiyi Shang Concordia University
00:00 - 01:00
Incidents and Bug ReportsResearch Papers at Platypus
Chair(s): Yepang Liu Southern University of Science and Technology
00:00
20m
Talk
How Incidental are the Incidents? Characterizing and Prioritizing Incidents for Large-Scale Online Service SystemsExperience
Research Papers
Junjie Chen Tianjin University, China, Shu Zhang Microsoft Research, Beijing, Xiaoting He Microsoft, Qingwei Lin Microsoft Research, China, Hongyu Zhang University of Newcastle, Australia, Dan Hao Peking University, China, Yu Kang Microsoft Research, China, Feng Gao Microsoft, China, Zhangwei Xu Microsoft, China, Yingnong Dang Microsoft, USA, Dongmei Zhang Microsoft Research, China
00:20
20m
Talk
Stay Professional and Efficient: Automatically Generate Titles for Your Bug Reports
Research Papers
Songqiang Chen School of Computer Science, Wuhan University, Xiaoyuan Xie School of Computer Science, Wuhan University, China, Bangguo Yin School of Computer Science, Wuhan University, Yuanxiang Ji School of Computer Science, Wuhan University, Lin Chen Nanjing University, Baowen Xu State Key Laboratory for Novel Software Technology, Nanjing University
00:40
20m
Talk
Owl Eyes: Spotting UI Display Issues via Visual Understanding
Research Papers
Zhe Liu Laboratory for Internet Software Technologies, Institute of Software Chinese Academy of Sciences, University of Chinese Academy of Sciences, Chunyang Chen Monash University, Australia, Junjie Wang Institute of Software, Chinese Academy of Sciences, Yuekai Huang Institute of Software, Chinese Academy of Sciences, Jun Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software, Chinese Academy of Sciences
00:00 - 01:00
Testing (1)Research Papers / Tool Demonstrations at Wombat
Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign, USA
00:00
20m
Talk
MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests
Research Papers
Hengcheng Zhu Southern University of Science and Technology, Lili Wei The Hong Kong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, China, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology, China, Qin Sheng WeBank Co Ltd, Cui Zhou WeBank Co Ltd
DOI Pre-print
00:20
20m
Talk
Defect Prediction Guided Search-Based Software Testing
Research Papers
Anjana Perera Monash University, Aldeida Aleti Monash University, Marcel Böhme Monash University, Australia, Burak Turhan Monash University
DOI Pre-print
00:40
10m
Talk
STIFA: Crowdsourced Mobile Testing Report Selection Based on Text and Image Fusion Analysis
Tool Demonstrations
Zhenfei Cao Nanjing University, Xu Wang Nanjing University, Shengcheng Yu Nanjing University, China, Yexiao Yun Nanjing University, Chunrong Fang Nanjing University, China
01:10 - 02:10
Software Engineering for AI (2) Research Papers / Industry Showcase at Kangaroo
Chair(s): Aldeida Aleti Monash University
01:10
20m
Talk
Audee: Automated Testing for Deep Learning Frameworks
Research Papers
Qianyu Guo College of Intelligence and Computing, Tianjin University, Xiaofei Xie Nanyang Technological University, Yi Li Nanyang Technological University, Singapore, Xiaoyu Zhang Xi'an Jiaotong University, Yang Liu Nanyang Technological University, Singapore, Li Xiaohong TianJin University, Chao Shen Xi'an Jiaotong University
01:30
20m
Talk
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction
Research Papers
Guoliang Dong Computer College of Zhejiang University, Jingyi Wang Zhejiang University, Jun Sun Singapore Management University, Yang Zhang Zhejiang University, Xinyu Wang Zhejiang University, Dai Ting Huawei International Pte Ltd, Jin Song Dong National University of Singapore, Xingen Wang Zhejiang University
01:50
20m
Talk
Towards Building Robust DNN Applications: An Industrial Case Study of Evolutionary Data Augmentation
Industry Showcase
Haruki Yokoyama Fujitsu Laboratories Ltd., Satoshi Onoue Fujitsu Ltd., Shinji Kikuchi Fujitsu Laboratories Ltd.
01:10 - 02:10
Recommender Systems for Software EngineeringResearch Papers / Tool Demonstrations at Koala
Chair(s): Shaowei Wang Mississippi State University
01:10
20m
Talk
API-Misuse Detection Driven by Fine-Grained API-Constraint Knowledge Graph
Research Papers
Xiaoxue Ren Zhejiang University, Xinyuan Ye Australian National University, Zhenchang Xing Australian National University, Australia, Xin Xia Monash University, Xiwei Xu Data61 at CSIRO, Australia, Liming Zhu Data61 at CSIRO, Australia / UNSW, Australia, Jianling Sun Zhejiang University
Pre-print
01:30
20m
Talk
Multi-task Learning based Pre-trained Language Model for Code Completion
Research Papers
Fang Liu Peking University, Ge Li Peking University, Yunfei Zhao Peking University, Zhi Jin Peking University
01:50
10m
Talk
HomoTR: Online Test Recommendation System Based on Homologous Code Matching
Tool Demonstrations
Chenqian Zhu Nanjing University, Weisong Sun State Key Laboratory for Novel Software Technology, Nanjing University, Qin LIU , Yangyang Yuan Nanjing University, Chunrong Fang Nanjing University, China, Yong Huang State Key Laboratory for Novel Software Technology, Nanjing University
01:10 - 02:10
Software Security and Trust (1) NIER track / Tool Demonstrations / Research Papers at Platypus
Chair(s): Christoph Csallner University of Texas at Arlington
01:10
20m
Talk
Continuous ComplianceExperience
Research Papers
Martin Kellogg University of Washington, Seattle, Martin Schäf Amazon Web Services, Serdar Tasiran Amazon Web Services, Michael D. Ernst University of Washington, USA
01:30
20m
Talk
SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementions
Research Papers
Lili Quan College of Intelligence and Computing,Tianjin University, Qianyu Guo College of Intelligence and Computing, Tianjin University, Hongxu Chen Research Associate, xiexiaofei , Li Xiaohong TianJin University, Yang Liu Nanyang Technological University, Singapore, Jing Hu Tianjin Key Laboratory of Advanced Networking (TANK), College of Intelligence and Computing,Tianjin University
01:50
10m
Talk
A Hybrid Analysis to Detect Java Serialisation Vulnerabilities
NIER track
Shawn Rasheed Massey University, Jens Dietrich Victoria University of Wellington
02:00
10m
Talk
EXPRESS: An Energy-Efficient and Secure Framework for Mobile Edge Computing and Blockchain based Smart Systems
Tool Demonstrations
Jia Xu School of Computer Science and Technology, Anhui University, Xiao Liu School of Information Technology, Deakin University, Xuejun Li School of Computer Science and Technology, Anhui University, Lei Zhang Antwork Robotics Co., Ltm., Hangzhou, China, Yun Yang Swinburne University of Technology
01:10 - 02:10
Testing of Emerging ApplicationsResearch Papers / Tool Demonstrations at Wombat
Chair(s): Yuan Tian Queens University, Kingston, Canada
01:10
20m
Talk
CoFI: Consistency-Guided Fault Injection for Cloud Systems
Research Papers
Haicheng Chen The Ohio State University, USA, Wensheng Dou Institute of Software, Chinese Academy of Sciences, Dong Wang Institute of software, Chinese academy of sciences, Feng Qin Ohio State University, USA
01:30
20m
Talk
ChemTest: An Automated Software Testing Framework for an Emerging ParadigmACM Distinguished Paper
Research Papers
Michael C. Gerten Iowa State University, James I. Lathrop Iowa State University, Myra Cohen Iowa State University, Titus H. Klinge Drake University
Pre-print
01:50
10m
Talk
ImpAPTr: A Tool For Identifying The Clues To Online Service Anomalies
Tool Demonstrations
hao wang , Guoping Rong Nanjing University, Yangchen Xu Nanjing University, Yong You Meituan-Dianping Group
02:20 - 03:20
How To Get a Job in Industry or AcademiaSocial/Networking at Kangaroo
02:20
60m
Social Event
How To Get a Job in Industry or AcademiaNetworking Event
Social/Networking
Steve Versteeg Secureworks, Muneera Bano School of Information Technology, Deakin University
02:20 - 03:20
SRC Poster (1)Student Research Competition at Koala
Chair(s): Chunyang Chen Monash University
02:20
5m
Poster
Dynamic Algorithm Selection for SMT
Student Research Competition
Nikhil Pimpalkhare University of California, Berkeley
02:25
5m
Poster
CrossPriv: User Privacy Preservation Model for Cross-Silo Federated Software
Student Research Competition
Harshita Diddee Guru Gobind Singh Indraprastha University, Bhrigu Kansra Guru Gobind Singh Indraprastha University
02:30
5m
Poster
Scalability and Precision Improvement of Neural Program Synthesis
Student Research Competition
Yating Zhang National University of Defense Technology
02:35
5m
Poster
The Classification and Propagation of Program CommentsSecond place SRC - Undergraduate
Student Research Competition
Xiangzhe Xu Nanjing University
02:40
5m
Poster
Source Code and Binary Level Vulnerability Detection and Hot PatchingThird place SRC - Graduate
Student Research Competition
Zhengzi Xu Nanyang Technological University
02:45
5m
Poster
FLUX: From SQL to GQL query translation tool
Student Research Competition
Chandan Sharma Auckland University of Technology
02:50
5m
Poster
Discovering UI Display Issues with Visual UnderstandingWinner SRC - Graduate
Student Research Competition
Zhe Liu Laboratory for Internet Software Technologies, Institute of Software Chinese Academy of Sciences, University of Chinese Academy of Sciences
02:20 - 03:20
Tool Demo Showcase (1)Tool Demonstrations at Wombat
Chair(s): Yanyan Jiang Nanjing University
02:20
5m
Talk
JITBot: An Explainable Just-In-Time Defect Prediction Bot
Tool Demonstrations
Chaiyakarn Khanan Mahidol University, Worawit Luewichana Mahidol University, Krissakorn Pruktharathikoon Mahidol University, Jirayus Jiarpakdee Monash University, Australia, Chakkrit Tantithamthavorn Monash University, Australia, Morakot Choetkiertikul Mahidol University, Thailand, Chaiyong Rakhitwetsagul Mahidol University, Thailand, Thanwadee Sunetnanta Mahidol University
02:25
5m
Talk
OSLDetector: Identifying Open-Source Libraries through Binary Analysis
Tool Demonstrations
Dan Zhang Tsinghua University
02:30
5m
Talk
AirMochi – A Tool for Remotely Controlling iOS Devices
Tool Demonstrations
Nikola Lukic University of Southern California, Saghar Talebipour University of Southern California, Nenad Medvidović University of Southern California, USA
02:35
5m
Talk
Edge4Real: A Cost-Effective Edge Computing based Human Behaviour Recognition System for Human-Centric Software Engineering
Tool Demonstrations
DI SHAO School of Information Technology, Deakin University, Xiao Liu School of Information Technology, Deakin University, Ben Cheng School of Information Technology, Deakin University, Owen Wang School of Information Technology, Deakin University, Thuong Hoang School of Information Technology, Deakin University
02:40
5m
Talk
HomoTR: Online Test Recommendation System Based on Homologous Code Matching
Tool Demonstrations
Chenqian Zhu Nanjing University, Weisong Sun State Key Laboratory for Novel Software Technology, Nanjing University, Qin LIU , Yangyang Yuan Nanjing University, Chunrong Fang Nanjing University, China, Yong Huang State Key Laboratory for Novel Software Technology, Nanjing University
02:45
5m
Talk
WASim: Understanding WebAssembly Applications through Classification
Tool Demonstrations
Alan Romano University at Buffalo, SUNY, Weihang Wang University at Buffalo, SUNY
02:50
30m
Live Q&A
Q&A or Discussion
Tool Demonstrations

08:00 - 09:00
Keynote - Marta KwiatkowskaPlenary at Kangaroo
Chair(s): John Grundy Monash University, Australia
08:00
60m
Keynote
Safety and Robustness for Deep Learning with Provable Guarantees
Plenary
Marta Kwiatkowska University of Oxford
09:10 - 10:10
SynthesisResearch Papers at Kangaroo
Chair(s): Domenico Bianculli University of Luxembourg
09:10
20m
Talk
Just-In-Time Reactive Synthesis
Research Papers
Shahar Maoz Tel Aviv University, Israel, Ilia Shevrin Tel Aviv University
09:30
20m
Talk
JISET: JavaScript IR-based Semantics Extraction Toolchain
Research Papers
Jihyeok Park KAIST, South Korea, Jihee Park KAIST, Seungmin An KAIST, Sukyoung Ryu KAIST
09:50
20m
Talk
FlashRegex: Deducing Anti-ReDoS Regexes from Examples
Research Papers
Yeting Li Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhiwu Xu Shenzhen University, Jialun Cao Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Haiming Chen Institute of Software, Chinese Academy of Sciences, Tingjian Ge University of Massachusetts, Lowell, Shing-Chi Cheung Hong Kong University of Science and Technology, China, Haoren Zhao Shaanxi Normal University, Xi'an, China
09:10 - 10:10
Configuration Management (1)Research Papers at Koala
Chair(s): Carmine Vassallo University of Zurich, Switzerland
09:10
20m
Talk
Automated Implementation of Windows-related Security-Configuration Guides
Research Papers
Patrick Stöckle Technical University of Munich, Bernd Grobauer Siemens AG, Alexander Pretschner Technical University of Munich
Link to publication DOI Pre-print
09:30
20m
Talk
Identifying Software Performance Changes Across Variants and Versions
Research Papers
Stefan Mühlbauer Leipzig University, Sven Apel Saarland University, Germany, Norbert Siegmund Leipzig University
DOI Pre-print
09:50
20m
Talk
CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs
Research Papers
Haochen He National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, China, Erci Xu National University of Defense Technology, Tingting Yu University of Kentucky, Yue Yu College of Computer, National University of Defense Technology, Changsha 410073, China, Ji Wang National University of Defense Technology, Xiangke Liao National University of Defense Technology, China
DOI Pre-print
09:10 - 10:10
AI for Software Engineering (3)Research Papers at Wombat
Chair(s): Artur Andrzejak Heidelberg University
09:10
20m
Talk
Automatic Extraction of Cause-Effect-Relations from Requirements Artifacts
Research Papers
Julian Frattini Blekinge Institute of Technology, Maximilian Junker Technische Universität Muenchen, Michael Unterkalmsteiner Blekinge Institute of Technology, Daniel Mendez Blekinge Institute of Technology
09:30
20m
Talk
BiLO-CPDP: Bi-Level Programming for Automated Model Discovery in Cross-Project Defect Prediction
Research Papers
Ke Li University of Exeter, Zilin Xiang University of Electronic Science and Technology of China, Tao Chen Loughborough University, Kay Chen Tan City University of Hong Kong
Pre-print
09:50
20m
Talk
Automating Just-In-Time Comment UpdatingACM Distinguished Paper
Research Papers
Zhongxin Liu Zhejiang University, Xin Xia Monash University, Meng Yan Chongqing University, Shanping Li Zhejiang University
Pre-print
10:20 - 11:20
PhD AdviceSocial/Networking at Kangaroo
Chair(s): Humphrey Obie Monash University, Zhenchang Xing Australian National University, Australia
10:20
60m
Social Event
PhD AdvicePanel
Social/Networking
Zhenchang Xing Australian National University, Australia, Humphrey Obie Monash University, Eunjong Choi Kyoto Institute of Technology, Lisa Nguyen Quang Do Google, Maleknaz Nayebi Polytechnique Montréal
10:20 - 11:20
SRC Poster (2)Student Research Competition at Koala
Chair(s): Hourieh Khalajzadeh Monash University, Australia
10:20
5m
Poster
When Deep Learning Meets Smart Contracts
Student Research Competition
Zhipeng Gao Monash University
10:25
5m
Poster
Formal Verification of Masking Countermeasures for Arithmetic Programs
Student Research Competition
Pengfei Gao ShanghaiTech University
10:30
5m
Poster
Finding Ethereum Smart Contracts Security Issues by Comparing History Versions
Student Research Competition
Jiachi Chen Monash University
10:35
5m
Poster
A Unified Framework to Learn Program Semantics with Graph Neural Networks
Student Research Competition
Shangqing Liu Nanyang Technological University
10:40
5m
Poster
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program
Student Research Competition
Haining Feng National University of Defense Technology
10:45
5m
Poster
Anti-patterns for Java Automated Program Repair ToolsWinner SRC - Undergraduate
Student Research Competition
Yi Wu Southern University of Science and Technology
10:50
5m
Poster
A Machine Learning based Approach to Autogenerate Diagnostic Models for CNC machinesSecond place SRC - Graduate
Student Research Competition
Kamil Masalimov Ufa State Aviation Technical University
10:55
5m
Poster
Identifying Mutation Subsumption RelationsThird place SRC - Undergraduate
Student Research Competition
Beatriz Souza Federal University of Campina Grande
10:20 - 11:20
Tool Demo Showcase (2)Tool Demonstrations at Wombat
Chair(s): Junjie Chen Tianjin University
10:20
5m
Talk
MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation
Tool Demonstrations
Runze Yu Wuhan University, Youzhe Zhang Wuhan University, Jifeng Xuan Wuhan University
10:25
5m
Talk
STIFA: Crowdsourced Mobile Testing Report Selection Based on Text and Image Fusion Analysis
Tool Demonstrations
Zhenfei Cao Nanjing University, Xu Wang Nanjing University, Shengcheng Yu Nanjing University, China, Yexiao Yun Nanjing University, Chunrong Fang Nanjing University, China
10:30
5m
Talk
ImpAPTr: A Tool For Identifying The Clues To Online Service Anomalies
Tool Demonstrations
hao wang , Guoping Rong Nanjing University, Yangchen Xu Nanjing University, Yong You Meituan-Dianping Group
10:35
5m
Talk
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects
Tool Demonstrations
Omar Javed Università della Svizzera italiana, Joshua Heneage Dawes University of Manchester and CERN, Marta Han University of Zagreb and CERN, Giovanni Franzoni CERN, Andreas Pfeiffer CERN, Giles Reger University of Manchester, Walter Binder University of Lugano, Switzerland
10:40
5m
Talk
Botsing, a Search-based Crash Reproduction Framework for Java
Tool Demonstrations
Pouria Derakhshanfar Delft University of Technology, Xavier Devroey Delft University of Technology, Annibale Panichella Delft University of Technology, Andy Zaidman Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands
DOI Pre-print Media Attached
10:45
5m
Talk
Speeding up GUI Testing by On-Device Test Generation
Tool Demonstrations
Nataniel Borges Jr. CISPA Helmholtz Center for Information Security, Jenny Rau CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA, Germany
10:50
30m
Live Q&A
Q&A or Discussion
Tool Demonstrations

16:00 - 17:00
Testing (2)Research Papers at Kangaroo
Chair(s): Alex Groce Northern Arizona University
16:00
20m
Talk
TestMC: Testing Model Counters using Differential and Metamorphic TestingExperience
Research Papers
Muhammad Usman University of Texas at Austin, USA, Wenxi Wang University of Texas at Austin, USA, Sarfraz Khurshid University of Texas at Austin, USA
16:20
20m
Talk
BigFuzz: Efficient Fuzz Testing for Data Analytics using Framework Abstraction
Research Papers
Qian Zhang University of California, Los Angeles, Jiyuan Wang University of California, Los Angeles, Muhammad Ali Gulzar University of California at Los Angeles, USA, Rohan Padhye Carnegie Mellon University, Miryung Kim University of California at Los Angeles, USA
16:40
20m
Talk
Scaling Client-Specific Equivalence Checking via Impact Boundary Search
Research Papers
Nick Feng University of Toronto, Vincent Hui University of Toronto, Federico Mora University of California, Berkeley, Marsha Chechik University of Toronto
16:00 - 17:00
Configuration Management (2)Research Papers at Koala
Chair(s): Arie van Deursen Delft University of Technology, Netherlands
16:00
20m
Talk
Inferring and Applying Def-Use Like Configuration Couplings in Deployment Descriptors
Research Papers
Chengyuan Wen Virginia Tech, Yaxuan Zhang Virginia Tech, Xiao He University of Science and Technology Beijing, China, Na Meng Virginia Tech
16:20
20m
Talk
Mastering Uncertainty in Performance Estimations of Configurable Software Systems
Research Papers
Johannes Dorn Leipzig University, Sven Apel Saarland University, Germany, Norbert Siegmund Leipzig University
DOI Pre-print
16:40
20m
Talk
Team Discussions and Dynamics During DevOps Tool Adoptions in OSS ProjectsACM Distinguished Paper
Research Papers
Likang Yin University of California, Davis, Vladimir Filkov University of California at Davis, USA
17:10 - 18:10
Software Engineering for AI (3)Research Papers / Tool Demonstrations at Kangaroo
Chair(s): Iftekhar Ahmed University of California at Irvine, USA
17:10
20m
Talk
Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of VarianceACM Distinguished Paper
Research Papers
Viet Hung Pham University of Waterloo, Shangshu Qian Purdue University, Jiannan Wang Purdue University, Thibaud Lutellier University of Waterloo, Jonathan Rosenthal Purdue University, Lin Tan Purdue University, USA, Yaoliang Yu University of Waterloo, Nachiappan Nagappan Microsoft Research
Pre-print
17:30
20m
Talk
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Research Papers
Brandon Paulsen University of Southern California, Jingbo Wang University of Southern California, Jiawei Wang University of Southern California, Chao Wang USC
Pre-print
17:50
10m
Talk
RepoSkillMiner: Identifying software expertise from GitHub repositories using Natural Language Processing
Tool Demonstrations
Efstratios Kourtzanidis University Of Macedonia, Alexander Chatzigeorgiou University of Macedonia, Apostolos Ampatzoglou University of Macedonia
Pre-print Media Attached File Attached
17:10 - 18:10
Empirical Software Engineering (1)Research Papers / Journal-first Papers at Koala
Chair(s): Jinqiu Yang Concordia University, Montreal, Canada
17:10
20m
Talk
Code to Comment "Translation": Data, Metrics, Baselining & Evaluation
Research Papers
David Gros University of California, Davis, Hariharan Sezhiyan University of California, Davis, Prem Devanbu University of California, Zhou Yu University of California, Davis
17:30
20m
Talk
Reproducing Performance Bug Reports in Server Applications: The Researchers' Experiences
Journal-first Papers
Xue Han University of Kentucky, Daniel Carroll University of Kentucky, Tingting Yu University of Kentucky
Link to publication DOI
17:50
20m
Talk
Exploring the Architectural Impact of Possible Dependencies in Python software
Research Papers
Wuxia Jin Xi'an Jiaotong University, Yuanfang Cai Drexel University, Rick Kazman University of Hawai‘i at Mānoa, Gang Zhang Emergent Design Inc, Qinghua Zheng Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University
18:20 - 19:20
Early Career Academics/Developers Q&ASocial/Networking at Kangaroo
18:20
60m
Social Event
Early Career Academics/Developers Q&ANetworking Event
Social/Networking
Andrea Stocco Università della Svizzera italiana (USI), Saba Alimadadi Simon Fraser University
18:20 - 19:20
Ask Me AnythingSocial/Networking at Koala
Chair(s): Mattia Fazzini University of Minnesota
18:20
60m
Social Event
Ask Me Anything - Darko MarinovAsk Me Anything
Social/Networking
Darko Marinov University of Illinois at Urbana-Champaign

Thu 24 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
Keynote - Gail C. MurphyPlenary at Kangaroo
Chair(s): David Lo Singapore Management University
00:00
60m
Keynote
Is Software Engineering Research Addressing Software Engineering Problems?
Plenary
Gail Murphy University of British Columbia
01:10 - 02:10
Test EfficiencyResearch Papers / NIER track at Kangaroo
Chair(s): Darko Marinov University of Illinois at Urbana-Champaign
01:10
20m
Research paper
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once
Research Papers
Yufeng Zhang College of Information Science and Engineering, Hunan University, Zhenbang Chen College of Computer, National University of Defense Technology, Changsha, PR China, Ziqi Shuai National University of Defense Technology, Tianqi Zhang National University of Defense Technology, Kenli Li College of Information Science and Engineering, National Supercomputing Center in Changsha, Hunan University, Ji Wang National University of Defense Technology
Pre-print
01:30
20m
Talk
Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling
Research Papers
Chijin Zhou Tsinghua University, Mingzhe Wang School of Software, Tsinghua University, Jie Liang School of Software, Tsinghua University, Zhe Liu Nanjing University of Aeronautics and Astronautics, Yu Jiang
01:50
10m
Talk
SRRTA: Regression Testing Acceleration via State Reuse
NIER track
Jinhao Dong Peking University, Yiling Lou Peking University, China, Dan Hao Peking University, China
01:10 - 02:10
Maintenance and Evolution (4)Research Papers / Tool Demonstrations at Koala
Chair(s): Xin Xia Monash University
01:10
20m
Talk
SCDetector: Software Functional Clone Detection Based on Semantic Tokens Analysis
Research Papers
Yueming Wu Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Shihan Dou Huazhong University of Science and Technology, Siru Yang Huazhong University of Science and Technology, Wei Yang University of Texas at Dallas, USA, Feng Cheng Huazhong University of Science and Technology, Hong Liang Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
01:30
20m
Talk
Generating Concept based API Element Comparison Using a Knowledge Graph
Research Papers
Yang Liu Fudan University, China, Mingwei Liu Fudan University, China, Xin Peng Fudan University, China, Christoph Treude University of Adelaide, Australia, Zhenchang Xing Australian National University, Australia, Xiaoxin Zhang Fudan University, China
01:50
10m
Talk
JITBot: An Explainable Just-In-Time Defect Prediction Bot
Tool Demonstrations
Chaiyakarn Khanan Mahidol University, Worawit Luewichana Mahidol University, Krissakorn Pruktharathikoon Mahidol University, Jirayus Jiarpakdee Monash University, Australia, Chakkrit Tantithamthavorn Monash University, Australia, Morakot Choetkiertikul Mahidol University, Thailand, Chaiyong Rakhitwetsagul Mahidol University, Thailand, Thanwadee Sunetnanta Mahidol University
01:10 - 02:10
Human-computer interactionResearch Papers / Tool Demonstrations at Wombat
Chair(s): Zhiyuan Wan Zhejiang University
01:10
20m
Talk
Identifying and Describing Information Seeking Tasks
Research Papers
Chris Satterfield University of British Columbia, Thomas Fritz University of Zurich, Gail Murphy University of British Columbia
01:30
20m
Talk
Predicting Code Context Models for Software Development Tasks
Research Papers
Zhiyuan Wan Zhejiang University, Gail Murphy University of British Columbia, Xin Xia Monash University
Pre-print
01:50
10m
Talk
Edge4Real: A Cost-Effective Edge Computing based Human Behaviour Recognition System for Human-Centric Software Engineering
Tool Demonstrations
DI SHAO School of Information Technology, Deakin University, Xiao Liu School of Information Technology, Deakin University, Ben Cheng School of Information Technology, Deakin University, Owen Wang School of Information Technology, Deakin University, Thuong Hoang School of Information Technology, Deakin University
02:20 - 03:20
Software Analysis (3)Research Papers / Industry Showcase at Kangaroo
Chair(s): Rahul Purandare IIIT-Delhi
02:20
20m
Talk
CCGraph: a PDG-based code clone detector with approximate graph matching
Research Papers
Yue Zou Department of Computer Science and Technology, University of Science and Technology of China, Bihuan Ban School of Data Science, University of Science and Technology of China, Yinxing Xue , Yun Xu University of Science and Technology of China
02:40
20m
Talk
Towards Generating Thread-Safe Classes Automatically
Research Papers
Haichi Wang College of Intelligence and Computing, Tianjin University, Zan Wang Tianjin University, China, Jun Sun Singapore Management University, Shuang Liu Tianjin University, China, Ayesha Sadiq Monash University, Yuan-Fang Li Monash University
03:00
20m
Talk
Industry practice of JavaScript Dynamic Analysis on WeChat Mini-Programs
Industry Showcase
Yi Liu Southern University of Science and Technology, Jinhui Xie Tencent Inc., Jianbo Yang Tencent Inc., Shiyu Guo Tencent Inc., Yuetang Deng Tencent, Inc., Shuqing Li Southern University of Science and Technology, Yechang Wu Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology
02:20 - 03:20
Empirical Software Engineering (2)Research Papers at Koala
Chair(s): Julia Rubin University of British Columbia, Canada
02:20
20m
Talk
Understanding Performance Concerns in the API Documentation of Data Science Libraries
Research Papers
Yida Tao Shenzhen University, Jiefang Jiang Shenzhen University, Yepang Liu Southern University of Science and Technology, Zhiwu Xu Shenzhen University, Shengchao Qin University of Teesside
02:40
20m
Talk
On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems
Research Papers
Samuel Benton The University of Texas at Dallas, Xia Li Kennesaw State University, Yiling Lou Peking University, China, Lingming Zhang University of Illinois at Urbana-Champaign, USA
03:00
20m
Talk
Automated Third-party Library Detection for Android Applications: Are We There Yet?Experience
Research Papers
Xian Zhan The Hong Kong Polytechnic University, Lingling Fan Nanyang Technological University, Singapore, Tianming Liu Monash University, Australia, Sen Chen Nanyang Technological University, Singapore, Li Li Monash University, Australia, Haoyu Wang Beijing University of Posts and Telecommunications, China, Yifei Xu Southern University of Science and Technology, Xiapu Luo The Hong Kong Polytechnic University, Yang Liu Nanyang Technological University, Singapore
02:20 - 03:20
AI for Software Engineering (4)Research Papers / NIER track at Wombat
Chair(s): Hoa Khanh Dam University of Wollongong
02:20
20m
Talk
Detecting and Explaining Self-Admitted Technical Debts with Attention-based Neural Networks
Research Papers
Xin Wang Wuhan University, Jin Liu Wuhan University, Li Li Monash University, Australia, Xiao Chen Monash University, Xiao Liu School of Information Technology, Deakin University, Hao Wu Yunnan University
02:40
20m
Talk
OCoR: An Overlapping-Aware Code Retriever
Research Papers
Qihao Zhu Peking University, Zeyu Sun Peking University, Xiran Liang Peking University, Yingfei Xiong Peking University, China, Lu Zhang Peking University, China
03:00
10m
Talk
BugPecker: Locating Faulty Methods with Deep Learning on Revision Graphs
NIER track
Junming Cao School of Software, Shanghai Jiao Tong University, Shouliang Yang School of Software, Shanghai Jiao Tong University, Wenhui Jiang School of Software, Shanghai Jiao Tong University, Hushuang Zeng School of Software, Shanghai Jiao Tong University, Beijun Shen School of Software, Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University
08:00 - 09:00
Bugs and Automated RepairResearch Papers at Kangaroo
Chair(s): Jifeng Xuan Wuhan University
08:00
20m
Talk
No Strings Attached: An Empirical Study of String-related Software Bugs
Research Papers
Aryaz Eghbali University of Stuttgart, Michael Pradel University of Stuttgart, Germany
Pre-print File Attached
08:20
20m
Research paper
Automated Patch Correctness Assessment: How Far are We?
Research Papers
Shangwen Wang National University of Defense Technology, Ming Wen Huazhong University of Science and Technology, China, Bo Lin National University of Defense Technology, Hongjun Wu National University of Defense Technology, Yihao Qin National University of Defense Technology, Deqing Zou Huazhong University of Science and Technology, Xiaoguang Mao National University of Defense Technology, Hai Jin Huazhong University of Science and Technology
DOI Pre-print Media Attached
08:40
20m
Research paper
Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair
Research Papers
Haoye Tian University of Luxembourg, Kui Liu University of Luxembourg, Luxembourg, Abdoul Kader Kaboré University of Luxembourg, Anil Koyuncu University of Luxembourg, Luxembourg, Li Li Monash University, Australia, Jacques Klein University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg
08:00 - 09:00
Verification and TestingTool Demonstrations / Industry Showcase / Research Papers at Koala
Chair(s): Jun Sun Singapore Management University
08:00
20m
Talk
Attend and Represent: A Novel View on Algorithm Selection for Software Verification
Research Papers
Cedric Richter Paderborn University, Germany, Heike Wehrheim Paderborn University
08:20
20m
Talk
Lightweight MBT Testing for National e-Health Portal in Norway
Industry Showcase
Davrondzhon Gafurov Norsk Helsenett SF, Margrete Sunde Grovan Norsk Helsenett SF, Margrete Sunde Grovan Norsk Helsenett SF
08:40
10m
Talk
Speeding up GUI Testing by On-Device Test Generation
Tool Demonstrations
Nataniel Borges Jr. CISPA Helmholtz Center for Information Security, Jenny Rau CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA, Germany
08:50
10m
Talk
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects
Tool Demonstrations
Omar Javed Università della Svizzera italiana, Joshua Heneage Dawes University of Manchester and CERN, Marta Han University of Zagreb and CERN, Giovanni Franzoni CERN, Andreas Pfeiffer CERN, Giles Reger University of Manchester, Walter Binder University of Lugano, Switzerland
08:00 - 09:00
Model-Driven Development and Rapid PrototypingTool Demonstrations / Research Papers at Wombat
Chair(s): Timo Kehrer Humboldt-Universtität zu Berlin
08:00
20m
Talk
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model TransformationsACM Distinguished Paper
Research Papers
Christos Tsigkanos TU Vienna, NIANYU LI Peking University, China, Zhi Jin Peking University, Zhenjiang Hu Peking University, China, Carlo Ghezzi Politecnico di Milano
08:20
20m
Talk
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach
Research Papers
Chaima Boufaied University of Luxembourg, Claudio Menghi University of Luxembourg, Luxembourg, Domenico Bianculli University of Luxembourg, Lionel Briand SnT Centre/University of Luxembourg, Yago Isasi Parache LuxSpace
08:40
10m
Talk
GUI2WiRe: Rapid Wireframing with a Mined and Large-Scale GUI Repository using Natural Language Requirements
Tool Demonstrations
Kristian Kolthoff Institute for Enterprise Systems (InES), University Of Mannheim, Christian Bartelt Institute for Software and Systems Engineering, TU Clausthal, Simone Paolo Ponzetto Data and Web Science Group, University of Mannheim
09:10 - 10:10
Software Security and Trust (2)Tool Demonstrations / Research Papers / Industry Showcase at Kangaroo
Chair(s): Raula Gaikovina Kula NAIST
09:10
20m
Talk
Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts
Research Papers
Yinxing Xue , Mingliang Ma University of Science and Technology of China, Yun Lin National University of Singapore, Yulei Sui University of Technology Sydney, Australia, Jiaming Ye University of Science and Technology of China, Tianyong Peng University of Science and Technology of China
09:30
20m
Talk
Code-based Vulnerability Detection in Node.js Applications: How far are we?
Industry Showcase
Bodin Chinthanet Nara Institute of Science and Technology, Serena Elisa Ponta SAP Security Research, Henrik Plate SAP Security Research, Antonino Sabetta SAP Security Research, Raula Gaikovina Kula NAIST, Takashi Ishio Nara Institute of Science and Technology, Kenichi Matsumoto Nara Institute of Science and Technology
09:50
10m
Talk
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Tool Demonstrations
João F. Ferreira INESC-ID and IST, University of Lisbon, Pedro Cruz IST, University of Lisbon, Portugal, Thomas Durieux KTH Royal Institute of Technology, Sweden, Rui Abreu Faculty of Engineering, University of Porto, Portugal
DOI
09:10 - 10:10
Testing and AIResearch Papers / Journal-first Papers at Koala
Chair(s): Xiaoyuan Xie School of Computer Science, Wuhan University, China
09:10
20m
Talk
Predicting failures in multi-tier distributed systems
Journal-first Papers
Leonardo Mariani University of Milano Bicocca, Mauro Pezze USI Lugano, Switzerland, Oliviero Riganelli University of Milano-Bicocca, Italy, Rui Xin USI Università della Svizzera italiana
09:30
20m
Talk
Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness
Research Papers
David Berend Nanyang Technological University, Singapore, Xiaofei Xie Nanyang Technological University, Lei Ma Kyushu University, Lingjun Zhou College of Intelligence and Computing, Tianjin University, Yang Liu Nanyang Technological University, Singapore, Chi Xu Singapore Institute of Manufacturing Technology, A*Star, Jianjun Zhao Kyushu University
09:50
20m
Talk
Metamorphic Object Insertion for Testing Object Detection Systems
Research Papers
Shuai Wang Hong Kong University of Science and Technology, Zhendong Su ETH Zurich, Switzerland
10:20 - 11:20
What Makes a Good ASE Paper? Social/Networking at Kangaroo
Chair(s): Xin Xia Monash University
10:20
60m
Social Event
What Makes a Good ASE Paper?Panel
Social/Networking
John Grundy Monash University, Australia, Massimiliano Di Penta University of Sannio, Italy, Julia Lawall Inria, Dan Hao Peking University, China
10:20 - 11:20
Tool Demo Showcase (3)Tool Demonstrations at Wombat
Chair(s): Csaba Nagy Software Institute - USI, Lugano, Switzerland
10:20
5m
Talk
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades
Tool Demonstrations
Marco Mobilio University of Milano Bicocca, Oliviero Riganelli University of Milano-Bicocca, Italy, Daniela Micucci University of Milano-Bicocca, Italy, Leonardo Mariani University of Milano Bicocca
10:25
5m
Talk
EXPRESS: An Energy-Efficient and Secure Framework for Mobile Edge Computing and Blockchain based Smart Systems
Tool Demonstrations
Jia Xu School of Computer Science and Technology, Anhui University, Xiao Liu School of Information Technology, Deakin University, Xuejun Li School of Computer Science and Technology, Anhui University, Lei Zhang Antwork Robotics Co., Ltm., Hangzhou, China, Yun Yang Swinburne University of Technology
10:30
5m
Talk
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Tool Demonstrations
João F. Ferreira INESC-ID and IST, University of Lisbon, Pedro Cruz IST, University of Lisbon, Portugal, Thomas Durieux KTH Royal Institute of Technology, Sweden, Rui Abreu Faculty of Engineering, University of Porto, Portugal
DOI
10:35
5m
Talk
RepoSkillMiner: Identifying software expertise from GitHub repositories using Natural Language Processing
Tool Demonstrations
Efstratios Kourtzanidis University Of Macedonia, Alexander Chatzigeorgiou University of Macedonia, Apostolos Ampatzoglou University of Macedonia
Pre-print Media Attached File Attached
10:40
5m
Talk
Sosed: a tool for finding similar software projects
Tool Demonstrations
Egor Bogomolov JetBrains Research, Yaroslav Golubev JetBrains Research, Artyom Lobanov JetBrains Research, Vladimir Kovalenko JetBrains Research, JetBrains N.V., Timofey Bryksin JetBrains Research, Saint Petersburg State University
10:45
5m
Talk
GUI2WiRe: Rapid Wireframing with a Mined and Large-Scale GUI Repository using Natural Language Requirements
Tool Demonstrations
Kristian Kolthoff Institute for Enterprise Systems (InES), University Of Mannheim, Christian Bartelt Institute for Software and Systems Engineering, TU Clausthal, Simone Paolo Ponzetto Data and Web Science Group, University of Mannheim
10:50
30m
Live Q&A
Q&A or Discussion
Tool Demonstrations

16:00 - 17:00
Mobile App (2)NIER track / Tool Demonstrations / Research Papers at Kangaroo
Chair(s): Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
16:00
20m
Talk
Seven Reasons Why: An In-Depth Study of the Limitations of Random Test Input Generation for AndroidExperience
Research Papers
Farnaz Behrang Georgia Tech, Alessandro Orso Georgia Tech
16:20
20m
Talk
Test Automation in Open-Source Android Apps: A Large-Scale Empirical Study
Research Papers
Jun-Wei Lin University of California, Irvine, Navid Salehnamadi University of California, Irvine, Sam Malek University of California at Irvine, USA
16:40
10m
Talk
A Framework for Automated Test Mocking of Mobile Apps
NIER track
Mattia Fazzini University of Minnesota, Alessandra Gorla IMDEA Software Institute, Alessandro Orso Georgia Tech
16:50
10m
Talk
AirMochi – A Tool for Remotely Controlling iOS Devices
Tool Demonstrations
Nikola Lukic University of Southern California, Saghar Talebipour University of Southern California, Nenad Medvidović University of Southern California, USA
16:00 - 17:00
Software Security and Trust (3)Research Papers at Koala
Chair(s): Julia Lawall Inria
16:00
20m
Talk
Prober: Practically Defending Overflows with Page Protection
Research Papers
Hongyu Liu Purdue University, Ruiqin Tian College of William and Mary, Bin Ren College of William and Mary, Tongping Liu University of Massachusetts Amherst
16:20
20m
Talk
MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection
Research Papers
Alan Romano University at Buffalo, SUNY, Yunhui Zheng IBM Research, Weihang Wang University at Buffalo, SUNY
16:40
20m
Talk
Summary-Based Symbolic Evaluation for Smart ContractsACM Distinguished Paper
Research Papers
Yu Feng University of California, Santa Barbara, Emina Torlak University of Washington, Rastislav Bodik University of Washington
16:00 - 17:00
Model-Driven Development Journal-first Papers / Research Papers at Wombat
Chair(s): Marianne Huchard LIRMM
16:00
20m
Talk
Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems
Research Papers
Benjamin Gafford Grinnell College, Tobias Dürschmid Carnegie Mellon University, Institute for Software Research, Gabriel A. Moreno Carnegie Mellon University, USA, Eunsuk Kang Carnegie Mellon University, USA
16:20
20m
Talk
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools
Research Papers
Hoang Lam Nguyen Humboldt-Universität zu Berlin, Nebras Nassar Philipps-Universität Marburg, Timo Kehrer Humboldt-Universtität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin
16:40
20m
Talk
Characterization of Implied Scenarios as Families of Common Behavior
Journal-first Papers
Caio Batista de Melo University of California, Irvine, André Luiz Fernandes Cançado University of Brasília, Genaína Nunes Rodrigues University of Brasília
Link to publication DOI Pre-print
17:10 - 18:40
Most Influential Paper & ClosingPlenary at Kangaroo
Chair(s): Elisabetta Di Nitto Politecnico di Milano
17:10
60m
Talk
AMNESIA: Analysis and Monitoring for NEutralizing SQL-Injection Attacks
Plenary
William G.J. Halfond University of Southern California, Alessandro Orso Georgia Tech
18:10
30m
Day closing
ASE2020 Closing & ASE2021
Plenary

Fri 25 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

00:00 - 00:50
Tutorial 3: FASTREADTutorials at Platypus
00:00
50m
Tutorial
How to Conduct a Quick yet Thorough Literature Review: Saving Weeks of Effort With FASTREAD
Tutorials
Zhe Yu Rochester Institute of Technology, Tim Menzies North Carolina State University, USA
08:00 - 10:35
International Workshop on Software Engineering Automation: A Natural Language Perspective[Workshop] NLP-SEA at Kangaroo
Chair(s): Sajid Anwer , Abdul Rauf RISE Research Institutes of Sweden, Mehrdad Saadatmand RISE SICS
08:00
15m
Talk
Boosting Component-based Synthesis with API Usage KnowledgeWorkshop
[Workshop] NLP-SEA
Jiaxin Liu National University of Defense Technology, Wei Dong School of Computer, National University of Defense Technology, China, Binbin Liu National University of Defense Technology
08:20
15m
Talk
Collective Intelligence for Smarter Neural Program SynthesisWorkshop
[Workshop] NLP-SEA
Daiyan Wang National University of Defense Technology, Wei Dong School of Computer, National University of Defense Technology, China, Yating Zhang National University of Defense Technology
08:40
15m
Talk
Predicting Software Design Patterns from Text using NeuralEmbeddingWorkshop
[Workshop] NLP-SEA
Laksri Wijerathna Monash University, Aldeida Aleti Monash University
09:00
15m
Talk
NLP-based Enhancement of Information Security in ITO Service Delivery – A Diffusion of Innovation Theory perspectiveWorkshop
[Workshop] NLP-SEA
Baber Majid Bhatti University of South Australia
09:20
15m
Talk
AutoEPRS-20: Extracting Business Process Redesign Suggestions from Natural Language TextWorkshop
[Workshop] NLP-SEA
Amina Mustansir PUCIT, University of the Punjab, Khurram Shahzad PUCIT, University of the Punjab, Muhammad Kamran Malik PUCIT, University of the Punjab
09:40
15m
Talk
Emotion Detection in Roman Urdu Text using Machine LearningWorkshop
[Workshop] NLP-SEA
Adil Majeed National University of Computer and Emerging Sciences, Islamabad, Pakistan, Hasan Mujtaba National University of Computer and Emerging Sciences, Islamabad, Pakistan, Mirza Omer Beg National University of Computer and Emerging Sciences, Islamabad, Pakistan
10:00
15m
Talk
Mapping Textual Feedback to Process Model ElementsWorkshop
[Workshop] NLP-SEA
Sanam Ahmed Punjab University College of Information Technology , University of the Punjab, Amina Mustansir PUCIT, University of the Punjab
10:20
15m
Talk
Roman Urdu Reviews Dataset for Aspect Based Opinion MiningWorkshop
[Workshop] NLP-SEA
Rabail Zahid National University of Computer and Emerging Sciences, Islamabad, Pakistan, Muhammad Owais Idrees National University of Computer and Emerging Sciences, Islamabad, Pakistan, Hasan Mujtaba National University of Computer and Emerging Sciences, Islamabad, Pakistan, Mirza Omer Beg National University of Computer and Emerging Sciences, Islamabad, Pakistan
08:00 - 11:45
International Workshop on Sustainable Software Engineering[Workshop] SUSTAIN-SE at Koala
08:00
10m
Day opening
Workshop Welcome & Introduction by the OrganizersWorkshop
[Workshop] SUSTAIN-SE
Vikrant Kaulgud Accenture Labs, India, Vibhu Saujanya Sharma Accenture Labs, Bangalore, India
08:10
20m
Keynote
Keynote TalkWorkshop
[Workshop] SUSTAIN-SE
Sanjay Podder Accenture
08:30
30m
Talk
Energy Efficiency in Robotics Software: A Systematic Literature ReviewWorkshop
[Workshop] SUSTAIN-SE
Stan Swanborn Vrije Universiteit Amsterdam, The Netherlands, Ivano Malavolta Vrije Universiteit Amsterdam
09:00
30m
Talk
Gesture Driven Smart Home Solution for Bedridden People.Workshop
[Workshop] SUSTAIN-SE
Nimna Jayaweera Sri Lanka Institute of Information Technology, Binura Hetti Gamage , Mihiri Samaraweera , Sachintha Liyanage
09:30
15m
Break
Break
[Workshop] SUSTAIN-SE

09:45
30m
Talk
Energy Wars - Chrome vs. Firefox: Which browser is more energy efficient?Workshop
[Workshop] SUSTAIN-SE
João Aloísio Universidade do Minho, Nelson Gonçalves Universidade do Minho, João de Macedo Universidade do Minho, Rui Pereira HASLab/INESC TEC & Universidade do Minho & Universidade da Beira Interior, João Saraiva
10:15
30m
Talk
Sustainability in Migrating Workloads to Public CloudsWorkshop
[Workshop] SUSTAIN-SE
10:45
30m
Talk
E-Debitum: Managing Software Energy DebtWorkshop
[Workshop] SUSTAIN-SE
Daniel Maia HASLab/INESC TEC & Universidade do Minho, Marco Couto HASLab/INESC TEC & Universidade do Minho, Rui Pereira HASLab/INESC TEC & Universidade do Minho & Universidade da Beira Interior, João Saraiva
11:15
30m
Day closing
Workshop all hands discussion on Green Software and ClosingWorkshop
[Workshop] SUSTAIN-SE