FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
VenueMelbourne Convention Exhibition Centre | MCEC
Room nameMeeting Room 109
Floor1
Room number109
Capacity234
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 14 May

Displayed time zone: Hobart change

09:00 - 10:30
Opening and keynoteQ-SE at Meeting Room 109
Chair(s): Paolo Arcaini National Institute of Informatics , Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University)
09:15
15m
Day opening
Opening
Q-SE
Paolo Arcaini National Institute of Informatics , Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University)
09:30
60m
Keynote
Quantum Computing: Challenges and Opportunities for Software Engineering
Q-SE
Udson C. Mendes CMC Microsystems
11:00 - 12:30
Paper session 1Q-SE at Meeting Room 109
Chair(s): Jose García-Alonso Universidad de Extremadura
11:00
25m
Talk
MCBeth: A Measurement-based Quantum Programming Language
Q-SE
Aidan Evans Yale University, Seun Omonije , Robert Soulé University of Lugano, Robert Rand University of Chicago
11:25
25m
Talk
Generating Presence-Absence Matrices by Quantum Annealing
Q-SE
Philippe Codognet Japanese-French Laboratory for Informatics
11:50
25m
Talk
Dynamic Output State Classification for Quantum Computers
Q-SE
Hector Menendez King's College London, Luciano Bello IBM Research, David Clark University College London
12:15
15m
Talk
Design by Contract Framework for Quantum Software
Q-SE
Masaomi Yamaguchi Fujitsu Limited, Nobukazu Yoshioka Waseda University, Japan
13:45 - 15:15
Paper session 2Q-SE at Meeting Room 109
Chair(s): Philippe Codognet Japanese-French Laboratory for Informatics
14:00
25m
Talk
Automatic generation of an efficient less-than oracle for quantum Amplitude Amplification
Q-SE
Javier Sánchez Rivero COMPUTAEX, Daniel Talaván COMPUTAEX, Jose García-Alonso Universidad de Extremadura, Antonio Ruiz-Cortés University of Seville, Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation
14:25
25m
Talk
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces?
Q-SE
Joshua Ammermann Karlsruhe Institute of Technology, Tim Bittner Karlsruhe Institute of Technology, Domenik Eichhorn Karlsruhe Institute of Technology, Ina Schaefer KIT, Christoph Seidl IT University of Copenhagen
14:50
25m
Talk
Static Entanglement Analysis of Quantum Programs
Q-SE
Shangzhou Xia Kyushu University, Jianjun Zhao Kyushu University
15:45 - 17:15
Paper session 3Q-SE at Meeting Room 109
Chair(s): Paolo Arcaini National Institute of Informatics , Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University)
15:45
25m
Talk
QChecker: Detecting Bugs in Quantum Programs via Static Analysis
Q-SE
Pengzhan Zhao Kyushu University, Xiongfei Wu Kyushu University, Li Zhuo , Jianjun Zhao Kyushu University
16:10
35m
Day closing
Discussion and Closing
Q-SE
Paolo Arcaini National Institute of Informatics , Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University)

Mon 15 May

Displayed time zone: Hobart change

09:00 - 10:30
Opening Session & Award TalksMSR Awards / MSR MIP Award at Meeting Room 109
Chair(s): Emad Shihab Concordia Univeristy, Bogdan Vasilescu Carnegie Mellon University
09:00
20m
Day opening
Opening Session & Award Announcements
MSR Awards
Emad Shihab Concordia Univeristy, Patanamon Thongtanunam The University of Melbourne, Bogdan Vasilescu Carnegie Mellon University
09:20
20m
Talk
MSR 2023 Foundational Contribution Award
MSR Awards
09:40
20m
Talk
MSR 2023 Ric Holt Early Career Achievement Award
MSR Awards
Li Li Beihang University
10:00
30m
Talk
MIP #1: Mining Source Code Repositories at Massive Scale Using Language Modeling
MSR MIP Award
A: Miltiadis Allamanis Microsoft Research, Charles Sutton Google Research
11:00 - 11:45
Development Tools & Practices IMSR Registered Reports / MSR Industry Track / MSR Technical Papers at Meeting Room 109
Chair(s): Olga Baysal Carleton University
11:00
12m
Talk
Understanding the Time to First Response In GitHub Pull Requests
MSR Technical Papers
Kazi Amit Hasan Queen's University, Canada, Marcos Macedo Queen's University at Kingston / Universidad de Montevideo, Yuan Tian Queens University, Kingston, Canada, Bram Adams Queen's University, Kingston, Ontario, Ding Steven, H., H. Queen’s University at Kingston
Pre-print
11:12
12m
Talk
Dealing with Popularity Bias in Recommender Systems for Third-party Libraries: How far Are We?
MSR Technical Papers
Phuong T. Nguyen University of L’Aquila, Riccardo Rubei University of L'Aquila, Juri Di Rocco University of L'Aquila, Claudio Di Sipio University of L'Aquila, Davide Di Ruscio University of L'Aquila, Massimiliano Di Penta University of Sannio, Italy
Pre-print
11:24
6m
Talk
Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study
MSR Registered Reports
Ilham Qasse Reykjavik University, Mohammad Hamdaqa Polytechnique Montréal, Björn Þór Jónsson Reykjavik University
11:30
6m
Talk
An Exploratory Study of Ad Hoc Parsers in Python
MSR Registered Reports
Pre-print
11:36
6m
Talk
Improving Agile Planning for Reliable Software Delivery
MSR Industry Track
Jirat Pasuksmit Atlassian, Fan Jiang Atlassian, Kemp Thornton Atlassian, Arik Friedman Atlassian, Natalija Fuksmane Atlassian, Isabelle Kohout Atlassian, Julian Connor Atlassian
Pre-print
11:50 - 12:35
Documentation + Q&A IMSR Data and Tool Showcase Track / MSR Technical Papers at Meeting Room 109
Chair(s): Ahmad Abdellatif Concordia University
11:50
12m
Talk
Evaluating Software Documentation Quality
MSR Technical Papers
Henry Tang University of Alberta, Sarah Nadi University of Alberta
12:02
12m
Talk
What Do Users Ask in Open-Source AI Repositories? An Empirical Study of GitHub Issues
MSR Technical Papers
Zhou Yang Singapore Management University, Chenyu Wang Singapore Management University, Jieke Shi Singapore Management University, Thong Hoang CSIRO's Data61, Pavneet Singh Kochhar Microsoft, Qinghua Lu CSIRO’s Data61, Zhenchang Xing , David Lo Singapore Management University
12:14
12m
Talk
PICASO: Enhancing API Recommendations with Relevant Stack Overflow Posts
MSR Technical Papers
Ivana Clairine Irsan Singapore Management University, Ting Zhang Singapore Management University, Ferdian Thung Singapore Management University, Kisub Kim Singapore Management University, David Lo Singapore Management University
12:26
6m
Talk
GIRT-Data: Sampling GitHub Issue Report Templates
MSR Data and Tool Showcase Track
Nafiseh Nikehgbal Sharif University of Technology, Amir Hossein Kargaran LMU Munich, Abbas Heydarnoori Bowling Green State University, Hinrich Schütze LMU Munich
Pre-print
13:45 - 14:15
MIP TalkMSR MIP Award at Meeting Room 109
Chair(s): Bogdan Vasilescu Carnegie Mellon University
13:45
30m
Talk
MIP #2: The Impact of Tangled Code Changes
MSR MIP Award
Kim Herzig Microsoft, Andreas Zeller CISPA Helmholtz Center for Information Security
14:20 - 15:15
Language ModelsMSR Technical Papers at Meeting Room 109
Chair(s): Patanamon Thongtanunam University of Melbourne
14:20
12m
Talk
On Codex Prompt Engineering for OCL Generation: An Empirical Study
MSR Technical Papers
Seif Abukhalaf Polytechnique Montreal, Mohammad Hamdaqa Polytechnique Montréal, Foutse Khomh Polytechnique Montréal
14:32
12m
Talk
Cross-Domain Evaluation of a Deep Learning-Based Type Inference System
MSR Technical Papers
Bernd Gruner DLR Institute of Data Science, Tim Sonnekalb German Aerospace Center (DLR), Thomas S. Heinze Cooperative University Gera-Eisenach, Clemens-Alexander Brust German Aerospace Center (DLR)
14:44
12m
Talk
Enriching Source Code with Contextual Data for Code Completion Models: An Empirical Study
MSR Technical Papers
Tim van Dam Delft University of Technology, Maliheh Izadi Delft University of Technology, Arie van Deursen Delft University of Technology
Pre-print
14:56
12m
Talk
Model-Agnostic Syntactical Information for Pre-Trained Programming Language Models
MSR Technical Papers
Iman Saberi University of British Columbia Okanagan, Fatemeh Hendijani Fard University of British Columbia
15:45 - 16:30
Tutorial #1MSR Tutorials at Meeting Room 109
Chair(s): Yuan Tian Queens University, Kingston, Canada
15:45
45m
Talk
Tutorial: Recognizing Developers' Emotions Using Non-invasive Biometrics Sensors
MSR Tutorials
Nicole Novielli University of Bari
16:35 - 17:20
Ethics & EnergyMSR Technical Papers / MSR Registered Reports at Meeting Room 109
Chair(s): Arumoy Shome Delft University of Technology
16:35
12m
Talk
Energy Consumption Estimation of API-usage in Mobile Apps via Static Analysis
MSR Technical Papers
Abdul Ali Bangash University of Alberta, Canada, Qasim Jamal FAST National University, Kalvin Eng University of Alberta, Karim Ali University of Alberta, Abram Hindle University of Alberta
Pre-print
16:47
12m
Talk
An Exploratory Study on Energy Consumption of Dataframe Processing Libraries
MSR Technical Papers
Shriram Shanbhag IIT Tirupati, Sridhar Chimalakonda IIT Tirupati
Pre-print
16:59
6m
Talk
Understanding issues related to personal data and data protection in open source projects on GitHub
MSR Registered Reports
Anne Hennig Karlsruhe Institute of Technology, Lukas Schulte Universitity of Passau, Steffen Herbold University of Passau, Oksana Kulyk IT University of Copenhagen, Denmark, Peter Mayer University of Southern Denmark
17:05
12m
Talk
Whistleblowing and Tech on Twitter
MSR Technical Papers
Laura Duits Vrije Universiteit Amsterdam, Isha Kashyap Vrije Universiteit Amsterdam, Joey Bekkink Vrije Universiteit Amsterdam, Kousar Aslam Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam

Tue 16 May

Displayed time zone: Hobart change

09:00 - 09:45
KeynoteMSR Keynotes at Meeting Room 109
Chair(s): Patanamon Thongtanunam University of Melbourne
09:00
45m
Keynote
Towards Code-Aware AI Models for Code
MSR Keynotes
K: Baishakhi Ray Columbia University
09:50 - 10:30
Tutorial #2MSR Tutorials at Meeting Room 109
Chair(s): Alexander Serebrenik Eindhoven University of Technology
09:50
40m
Tutorial
Tutorial: Mining and Analysing Collaboration in git Repositories with git2net
MSR Tutorials
Christoph Gote Chair of Systems Design, ETH Zurich
11:00 - 11:45
Documentation + Q&A IIMSR Technical Papers / MSR Data and Tool Showcase Track at Meeting Room 109
Chair(s): Maram Assi Queen's University
11:00
12m
Talk
Understanding the Role of Images on Stack Overflow
MSR Technical Papers
Dong Wang Kyushu University, Japan, Tao Xiao Nara Institute of Science and Technology, Christoph Treude University of Melbourne, Raula Gaikovina Kula Nara Institute of Science and Technology, Hideaki Hata Shinshu University, Yasutaka Kamei Kyushu University
Pre-print
11:12
12m
Talk
Do Subjectivity and Objectivity Always Agree? A Case Study with Stack Overflow Questions
MSR Technical Papers
Saikat Mondal University of Saskatchewan, Masud Rahman Dalhousie University, Chanchal K. Roy University of Saskatchewan
Pre-print
11:24
6m
Talk
GiveMeLabeledIssues: An Open Source Issue Recommendation System
MSR Data and Tool Showcase Track
Joseph Vargovich Northern Arizona University, Fabio Marcos De Abreu Santos Northern Arizona University, USA, Jacob Penney Northern Arizona University, Marco Gerosa Northern Arizona University, Igor Steinmacher Northern Arizona University
Pre-print Media Attached
11:30
6m
Talk
DocMine: A Software Documentation-Related Dataset of 950 GitHub Repositories
MSR Data and Tool Showcase Track
11:36
6m
Talk
PENTACET data - 23 Million Code Comments and 500,000 SATD comments
MSR Data and Tool Showcase Track
Murali Sridharan University of Oulu, Leevi Rantala University of Oulu, Mika Mäntylä University of Oulu
11:50 - 12:35
Development Tools & Practices IIMSR Data and Tool Showcase Track / MSR Industry Track / MSR Technical Papers / MSR Registered Reports at Meeting Room 109
Chair(s): Banani Roy University of Saskatchewan
11:50
12m
Talk
Automating Arduino Programming: From Hardware Setups to Sample Source Code Generation
MSR Technical Papers
Imam Nur Bani Yusuf Singapore Management University, Singapore, Diyanah Binte Abdul Jamal Singapore Management University, Lingxiao Jiang Singapore Management University
Pre-print
12:02
6m
Talk
A Dataset of Bot and Human Activities in GitHub
MSR Data and Tool Showcase Track
Natarajan Chidambaram University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS, Tom Mens University of Mons
12:08
6m
Talk
Mining the Characteristics of Jupyter Notebooks in Data Science Projects
MSR Registered Reports
Morakot Choetkiertikul Mahidol University, Thailand, Apirak Hoonlor Mahidol University, Chaiyong Ragkhitwetsagul Mahidol University, Thailand, Siripen Pongpaichet Mahidol University, Thanwadee Sunetnanta Mahidol University, Tasha Settewong Mahidol University, Raula Gaikovina Kula Nara Institute of Science and Technology
12:14
6m
Talk
Optimizing Duplicate Size Thresholds in IDEs
MSR Industry Track
Konstantin Grotov JetBrains Research, Constructor University, Sergey Titov JetBrains Research, Alexandr Suhinin JetBrains, Yaroslav Golubev JetBrains Research, Timofey Bryksin JetBrains Research
Pre-print
12:20
12m
Talk
Boosting Just-in-Time Defect Prediction with Specific Features of C Programming Languages in Code Changes
MSR Technical Papers
Chao Ni Zhejiang University, xiaodanxu College of Computer Science and Technology, Zhejiang university, Kaiwen Yang Zhejiang University, David Lo Singapore Management University
12:30 - 13:45
MSR Steering Committee MeetingICSE Social Events at Meeting Room 109
12:30
75m
Meeting
Executive Meeting
ICSE Social Events

13:45 - 14:30
Tutorial #3MSR Tutorials at Meeting Room 109
Chair(s): Alexander Serebrenik Eindhoven University of Technology
13:45
45m
Tutorial
Tutorial: Beyond the leading edge. What else is out there?
MSR Tutorials
Tim Menzies North Carolina State University
Pre-print
14:35 - 15:15
14:35
12m
Talk
Large Language Models and Simple, Stupid Bugs
MSR Technical Papers
Kevin Jesse University of California at Davis, USA, Toufique Ahmed University of California at Davis, Prem Devanbu University of California at Davis, Emily Morgan University of California, Davis
Pre-print
14:47
12m
Talk
The ABLoTS Approach for Bug Localization: is it replicable and generalizable?Distinguished Paper Award
MSR Technical Papers
Feifei Niu University of Ottawa, Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Liguo Huang Southern Methodist University, Jidong Ge Nanjing University, Bin Luo Nanjing University, Alexander Egyed Johannes Kepler University Linz
Pre-print File Attached
14:59
6m
Talk
LLMSecEval: A Dataset of Natural Language Prompts for Security Evaluations
MSR Data and Tool Showcase Track
Catherine Tony Hamburg University of Technology, Markus Mutas Hamburg University of Technology, Nicolás E. Díaz Ferreyra Hamburg University of Technology, Riccardo Scandariato Hamburg University of Technology
Pre-print
15:05
6m
Talk
Defectors: A Large, Diverse Python Dataset for Defect Prediction
MSR Data and Tool Showcase Track
Parvez Mahbub Dalhousie University, Ohiduzzaman Shuvo Dalhousie University, Masud Rahman Dalhousie University
Pre-print
15:45 - 17:30
Closing SessionMSR Vision and Reflection / MSR Awards at Meeting Room 109
Chair(s): Patanamon Thongtanunam The University of Melbourne
15:45
20m
Talk
MSR 2023 Doctoral Research Award
MSR Awards
Eman Abdullah AlOmar Stevens Institute of Technology
16:05
30m
Talk
Open Source Software Digital Sociology: Quantifying and Understanding Large Complex Open Source Ecosystems
MSR Vision and Reflection
Minghui Zhou Peking University
16:35
30m
Talk
Human-Centered AI for SE: Reflection and Vision
MSR Vision and Reflection
David Lo Singapore Management University
17:05
25m
Day closing
Closing
MSR Awards
Emad Shihab Concordia Univeristy
18:00 - 23:59
ICSE 2023 Steering Committee Meeting ICSE Social Events at Meeting Room 109
18:00
5h59m
Meeting
ICSE SC Meeting
ICSE Social Events
Laurie Williams North Carolina State University

Wed 17 May

Displayed time zone: Hobart change

11:00 - 12:30
11:00
15m
Talk
Do I Belong? Modeling Sense of Virtual Community Among Linux Kernel ContributorsDistinguished Paper Award
ICSE Technical Track
Bianca Trinkenreich Northern Arizona University, USA, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital , Anita Sarma Oregon State University, Daniel M. German University of Victoria, Marco Gerosa Northern Arizona University, Igor Steinmacher Northern Arizona University
Pre-print
11:15
15m
Talk
Cognitive Reflection in Software Verification and Testing
ICSE SEET - Software Engineering Education and Training
Kevin Buffardi California State University, Chico
11:30
15m
Talk
A Model for Understanding and Reducing Developer Burnout
ICSE SEIP - Software Engineering in Practice
Bianca Trinkenreich Northern Arizona University, USA, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital , Igor Steinmacher Northern Arizona University, Marco Gerosa Northern Arizona University, Anita Sarma Oregon State University, Marcelo Lara Globant, Michael Feathers Globant, Nick Ross Globant, Kevin Bishop Globant
Pre-print
11:45
15m
Full-paper
Designing for Cognitive Diversity: Improving the GitHub Experience for Newcomers
ICSE SEIS - Software Engineering in Society
Italo Santos Northern Arizona University, João Felipe Pimentel Northern Arizona University, Igor Wiese Federal University of Technology, Igor Steinmacher Northern Arizona University, Anita Sarma Oregon State University, Marco Gerosa Northern Arizona University
Pre-print
12:00
7m
Talk
From Anecdote to Evidence: The Relationship Between Personality and Need for Cognition of Developers
ICSE Journal-First Papers
Daniel Russo Department of Computer Science, Aalborg University, Andres R. Masegosa Aalborg University, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital
Link to publication DOI Pre-print
12:07
7m
Talk
A Qualitative Study of Developers’ Discussions of Their Problems and Joys During the Early COVID-19 Months
ICSE Journal-First Papers
Gias Uddin University of Calgary, Canada, Omar Alam Trent University, Alexander Serebrenik Eindhoven University of Technology
12:15
7m
Talk
Interpersonal trust in OSS: Exploring dimensions of trust in GitHub pull requests
ICSE NIER - New Ideas and Emerging Results
Amirali Sajadi Drexel University, Kostadin Damevski Virginia Commonwealth University, Preetha Chatterjee Drexel University, USA
Pre-print
12:22
7m
Talk
The risk-taking software engineer: A framed portrait
ICSE NIER - New Ideas and Emerging Results
Lorenz Graf-Vlachy University of Stuttgart
Pre-print
12:30 - 13:45
ICSE2024 Area Chairs MeetingICSE Social Events at Meeting Room 109
12:30
75m
Meeting
Executive Meeting
ICSE Social Events

13:45 - 15:15
13:45
15m
Talk
Is It Enough to Recommend Tasks to Newcomers? Understanding Mentoring on Good First Issues
ICSE Technical Track
Xin Tan Beihang University,, Yiran Chen Beihang University, Haohua Wu Beihang University, Minghui Zhou Peking University, Li Zhang Beihang University
Pre-print
14:00
15m
Talk
From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers
ICSE Technical Track
Kaia Newman University of Michigan, Madeline Endres University of Michigan, Westley Weimer University of Michigan, Brittany Johnson George Mason University
Pre-print
14:15
15m
Talk
On the Self-Governance and Episodic Changes in Apache Incubator Projects: An Empirical Study
ICSE Technical Track
Likang Yin University of California at Davis, Xiyu Zhang University of California Davis, Vladimir Filkov University of California at Davis, USA
14:30
15m
Talk
Socio-Technical Anti-Patterns in Building ML-Enabled Software: Insights from Leaders on the Forefront
ICSE Technical Track
Alina Mailach Leipzig University, Norbert Siegmund Leipzig University
Pre-print
14:45
15m
Talk
Moving on from the software engineers' gambit: an approach to support the defense of software effort estimates
ICSE Technical Track
Patricia Matsubara Federal University of Mato Grosso do Sul (UFMS), Igor Steinmacher Northern Arizona University, Bruno Gadelha UFAM, Tayana Conte Universidade Federal do Amazonas
Pre-print
15:00
7m
Talk
iTrace-Toolkit: A Pipeline for Analyzing Eye-Tracking Data of Software Engineering Studies
ICSE DEMO - Demonstrations
Joshua Behler Kent State University, Praxis Weston Kent State University, Drew Guarnera College of Wooster, Bonita Sharif University of Nebraska-Lincoln, USA, Jonathan I. Maletic Kent State University
15:07
7m
Talk
Under the Bridge: Trolling and the Challenges of Recruiting Software Developers for Empirical Research Studies
ICSE NIER - New Ideas and Emerging Results
Ella Kokinda Clemson University, Makayla Moster Clemson University, James Dominic Clemson University, Paige Rodeghero Clemson University
Pre-print
15:45 - 17:15
FOSE-AI & SE and DebtICSE FoSE - Future of Software Engineering at Meeting Room 109
Chair(s): Xing Hu Zhejiang University
15:45
10m
Talk
Trustworthy and Synergistic AI4SE: Vision and Road Ahead
ICSE FoSE - Future of Software Engineering
David Lo Singapore Management University
15:55
10m
Talk
AI and ML: The Software Engineers of the Future
ICSE FoSE - Future of Software Engineering
Thomas Zimmermann Microsoft Research
16:05
10m
Talk
Generative Artificial Intelligence for Software Engineering
ICSE FoSE - Future of Software Engineering
Mark Harman Meta Platforms, Inc. and UCL
16:15
10m
Talk
Technical Debt: are we there yet?
ICSE FoSE - Future of Software Engineering
Paris Avgeriou University of Groningen, The Netherlands
16:25
50m
Panel
Panel discussion
ICSE FoSE - Future of Software Engineering

Thu 18 May

Displayed time zone: Hobart change

07:30 - 09:00
Industry Recruitment BreakfastICSE Social Events at Meeting Room 109
07:30
90m
Lunch
Industry Recruitment Breakfast
ICSE Social Events

11:00 - 12:30
11:00
15m
Talk
Fill in the Blank: Context-aware Automated Text Input Generation for Mobile GUI Testing
ICSE Technical Track
Zhe Liu Institute of Software, Chinese Academy of Sciences, Chunyang Chen Monash University, Junjie Wang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Xing Che 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 at Chinese Academy of Sciences; University of Chinese Academy of Sciences
Pre-print
11:15
15m
Talk
Detecting Dialog-Related Keyboard Navigation Failures in Web Applications
ICSE Technical Track
Paul T. Chiou University of Southern California, Ali S. Alotaibi University of Southern California, William G.J. Halfond University of Southern California
11:30
15m
Talk
COLUMBUS: Android App Testing Through Systematic Callback Exploration
ICSE Technical Track
Priyanka Bose University of California, Santa Barbara, Dipanjan Das University of California, Santa Barbara, Saastha Vasan University of California, Santa Barbara, Sebastiano Mariani VMware, Inc., Ilya Grishchenko University of California, Santa Barbara, Andrea Continella University of Twente, Antonio Bianchi Purdue University, Christopher Kruegel University of California, Santa Barbara, Giovanni Vigna UC Santa Barbara
11:45
15m
Talk
GameRTS: A Regression Testing Framework for Video Games
ICSE Technical Track
Jiongchi Yu Singapore Management University, Singapore, Yuechen Wu Fuxi AI Lab, Netease Inc., China, Xiaofei Xie Singapore Management University, Wei Le Iowa State University, Lei Ma University of Alberta, Yingfeng Chen Fuxi AI Lab of Netease, Yujing Hu Fuxi AI Lab, Netease Inc., China, Fan Zhang Zhejiang University, China
12:00
15m
Talk
Widget Detection-based Testing for Industrial Mobile Games
ICSE SEIP - Software Engineering in Practice
Xiongfei Wu Kyushu University, Jiaming Ye Kyushu University, Ke Chen Fuxi AI Lab of Netease, Xiaofei Xie Singapore Management University, Yujing Hu Fuxi AI Lab, Netease Inc., China, Ruochen Huang University of Alberta, Lei Ma University of Alberta, Jianjun Zhao Kyushu University
12:15
7m
Talk
AVGUST: A Tool for Generating Usage-Based Tests from Videos of App Executions
ICSE DEMO - Demonstrations
Saghar Talebipour University of Southern California, Hyojae Park Sharon High School, Kesina Baral George Mason University, Leon Yee Valley Christian High School, Safwat Ali Khan George Mason University, Kevin Moran George Mason University, Yuriy Brun University of Massachusetts, Nenad Medvidović University of Southern California, Yixue Zhao Information Sciences Institute
Pre-print Media Attached
12:22
7m
Talk
Fragment-Based Test Generation For Web Apps
ICSE Journal-First Papers
Rahulkrishna Yandrapally University of British Columbia, Canada, Ali Mesbah University of British Columbia (UBC)
Link to publication Pre-print
12:30 - 13:45
12:30
75m
Meeting
Executive Meeting
ICSE Social Events

13:45 - 15:15
13:45
15m
Talk
Dependency Facade: The Coupling and Conflicts between Android Framework and Its Customization
ICSE Technical Track
Wuxia Jin Xi'an Jiaotong University, Yitong Dai Xi'an Jiaotong University, Jianguo Zheng Xi'an Jiaotong University, Yu Qu UC Riverside, Ming Fan Xi'an Jiaotong University, Zhenyu Huang Honor Device Co., Ltd., Dezhi Huang Honor Device Co., Ltd., Ting Liu Xi'an Jiaotong University
14:00
15m
Talk
SEIP: Investigating a NASA Cyclomatic Complexity Policy on Maintenance Risk of a Critical System
ICSE SEIP - Software Engineering in Practice
Daniel Port University of Hawai‘i at Mānoa, Bill Taber , LiGuo Huang Dept. of Computer Science, Southern Methodist University, Dallas, TX, 75205
14:15
15m
Talk
Aegis: Attribution of Control Plane Change Impact across Layers and Components for Cloud Systems
ICSE SEIP - Software Engineering in Practice
Xiaohan Yan Microsoft Azure, Ken Hsieh , Yasitha Liyanage , Minghua Ma Microsoft Research, Murali Chintalapati Microsoft Azure, Qingwei Lin Microsoft Research, Yingnong Dang Microsoft Azure, Dongmei Zhang Microsoft Research
14:30
15m
Talk
An Empirical Study on Change-induced Incidents at Ant Group
ICSE SEIP - Software Engineering in Practice
Yifan Wu Peking University, Bingxu Chai , Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Bingchang Liu Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China, Jianguo Li Ant Group, Yong Yang , Wei Jiang
14:45
15m
Talk
Fulfilling Industrial Needs for Consistency Among Engineering Artifacts
ICSE SEIP - Software Engineering in Practice
Luciano Marchezan Johannes Kepler University Linz, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Edvin Herac , Felix Keplinger Johannes Kepler University, Linz, Alexander Egyed Johannes Kepler University Linz, Christophe Lauwerys
15:00
7m
Talk
The Co-evolution of the WordPress Platform and its Plugins
ICSE Journal-First Papers
Jiahuei Lin Queen’s University Software Analysis and Intelligence Lab (SAIL), Canada, Mohammed Sayagh ETS Montreal, University of Quebec, Ahmed E. Hassan Queen’s University
15:07
7m
Talk
Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery
ICSE Journal-First Papers
Chenguang Zhu Meta, Mengshi Zhang Meta, Xiuheng Wu Nanyang Technological University, Singapore, Xiufeng Xu Nanyang Technological University, Yi Li Nanyang Technological University
Link to publication DOI Pre-print

Fri 19 May

Displayed time zone: Hobart change

07:30 - 09:00
ICSE Regional BreakfastICSE Social Events at Meeting Room 109

In the past few years, there has been limited visibility of the Australasian community in SE. The breakfast is a community-building activity for joint research collaboration opportunities, joint hosting of key conferences, and increased representation in the key conferences and decision-making committees. The breakfast will also be an opportunity to learn a little bit more about the indigenous background of Australia with a speech from Prof. Chris Lawrence (Associate Dean (Indigenous) at Monash University). It will also be an opportunity to gauge how the SE researchers can engage with the local indigenous communities. We will have dedicated activities and discussions around both topics: (i) increased visibility of the Australasian SE community and (ii) increased engagement of the SE community with the local communities.

Date: May 19th at 07:45 (sharp) Location: Conference Venue (Room 109) Requirements: Registration"

07:30
90m
Meeting
ICSE Regional Breakfast
ICSE Social Events

11:00 - 12:30
11:00
15m
Talk
Compiler Test-Program Generation via Memoized Configuration Search
ICSE Technical Track
Junjie Chen Tianjin University, Chenyao Suo College of Intelligence and Computing, Tianjin University, Jiajun Jiang Tianjin University, Peiqi Chen College of Intelligence and Computing, Tianjin University, Xingjian Li College of Intelligence and Computing, Tianjin University
11:15
15m
Talk
Generating Test Databases for Database-Backed Applications
ICSE Technical Track
Cong Yan Microsoft Research, Suman Nath Microsoft Research, Shan Lu University of Chicago
11:30
15m
Talk
Testing Database Engines via Query Plan GuidanceDistinguished Paper Award
ICSE Technical Track
Jinsheng Ba National University of Singapore, Manuel Rigger National University of Singapore
Pre-print
11:45
15m
Talk
Testing Database Systems via Differential Query Execution
ICSE Technical Track
Jiansen Song , Wensheng Dou Institute of Software Chinese Academy of Sciences, Ziyu Cui Institute of Software Chinese Academy of Sciences, Qianwang Dai Institute of Software Chinese Academy of Sciences, Wei Wang , Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Hua Zhong Institute of Software Chinese Academy of Sciences, Tao Huang Institute of Software Chinese Academy of Sciences
Pre-print
12:00
15m
Talk
Achieving Last-Mile Functional Coverage in Testing Chip Design Software Implementations
ICSE SEIP - Software Engineering in Practice
Ming Yan College of Intelligence and Computing, Tianjin University, Junjie Chen Tianjin University, Hangyu Mao , Jiajun Jiang Tianjin University, Jianye Hao Tianjin University, Xingjian Li College of Intelligence and Computing, Tianjin University, Zhao Tian Tianjin University, Zhichao Chen , Dong Li , Dong Li , Yanwei Guo , Wulong Liu , Bin Wang , Yuefeng Sun , Yongshun Cui
12:15
7m
Talk
Randomized Differential Testing of RDF Stores
ICSE DEMO - Demonstrations
Rui Yang Institute of Software, Chinese Academy of Sciences, Yingying Zheng Institute of Software Chinese Academy of Sciences, Lei Tang Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Wei Wang , Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School
Pre-print
12:22
7m
Talk
Boosting Compiler Testing via Compiler Optimization Exploration
ICSE Journal-First Papers
Junjie Chen Tianjin University, Chenyao Suo College of Intelligence and Computing, Tianjin University
13:45 - 15:15
SE educationICSE SEET - Software Engineering Education and Training at Meeting Room 109
Chair(s): Alexander Serebrenik Eindhoven University of Technology
13:45
15m
Talk
Persona-based Assessment of Software Engineering Student Research Projects: An Experience Report
ICSE SEET - Software Engineering Education and Training
Chetan Arora Monash University, Laura Tubino Deakin University, Andrew Cain School of Information Technology, Deakin University, Kevin Lee Deakin University, Vasudha Malhotra Deakin University
14:00
15m
Talk
Exposing Software Engineering Students to Stressful Projects: Does Diversity Matter?
ICSE SEET - Software Engineering Education and Training
Isabella Graßl University of Passau, Gordon Fraser University of Passau, Stefan Trieflinger Reutlingen University, Marco Kuhrmann Reutlingen University
Pre-print
14:15
15m
Talk
“Software is the easy part of Software Engineering” - Lessons and Experiences from A Large-Scale, Multi-Team Capstone Course
ICSE SEET - Software Engineering Education and Training
Ze Shi (Zane) Li University of Victoria, Canada, Nowshin Nawar Arony University of Victoria, Kezia Devathasan University of Victoria, Daniela Damian University of Victoria
Pre-print
14:30
15m
Talk
Attribution-based Personas in Virtual Software Engineering Education
ICSE SEET - Software Engineering Education and Training
Klaudia Madhi School of Computation, Information and Technology, Technical University of Munich, Munich, Germany, Lara Marie Reimer School of Computation, Information and Technology, Technical University of Munich, Munich, Germany; Institute for Digital Medicine, University Hospital Bonn, Bonn, Germany, Stephan M. Jonas Institute for Digital Medicine, University Hospital Bonn, Bonn, Germany
14:45
15m
Talk
Leveraging Diversity in Software Engineering Education through Community Engaged Learning and a Supportive Network
ICSE SEET - Software Engineering Education and Training
Nowshin Nawar Arony University of Victoria, Kezia Devathasan University of Victoria, Ze Shi (Zane) Li University of Victoria, Canada, Daniela Damian University of Victoria
Pre-print

Sat 20 May

Displayed time zone: Hobart change

09:00 - 10:30
Welcome / Keynote 1GI at Meeting Room 109
09:00
15m
Day opening
Welcome & Introductions
GI

09:15
75m
Keynote
It’s all in the Semantics: When are Genetically Improved Programs Still Correct?
GI
Myra Cohen Iowa State University
11:00 - 12:30
Presentation Session 1GI at Meeting Room 109
11:00
30m
Talk
Generative Art via Grammatical Evolution
GI
Erik Fredericks Grand Valley State University, Abigail C. Diller Grand Valley State University, Jared Moore Grand Valley State University
11:30
30m
Talk
Genetic Improvement of OLC and H3 with Magpie
GI
William Langdon University College London, Brad Alexander industry
12:00
15m
Talk
DebugNS: Novelty Search for Finding Bugs in Simulators
GI
David Griffin University of York, Susan Stepney University of York, Ian Vidamour University of Sheffield
15:45 - 17:15
Presentation Session 3 / Discussion & ClosingGI at Meeting Room 109
15:45
30m
Talk
Updating Gin’s profiler for current Java
GI
Alexander E.I. Brownlee University of Stirling, Myles Watkinson University of Adelaide
16:15
45m
Other
Discussion
GI

17:00
15m
Day closing
Awards and Closing
GI

Sun 14 May

Displayed time zone: Hobart change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Meeting Room 109

Sat 20 May

Displayed time zone: Hobart change

Mon 15 May

Displayed time zone: Hobart change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Meeting Room 109

Tue 16 May

Displayed time zone: Hobart change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Meeting Room 109
MSR Awards
Closing
17:05 - 17:30

Wed 17 May

Displayed time zone: Hobart change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Meeting Room 109

Thu 18 May

Displayed time zone: Hobart change

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Meeting Room 109

Fri 19 May

Displayed time zone: Hobart change

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:00153045
Meeting Room 109