Information about attending a tutorial

To attend a tutorial, please register using the following link: Registration to tutorials
On the registration page, please refer to the tutorial nickname.

Here are the ASE ’23 tutorials and a brief description of each:

Powerful graph solver algorithm for the generation and analysis of consistent models.

Nickname: Refinery

Authors: Oszkár Semeráth^*, Kristóf Marussy^* and Dániel Varró^**

Institutions: ^*Budapest University of Technology and ^**Economics and **Linköping University

Duration: 1.5 hour

Abstract: Graph-based models are widely used in software and system engineering. Consequently, several testing, benchmarking, and optimization problem relies on the systematic construction of consistent graph models. However, automatically generating a diverse set of consistent graph models for industrial domains is challenging. First, engineers must specify the graph generation problem with mathematical precision, requiring specialized tools. Second, graph generation is a computationally complex task requiring specialized logic solvers. The Refinery framework is a novel open-source software tool automatically synthesizes consistent and diverse domain-specific graph models. The framework offers an expressive high-level language using partial models to succinctly formulate a wide range of graph generation challenges. Application scenarios include system-level architecture synthesis, test generation for modeling tools or traffic scenario synthesis for autonomous vehicles. The framework uses a scalable graph solver algorithm that uses logic reasoning rules to efficiently synthesize a diverse set of solutions to graph generation problems by combining partial model refinement with logic reasoning. In our tutorial, we present our graph generation tool to the software engineering community and show how to automate various problems with automated graph generation.

Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification

Nickname: Requirements

Authors: Sinem Getir Yaman^*, Ana Cavalcanti*, Radu Calinescu^*, Beverly Townsend^**

Institutions: ^*Department of Computer Science and ^**Law School, University of York, UK

Duration: 3 hours

Abstract: A new class of requirements is of growing importance for many software systems. In applications ranging from assistive care to emergency management, software systems perform operations and make decisions that must comply with the social, legal, ethical, empathetic and cultural (SLEEC) norms of their users. For example, the control software of an assistive-care robot must consider its users' well-being, privacy and autonomy needs. As another example, a software personal assistant must exhibit cultural sensitivity when addressing its users, and must seek user consent prior to sharing certain types of personal information. In this tutorial, we will present a tool-supported methodology for the elicitation, formalisation, consistency validation, and verification of these SLEEC requirements, using interactive exercises to demonstrate its application to software systems from domains such as assistive care and emergency management.

Collaborative Analysis and Verification of C Programs with Frama-C

Nickname: Frama-C

Authors: Frédéric Loulergue

Institution: University of Orléans, France

Duration: half-day

Abstract: While ensuring the correctness of an implementation based on a formal functional specification provides the strongest guarantee, it can be prohibitively expensive to achieve. In practice, a combination of formal methods is commonly employed to attain an appropriate level of assurance. This includes static analyses to ensure the absence of runtime errors, deductive verification for functional correctness, and dynamic verification for components that cannot be proven through deductive verification. Frama-C is a source code analysis platform designed for the verification of large-scale programs written in ISO C source code. It offers comprehensive support for the integration of formal methods, offering users a set of plug-ins that facilitate static and dynamic analysis of safety-critical and security-critical software. Furthermore, the collaborative verification capabilities are achieved through the integration of these plug-ins on a shared kernel and their adherence to a standardized specification language known as ACSL (ANSI/ISO C Specification Language). This tutorial is an introduction, including hands-on sessions, to the analysis and verification of C programs using Frama-C. The main plug-ins of Frama-C are presented, as well as their combination in a verification project. We illustrate these plug-ins on several examples taken from Contiki, a lightweight operating system for the Internet of Things.

AI for SE

Nickname: AI for SE

Authors: Mohamad Khajezade, Iman Saberi, Fatemeh H. Fard

Institution: University of British Columbia

Duration: 3 hours

Abstract: Recently, many efforts have been made in the Software Engineering community to use language models (LM) such as CodeBERT or large language models (LLM) such as GPT3 to automate and improve the performance of SE tasks. Though fine-tuning the language models or providing a prompt to an LLM is a common way of using these models, the learned knowledge of these models can be transferred to a new language, task, or domain using other techniques such as few-shot learning and adapters. In this tutorial, we aim first to provide background knowledge about what language models are and how they work. Then, we will dive into different classes of few-shot learning and how they can be applied in the context of source code to the LMs when the training data samples are limited to only a few records. Finally, we will cover the theories required to use adapters and provide technical details about how they can transfer knowledge from other tasks and domains to new tasks and domains without fully fine-tuning or pre-training the models from scratch. The tutorial covers these concepts’ theories and practical aspects by providing interactive code on Google Colab. This tutorial provides the required background to use language models for knowledge transfer and better performance for low-resource languages.

Dynamically Analyzing Python Programs with DynaPyt

Nickname: DynaPyt

Authors: Aryaz Eghbali, Michael Pradel

Institution:

Duration: 3 hours (half day)

Abstract: Python is a popular language with applications covering a variety of domains, such as web applications, automation scripts, and especially machine learning and data analysis. Program analysis techniques provide the means to validate correctness, analyze performance, and check security properties. With Python being a dynamic language, performing program analysis at runtime is an obvious choice, as it allows for precisely observing the actual runtime behavior. However, implementing dynamic analyses with traditional approaches requires significant engineering effort. DynaPyt allows for implementing analyses with minimal effort, and provides the ability to not only observe but to also modify executions. For example, DynaPyt can be used to implement a dynamic taint analysis, for runtime verification of API protocols, to build a dynamic call graph, or to detect possibly incorrect program behavior. This tutorial will provide a hands-on introduction into dynamically analyzing Python programs with DynaPyt. We will guide participants through setting up the tool and implementing several program analyses. After the tutorial, participants will be able to build on DynaPyt for their own future research and tool development.

An Introduction to Quantum Software Engineering

Nickname: QuantumSE

Authors: Jianjun Zhao

Institution: Kyushu University

Duration: 1.5 hour

Abstract: Quantum computing has emerged as a disruptive technology with the potential to revolutionize various industries. However, because quantum software is different in nature from classical software, developing software for quantum computers requires a paradigm shift in traditional software engineering approaches. This tutorial addresses the challenges and opportunities in quantum software engineering and explores state-of-the-art methods and techniques. Participants will gain insights into developing reliable and robust quantum software systems, taking into account the unique characteristics of quantum systems. The tutorial fosters collaboration between researchers and practitioners, providing a platform to exchange ideas and experiences in quantum software engineering.

Language-Based Testing

Nickname: Zeller

Authors: Andreas Zeller

Institutions: CISPA

Duration: 1.5 hour

Abstract: Common fuzzing techniques work by systematically mutating a set of given inputs, slowly covering more and more of the program code. But if your program has a complex input format, most of these mutations will be invalid, resulting in very few inputs reaching code beyond input processing. In this tutorial, we will explore techniques to generate input languages using grammars, generators, and constraint solvers and leverage these language specifications to create powerful test generators for complex input formats. On top, we can even use these language specifications to check outputs, addressing the oracle problem. Includes interactive coding!

Recommended reads fuzzingbook.org, notably the chapters “Fuzzing with Grammars”, “Fuzzing with Generators”, and “Fuzzing with Constraints”

Dates

Tracks

Plenary

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

	08:00 - 17:00	RegistrationCatering

08:30 - 10:00	AI for SETutorials at Room UK*

08:30 90m Talk		AI for SE: Neural Language Models, Few-Shot Learning, and Adapters for Source Code Tutorials Mohamad Khajezade , Iman Saberi University of British Columbia Okanagan, Fatemeh Hendijani Fard University of British Columbia

10:00 - 10:30	Coffee breakCatering at Coffee Break Place

10:00 30m Coffee break		Break Catering

10:30 - 12:00

Language-Based TestingTutorials at Room DE*

10:30

90m

Talk

Language-Based Testing

Tutorials

Andreas Zeller CISPA Helmholtz Center for Information Security

10:30 - 12:00	AI for SETutorials at Room UK*

10:30 90m Talk		AI for SE: Neural Language Models, Few-Shot Learning, and Adapters for Source Code Tutorials Mohamad Khajezade , Iman Saberi University of British Columbia Okanagan, Fatemeh Hendijani Fard University of British Columbia

12:00 - 13:30	LunchCatering at Lunch Place

12:00 90m Lunch		Lunch Catering

13:30 - 15:00	DynaPytTutorials at Room DE*

13:30 90m Talk		Dynamically Analyzing Python Programs with DynaPyt Tutorials Aryaz Eghbali University of Stuttgart, Michael Pradel University of Stuttgart

13:30 - 15:00	QuantumSETutorials at Room UK*

13:30 90m Talk		An Introduction to Quantum Software Engineering Tutorials Jianjun Zhao Kyushu University

15:00 - 15:30	Coffee breakCatering at Coffee Break Place

15:00 30m Coffee break		Break Catering

15:30 - 17:00	DynaPytTutorials at Room DE*

15:30 90m Talk		Dynamically Analyzing Python Programs with DynaPyt Tutorials Aryaz Eghbali University of Stuttgart, Michael Pradel University of Stuttgart

	07:30 - 17:00	RegistrationCatering

10:00 - 10:30	Coffee breakCatering at Coffee Break Place

10:00 30m Coffee break		Break Catering

10:30 - 12:00	Cloud and Distributed Systems 1Research Papers / Journal-first Papers at Plenary Room 2

10:30 12m Talk		Twin Graph-based Anomaly Detection via Attentive Multi-Modal Learning for Microservice System Research Papers Jun Huang Anhui University of Technology, Yang Yang Anhui University of Technology, Hang Yu Ant Group, Jianguo Li Ant Group, Xiao Zheng Anhui University of Technology
10:42 12m Talk		Dynamic Graph Neural Networks-based Alert Link Prediction for Online Service Systems Research Papers Yiru Chen Fudan University, Chenxi Zhang Fudan University, Zhen Dong Fudan University, China, Dingyu Yang Alibaba Group, Xin Peng Fudan University, Jiayu Ou Alibaba Group, Hong Yang Fudan University, Zheshun Wu Alibaba Group, Xiaojun Qu Alibaba Group, Wei Li Alibaba Group
10:54 12m Talk		A Model-based Mode-Switching-Framework based on Security Vulnerability Scores Journal-first Papers Michael Riegler Johannes Kepler University Linz, Johannes Sametinger Johannes Kepler University Linz, Michael Vierhauser University of Innsbruck, Manuel Wimmer JKU Linz Link to publication DOI File Attached
11:06 12m Talk		Maat: Performance Metric Anomaly Anticipation for Cloud Services with Conditional Diffusion Research Papers Cheryl Lee The Chinese University of Hong Kong, Tianyi Yang The Chinese University of Hong Kong, Zhuangbin Chen School of Software Engineering, Sun Yat-sen University, Yuxin Su Sun Yat-sen University, Michael Lyu The Chinese University of Hong Kong Pre-print
11:18 12m Talk		Vicious Cycles in Distributed Software SystemsRecorded talk Research Papers Shangshu Qian Purdue University, Wen Fan Purdue University, Lin Tan Purdue University, Yongle Zhang Purdue University Pre-print Media Attached
11:30 12m Talk		Scene-Driven Exploration and GUI Modeling for Android AppsRecorded talk Research Papers Xiangyu Zhang , Lingling Fan Nankai University, Sen Chen Tianjin University, Yucheng Su Alibaba Group, Boyuan Li Nankai University Media Attached

10:30 - 12:00	Testing AI Systems 1NIER Track / Research Papers at Room C Chair(s): Leonardo Mariani University of Milano-Bicocca

10:30 12m Talk		Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting Research Papers Li Tsz On The Hong Kong University of Science and Technology, Wenxi Zong Northeastern University, Yibo Wang Northeastern University, Haoye Tian University of Luxembourg, Ying Wang Northeastern University, Shing-Chi Cheung Hong Kong University of Science and Technology, Jeffrey Kramer Imperial College London Pre-print
10:42 12m Talk		SOCRATEST- Towards Autonomous Testing Agents via Conversational Large Language Models NIER Track Robert Feldt Chalmers University of Technology, Sweden, Sungmin Kang KAIST, Juyeon Yoon Korea Advanced Institute of Science and Technology, Shin Yoo KAIST Pre-print File Attached
10:54 12m Research paper		Semantic Data Augmentation for Deep Learning Testing using Generative AI NIER Track sondess missaoui University of York, Simos Gerasimou University of York, Nicholas Matragkas Université Paris-Saclay, CEA, List. File Attached
11:06 12m Talk		Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code Classifiers Research Papers Zhen Li Huazhong University of Science and Technology, Ruqian Zhang Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Ning Wang Huazhong University of Science and Technology, Yating Li Huazhong University of Science and Technology, Shouhuai Xu University of Colorado Colorado Springs, Chen Chen University of Central Florida, Hai Jin Huazhong University of Science and Technology, Yating Li Huazhong University of Science and Technology Pre-print
11:18 12m Talk		The Devil is in the Tails: How Long-Tailed Code Distributions Impact Large Language Models Research Papers Xin Zhou Singapore Management University, Singapore, Kisub Kim Singapore Management University, Singapore, Bowen Xu North Carolina State University, Jiakun Liu Singapore Management University, DongGyun Han Royal Holloway, University of London, David Lo Singapore Management University Pre-print
11:30 12m Talk		CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature SpaceRecorded talk Research Papers haibin zheng Zhejiang University of Technology, Jinyin Chen College of Information Engineering, Zhejiang University of Technology, Hangzhou 310023, China, Haibo Jin Zhejiang University of Techonology Pre-print Media Attached

10:30 - 12:00	Infrastructure, Build, and LogsResearch Papers / Industry Showcase (Papers) / NIER Track / Journal-first Papers at Room D Chair(s): Fatemeh Hendijani Fard University of British Columbia, Arie van Deursen Delft University of Technology

10:30 12m Talk		Are They All Good? Studying Practitioners' Expectations on the Readability of Log Messages Research Papers Zhenhao Li Concordia University, An Ran Chen University of Alberta, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Tse-Hsun (Peter) Chen Concordia University, Weiyi Shang University of Waterloo Pre-print
10:42 12m Talk		Log Parsing: How Far Can ChatGPT Go? NIER Track Van-Hoang Le The University of Newcastle, Hongyu Zhang Chongqing University Pre-print
10:54 12m Talk		On the usage, co-usage and migration of CI/CD tools: a qualitative analysis Journal-first Papers Pooya Rostami Mazrae University of Mons, Tom Mens University of Mons
11:06 12m Talk		Predicting Compilation Resources for Adaptive Build in an Industrial Setting Industry Showcase (Papers) Junhao Hu Peking University, Chaozheng Wang The Chinese University of Hong Kong, Hailiang Huang Tencent Inc., Huang Luo Tencent Inc., Yu Jin Tencent Inc., Yuetang Deng Tencent, Tao Xie Peking University
11:30 12m Talk		What Quality Aspects Influence the Adoption of Docker Images? Journal-first Papers Giovanni Rosa University of Molise, Simone Scalabrino University of Molise, Gabriele Bavota Software Institute, USI Università della Svizzera italiana, Rocco Oliveto University of Molise Link to publication Media Attached
11:42 12m Talk		LogOnline: A Semi-supervised Log-based Anomaly Detector Aided with Online Learning MechanismRecorded talk Research Papers Xuheng Wang Tsinghua University, Jiaxing Song Tsinghua University, Xu Zhang Microsoft Research, Junshu Tang Shanghai Jiao Tong University, Weihe Gao Tsinghua University, Qingwei Lin Microsoft, Xuheng Wang Tsinghua University Link to publication DOI Media Attached

10:30 - 12:00	Open Source and Software Ecosystems 1Research Papers / Tool Demonstrations at Room E Chair(s): Denys Poshyvanyk William & Mary

10:30 12m Talk		An Empirical Study of Malicious Code In PyPI Ecosystem Research Papers Wenbo Guo School of Cyber Science and Engineering, Sichuan University, Zhengzi Xu Nanyang Technological University, Chengwei Liu Nanyang Technological University, Cheng Huang School of Cyber Science and Engineering, Sichuan University, Yong Fang School of Cyber Science and Engineering, Sichuan University, Yang Liu Nanyang Technological University Pre-print
10:42 12m Talk		Understanding and Remediating Open-Source License Incompatibilities in the PyPI Ecosystem Research Papers Weiwei Xu Peking University, Hao He Carnegie Mellon University, Kai Gao University of Science and Technology Beijing, Minghui Zhou Peking University Pre-print
10:54 12m Talk		Mitigating Persistence of Open-Source Vulnerabilities in Maven Ecosystem Research Papers Lyuye Zhang Nanyang Technological University, Chengwei Liu Nanyang Technological University, Sen Chen Tianjin University, Zhengzi Xu Nanyang Technological University, Lingling Fan Nankai University, Lida Zhao Nanyang Technological University, Yiran Zhang Nanyang Technological University, Yang Liu Nanyang Technological University
11:06 12m Talk		Bus Factor Explorer Tool Demonstrations Egor Klimov JetBrains Research, Muhammad Umair Ahmed Bilkent University, Nikolai Sviridov JetBrains Research, Pouria Derakhshanfar JetBrains Research, Eray Tüzün Bilkent University, Vladimir Kovalenko JetBrains Research Media Attached
11:30 12m Talk		EALink: An Efficient and Accurate Pre-Trained Framework for Issue-Commit Link Recovery Research Papers Chenyuan Zhang Xiamen University, Yanlin Wang Sun Yat-sen University, Zhao Wei Tencent, Yong Xu Tencent, Juhong Wang Tencent, Hui Li Xiamen University, Rongrong Ji Xiamen University Pre-print Media Attached
11:42 12m Talk		Fork Entropy: Assessing the Diversity of Open Source Software Projects' ForksRecorded talk Research Papers Liang Wang Nanjing University, Zhiwen Zheng State Key Laboratory for Novel Software Technology, Nanjing University, Xiangchen Wu State Key Laboratory for Novel Software Technology, Nanjing University, Baihui Sang State Key Laboratory for Novel Software Technology, Nanjing University, Jierui Zhang Nanjing University, Xianping Tao Nanjing University Media Attached

12:00 - 13:30	LunchCatering at Lunch Place

12:00 90m Lunch		Lunch Catering

13:30 - 15:00	Cloud and Distributed Systems 2Research Papers / Tool Demonstrations / Journal-first Papers / Industry Showcase (Papers) at Plenary Room 2 Chair(s): Tim Menzies North Carolina State University

13:30 12m Talk		EXPRESS 2.0: An Intelligent Service Management Framework for AIoT Systems in the Edge Tool Demonstrations Jia Xu School of Computer Science and Technology, Anhui University, Xiao Liu School of Information Technology, Deakin University, Wuzhen Pan School of Computer Science and Technology, Anhui University, Xuejun Li School of Computer Science and Technology, Anhui University, Aiting Yao School of Computer Science and Technology, Anhui University, Yun Yang Swinburne University of Technology Media Attached
13:42 12m Talk		Prism: Revealing Hidden Functional Clusters of Massive Instances in Cloud Systems Research Papers Jinyang Liu The Chinese University of Hong Kong, Zhihan Jiang The Chinese University of Hong Kong, Jiazhen Gu Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Zhuangbin Chen School of Software Engineering, Sun Yat-sen University, Cong Feng Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Zengyin Yang Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Yongqiang Yang Huawei Technologies, Michael Lyu The Chinese University of Hong Kong Pre-print File Attached
13:54 12m Talk		FaaSLight: General Application-Level Cold-Start Latency Optimization for Function-as-a-Service in Serverless Computing Journal-first Papers Xuanzhe Liu Peking University, Jinfeng Wen Peking University, Zhenpeng Chen University College London, Ding Li Peking University, Junkai Chen Peking University, China, Yi Liu Peking University, Haoyu Wang Huazhong University of Science and Technology, Xin Jin Peking University File Attached
14:06 12m Talk		RocketHA: A High Availability Design Paradigm for Distributed Log-Based Storage System Industry Showcase (Papers) Juntao Ji Alibaba Cloud Computing Co. Ltd., Rongtong Jin Alibaba Cloud Computing Co. Ltd., Yubao Fu Alibaba Cloud Computing Co. Ltd., Yinyou Gu Alibaba Cloud Computing Co. Ltd., Tsung-han Tsai Alibaba Cloud Computing Co. Ltd., Qingshan Lin Alibaba Cloud Computing Co. Ltd.
14:18 12m Talk		Rise of Distributed Deep Learning Training in the Big Model Era: From a Software Engineering Perspective Journal-first Papers Xuanzhe Liu Peking University, Diandian Gu Peking University, Zhenpeng Chen University College London, Jinfeng Wen Peking University, Zili Zhang Peking University, Yun Ma Peking University, Haoyu Wang Huazhong University of Science and Technology, Xin Jin Peking University Link to publication
14:30 12m Talk		ConfTainter: Static Taint Analysis For Configuration OptionsRecorded talk Research Papers Teng Wang National University of Defense Technology, Haochen He National University of Defense Technology, Xiaodong Liu National University of Defense Technology, Shanshan Li National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Yu Jiang Tsinghua University, Qing Liao Harbin Institute of Technology, Wang Li National University of Defense Technology Pre-print Media Attached

13:30 - 15:00	Testing AI Systems 2NIER Track / Journal-first Papers / Research Papers at Room C Chair(s): Lwin Khin Shar Singapore Management University

13:30 12m Talk		ATOM: Automated Black-Box Testing of Multi-Label Image Classification Systems Research Papers Shengyou Hu Nanjing University, Huayao Wu Nanjing University, Peng Wang Fudan University, Jing Chang Guangdong OPPO Mobile Telecommunications Corp.,Ltd., Yongjun Tu Guangdong OPPO Mobile Telecommunications Corp.,Ltd., Xiu Jiang Guangdong OPPO Mobile Telecommunications Corp.,Ltd., Xintao Niu Nanjing University, Changhai Nie Nanjing University Pre-print Media Attached File Attached
13:42 12m Talk		Automating Bias Testing of LLMs NIER Track Sergio Morales Universitat Oberta de Catalunya, Robert Clarisó Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology Pre-print File Attached
13:54 12m Talk		MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack NIER Track Qiang Hu University of Luxembourg, Yuejun GUo Luxembourg Institute of Science and Technology, Maxime Cordy University of Luxembourg, Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg File Attached
14:06 12m Research paper		Generative Model-Based Testing on Decision-Making Policies Research Papers Zhuo Li Kyushu University, Xiongfei Wu Kyushu University, Derui Zhu Technical University of Munich, Mingfei Cheng Singapore Management University, Siyuan Chen Kyushu University, Fuyuan Zhang Kyushu University, Xiaofei Xie Singapore Management University, Lei Ma University of Alberta, Jianjun Zhao Kyushu University File Attached
14:18 12m Talk		Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems Journal-first Papers Hazem FAHMY University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa, Thomas Stifter IEE S.A. Link to publication DOI Pre-print File Attached
14:30 12m Talk		Are We Ready to Embrace Generative AI for Software Q&A? NIER Track Bowen Xu North Carolina State University, Thanh-Dat Nguyen University of Melbourne, Thanh Le-Cong The University of Melbourne, Thong Hoang CSIRO's Data61, Jiakun Liu Singapore Management University, Kisub Kim Singapore Management University, Singapore, Chen GONG University of Virginia, Changan Niu Software Institute, Nanjing University, Chenyu Wang Singapore Management University, Xuan-Bach D. Le University of Melbourne, David Lo Singapore Management University

13:30 - 15:00	Smart Contracts, Blockchain, Energy efficiency, and green softwareResearch Papers / NIER Track / Industry Showcase (Papers) / Tool Demonstrations / Journal-first Papers at Room D

13:30 12m Talk		An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge Research Papers Alessandro Tundo University of Milano-Bicocca, Marco Mobilio University of Milano Bicocca, Shashikant Ilager Vienna University of Technology, Ivona Brandic Vienna University of Technology, Ezio Bartocci TU Wien, Leonardo Mariani University of Milano-Bicocca Pre-print File Attached
13:42 12m Talk		Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study Journal-first Papers Faizan Khan Plotly Technologies Inc., Istvan David McMaster University, Shane McIntosh University of Waterloo, Daniel Varro Linköping University / McGill University Media Attached
13:54 12m Talk		SmartCoCo: Checking Comment-code Inconsistency in Smart Contracts via Constraint Propagation and Binding Research Papers Sicheng Hao Sun Yat-sen University, Yuhong Nan Sun Yat-sen University, Zibin Zheng Sun Yat-sen University, Xiaohui Liu Sun Yat-sen University DOI File Attached
14:06 12m Talk		RJoules: An Energy Measurement Tool for R Tool Demonstrations Rajrupa Chattaraj Indian Institute of Technology Tirupati, India, Sridhar Chimalakonda IIT Tirupati Pre-print Media Attached File Attached
14:18 12m Talk		Assessing the Impact of Refactoring Energy-Inefficient Code Patterns on Software Sustainability: An Industry Case StudyRecorded talk Industry Showcase (Papers) Rohit Mehra Accenture Labs, Priyavanshi Pathania Accenture Labs, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture, Adam P. Burden Accenture Media Attached
14:30 12m Talk		Green AI Quotient : Assessing Greenness of AI-based software and the way forwardRecorded talk Industry Showcase (Papers) Samarth Sikand Accenture Labs, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture Media Attached
14:42 12m Talk		Towards a Knowledge Base of Common Sustainability Weaknesses in Green Software DevelopmentRecorded talk NIER Track Priyavanshi Pathania Accenture Labs, Rohit Mehra Accenture Labs, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture, Adam P. Burden Accenture Media Attached

13:30 - 15:00	Vulnerability and Security 1Research Papers / Journal-first Papers at Room E Chair(s): Fatemeh Hendijani Fard University of British Columbia

13:30 12m Talk		A Needle is an Outlier in a Haystack: Hunting Malicious PyPI Packages with Code Clustering Research Papers Wentao Liang Institute of Software, Chinese Academy of Sciences, Xiang Ling Institute of Software, Chinese Academy of Sciences, Jingzheng Wu Institute of Software, The Chinese Academy of Sciences, Tianyue Luo Institute of Software, Chinese Academy of Sciences, Yanjun Wu Institute of Software, Chinese Academy of Sciences File Attached
13:42 12m Talk		Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows Research Papers Yujiang Gui UNSW Sydney, Dongjie He UNSW, Jingling Xue UNSW Pre-print File Attached
13:54 12m Talk		Learning to Locate and Describe Vulnerabilities Research Papers Jian Zhang Nanyang Technological University, Shangqing Liu Nanyang Technological University, Xu Wang Beihang University, Li Tianlin Nanyang Technological University, Yang Liu Nanyang Technological University
14:06 12m Talk		When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability Detection Research Papers Xin-Cheng Wen Harbin Institute of Technology, Xinchen Wang Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Yang Liu Nanyang Technological University, Zhaoquan Gu Harbin Institute of Technology
14:18 12m Talk		The Secret Life of Software Vulnerabilities: A Large-Scale Empirical Study Journal-first Papers Emanuele Iannone University of Salerno, Roberta Guadagni University of Salerno, Filomena Ferrucci University of Salerno, Andrea De Lucia University of Salerno, Fabio Palomba University of Salerno Link to publication DOI Pre-print Media Attached
14:30 12m Talk		SCPatcher: Mining Crowd Security Discussions to Enrich Secure Coding Practices Research Papers Ziyou Jiang Institute of Software at Chinese Academy of Sciences, Lin Shi Beihang University, Guowei Yang University of Queensland, Qing Wang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences Media Attached File Attached

15:00 - 15:30	Coffee breakCatering at Coffee Break Place

15:00 30m Coffee break		Break Catering

15:30 - 17:00	Code Generation 1Research Papers / Tool Demonstrations / Journal-first Papers at Plenary Room 2 Chair(s): Kui Liu Huawei

15:30 12m Talk		An Empirical Study of Parameter-Efficient Fine-Tuning Methods for Pre-trained Code Models Research Papers Jiaxing Liu Fudan University, Chaofeng Sha Fudan University, Xin Peng Fudan University
15:42 12m Talk		CodeEditor: Learning to Edit Source Code with Pre-trained Models Journal-first Papers Jia Li Peking University, Ge Li Peking University, Li Zhuo , Zhi Jin Peking University, Xing Hu Zhejiang University, Kechi Zhang Peking University, China, Zhiyi Fu Peking University Link to publication
15:54 12m Talk		CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code Generation Research Papers Mingwei Liu Fudan University, Tianyong Yang Fudan University, Yiling Lou Fudan University, Xueying Du Fudan University, Ying Wang Northeastern University, Xin Peng Fudan University Pre-print Media Attached
16:06 12m Talk		ArduinoProg: Towards Automating Arduino Programming Tool Demonstrations Imam Nur Bani Yusuf Singapore Management University, Singapore, Diyanah Binte Abdul Jamal Singapore Management University, Lingxiao Jiang Singapore Management University Pre-print Media Attached
16:18 12m Talk		Domain Adaptive Code Completion via Language Models and Decoupled Domain DatabasesRecorded talk Research Papers Ze Tang Software Institute, Nanjing University, Jidong Ge Nanjing University, Shangqing Liu Nanyang Technological University, Tingwei Zhu Nanjing University, Tongtong Xu Huawei, Liguo Huang Southern Methodist University, Bin Luo Nanjing University Pre-print Media Attached File Attached

15:30 - 17:00	Testing AI Systems 3Journal-first Papers / Research Papers / Industry Showcase (Papers) / NIER Track at Room C Chair(s): Mike Papadakis University of Luxembourg, Luxembourg

15:30 12m Research paper		Causality-Aided Trade-off Analysis for Machine Learning Fairness Research Papers Zhenlan Ji The Hong Kong University of Science and Technology, Pingchuan Ma HKUST, Shuai Wang Hong Kong University of Science and Technology, Yanhui Li Nanjing University Pre-print
15:42 12m Talk		Towards Self-Adaptive Machine Learning-Enabled Systems Through QoS-Aware Model Switching NIER Track Shubham Kulkarni IIIT Hyderabad, Arya Marda IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad Pre-print
15:54 12m Talk		Challenges of Accurate and Efficient AutoML Industry Showcase (Papers) Swarnava Dey TCS Research, Avik Ghose TCS Research, Soumik Das Tata Consultancy Services Ltd. File Attached
16:06 12m Talk		Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks Research Papers Tamal Mondal IIT Hyderabad, Scott Barnett Deakin University, Akash Lal Microsoft Research, Jyothi Vedurada IIT Hyderabad Pre-print Media Attached
16:18 12m Talk		Evaluating Pre-Trained Models for User Feedback Analysis in Software Engineering: A Study on Classification of App-Reviews Journal-first Papers Mohammad Abdul Hadi University of British Columbia, Fatemeh Hendijani Fard University of British Columbia File Attached
16:30 12m Talk		Evolve the Model universe of a System UniverseRecorded talk NIER Track Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University Media Attached

15:30 - 17:00	Web Development 1Journal-first Papers / Research Papers / Industry Showcase (Papers) at Room D Chair(s): Ben Hermann TU Dortmund

15:30 12m Talk		Adaptive REST API Testing with Reinforcement Learning Research Papers Myeongsoo Kim Georgia Institute of Technology, Saurabh Sinha IBM Research, Alessandro Orso Georgia Institute of Technology Pre-print File Attached
15:42 12m Talk		Zero-Config Fuzzing for Microservices Industry Showcase (Papers) Wei Wang Google, Inc., Andrei Benea Google, Franjo Ivančić Google Pre-print File Attached
15:54 12m Talk		Automatic Extraction of Security-Rich Dataflow Diagrams for Microservice Applications written in Java Journal-first Papers Simon Schneider Hamburg University of Technology, Riccardo Scandariato Hamburg University of Technology
16:06 12m Talk		Increasing the Responsiveness of Web Applications by Introducing Lazy Loading Research Papers Alexi Turcotte Northeastern University, Satyajit Gokhale Northeastern University, Frank Tip Northeastern University
16:18 12m Talk		SLocator: Localizing the Origin of SQL Queries in Database-Backed Web ApplicationsRecorded talk Journal-first Papers Wei Liu Concordia University, Montreal, Canada, Tse-Hsun (Peter) Chen Concordia University Media Attached
16:30 12m Talk		Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI ChainRecorded talk Research Papers Qing Huang School of Computer Information Engineering, Jiangxi Normal University, Zhenyu Wan Jiangxi Normal University, Zhenchang Xing , Changjing Wang Jiangxi Normal University, Jieshan Chen CSIRO's Data61, Xiwei (Sherry) Xu CSIRO’s Data61, Qinghua Lu CSIRO’s Data61 Media Attached

15:30 - 17:00	Testing Tools and TechniquesNIER Track / Research Papers / Tool Demonstrations at Room E Chair(s): Tim Menzies North Carolina State University

15:30 12m Talk		Modeling Programmer Attention as Scanpath Prediction NIER Track Aakash Bansal University of Notre Dame, Chia-Yi Su University of Notre Dame, Zachary Karas Vanderbilt University, Yifan Zhang Vanderbilt University, Yu Huang Vanderbilt University, Toby Jia-Jun Li University of Notre Dame, Collin McMillan University of Notre Dame
15:42 12m Talk		On Automated Assistants for Software Development: The Role of LLMs NIER Track Mira Leung University of British Columbia, Gail Murphy University of British Columbia Pre-print File Attached
15:54 12m Talk		SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts Tool Demonstrations Monika di Angelo TU Wien, Thomas Durieux TU Delft, João F. Ferreira INESC-ID and IST, University of Lisbon, Gernot Salzer TU Wien Pre-print File Attached
16:06 12m Talk		AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection Research Papers Yintong Huo The Chinese University of Hong Kong, Yichen LI The Chinese University of Hong Kong, Yuxin Su Sun Yat-sen University, Pinjia He Chinese University of Hong Kong, Shenzhen, Zifan Xie Huazhong University of Science and Technology, Michael Lyu The Chinese University of Hong Kong Pre-print
16:18 12m Talk		Aster: Automatic Speech Recognition System Accessibility Testing for Stutterers Research Papers Yi Liu Nanyang Technological University, Yuekang Li University of New South Wales, Gelei Deng Nanyang Technological University, Felix Juefei-Xu Meta AI, Yao Du University of California, Irvine, Cen Zhang Nanyang Technological University, Chengwei Liu Nanyang Technological University, Yeting Li Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Lei Ma University of Alberta, Yang Liu Nanyang Technological University, Yuekang Li University of New South Wales
16:30 12m Talk		Software Entity Recognition with Noise-Robust LearningRecorded talk Research Papers Tai Nguyen University of Pennsylvania, Yifeng Di Purdue University, Joohan Lee University of Southern California, Muhao Chen University of Southern California, Tianyi Zhang Purdue University Pre-print Media Attached File Attached

	08:00 - 17:00	RegistrationCatering

10:00 - 10:30	Coffee breakCatering at Coffee Break Place

10:00 30m Coffee break		Break Catering

10:30 - 12:00	Code Quality and Code SmellsTool Demonstrations / Journal-first Papers / Research Papers at Plenary Room 2 Chair(s): Bernd Fischer Stellenbosch University

10:30 12m Talk		Contextuality of Code Representation Learning Research Papers Yi Li New Jersey Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Tien N. Nguyen University of Texas at Dallas
10:42 12m Talk		On-the-fly Improving Performance of Deep Code Models via Input Denoising Research Papers Zhao Tian Tianjin University, Junjie Chen Tianjin University, Xiangyu Zhang Purdue University Pre-print File Attached
10:54 12m Talk		Using Deep Learning to Automatically Improve Code Readability Research Papers Antonio Vitale University of Molise, Italy, Valentina Piantadosi University of Molise, Simone Scalabrino University of Molise, Rocco Oliveto University of Molise Pre-print
11:06 12m Talk		Towards Automatically Addressing Self-Admitted Technical Debt: How Far Are We? Research Papers Antonio Mastropaolo Università della Svizzera italiana, Massimiliano Di Penta University of Sannio, Italy, Gabriele Bavota Software Institute, USI Università della Svizzera italiana Pre-print File Attached
11:18 12m Talk		How to Find Actionable Static Analysis Warnings: A Case Study with FindBugs Journal-first Papers Rahul Yedida , Hong Jin Kang UCLA, Huy Tu North Carolina State University, USA, Xueqi Yang NCSU, David Lo Singapore Management University, Tim Menzies North Carolina State University Link to publication DOI Authorizer link Pre-print
11:30 12m Talk		Polyglot Code Smell Detection for Infrastructure as Code with GLITCH Tool Demonstrations Nuno Saavedra INESC-ID and IST, University of Lisbon, João Gonçalves INESC-ID and IST, University of Lisbon, Miguel Henriques INESC-ID and IST, University of Lisbon, João F. Ferreira INESC-ID and IST, University of Lisbon, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC Pre-print File Attached
11:42 12m Talk		Enhancing the defectiveness prediction of methods and classes via JIT Journal-first Papers Falessi Davide University of Rome Tor Vergata, Simone Mesiano Laureani University of Rome Tor Vergata, Jonida Çarka University of Rome Tor Vergata, Matteo Esposito University of Rome Tor Vergata, Daniel Alencar Da Costa University of Otago Link to publication DOI File Attached

10:30 - 12:00	Program Repair 1Tool Demonstrations / NIER Track / Journal-first Papers / Research Papers at Room C Chair(s): Arie van Deursen Delft University of Technology

10:30 12m Talk		Adonis: Practical and Efficient Control Flow Recovery through OS-Level Traces Journal-first Papers Xuanzhe Liu Peking University, Chengxu Yang Peking University, Ding Li Peking University, Yuhan Zhou Peking University, Shaofei Li Peking University, Jiali Chen Peking University, Zhenpeng Chen University College London
10:42 12m Talk		BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++ Tool Demonstrations Gabin An KAIST, Minhyuk Kwon Suresoft Technologies, Kyunghwa Choi Suresoft Technologies, Jooyong Yi UNIST (Ulsan National Institute of Science and Technology), Shin Yoo KAIST Link to publication Pre-print File Attached
10:54 12m Talk		Better patching using LLM prompting, via Self-Consistency NIER Track Toufique Ahmed University of California at Davis, Prem Devanbu University of California at Davis Pre-print
11:06 12m Talk		The Plastic Surgery Hypothesis in the Era of Large Language Models Research Papers Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Yifeng Ding University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign Pre-print
11:18 12m Research paper		GAMMA: Revisiting Template-based Automated Program Repair via Mask Prediction Research Papers Quanjun Zhang Nanjing University, Chunrong Fang Nanjing University, Tongke Zhang Nanjing University, Bowen Yu Nanjing University, Weisong Sun Nanjing University, Zhenyu Chen Nanjing University Pre-print Media Attached
11:30 12m Talk		ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems Tool Demonstrations Yuan-An Xiao Peking University, Chenyang Yang Peking University, Bo Wang Beijing Jiaotong University, Yingfei Xiong Peking University Media Attached File Attached

10:30 - 12:00	Program AnalysisResearch Papers / Tool Demonstrations / NIER Track / Journal-first Papers at Room D Chair(s): Domenico Bianculli University of Luxembourg

10:30 12m Talk		An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering Research Papers Prantik Chatterjee Indian Institute Of Technology Kanpur and MathWorks, Pankaj Kumar Kalita IIT Kanpur, Sumit Lahiri Indian Institute Of Technology Kanpur, Sujit Kumar Muduli IIT Kanpur, Vishal Singh Indian Institute of Technology Kanpur, Gourav Takhar Indian Institute of Technology Kanpur, Subhajit Roy IIT Kanpur
10:42 12m Talk		Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis Research Papers Chenghang Shi SKLP, Institute of Computing Technology, CAS, Haofeng Li , Yulei Sui University of New South Wales, Sydney, Jie Lu SKLP, Institute of Computing Technology, CAS, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jingling Xue UNSW Pre-print File Attached
10:54 12m Talk		NRAgo: Solving SMT(NRA) Formulas with Gradient-based Optimization Tool Demonstrations Minghao Liu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Kunhang Lv Institute of Software, Chinese Academy of Sciences, Pei Huang Stanford University, Rui Han Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Fuqi Jia Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yu Zhang Institute of Software, Chinese Academy of Sciences, Feifei Ma Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences File Attached
11:06 12m Talk		Live Programming for Finite Model Finders NIER Track Allison Sullivan University of Texas at Arlington Pre-print File Attached
11:18 12m Talk		Towards Robustness of Deep Program Processing Models -- Detection, Estimation and Enhancement Journal-first Papers Huangzhao Zhang Peking University, Zhiyi Fu Peking University, Ge Li Peking University, Lei Ma University of Alberta, Zhehao Zhao Peking University, Hua'an Yang Peking University, Yizhe Sun Peking University, Yang Liu Nanyang Technological University, Zhi Jin Peking University Link to publication DOI File Attached
11:30 12m Talk		Precise Data-Driven Approximation for Program Analysis via FuzzingRecorded talk Research Papers Nikhil Parasaram University College London; ConsenSys Diligence, Earl T. Barr University College London; Google DeepMind, Sergey Mechtaev University College London, Marcel Böhme MPI-SP; Monash University Pre-print Media Attached
11:42 12m Talk		Contrastive Learning for API Aspect AnalysisRecorded talk Research Papers G. M. Shahariar Ahsanullah University of Science and Technology, Tahmid Hasan Bangladesh University of Engineering and Technology, Anindya Iqbal Bangladesh University of Engineering and Technology Dhaka, Bangladesh, Gias Uddin York University, Canada Pre-print Media Attached

10:30 - 12:00	Web Development 2Industry Showcase (Papers) / Research Papers / NIER Track / Journal-first Papers at Room E Chair(s): Hadar Ziv University of California, Irvine

10:30 12m Talk		Metamorphic Testing for Web System Security Journal-first Papers Nazanin Bayati Chaleshtari University of Ottawa, Fabrizio Pastore University of Luxembourg, Arda Goknil SINTEF Digital, Lionel Briand University of Luxembourg; University of Ottawa Link to publication DOI Pre-print
10:42 12m Talk		JavaScript Dead Code Identification, Elimination, and Empirical Assessment Journal-first Papers Ivano Malavolta Vrije Universiteit Amsterdam, Kishan Nirghin Vrije Universiteit Amsterdam, Gian Luca Scoccia Gran Sasso Science Institute, Simone Romano University of Salerno, Salvatore Lombardi University of Basilicata, Giuseppe Scanniello University of Salerno, Patricia Lago Vrije Universiteit Amsterdam File Attached
10:54 12m Talk		PTdetector: An Automated JavaScript Front-end Library Detector Research Papers Xinyue Liu University at Buffalo, SUNY, Lukasz Ziarek University at Buffalo Link to publication
11:06 12m Talk		Revealing Performance Issues in Server-side WebAssembly Runtimes via Differential Testing Research Papers Shuyao Jiang The Chinese University of Hong Kong, Ruiying Zeng Fudan University, Zihao Rao Fudan University, Jiazhen Gu Chinese University of Hong Kong, Yangfan Zhou Fudan University, Michael Lyu The Chinese University of Hong Kong Pre-print
11:18 12m Talk		Dramatically Improving Design Reviews at Google Industry Showcase (Papers) Celal Ziftci Google, Ben Greenberg Google Link to publication
11:30 12m Talk		Characterizing Flaky Tests in Node.js ApplicationsRecorded talk NIER Track Xiaoning Chang Institute of Software, Chinese Academy of Sciences, Zheheng Liang Joint Laboratory on Cyberspace Security of China Southern Power Grid, Guoquan Wu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College; China Southern Power Grid, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Wei Chen Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Zhenyue Long , Lei Cui Joint Laboratory on Cyberspace Security of China Southern Power Grid, Tao Huang Institute of Software Chinese Academy of Sciences Media Attached

12:00 - 13:30	LunchCatering at Lunch Place

12:00 90m Lunch		Lunch Catering

13:30 - 15:00	Code SummarizationResearch Papers at Plenary Room 2 Chair(s): Ray Buse Google

13:30 12m Talk		Delving into Commit-Issue Correlation to Enhance Commit Message Generation Models Research Papers Liran Wang Beihang University, Xunzhu Tang University of Luxembourg, Yichen He Beihang University, Changyu Ren Beihang University, Shuhua Shi Beihang University, Chaoran Yan Beihang University, Zhoujun Li Beihang University Pre-print File Attached
13:42 12m Talk		From Commit Message Generation to History-Aware Commit Message Completion Research Papers Aleksandra Eliseeva JetBrains Research, Yaroslav Sokolov JetBrains, Egor Bogomolov JetBrains Research, Yaroslav Golubev JetBrains Research, Danny Dig JetBrains Research & University of Colorado Boulder, USA, Timofey Bryksin JetBrains Research Pre-print File Attached
13:54 12m Talk		Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis Research Papers Jingbo Lu University of New South Wales, Dongjie He UNSW, Wei Li University of New South Wales, Yaoqing Gao Huawei Toronto Research Center, Jingling Xue UNSW Pre-print File Attached
14:06 12m Talk		What Makes Good In-context Demonstrations for Code Intelligence Tasks with LLMs? Research Papers Shuzheng Gao The Chinese University of Hong Kong, Xin-Cheng Wen Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Wenxuan Wang Chinese University of Hong Kong, Hongyu Zhang Chongqing University, Michael Lyu The Chinese University of Hong Kong Pre-print File Attached
14:18 12m Talk		HexT5: Unified Pre-training for Stripped Binary Code Information InferenceRecorded talk Research Papers Jiaqi Xiong University of Science and Technology of China, Guoqiang Chen University of Science and Technology of China, Kejiang Chen University of Science and Technology of China, Han Gao University of Science and Technology of China, Shaoyin Cheng University of Science and Technology of China, Weiming Zhang University of Science and Technology of China Media Attached File Attached
14:30 12m Talk		Generating Variable Explanations via Zero-shot Prompt LearningRecorded talk Research Papers Chong Wang Fudan University, Yiling Lou Fudan University, Junwei Liu Fudan University, Xin Peng Fudan University Media Attached

13:30 - 15:00	Program Verification 1Research Papers / NIER Track / Tool Demonstrations at Room C Chair(s): Nico Rosner Amazon Web Services

13:30 12m Talk		CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification Tool Demonstrations Dirk Beyer LMU Munich, Po-Chun Chien LMU Munich, Nian-Ze Lee LMU Munich Pre-print Media Attached File Attached
13:42 12m Talk		Demystifying Template-based Invariant Generation for Bit-Vector Programs Research Papers Peisen Yao Zhejing University, Jingyu Ke Shanghai Jiao Tong University, Jiahui Sun Zhejiang University, Hongfei Fu Shanghai Jiao Tong University, Rongxin Wu Xiamen University, Kui Ren Zhejiang University
13:54 12m Talk		PSMT: Satisfiability Modulo Theories Meets Probability Distribution NIER Track Fuqi Jia Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Rui Han Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Xutong Ma State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China, Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, Minghao Liu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Pei Huang Stanford University, Feifei Ma Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences Pre-print File Attached
14:06 12m Talk		EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software Research Papers Yao Zhang Tianjin University, Xiaofei Xie Singapore Management University, Yi Li Nanyang Technological University, Sen Chen Tianjin University, Cen Zhang Nanyang Technological University, Xiaohong Li Tianjin University Pre-print File Attached
14:18 12m Talk		Symbolic Fixpoint Algorithms for Logical LTL Games Research Papers Stanly Samuel Indian Institute of Science, India, Deepak D'Souza IISc Bangalore, Raghavan Komondoor Indian Institute of Science, India Pre-print Media Attached File Attached
14:30 12m Talk		SAT-verifiable LTL Satisfiability Checking via Graph Representation LearningRecorded talk NIER Track Weilin Luo Sun Yat-Sen University, Yuhang Zheng Sun Yat-Sen University, Rongzhen Ye Sun Yat-Sen University, Hai Wan School of Data and Computer Science, Sun Yat-sen University, Jianfeng Du Guangdong University of Foreign Studies, Pingjia Liang Sun Yat-Sen University, Polong Chen Sun Yat-Sen University Media Attached

13:30 - 15:00	Open Source and Software Ecosystems 2Research Papers / Journal-first Papers / Industry Showcase (Papers) at Room D Chair(s): Paul Grünbacher Johannes Kepler University Linz, Austria

13:30 12m Talk		Personalized First Issue Recommender for Newcomers in Open Source Projects Research Papers Wenxin Xiao School of Computer Science, Peking University, Jingyue Li Norwegian University of Science and Technology, Hao He Carnegie Mellon University, Ruiqiao Qiu Beijing Institute of Technology, Minghui Zhou Peking University Pre-print
13:42 12m Talk		Understanding and Enhancing Issue Prioritization in GitHub Research Papers Yingying He Nanjing University of Aeronautics and Astronautics, Wenhua Yang Nanjing University of Aeronautics and Astronautics, Minxue Pan Nanjing University, Yasir Hussain Nanjing University of Aeronautics and Astronautics, Yu Zhou Nanjing University of Aeronautics and Astronautics
13:55 12m Research paper		Who is the Real Hero? Measuring Developer Contribution via Multi-dimensional Data Integration Research Papers Yuqiang Sun Nanyang Technological University, Zhengzi Xu Nanyang Technological University, Chengwei Liu Nanyang Technological University, Yiran Zhang Nanyang Technological University, Yang Liu Nanyang Technological University Pre-print
14:08 12m Talk		Predicting Health Indicators for Open Source Projects (using Hyperparameter Optimization) Journal-first Papers Tianpei Xia North Carolina State University, Wei Fu North Carolina State University, Rui Shu North Carolina State University, Rishabh Agrawal North Carolina State University, Tim Menzies North Carolina State University Link to publication DOI Pre-print
14:21 12m Talk		To Share, or Not to Share: Exploring Test-Case Reusability in Fork Ecosystems Research Papers Mukelabai Mukelabai The University of Zambia, Zambia, Christoph Derks Ruhr-University Bochum, Germany, Jacob Krüger Eindhoven University of Technology, Thorsten Berger Ruhr University Bochum File Attached
14:34 12m Talk		LiSum: Open Source Software License Summarization with Multi-Task LearningRecorded talk Research Papers Linyu Li , Sihan Xu Nankai University, Yang Liu Nanyang Technological University, Ya Gao Nankai University, Xiangrui Cai Nankai University, Jiarun Wu Nankai University, Wenli Song Civil Aviation University of China, Zheli Liu Nankai University Pre-print Media Attached
14:47 12m Talk		Open Source Software Tools for Data Management and Deep Model Training Automation Industry Showcase (Papers) Umut Tıraşoğlu ORDULU Corp., Abdussamet Türker ORDULU Corp., Adnan Ekici ORDULU Corp., Hayri Yiğit ORDULU Corp., Yusuf Enes Bölükbaşı ORDULU Corp., Toygar Akgun TOBB ETU

13:30 - 15:00	Code Change AnalysisResearch Papers / Journal-first Papers at Room E Chair(s): Vladimir Kovalenko JetBrains Research

13:30 12m Talk		Code Difference Guided Adversarial Example Generation for Deep Code Models Research Papers Zhao Tian Tianjin University, Junjie Chen Tianjin University, Zhi Jin Peking University Pre-print File Attached
13:42 12m Talk		DiffSearch: A Scalable and Precise Search Engine for Code Changes Journal-first Papers Luca Di Grazia University of Stuttgart, Paul Bredl University of Stuttgart, Michael Pradel University of Stuttgart Link to publication DOI Pre-print File Attached
13:54 12m Talk		ZC3 Zero-Shot Cross-Language Code Clone Detection Research Papers Jia Li , Chongyang Tao Peking University, Zhi Jin Peking University, Fang Liu Beihang University, Jia Li Peking University, Ge Li Peking University Pre-print File Attached
14:06 12m Talk		Persisting and Reusing Results of Static Program Analyses on a Large Scale Research Papers Johannes Düsing TU Dortmund University, Ben Hermann TU Dortmund, Ben Hermann TU Dortmund Pre-print
14:18 12m Talk		Optimizing Continuous Development By Detecting and Preventing Unnecessary Content Generation Research Papers Talank Baral George Mason University, Shanto Rahman The University of Texas at Austin, Bala Naren Chanumolu George Mason University, Basak Balci Ozyegin University, Tuna Tuncer Ozyegin University, August Shi The University of Texas at Austin, Wing Lam George Mason University Pre-print Media Attached
14:30 12m Talk		iASTMapper: An Iterative Similarity-Based Abstract Syntax Tree Mapping AlgorithmRecorded talk Research Papers Neng Zhang School of Software Engineering, Sun Yat-sen University, ChenQinde School of Software Engineering, Sun Yat-sen University, Zibin Zheng Sun Yat-sen University, Ying Zou Queen's University, Kingston, Ontario Pre-print Media Attached

15:00 - 15:30	Coffee breakCatering at Coffee Break Place

15:00 30m Coffee break		Break Catering

15:30 - 17:00	Code Generation 2Research Papers / NIER Track / Tool Demonstrations at Plenary Room 2 Chair(s): Marianne Huchard LIRMM

15:30 12m Talk		COMEX: A Tool for Generating Customized Source Code Representations Tool Demonstrations Debeshee Das Indian Institute of Technology Tirupati, Noble Saji Mathews University of Waterloo, Canada, Alex Mathai , Srikanth Tamilselvam IBM Research, Kranthi Sedamaki Indian Institute of Technology Tirupati, Sridhar Chimalakonda IIT Tirupati, Atul Kumar IBM India Research Labs Pre-print Media Attached File Attached
15:42 12m Talk		Fast and Reliable Program Synthesis via User Interaction Research Papers Yanju Chen University of California at Santa Barbara, Chenglong Wang Microsoft Research, Xinyu Wang University of Michigan, Osbert Bastani University of Pennsylvania, Yu Feng University of California at Santa Barbara File Attached
15:55 12m Talk		From Misuse to Mastery: Enhancing Code Generation with Knowledge-Driven AI Chaining Research Papers Xiaoxue Ren Zhejiang University, Xinyuan Ye Australian National University, Dehai Zhao CSIRO's Data61, Zhenchang Xing , Xiaohu Yang Zhejiang University File Attached
16:08 12m Talk		Generative Type Inference for Python Research Papers Yun Peng Chinese University of Hong Kong, Chaozheng Wang The Chinese University of Hong Kong, Wenxuan Wang Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Michael Lyu The Chinese University of Hong Kong Pre-print File Attached
16:21 12m Talk		Compiler Auto-tuning via Critical Flag Selection Research Papers Mingxuan Zhu Peking University, Dan Hao Peking University
16:34 12m Talk		Enhancing Code Safety in Quantum Intermediate Representation NIER Track Junjie Luo Kyushu University, Jianjun Zhao Kyushu University File Attached
16:47 12m Talk		CAT-LM: Training Language Models on Aligned Code And Tests Research Papers Nikitha Rao Carnegie Mellon University, Kush Jain Carnegie Mellon University, Uri Alon Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Vincent J. Hellendoorn Carnegie Mellon University Media Attached File Attached

15:30 - 17:00	Software Testing for Specialized Systems 1Research Papers / Journal-first Papers / NIER Track at Room C Chair(s): Fabrizio Pastore University of Luxembourg

15:30 12m Talk		DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems Research Papers Wensheng Tang Hong Kong University of Science and Technology, Chengpeng Wang Hong Kong University of Science and Technology, Peisen Yao Zhejing University, Rongxin Wu Xiamen University, Xianjin Fu Ant Group, Gang Fan Ant Group, Charles Zhang Hong Kong University of Science and Technology File Attached
15:42 12m Talk		Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks Research Papers Paschal Amusuo Purdue University, Ricardo Andres Calvo Mendez Universidad Nacional de Colombia, Zhongwei Xu Xi'an JiaoTong University, Aravind Machiry Purdue University, James C. Davis Purdue University Pre-print Media Attached File Attached
15:54 12m Talk		WADIFF: A Differential Testing Framework for WebAssembly Runtimes Research Papers Shiyao Zhou The Hong Kong Polytechnic University, Muhui Jiang The Hong Kong Polytechnic University, Weimin Chen The Hong Kong Polytechnic University, Hao Zhou Hong Kong Polytechnic University, Haoyu Wang Huazhong University of Science and Technology, Xiapu Luo Hong Kong Polytechnic University File Attached
16:06 12m Talk		T-Evos: A Large-Scale Longitudinal Study on CI Test Execution and Failure Journal-first Papers An Ran Chen University of Alberta, Tse-Hsun (Peter) Chen Concordia University, Shaowei Wang University of Manitoba Pre-print
16:18 12m Talk		VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut Coverage Research Papers Xiaoyin Wang University of Texas at San Antonio, Tahmid Rafi University of Texas at San Antonio, Na Meng Virginia Tech File Attached
16:30 12m Talk		PURLTL: Mining LTL Specification from Imperfect Traces in TestingRecorded talk NIER Track Bo Peng Sun Yat-Sen University, Pingjia Liang Sun Yat-Sen University, Tingchen Han Sun Yat-Sen University, Weilin Luo Sun Yat-Sen University, Jianfeng Du Guangdong University of Foreign Studies, Hai Wan School of Data and Computer Science, Sun Yat-sen University, Rongzhen Ye Sun Yat-Sen University, Yuhang Zheng Sun Yat-Sen University Media Attached

15:30 - 17:00	Bug DetectionResearch Papers / Journal-first Papers at Room D Chair(s): Andreea Vescan Babes-Bolyai University

15:30 12m Talk		A Comparative Study of Transformer-based Neural Text Representation Techniques on Bug Triaging Research Papers Atish Kumar Dipongkor University of Central Florida, Kevin Moran George Mason University File Attached
15:42 12m Talk		Duplicate Bug Report Detection: How Far Are We? Journal-first Papers Ting Zhang Singapore Management University, DongGyun Han Royal Holloway, University of London, Venkatesh Vinayakarao Chennai Mathematical Institute, Ivana Clairine Irsan Singapore Management University, Bowen Xu North Carolina State University, Ferdian Thung Singapore Management University, David Lo Singapore Management University, Lingxiao Jiang Singapore Management University Link to publication DOI File Attached
15:54 12m Talk		Neural SZZ Algorithm Research Papers LingXiao Tang zhejiang university, Lingfeng Bao Zhejiang University, Xin Xia Huawei Technologies, Zhongdong Huang Zhejiang University Pre-print
16:06 12m Talk		How to Train Your Neural Bug Detector: Artificial vs Real Bugs Research Papers Cedric Richter Carl von Ossietzky Universität Oldenburg / University of Oldenburg, Heike Wehrheim Carl von Ossietzky Universität Oldenburg / University of Oldenburg Pre-print File Attached
16:18 12m Talk		Detection of Java Basic Thread Misuses Based on Static Event Analysis Research Papers Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, MiaoMiao Wang Technology Center of Software Engineering, ISCAS, China. University of Chinese Academy of Sciences, China., Chi Zhang State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, China, Jun Yan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences File Attached
16:30 12m Full-paper		On effort-aware metrics for defect prediction Journal-first Papers Jonida Çarka University of Rome Tor Vergata, Matteo Esposito University of Rome Tor Vergata, Falessi Davide University of Rome Tor Vergata DOI File Attached
16:42 12m Talk		FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers Research Papers Eric Liu University of Toronto, Shengjie Xu University of Toronto, David Lie University of Toronto, Canada Pre-print File Attached

15:30 - 17:00	Autonomous Systems and AgentsResearch Papers / NIER Track / Journal-first Papers / Tool Demonstrations at Room E Chair(s): Alessio Gambi IMC University of Applied Sciences Krems

15:30 12m Talk		TEASER: Simulation-based CAN Bus Regression Testing for Self-driving Cars Software Tool Demonstrations Christian Birchler Zurich University of Applied Sciences, Cyrill Rohrbach University of Bern, Switzerland, Hyeongkyun Kim University of Zurich, Switzerland, Alessio Gambi IMC University of Applied Sciences Krems, Tianhai Liu aicas GmbH, Germany, Jens Horneber aicas GmbH, Germany, Timo Kehrer University of Bern, Sebastiano Panichella Zurich University of Applied Sciences Pre-print File Attached
15:42 12m Talk		Automated Identification and Qualitative Characterization of Safety Concerns Reported in UAV Software Platforms Journal-first Papers Andrea Di Sorbo University of Sannio, Fiorella Zampetti University of Sannio, Italy, Corrado A. Visaggio University of Sannio, Italy, Massimiliano Di Penta University of Sannio, Italy, Sebastiano Panichella Zurich University of Applied Sciences File Attached
15:54 12m Talk		Towards a Formal Framework for Normative Requirements Elicitation NIER Track Nick Feng University of Toronto, Lina Marsso University of Toronto, Sinem Getir Yaman University of York, UK, Beverley Townsend University of York, Ana Cavalcanti University of York, Radu Calinescu University of York, UK, Marsha Chechik University of Toronto File Attached
16:06 12m Talk		Detecting Smart Home Automation Application Interferences with Domain Knowledge Research Papers Tao Wang Institute of Software at Chinese Academy of Sciences, Wei Chen Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College, Liwei Liu Institute of Software at Chinese Academy of Sciences, Guoquan Wu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College; China Southern Power Grid, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Tao Huang Institute of Software Chinese Academy of Sciences Pre-print File Attached
16:18 12m Talk		CompSuite: A Dataset of Java Library Upgrade Incompatibility Issues Tool Demonstrations Xiufeng Xu Nanyang Technological University, Chenguang Zhu Meta, Yi Li Nanyang Technological University Pre-print Media Attached File Attached
16:30 12m Talk		A Comprehensive Study on Code Clones in Automated Driving SoftwareRecorded talk Research Papers Ran Mo Central China Normal University, Yingjie Jiang Central China Normal University, Wenjing Zhan Central China Normal University, Dongyu Wang Central China Normal University, Zengyang Li Central China Normal University Pre-print Media Attached File Attached

	08:00 - 17:00	RegistrationCatering

10:00 - 10:30	Coffee breakCatering at Coffee Break Place

10:00 30m Coffee break		Break Catering

10:30 - 12:00	Program Repair 2Research Papers / Journal-first Papers / NIER Track at Plenary Room 2 Chair(s): Shin Yoo KAIST

10:30 12m Talk		An Empirical Study on Fine-tuning Large Language Models of Code for Automated Program Repair Research Papers Kai Huang , Xiangxin Meng Beihang University, Beijing, China, Jian Zhang Nanyang Technological University, Yang Liu Nanyang Technological University, Wenjie Wang University of Chinese Academy of Sciences, Shuhao Li Zhongguancun Laboratory, Yuqing Zhang University of Chinese Academy of Sciences; Zhongguancun Laboratory
10:42 12m Talk		Estimating the Potential of Program Repair Search Spaces with Commit Analysis Journal-first Papers Khashayar Etemadi KTH Royal Institute of Technology, Niloofar Tarighat Sharif University of Technology, Siddharth Yadav IIIT-Delhi, Matias Martinez Universitat Politècnica de Catalunya (UPC), Martin Monperrus KTH Royal Institute of Technology Link to publication File Attached
10:54 12m Talk		LeakPair: Proactive Repairing of Memory Leaks in Single Page Web Applications Research Papers Arooba Shahoor Kyungpook National University, Askar Yeltayuly Khamit Ulsan National Institute of Science and Technology, Jooyong Yi UNIST (Ulsan National Institute of Science and Technology), Dongsun Kim Kyungpook National University Pre-print Media Attached
11:06 12m Talk		Automated Fixing of Web UI Tests via Iterative Element Matching Research Papers Yuanzhang Lin Beihang University, Guoyao Wen Huawei Technologies Co., Ltd., Xiang Gao Beihang University Pre-print Media Attached
11:18 12m Talk		OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability with Attribute Checking Research Papers Wenjie Zhang Peking University, Guancheng Wang Peking University, China, Junjie Chen Tianjin University, Yingfei Xiong Peking University, Yong Liu Beijing University of Chemical Technology, Lu Zhang Peking University Pre-print File Attached
11:30 12m Talk		Hot Patching Hot Fixes: Reflection and Perspectives NIER Track Carol Hanna University College London, Justyna Petke University College London Pre-print File Attached

10:30 - 12:00	Software Testing for Specialized Systems 2Research Papers / Tool Demonstrations at Room C Chair(s): Zishuo Ding University of Waterloo

10:30 12m Talk		Bridging the Gap between Academia and Industry in Machine Learning Software Defect Prediction: Thirteen Considerations Research Papers Szymon Stradowski Nokia & Wrocław University of Science and Technology, Lech Madeyski Wroclaw University of Science and Technology Link to publication DOI Pre-print Media Attached
10:42 12m Talk		Identify and Update Test Cases when Production Code Changes: A Transformer-based Approach Research Papers Xing Hu Zhejiang University, Zhuang Liu Zhejiang University, Xin Xia Huawei Technologies, Zhongxin Liu Zhejiang University, Tongtong Xu Huawei, Xiaohu Yang Zhejiang University
10:54 12m Talk		Revisiting and Improving Retrieval-Augmented Deep Assertion Generation Research Papers Weifeng Sun , Hongyan Li Chongqing University, Meng Yan Chongqing University, Yan Lei Chongqing University, Hongyu Zhang Chongqing University, Hongyu Zhang Chongqing University
11:06 12m Talk		Provengo: A Tool Suite for Scenario Driven Model-Based Testing Tool Demonstrations Michael Bar Sinai Provengo, Achiya Elyasaf Ben-Gurion University of the Negev, Gera Weiss Ben-Gurion University of the Negev, ‪Yeshayahu Weiss‬‏ Ben-Gurion University of the Negev Pre-print File Attached
11:18 12m Talk		QuraTest: Integrating Quantum Specific Features in Quantum Program Testing Research Papers Jiaming Ye Kyushu University, Shangzhou Xia Kyushu University, Fuyuan Zhang Kyushu University, Paolo Arcaini National Institute of Informatics , Lei Ma University of Alberta, Jianjun Zhao Kyushu University, Fuyuki Ishikawa National Institute of Informatics Link to publication DOI File Attached
11:30 12m Talk		QuCAT: A Combinatorial Testing Tool for Quantum Software Tool Demonstrations Xinyi Wang Simula Research Laboratory, Paolo Arcaini National Institute of Informatics , Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University Link to publication DOI Pre-print File Attached
11:42 12m Talk		LEAP: Efficient and Automated Test Method for NLP SoftwareRecorded talk Research Papers Mingxuan Xiao Hohai University, Yan Xiao National University of Singapore, Hai Dong RMIT University, Shunhui Ji Hohai University, Pengcheng Zhang Hohai University Media Attached

10:30 - 12:00	Mobile Development 1Research Papers / Tool Demonstrations / Journal-first Papers at Room D Chair(s): Jordan Samhi CISPA Helmholtz Center for Information Security

10:30 12m Talk		Taming Android Fragmentation through Lightweight Crowdsourced Testing Journal-first Papers Xiaoyu Sun Australian National University, Australia, Xiao Chen Monash University, Yonghui Liu Monash University, John Grundy Monash University, Li Li Beihang University Media Attached File Attached
10:42 12m Talk		Enhancing Malware Detection for Android Apps: Detecting Fine-granularity Malicious Components Research Papers Zhijie Liu ShanghaiTech University, China, Liangfeng Zhang School of Information Science and Technology, ShanghaiTech University, Yutian Tang University of Glasgow File Attached
10:54 12m Talk		Fine-Grained In-Context Permission Classification for Android Apps using Control-Flow Graph Embedding Research Papers Vikas K. Malviya Singapore Management University, Yan Naing Tun Singapore Management University, Chee Wei Leow Singapore Management University, Ailys Tee Xynyn Singapore Management University, Lwin Khin Shar Singapore Management University, Lingxiao Jiang Singapore Management University File Attached
11:06 12m Talk		How Android Apps Break the Data Minimization Principle: An Empirical Study Research Papers Shaokun Zhang Peking University, Hanwen Lei Peking University, Yuanpeng Wang Peking University, Ding Li Peking University, Yao Guo Peking University, Xiangqun Chen Peking University Pre-print File Attached
11:18 12m Talk		ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps Tool Demonstrations Shixin Zhang Institute of Software, Chinese Academy of Sciences, Shanna Li Beijing Jiaotong University, Xi Deng Institute of Software, Chinese Academy of Sciences, Jiwei Yan Institute of Software at Chinese Academy of Sciences, China, Jun Yan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences Media Attached File Attached
11:30 12m Talk		DeepScaler: Holistic Autoscaling for Microservices Based on Spatiotemporal GNN with Adaptive Graph Learning Research Papers Chunyang Meng Sun Yat-sen University, Shijie Song Sun Yat-sen University, Haogang Tong Sun Yat-sen University, Maolin Pan Sun Yat-sen University, Yang Yu Sun Yat-sen University Pre-print File Attached

10:30 - 12:00	Program Verification 2Research Papers / Tool Demonstrations / NIER Track at Room E Chair(s): Martin Kellogg New Jersey Institute of Technology

10:30 12m Talk		Expediting Neural Network Verification via Network Reduction Research Papers Yuyi Zhong National University of Singapore, Singapore, Ruiwei Wang School of Computing, National University of Singapore, Siau-Cheng Khoo National University of Singapore Pre-print File Attached
10:42 12m Talk		SMT Solver Validation Empowered by Large Pre-trained Language Models Research Papers Maolin Sun Nanjing University, Yibiao Yang Nanjing University, Yang Wang National Key Laboratory for Novel Software Technology, Nanjing University, Ming Wen Huazhong University of Science and Technology, Haoxiang Jia Huazhong University of Science and Technology, Yuming Zhou Nanjing University Pre-print File Attached
10:54 12m Talk		LIV: Invariant Validation Using Straight-Line Programs Tool Demonstrations Martin Spiessl LMU Munich, Dirk Beyer LMU Munich Pre-print Media Attached File Attached
11:06 12m Talk		CEGAR-PT: A Tool for Abstraction by Program Transformation Tool Demonstrations Dirk Beyer LMU Munich, Marian Lingsch-Rosenfeld LMU Munich, Martin Spiessl LMU Munich Pre-print Media Attached File Attached
11:18 12m Talk		Symbolic Verification of Fuzzy Logic ModelsRecorded talk NIER Track Siang Zhao School of Computer, National University of Defense Technology, China, Zhongyang Li School of Computer, National University of Defense Technology, China, Zhenbang Chen National University of Defense Technology, Ji Wang School of Computer, National University of Defense Technology, China Pre-print Media Attached
11:30 12m Talk		HOBAT: Batch Verification for Homogeneous Structural Neural NetworksRecorded talk Research Papers Jingyang Li Shanghai Jiao Tong University, Guoqiang Li Shanghai Jiao Tong University Media Attached File Attached

12:00 - 13:30	LunchCatering at Lunch Place

12:00 90m Lunch		Lunch Catering

13:30 - 15:00	Software Testing for Specialized Systems 3Journal-first Papers / Tool Demonstrations / Research Papers at Plenary Room 2 Chair(s): Xiaoyin Wang University of Texas at San Antonio

13:30 12m Talk		An Image is Worth a Thousand Toxic Words: A Metamorphic Testing Framework for Content Moderation Software Research Papers Wenxuan Wang Chinese University of Hong Kong, Jingyuan Huang Chinese University of Hong Kong, Jen-tse Huang Johns Hopkins University, Chang Chen Chinese University of Hong Kong, Jiazhen Gu Chinese University of Hong Kong, Pinjia He Chinese University of Hong Kong, Shenzhen, Michael Lyu The Chinese University of Hong Kong File Attached
13:42 12m Talk		CoMSA: A modeling driven sampling approach for configuration performance testing Research Papers Yuanjie Xia University of Waterloo, Zishuo Ding University of Waterloo, Weiyi Shang University of Waterloo Pre-print Media Attached
13:54 12m Talk		DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers Tool Demonstrations Bohan Zhang Saint Louis University, Missouri, Yashaswini Shivalingaiah Saint Louis University, Missouri, Ankit Agrawal Saint Louis University, Missouri Pre-print Media Attached File Attached
14:06 12m Talk		Effective Concurrency Testing for Go via Directional Primitive-constrained Interleaving Exploration Research Papers Zongze Jiang Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Yixin Yang Huazhong University of Science and Technology, Chao Peng ByteDance, China, Ping Yang Bytedance Network Technology, Hai Jin Huazhong University of Science and Technology File Attached
14:18 12m Talk		Fuzzing for CPS Mutation Testing Research Papers Jaekwon Lee University of Luxembourg, Luxembourg, Enrico Viganò University of Luxembourg, Oscar Cornejo University of Milano Bicocca, Italy, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa Pre-print File Attached
14:30 12m Talk		MUT4SLX: Fast Mutation Testing for Simulink Tool Demonstrations Halil Ibrahim Ceylan University of Antwerp, Onur Kilincceker University of Antwerp and Flanders Make vzw, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp; Flanders Make Media Attached File Attached
14:42 12m Talk		Machine learning-based test selection for simulation-based testing of self-driving cars software Journal-first Papers Christian Birchler Zurich University of Applied Sciences, Sajad Khatiri USI-Lugnao & Zurich University of Applied Sciences, Bill Bosshard Meier Planungsdienste GmbH, Alessio Gambi IMC University of Applied Sciences Krems, Sebastiano Panichella Zurich University of Applied Sciences

13:30 - 15:00	Testing AI Systems 4Research Papers / NIER Track at Room C

13:30 12m Talk		Mutation-based Fault Localization of Deep Neural Networks Research Papers Ali Ghanbari Iowa State University, Deepak-George Thomas Dept. of Computer Science, Iowa State University, Muhammad Arbab Arshad Dept. of Computer Science, Iowa State University, Hridesh Rajan Iowa State University Pre-print
13:42 12m Talk		Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition NIER Track Nikolaos Louloudakis University of Edinburgh, Perry Gibson University of Glasgow, José Cano University of Glasgow, Ajitha Rajan University of Edinburgh Pre-print File Attached
13:54 12m Talk		Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution NIER Track Raffi Khatchadourian City University of New York (CUNY) Hunter College, Tatiana Castro Vélez City University of New York (CUNY) Graduate Center, Mehdi Bagherzadeh Oakland University, Nan Jia City University of New York (CUNY) Graduate Center, Anita Raja City University of New York (CUNY) Hunter College Pre-print Media Attached
14:06 12m Talk		AutoConf : Automated Configuration of Unsupervised Learning Systems using Metamorphic Testing and Bayesian Optimization Research Papers Lwin Khin Shar Singapore Management University, Arda Goknil SINTEF Digital, Erik Johannes Husom SINTEF Digital, Sagar Sen , Yan Naing Tun Singapore Management University, Kisub Kim Singapore Management University, Singapore File Attached
14:18 12m Talk		An Intentional Forgetting-Driven Self-Healing Method For Deep Reinforcement Learning SystemsRecorded talk Research Papers Ahmed Haj Yahmed École Polytechnique de Montréal, Rached Bouchoucha Polytechnique Montréal, Houssem Ben Braiek Polytechnique Montréal, Foutse Khomh Polytechnique Montréal Pre-print Media Attached
14:30 12m Talk		A Majority Invariant Approach to Patch Robustness Certification for Deep Learning ModelsRecorded talk NIER Track Qilin Zhou City University of Hong Kong, Zhengyuan Wei City University of Hong Kong, Hong Kong, Haipeng Wang City University of Hong Kong, Wing-Kwong Chan City University of Hong Kong, Hong Kong Pre-print Media Attached

13:30 - 15:00	Mobile Development 2Research Papers / Industry Showcase (Papers) / Journal-first Papers / Tool Demonstrations at Room D Chair(s): Jordan Samhi CISPA Helmholtz Center for Information Security

13:30 12m Talk		Enhancing Mobile App Bug Reporting via Real-Time Understanding of Reproduction Steps Journal-first Papers Mattia Fazzini University of Minnesota, Kevin Moran George Mason University, Carlos Bernal-Cárdenas Microsoft, Tyler Wendland University of Minnesota, Alessandro Orso Georgia Institute of Technology, Denys Poshyvanyk William & Mary
13:42 12m Talk		AutoDebloater: Automated Android App Debloating Tool Demonstrations Jiakun Liu Singapore Management University, Xing Hu Zhejiang University, Ferdian Thung Singapore Management University, Shahar Maoz Tel Aviv University, Eran Toch Tel Aviv University, Debin Gao Singapore Management University, David Lo Singapore Management University
13:54 12m Talk		ReuNify: A Step Towards Whole Program Analysis for React Native Android App Research Papers Yonghui Liu Monash University, Xiao Chen Monash University, Pei Liu Data61 at CSIRO, Australia, John Grundy Monash University, Chunyang Chen Monash University, Li Li Beihang University Pre-print
14:06 12m Talk		WeMinT: Tainting Sensitive Data Leaks in WeChat Mini-Programs Research Papers Shi Meng Beijing University of Posts and Telecommunications, Liu Wang Beijing University of Posts and Telecommunications, Shenao Wang Xidian University, Kailong Wang Huazhong University of Science and Technology, Xusheng Xiao Arizona State University, Guangdong Bai University of Queensland, Haoyu Wang Huazhong University of Science and Technology
14:18 12m Talk		Vision-based Widget Mapping for Test Migration across Mobile Platforms: Are We There Yet? Research Papers Ruihua Ji Nanjing University, Tingwei Zhu Nanjing University, Xiaoqing Zhu Nanjing University, Chunyang Chen Monash University, Minxue Pan Nanjing University, Tian Zhang Nanjing University
14:30 12m Talk		Government Mobile Apps: Analysing Citizen Feedback via App Reviews Industry Showcase (Papers) Tooba Aamir Data61 at CSIRO, Australia, Mohan Baruwal Chhetri CSIRO’s Data61, M.A.P. Chamikara Data61 CSIRO Australia, Marthie Grobler CSIRO's Data61

13:30 - 15:00	DebuggingResearch Papers / Industry Showcase (Papers) at Room E Chair(s): Carol Hanna University College London

13:30 12m Talk		Coding and Debugging by Separating Secret Code toward Secure Remote Development Industry Showcase (Papers) Shinobu Saito NTT Media Attached File Attached
13:42 12m Talk		Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count Research Papers Xutong Ma State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, China, Hao Zhang Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences Pre-print
13:54 12m Research paper		PERFCE: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis Research Papers Zhenlan Ji The Hong Kong University of Science and Technology, Pingchuan Ma HKUST, Shuai Wang Hong Kong University of Science and Technology Pre-print
14:06 12m Talk		The MAP metric in Information Retrieval Fault Localization Research Papers Thomas Hirsch Graz University of Technology, Birgit Hofer Graz University of Technology Media Attached File Attached
14:18 12m Talk		Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial ExtrapolationRecorded talk Research Papers Zuoyan Zhang Information Engineering University, Bei Zhou Information Engineering University, Jiangwei Hao Information Engineering University, Hongru Yang Information Engineering University, Mengqi Cui Information Engineering University, Yuchang Zhou Information Engineering University, Guanghui Song Information Engineering University, Fei Li Information Engineering University, Jinchen Xu Information Engineering University, Jie Zhao State Key Laboratory of Mathematical Engineering and Advanced Computing Media Attached File Attached
14:30 12m Talk		Information Retrieval-based Fault Localization for Concurrent ProgramsRecorded talk Research Papers Shuai Shao University of Connecticut, Tingting Yu University of Connecticut Pre-print Media Attached

15:00 - 15:30	Coffee breakCatering at Coffee Break Place

15:00 30m Coffee break		Break Catering

15:30 - 17:00	FuzzingNIER Track / Journal-first Papers / Research Papers / Tool Demonstrations at Plenary Room 2 Chair(s): Lars Grunske Humboldt-Universität zu Berlin

15:30 12m Talk		Fine-Grained Coverage-Based Fuzzing Journal-first Papers Wei-Cheng Wu University of Southern California, USA, Bernard Nongpoh CEA LIST, University Paris-Saclay, Marwan Nour CEA, LIST, Université Paris Saclay, Michaël Marcozzi CEA, LIST, Université Paris Saclay, Sébastien Bardin CEA LIST, University Paris-Saclay, Christophe Hauser Dartmouth College Link to publication File Attached
15:42 12m Talk		MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure Research Papers Haoyu Wang College of Intelligence and Computing, Tianjin University, Junjie Chen Tianjin University, Chuyue Xie College of Intelligence and Computing, Tianjin University, Shuang Liu Tianjin University, Zan Wang Tianjin University, Qingchao Shen Tianjin University, Yingquan Zhao Tianjin University Pre-print File Attached
15:54 12m Talk		Thunderkaller: Profiling and Improving the Performance of Syzkaller Research Papers Yang Lan Institute for Network Science and Cyberspace of Tsinghua University, Di Jin Brown University, Zhun Wang Institute for Network Science and Cyberspace of Tsinghua University, Wende Tan Tsinghua University, Zheyu Ma Tsinghua University, Chao Zhang Tsinghua University File Attached
16:06 12m Talk		PHYFU: Fuzzing Modern Physics Simulation Engines Research Papers Dongwei Xiao Hong Kong University of Science and Technology, Zhibo Liu Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology Link to publication DOI
16:18 12m Talk		NaturalFuzz: Natural Input Generation for Big Data Analytics Research Papers Ahmad Humayun Virginia Tech, Yaoxuan Wu UCLA, Miryung Kim University of California at Los Angeles, USA, Muhammad Ali Gulzar Virginia Tech File Attached
16:30 12m Talk		SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-based Fuzzing Tool Demonstrations Facundo Molina IMDEA Software Institute, Marcelo d'Amorim North Carolina State University, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina Pre-print Media Attached File Attached
16:42 12m Talk		Scalable Industrial Control System Analysis via XAI-based Gray-Box Fuzzing NIER Track Justin Kur Oakland University, Jingshu Chen Oakland University, Jun Huang City University of Hong Kong

	15:30 - 17:00	Code Generation 3Research Papers / Journal-first Papers at Room C Chair(s): David Lo Singapore Management University

	15:30 12m Talk