211 - Q-SE 2025

VenueRogers Centre, Ottawa (formerly Shaw Centre)

Room name211

Floor2

Room number211

Capacity66

Room Information

See map. 211 entrance is on in the little corridor whose entrance is between rooms 210 and 208 on the second floor off the Rideau Canal Atrium. Other rooms in the corridor are 212-215.

Program

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Session 1MOBILESoft Research Track / MOBILESoft App Track at 211

09:00 30m Day opening		Introduction MOBILESoft Research Track Luciano Baresi Politecnico di Milano, Jacques Klein University of Luxembourg, Li Li Beihang University, Linghui Luo Amazon Web Services, Jordan Samhi University of Luxembourg, Luxembourg
09:30 60m Keynote		Keynote: Mobile Application Testing with Large Language Models: Landscape and Vision MOBILESoft Research Track Chunyang Chen TU Munich

11:00 - 12:30	Session 2: AI and Mobile ApplicationsMOBILESoft Research Track / MOBILESoft App Track at 211

11:00 30m Talk		Talk 1: Precisely Extracting Complex Variable Values from Android Apps MOBILESoft Research Track Marc Miltenberger Fraunhofer SIT; ATHENE
11:30 15m Paper		SEESAW: An Educational App for Smart Kiosks MOBILESoft App Track Nearchos Paspallis University of Central Lancashire, Cyprus, Nicos Kasenides UCLan Cyprus, Natalie Evans Amsterdam UMC location Vrije Universiteit
11:45 15m Research paper		LLMs in Mobile Apps: Practices, Challenges, and Opportunities MOBILESoft Research Track Kimberly Hau University of Toronto, Safwat Hassan University of Toronto, Shurui Zhou University of Toronto
12:00 15m Research paper		AccessiblePreview: Facilitating the Implementation and Visualization of Accessibility in Mobile Applications Developed with SwiftUI MOBILESoft Research Track Samuel Brasileiro dos Santos Neto Universidade Federal do Pernambuco, Kiev Gama Universidade Federal de Pernambuco
12:15 15m Research paper		Breaking Barriers in Mobile Accessibility: A Study of LLM-Generated Native Android Interfaces MOBILESoft Research Track Daniel Mesquita Federal University of Ceará, Ribamar Souza Federal University of Ceará, Isaac Santos Federal University of Ceará, Paulo Henrique Federal University of Ceará, Kiev Gama Universidade Federal de Pernambuco, Windson Viana Federal University of Ceará

14:00 - 15:30	Session 3: Testing and SecurityMOBILESoft Research Track at 211

14:00 30m Talk		Talk 2: On the Generation of Meaningful Test Cases for Mobile Apps MOBILESoft Research Track Leonardo Mariani University of Milano-Bicocca
14:30 15m Research paper		Can you mimic me? Exploring the Use of Android Record & Replay Tools in Debugging MOBILESoft Research Track Zihe Song University of Texas at Dallas, S M Hasan Mansur George Mason University, Ravishka Shemal Rathnasuriya University of Texas at Dallas, Yumna Fatima George Mason University, Wei Yang UT Dallas, Kevin Moran University of Central Florida, Wing Lam George Mason University
14:45 15m Research paper		Evaluating Taint Specification Generators for Identifying Taint Sources in Relation to Data Safety Section MOBILESoft Research Track Hiroki Inayoshi Okayama University, Shoichi Saito Nagoya Institute of Technology, Akito Monden Okayama University
15:00 15m Research paper		On-Device Mobile Application Testing MOBILESoft Research Track Inte Vleminckx University of Antwerp, Elif Parlak University of Antwerp, Onur Kilincceker University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw
15:15 15m Talk		Talk 3: Conquering iOS PREQ Hurdles MOBILESoft Research Track Arth Patel

16:00 - 17:30	Session 4: Efficiency and PerformanceMOBILESoft Research Track at 211

16:00 15m Research paper		EDATA: Energy Debugging And Testing for Android MOBILESoft Research Track Erik Blokland TU Delft, Luís Cruz TU Delft, Arie van Deursen TU Delft
16:15 15m Research paper		AndroWatts: Unpacking the Power Consumption of Mobile Device’s Components MOBILESoft Research Track Edouard Guegain Greenspector, Remy Raes Inria / Univ. Lille, Noé Chachignot Inria / Univ. Lille, Clément Quinton University of Lille, Inria, Romain Rouvoy Univ. Lille / Inria / CNRS
16:30 15m Research paper		Toward Understanding and Detecting Battery Saver Issues in Android Apps MOBILESoft Research Track Wander Siemers TU Delft, Luís Cruz TU Delft, Mattia Fazzini University of Minnesota
16:45 15m Research paper		Unlocking Mental Health: Exploring College Students' Well-being through Smartphone Behaviors MOBILESoft Research Track Wei Xuan University of Southern California, Meghna Roy Chowdhury Purdue University, Yi Ding Purdue University, Yixue Zhao Freedom of Mind Pre-print
17:00 15m Other		Open Discussion MOBILESoft Research Track

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Conference Opening & KeynoteAST at 211 Chair(s): Annibale Panichella Delft University of Technology Session chair: Ina Schieferdecker

09:00 90m Keynote		Personalized Fuzzing AST Andreas Zeller CISPA Helmholtz Center for Information Security

11:00 - 12:30	Session 1: LLM for TestingAST at 211 Session chair: Cailin Winston

11:00 30m Full-paper		Acceptance Test Generation with Large Language Models: An Industrial Case Study AST Margarida Ferreira University of Porto and Critical TechWorks, Luís Viegas University of Porto and Critical TechWorks, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Bruno Lima Faculty of Engineering of the University of Porto & LIACC Pre-print
11:30 30m Full-paper		AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model AST Severin Primbs University of Passau, Benedikt Fein University of Passau, Gordon Fraser University of Passau Pre-print
12:00 30m Full-paper		Simulink Mutation Testing using CodeBERT AST Jingfan Zhang University of Ottawa, Delaram Ghobari University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Shiva Nejati University of Ottawa Pre-print

14:00 - 15:30	Session 2: Test GenerationAST at 211 Session chair: Christof Budnik

14:00 30m Full-paper		Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic AST Clinton Cao Delft University of Technology, Annibale Panichella Delft University of Technology, Sicco Verwer TU Delft Pre-print
14:30 30m Full-paper		Automated Test Generation for Integration Testing AST Elson Kurian University of Milano Bicocca, Luca Guglielmo Università degli Studi di Milano-Bicocca, Pietro Braione University of Milano-Bicocca, Giovanni Denaro University of Milano - Bicocca
15:00 30m Full-paper		Automated Test Generation from Program Documentation Encoded in Code Comments AST Giovanni Denaro University of Milano - Bicocca, Luca Guglielmo Università degli Studi di Milano-Bicocca

16:00 - 17:30	Session 3: Panel DiscussionAST at 211 Session chair: Andy Zaidman

16:00 90m Panel		Automated Software Testing for Sustainability and Resource Efficiency AST Istvan David McMaster University / McMaster Centre for Software Certification (McSCert), Roberto Verdecchia University of Florence, Bimpe Ayoola Dalhousie University, Jari Porras LUT University , Lina Marsso Polytechnique Montreal

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Conference Opening & Keynote 2AST at 211 Session chair: Andy Zaidman

09:00 90m Keynote		Learning-Based Testing: The Ease, the Impact, the Future AST Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre

11:00 - 12:30	Session 4: When and How to TestAST at 211 Session chair: Mehrdad Saadatmand

11:00 22m Full-paper		An Adaptive Testing Approach Based on Field Data AST Samira Santos da Silva Gran Sasso Science Institute (GSSI), Ricardo Caldas Gran Sasso Science Institute (GSSI), Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Antonia Bertolino Gran Sasso Science Institute Pre-print
11:22 22m Full-paper		Exceptional Behaviors: How Frequently Are They Tested? AST Andre Hora UFMG, Gordon Fraser University of Passau Pre-print
11:45 22m Full-paper		Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning AST Kush Jain Carnegie Mellon University, Kiran Kate IBM Research, Jason Tsay IBM Research, Claire Le Goues Carnegie Mellon University, Martin Hirzel IBM Research Pre-print
12:07 22m Full-paper		What Types of Automated Tests do Developers Write? AST Marko Ivanković University of Passau, Luka Rimanić Google Switzerland GmbH, Ivan Budiselic Google, Goran Petrovic Google; Universität Passau, Gordon Fraser University of Passau, René Just University of Washington

14:00 - 15:30	Session 5: Testing of LLMsAST at 211 Session chair: Annibale Panichella

14:00 30m Full-paper		Adaptive Probabilistic Operational Testing for Large Language Models Evaluation AST Ali Asgari TU Delft, Antonio Guerriero Università di Napoli Federico II, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II
14:30 30m Full-paper		ASTRAL: Automated Safety Testing of Large Language Models AST Miriam Ugarte Mondragon University, Pablo Valle Mondragon University, José Antonio Parejo Maestre SCORE Lab, I3US Institute, Universidad de Sevilla, Seville, Spain, Sergio Segura SCORE Lab, I3US Institute, Universidad de Sevilla, Seville, Spain, Aitor Arrieta Mondragon University Pre-print
15:00 30m Full-paper		A Taxonomy of Failures in Tool-Augmented LLMs AST Cailin Winston University of Washington, René Just University of Washington

16:00 - 17:30	Session 6: Vulnerability Detection & ClosingAST at 211 Session chair: Bimpe Ayoola

16:00 30m Full-paper		A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification AST Norbert Tihanyi Technology Innovation Institute, Yiannis Charalambous The University of Manchester, Ridhi Jain Technology Innovation Institute (TII), Abu Dhabi, UAE, Mohamed Amine Ferrag Guelma University, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil
16:30 30m Full-paper		Bringing Light into the Darkness: Leveraging Hidden Markov Models for Blackbox Fuzzing AST Anne Borcherding Fraunhofer IOSB, Mark Giraud Fraunhofer IOSB, Johannes Häring Karlsruhe Institute of Technology
17:00 30m Full-paper		Incorporating Domain Knowledge into GNNs for Advanced Vulnerability Detection in Java AST ROSMAEL ZIDANE LEKEUFACK FOULEFACK Information Engineering and Computer Science (DISI)/University of Trento (UNITN), Alessandro Marchetto Università di Trento

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30	Testing and SecurityICSE Research Track / ICSE Journal-first Papers at 211 Chair(s): Shiyi Wei University of Texas at Dallas

11:00 15m Talk		Fuzzing MLIR Compilers with Custom Mutation Synthesis ICSE Research Track Ben Limpanukorn UCLA, Jiyuan Wang University of California at Los Angeles, Hong Jin Kang University of Sydney, Eric Zitong Zhou UCLA, Miryung Kim UCLA and Amazon Web Services
11:15 15m Talk		InSVDF: Interface-State-Aware Virtual Device Fuzzing ICSE Research Track Zexiang Zhang National University of Defense Technology, Gaoning Pan Hangzhou Dianzi University, Ruipeng Wang National University of Defense Technology, Yiming Tao Zhejiang University, Zulie Pan National University of Defense Technology, Cheng Tu National University of Defense Technology, Min Zhang National University of Defense Technology, Yang Li National University of Defense Technology, Yi Shen National University of Defense Technology, Chunming Wu Zhejiang University
11:30 15m Talk		Reduce Dependence for Sound Concurrency Bug Prediction ICSE Research Track Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Yuqi Guo Institute of Software, Chinese Academy of Sciences, Yan Cai Institute of Software at Chinese Academy of Sciences, Bin Liang Renmin University of China, Long Zhang Institute of Software, Chinese Academy of Sciences, Rui Chen Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Tingting Yu Beijing Institute of Control Engineering; Beijing Sunwise Information Technology
11:45 15m Talk		SAND: Decoupling Sanitization from Fuzzing for Low Overhead ICSE Research Track Ziqiao Kong Nanyang Technological University, Shaohua Li The Chinese University of Hong Kong, Heqing Huang City University of Hong Kong, Zhendong Su ETH Zurich Link to publication Pre-print Media Attached
12:00 15m Talk		TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vulnerability CodeSecurity ICSE Research Track Siyuan Li University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Yuekang Li UNSW, Zuxin Chen Institute of Information Engineering Chinese Academy of Sciences & University of Chinese Academy of Sciences, China, Chaopeng Dong Institute of Information Engineering Chinese Academy of Sciences & University of Chinese Academy of Sciences, China, Yongpan Wang University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Hong Li Institute of Information Engineering at Chinese Academy of Sciences, Yongle Chen Taiyuan University of Technology, China, Hongsong Zhu Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences
12:15 15m Talk		Early and Realistic Exploitability Prediction of Just-Disclosed Software Vulnerabilities: How Reliable Can It Be?Security ICSE Journal-first Papers Emanuele Iannone Hamburg University of Technology, Giulia Sellitto University of Salerno, Emanuele Iaccarino University of Salerno, Filomena Ferrucci University of Salerno, Andrea De Lucia University of Salerno, Fabio Palomba University of Salerno Link to publication DOI Authorizer link Pre-print

16:00 - 17:30	RequirementsICSE Research Track / ICSE Demonstrations / ICSE New Ideas and Emerging Results (NIER) at 211 Chair(s): Jane Cleland-Huang University of Notre Dame

16:00 15m Talk		A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel Fuzzing ICSE Research Track Sanan Hasanov University of Central Florida, Stefan Nagy University of Utah, Paul Gazzillo University of Central Florida
16:15 15m Talk		Exploring the Robustness of the Effect of EVO on Intention Valuation through ReplicationAward Winner ICSE Research Track Yesugen Baatartogtokh University of Massachusetts Amherst, Kaitlyn Cook Smith College, Alicia M. Grubb Smith College
16:30 15m Talk		Unavoidable Boundary Conditions: A Control Perspective on Goal Conflicts ICSE Research Track Sebastian Uchitel Universidad de Buenos Aires / Imperial College, Francisco Cirelli Universidad de Buenos Aires, Dalal Alrajeh Imperial College London
16:45 15m Talk		User Personas Improve Social Sustainability by Encouraging Software Developers to Deprioritize Antisocial Features ICSE Research Track Bimpe Ayoola Dalhousie University, Miikka Kuutila Dalhousie University, Rina R. Wehbe Dalhousie University, Paul Ralph Dalhousie University
17:00 15m Talk		VReqST: A Requirement Specification Tool for Virtual Reality Software Products ICSE Demonstrations Amogha A Halhalli Software Engineering Research Center. IIIT Hyderabad, Raghu Reddy IIIT Hyderabad, Karre Sai Anirudh Phenom Inc.
17:15 15m Talk		What is a Feature, Really? Toward a Unified Understanding Across SE Disciplines ICSE New Ideas and Emerging Results (NIER) Nitish Patkar FHNW, Aimen Fahmi Tata Consultancy Services, Timo Kehrer University of Bern, Norbert Seyff University of Applied Sciences and Arts Northwestern Switzerland FHNW

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30	AI for Design and ArchitectureICSE Demonstrations / ICSE SE In Practice (SEIP) / ICSE Research Track at 211 Chair(s): Sarah Nadi New York University Abu Dhabi

11:00 15m Talk		An LLM-Based Agent-Oriented Approach for Automated Code Design Issue Localization ICSE Research Track Fraol Batole Tulane University, David OBrien Iowa State University, Tien N. Nguyen University of Texas at Dallas, Robert Dyer University of Nebraska-Lincoln, Hridesh Rajan Tulane University
11:15 15m Talk		Distilled Lifelong Self-Adaptation for Configurable Systems ICSE Research Track Yulong Ye University of Birmingham, Tao Chen University of Birmingham, Miqing Li University of Birmingham Pre-print
11:30 15m Talk		The Software Librarian: Python Package Insights for Copilot ICSE Demonstrations Jasmine Latendresse Concordia University, Nawres Day ISSAT Sousse, SayedHassan Khatoonabadi Concordia University, Emad Shihab Concordia University
11:45 15m Talk		aiXcoder-7B: A Lightweight and Effective Large Language Model for Code Processing ICSE SE In Practice (SEIP) Siyuan Jiang , Jia Li Peking University, He Zong aiXcoder, Huanyu Liu Peking University, Hao Zhu Peking University, Shukai Hu aiXcoder, Erlu Li aiXcoder, Jiazheng Ding aiXcoder, Ge Li Peking University Pre-print
12:00 15m Talk		Leveraging MLOps: Developing a Sequential Classification System for RFQ Documents in Electrical Engineering ICSE SE In Practice (SEIP) Claudio Martens Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS), Hammam Abdelwahab Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS), Katharina Beckh Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS), Birgit Kirsch Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS), Vishwani Gupta Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS), Dennis Wegener Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS), Steffen Hoh Schneider Electric
12:15 15m Talk		On Mitigating Code LLM Hallucinations with API Documentation ICSE SE In Practice (SEIP) Nihal Jain Amazon Web Services, Robert Kwiatkowski , Baishakhi Ray Columbia University, Murali Krishna Ramanathan AWS AI Labs, Varun Kumar AWS AI Labs

14:00 - 15:30	Industry Challenge PresentationsICSE Industry Challenge Track at 211 Chair(s): Federica Sarro University College London, Xin Xia Huawei

14:00 15m Talk		CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge GraphAward Winner ICSE Industry Challenge Track Hanxiang Xu Huazhong University of Science and Technology, Wei Ma , Ting Zhou Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Kai Chen Huazhong University of Science and Technology, Qiang Hu The University of Tokyo, Yang Liu Nanyang Technological University, Haoyu Wang Huazhong University of Science and Technology
14:15 15m Talk		ClauseBench: Enhancing Software License Analysis with Clause-Level Benchmarking ICSE Industry Challenge Track Qiang Ke Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
14:30 15m Talk		CodeMorph: Mitigating Data Leakage in Large Language Model Assessment ICSE Industry Challenge Track Hongzhou Rao Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Wenjie Zhu Huazhong University of Science and Technology, Ling Xiao Huazhong University of Science and Technology, Meizhen Wang Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
14:45 15m Talk		CommitShield: Tracking Vulnerability Introduction and Fix in Version Control SystemsSecurity ICSE Industry Challenge Track Zhaonan Wu Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Chen Wei MYbank, Ant Group, Zirui Wan Huazhong University of Science and Technology, Yue Liu Monash University, Haoyu Wang Huazhong University of Science and Technology
15:00 15m Talk		Exploring Large Language Models for Analyzing Open Source License Conflicts: How Far Are We? ICSE Industry Challenge Track Xing Cui Institute of Software, Chinese Academy of Sciences, Jingzheng Wu Institute of Software, The Chinese Academy of Sciences, Xiang Ling Institute of Software, Chinese Academy of Sciences, Tianyue Luo Institute of Software, Chinese Academy of Sciences, Mutian Yang Beijing ZhongKeWeiLan Technology Co.,Ltd., Wenxiang Ou Institute of Software, Chinese Academy of Sciences
15:15 15m Talk		OSS-LCAF: Open-Source Software License Conflict Analysis Framework ICSE Industry Challenge Track Aditya Kahol TCS Research, Anka Chandrahas Tummepalli TCS Research, Preethu Rose Anish TCS Research

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30	Design and Architecture 1ICSE Research Track / ICSE SE In Practice (SEIP) / ICSE Journal-first Papers at 211 Chair(s): Tushar Sharma Dalhousie University

11:00 15m Talk		A Catalog of Micro Frontends Anti-patterns ICSE Research Track Nabson Silva UFAM - Federal University of Amazonas, Eriky Rodrigues UFAM - Federal University of Amazonas Brazil, Tayana Conte Universidade Federal do Amazonas
11:15 15m Talk		PairSmell: A Novel Perspective Inspecting Software Modular StructureAward Winner ICSE Research Track Chenxing Zhong Nanjing University, Daniel Feitosa University of Groningen, Paris Avgeriou Univ. of Gronningen , Huang Huang State Grid Nanjing Power Supply Company, Yue Li Nanjing University, He Zhang Nanjing University Pre-print
11:30 15m Talk		Understanding Architectural Complexity, Maintenance Burden, and Developer Sentiment---a Large-Scale Study ICSE Research Track Yuanfang Cai Drexel University, Lanting He Google, Yony Kochinski Google, Jun Qian Google, Ciera Jaspan Google, Nan Zhang Google, Antonio Bianco Google
11:45 15m Talk		A Large-Scale Exploratory Study on the Proxy Pattern in EthereumBlockchain ICSE Journal-first Papers Amir Ebrahimi Queen's University, Bram Adams Queen's University, Gustavo A. Oliva Queen's University, Ahmed E. Hassan Queen’s University
12:00 15m Talk		Video Game Procedural Content Generation Through Software Transplantation ICSE SE In Practice (SEIP) Mar Zamorano López University College London, Daniel Blasco SVIT Research Group. Universidad San Jorge, Carlos Cetina , Federica Sarro University College London

14:00 - 15:30	Design and Architecture 2ICSE Journal-first Papers / ICSE Research Track at 211 Chair(s): Yuanfang Cai Drexel University, Jan Keim Karlsruhe Institute of Technology (KIT)

14:00 15m Talk		An Exploratory Study on the Engineering of Security FeaturesSecurity ICSE Research Track Kevin Hermann Ruhr University Bochum, Sven Peldszus Ruhr University Bochum, Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions, Thorsten Berger Ruhr University Bochum Pre-print
14:15 15m Talk		DesignRepair: Dual-Stream Design Guideline-Aware Frontend Repair with Large Language Models ICSE Research Track Mingyue Yuan The university of new South Wales, Jieshan Chen CSIRO's Data61, Zhenchang Xing CSIRO's Data61, Aaron Quigley CSIRO's Data61, Yuyu Luo HKUST (GZ), Tianqi Luo HKUST (GZ), Gelareh Mohammadi The university of new South Wales, Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61
14:30 15m Talk		Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-based Software ICSE Research Track Anna Mazhar University of Illinois Urbana-Champaign, Saad Sher Alam University of Illinois Urbana-Champaign, William Zheng University of Illinois Urbana-Champaign, Yinfang Chen University of Illinois at Urbana-Champaign, Suman Nath Microsoft Research, Tianyin Xu University of Illinois at Urbana-Champaign
14:45 15m Talk		Formally Verified Cloud-Scale AuthorizationAward Winner ICSE Research Track Aleks Chakarov Amazon Web Services, Jaco Geldenhuys Amazon Web Services, Matthew Heck Amazon Web Services, MIchael Hicks Amazon, Samuel Huang Amazon Web Services, Georges-Axel Jaloyan Amazon Web Services, Anjali Joshi Amazon, K. Rustan M. Leino Amazon, Mikael Mayer Automated Reasoning Group, Amazon Web Services, Sean McLaughlin Amazon Web Services, Akhilesh Mritunjai Amazon.com, Clement Pit-Claudel EPFL, Sorawee Porncharoenwase Amazon Web Services, Florian Rabe Amazon Web Services, Marianna Rapoport Amazon Web Services, Giles Reger Amazon Web Services, Cody Roux Amazon Web Services, Neha Rungta Amazon Web Services, Robin Salkeld Amazon Web Services, Matthias Schlaipfer Amazon Web Services, Daniel Schoepe Amazon, Johanna Schwartzentruber Amazon Web Services, Serdar Tasiran Amazon, n.n., Aaron Tomb Amazon, Emina Torlak Amazon Web Services, USA, Jean-Baptiste Tristan Amazon Web Services, Lucas Wagner Amazon Web Services, Michael Whalen Amazon Web Services and the University of Minnesota, Remy Willems Amazon, Tongtong Xiang Amazon Web Services, Taejoon Byun University of Minnesota, Joshua M. Cohen Princeton University, Ruijie Fang University of Texas at Austin, Junyoung Jang McGill University, Jakob Rath TU Wien, Hira Taqdees Syeda , Dominik Wagner University of Oxford, Yongwei Yuan Purdue University
15:00 15m Talk		The Same Only Different: On Information Modality for Configuration Performance Analysis ICSE Research Track Hongyuan Liang University of Electronic Science and Technology of China, Yue Huang University of Electronic Science and Technology of China, Tao Chen University of Birmingham Pre-print
15:15 7m Talk		Identifying Performance Issues in Cloud Service Systems Based on Relational-Temporal Features ICSE Journal-first Papers Wenwei Gu The Chinese University of Hong Kong, Jinyang Liu Chinese University of Hong Kong, Zhuangbin Chen Sun Yat-sen University, Jianping Zhang The Chinese University of Hong Kong, Yuxin Su Sun Yat-sen University, Jiazhen Gu Chinese University of Hong Kong, Cong Feng Huawei Cloud Computing Technology, Zengyin Yang Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Yongqiang Yang Huawei Cloud Computing Technology, Michael Lyu The Chinese University of Hong Kong

Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Session 1Gamify Gamification in Development + V & V at 211 Chair(s): Riccardo Coppola Politecnico di Torino

09:15 15m Day opening		Welcome from Gamify Organizers Gamify Gamification in Development + V & V Riccardo Coppola Politecnico di Torino
09:30 30m Talk		Industrial Code Quality Benchmarks: Toward Gamification of Software Maintainability Gamify Gamification in Development + V & V Markus Borg CodeScene, Amogha Udayakumar CodeScene, Adam Tornhill Empear AB
10:00 30m Talk		GAppium: A Framework to Enact Gamification Mechanics in Appium Inspector Gamify Gamification in Development + V & V Lorenzo Laudadio Politecnico di Torino, Riccardo Coppola Politecnico di Torino, Marco Torchiano Politecnico di Torino, Tommaso Fulcini Politecnico di Torino

11:00 - 12:30	Session 2Gamify Gamification in Development + V & V at 211 Chair(s): Riccardo Coppola Politecnico di Torino

11:00 30m Talk		Gamifying User Feedback Collection on Static Program Analysis Tools Gamify Gamification in Development + V & V Emma Dahlbo Lund University, Essie Lundmark Lund University, Emma Söderberg Lund University, Lisa Eneroth Axis Communications, Martin Höst Malmö University, Markus Borg CodeScene
11:30 30m Talk		Assessment of Scrumming: A Gamified Scrum Dashboard for training students Gamify Gamification in Development + V & V Adriana Peña Perez Negrón CUCEI Universidad de Guadalajara, Gloria Piedad Gasca-Hurtado Universidad de Medellín, José Luis David Bonilla CUCEI Universidad de Guadalajara, Mirna Muñoz Centro de Investigaciones en Matemática, A. C.
12:00 30m Day closing		Final Discussion and closing Gamify Gamification in Development + V & V Riccardo Coppola Politecnico di Torino

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
211	MOBILESoft Research Track + MOBILESoft App Track Session 1																								MOBILESoft Research Track + MOBILESoft App Track Session 2: AI and Mobile Applications																																				MOBILESoft Research Track Session 3: Testing and Security																								MOBILESoft Research Track Session 4: Efficiency and Performance

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
211	AST Conference Opening & Keynote																								AST Session 1: LLM for Testing																																				AST Session 2: Test Generation																								AST Session 3: Panel Discussion

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30
211	AST Conference Opening & Keynote 2																								AST Session 4: When and How to Test																																				AST Session 5: Testing of LLMs																								AST Session 6: Vulnerability Detection & Closing																																				ICSE Meetings and BOFs

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
211	ICSE Research Track + ICSE Journal-first Papers Testing and Security																		ICSE Meetings and BOFs																																										ICSE Research Track + ICSE Demonstrations + ICSE New Ideas and Emerging Results (NIER) Requirements

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
211	ICSE Demonstrations + ICSE SE In Practice (SEIP) + ICSE Research Track AI for Design and Architecture																		ICSE Meetings and BOFs																		ICSE Industry Challenge Track Industry Challenge Presentations

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
211	ICSE Research Track + ICSE SE In Practice (SEIP) + ICSE Journal-first Papers Design and Architecture 1																		ICSE Meetings and BOFs																		ICSE Journal-first Papers + ICSE Research Track Design and Architecture 2																								ICSE Research Track

Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30
211	Gamify Gamification in Development + V & V Session 1																								Gamify Gamification in Development + V & V Session 2

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
211	MOBILESoft Research Track Introduction 09:00 - 09:30						MOBILESoft Research Track Keynote: Mobile Application Testing with Large Language Models: Landsca ... 09:30 - 10:30																		MOBILESoft Research Track Talk 1: Precisely Extracting Complex Variable Values from Android Apps 11:00 - 11:30						MOBILESoft App Track SEESAW: An Educational App for Smart Kiosks 11:30 - 11:45			MOBILESoft Research Track LLMs in Mobile Apps: Practices, Challenges, and Opportunities 11:45 - 12:00			MOBILESoft Research Track AccessiblePreview: Facilitating the Implementation and Visualization of ... 12:00 - 12:15			MOBILESoft Research Track Breaking Barriers in Mobile Accessibility: A Study of LLM-Generated Nat ... 12:15 - 12:30																					MOBILESoft Research Track Talk 2: On the Generation of Meaningful Test Cases for Mobile Apps 14:00 - 14:30						MOBILESoft Research Track Can you mimic me? Exploring the Use of Android Record & Replay Tools in ... 14:30 - 14:45			MOBILESoft Research Track Evaluating Taint Specification Generators for Identifying Taint Sources ... 14:45 - 15:00			MOBILESoft Research Track On-Device Mobile Application Testing 15:00 - 15:15			MOBILESoft Research Track Talk 3: Conquering iOS PREQ Hurdles 15:15 - 15:30									MOBILESoft Research Track EDATA: Energy Debugging And Testing for Android 16:00 - 16:15			MOBILESoft Research Track AndroWatts: Unpacking the Power Consumption of Mobile Device’s Components 16:15 - 16:30			MOBILESoft Research Track Toward Understanding and Detecting Battery Saver Issues in Android Apps 16:30 - 16:45			MOBILESoft Research Track Unlocking Mental Health: Exploring College Students' Well-being through ... 16:45 - 17:00			MOBILESoft Research Track Open Discussion 17:00 - 17:15

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
211	AST Personalized Fuzzing 09:00 - 10:30																								AST Acceptance Test Generation with Large Language Models: An Industrial Ca ... 11:00 - 11:30						AST AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model 11:30 - 12:00						AST Simulink Mutation Testing using CodeBERT 12:00 - 12:30																								AST Automated Test-Case Generation for REST APIs Using Model Inference Sear ... 14:00 - 14:30						AST Automated Test Generation for Integration Testing 14:30 - 15:00						AST Automated Test Generation from Program Documentation Encoded in Code Co ... 15:00 - 15:30												AST Automated Software Testing for Sustainability and Resource Efficiency 16:00 - 17:30

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
211	AST Learning-Based Testing: The Ease, the Impact, the Future 09:00 - 10:30																								AST An Adaptive Testing Approach Based on Field Data 11:00 - 11:22				AST Exceptional Behaviors: How Frequently Are They Tested? 11:22 - 11:45					AST Improving Examples in Web API Specifications using Iterated-Calls In-Co ... 11:45 - 12:07				AST What Types of Automated Tests do Developers Write? 12:07 - 12:30																							AST Adaptive Probabilistic Operational Testing for Large Language Models Ev ... 14:00 - 14:30						AST ASTRAL: Automated Safety Testing of Large Language Models 14:30 - 15:00						AST A Taxonomy of Failures in Tool-Augmented LLMs 15:00 - 15:30												AST A New Era in Software Security: Towards Self-Healing Software via Large ... 16:00 - 16:30						AST Bringing Light into the Darkness: Leveraging Hidden Markov Models for B ... 16:30 - 17:00						AST Incorporating Domain Knowledge into GNNs for Advanced Vulnerability Det ... 17:00 - 17:30

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
211	ICSE Research Track Fuzzing MLIR Compilers with Custom Mutation Synthesis 11:00 - 11:15			ICSE Research Track InSVDF: Interface-State-Aware Virtual Device Fuzzing 11:15 - 11:30			ICSE Research Track Reduce Dependence for Sound Concurrency Bug Prediction 11:30 - 11:45			ICSE Research Track SAND: Decoupling Sanitization from Fuzzing for Low Overhead 11:45 - 12:00			ICSE Research TrackSecurity TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vu ... 12:00 - 12:15			ICSE Journal-first PapersSecurity Early and Realistic Exploitability Prediction of Just-Disclosed Softwar ... 12:15 - 12:30																																													ICSE Research Track A Little Goes a Long Way: Tuning Configuration Selection for Continuous ... 16:00 - 16:15			ICSE Research TrackAward Winner Exploring the Robustness of the Effect of EVO on Intention Valuation th ... 16:15 - 16:30			ICSE Research Track Unavoidable Boundary Conditions: A Control Perspective on Goal Conflicts 16:30 - 16:45			ICSE Research Track User Personas Improve Social Sustainability by Encouraging Software Dev ... 16:45 - 17:00			ICSE Demonstrations VReqST: A Requirement Specification Tool for Virtual Reality Software P ... 17:00 - 17:15			ICSE New Ideas and Emerging Results (NIER) What is a Feature, Really? Toward a Unified Understanding Across SE Dis ... 17:15 - 17:30

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
211	ICSE Research Track An LLM-Based Agent-Oriented Approach for Automated Code Design Issue Lo ... 11:00 - 11:15			ICSE Research Track Distilled Lifelong Self-Adaptation for Configurable Systems 11:15 - 11:30			ICSE Demonstrations The Software Librarian: Python Package Insights for Copilot 11:30 - 11:45			ICSE SE In Practice (SEIP) aiXcoder-7B: A Lightweight and Effective Large Language Model for Code ... 11:45 - 12:00			ICSE SE In Practice (SEIP) Leveraging MLOps: Developing a Sequential Classification System for RFQ ... 12:00 - 12:15			ICSE SE In Practice (SEIP) On Mitigating Code LLM Hallucinations with API Documentation 12:15 - 12:30																					ICSE Industry Challenge TrackAward Winner CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge ... 14:00 - 14:15			ICSE Industry Challenge Track ClauseBench: Enhancing Software License Analysis with Clause-Level Benc ... 14:15 - 14:30			ICSE Industry Challenge Track CodeMorph: Mitigating Data Leakage in Large Language Model Assessment 14:30 - 14:45			ICSE Industry Challenge TrackSecurity CommitShield: Tracking Vulnerability Introduction and Fix in Version Co ... 14:45 - 15:00			ICSE Industry Challenge Track Exploring Large Language Models for Analyzing Open Source License Confl ... 15:00 - 15:15			ICSE Industry Challenge Track OSS-LCAF: Open-Source Software License Conflict Analysis Framework 15:15 - 15:30

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
211	ICSE Research Track A Catalog of Micro Frontends Anti-patterns 11:00 - 11:15			ICSE Research TrackAward Winner PairSmell: A Novel Perspective Inspecting Software Modular Structure 11:15 - 11:30			ICSE Research Track Understanding Architectural Complexity, Maintenance Burden, and Develop ... 11:30 - 11:45			ICSE Journal-first PapersBlockchain A Large-Scale Exploratory Study on the Proxy Pattern in Ethereum 11:45 - 12:00			ICSE SE In Practice (SEIP) Video Game Procedural Content Generation Through Software Transplantation 12:00 - 12:15																								ICSE Research TrackSecurity An Exploratory Study on the Engineering of Security Features 14:00 - 14:15			ICSE Research Track DesignRepair: Dual-Stream Design Guideline-Aware Frontend Repair with L ... 14:15 - 14:30			ICSE Research Track Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-based ... 14:30 - 14:45			ICSE Research TrackAward Winner Formally Verified Cloud-Scale Authorization 14:45 - 15:00			ICSE Research Track The Same Only Different: On Information Modality for Configuration Perf ... 15:00 - 15:15			ICSE Journal-first Papers Identifying Performance Issues in Cloud Service Systems Based on Relati ... 15:15 - 15:22

Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
211				Gamify Gamification in Development + V & V Welcome from Gamify Organizers 09:15 - 09:30			Gamify Gamification in Development + V & V Industrial Code Quality Benchmarks: Toward Gamification of Software Mai ... 09:30 - 10:00						Gamify Gamification in Development + V & V GAppium: A Framework to Enact Gamification Mechanics in Appium Inspector 10:00 - 10:30												Gamify Gamification in Development + V & V Gamifying User Feedback Collection on Static Program Analysis Tools 11:00 - 11:30						Gamify Gamification in Development + V & V Assessment of Scrumming: A Gamified Scrum Dashboard for training students 11:30 - 12:00						Gamify Gamification in Development + V & V Final Discussion and closing 12:00 - 12:30

Room information: 211

Program Display Configuration

Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change

Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change

Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change

Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change

Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change

Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change

MOBILESoft Research Track + MOBILESoft App Track

MOBILESoft Research Track + MOBILESoft App Track

MOBILESoft Research Track

MOBILESoft Research Track

Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change

AST

AST

AST

AST

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

AST

AST

AST

AST

ICSE Meetings and BOFs

Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change

ICSE Research Track + ICSE Journal-first Papers

ICSE Meetings and BOFs

ICSE Research Track + ICSE Demonstrations + ICSE New Ideas and Emerging Results (NIER)

Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change

ICSE Demonstrations + ICSE SE In Practice (SEIP) + ICSE Research Track

ICSE Meetings and BOFs

ICSE Industry Challenge Track

Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change

ICSE Research Track + ICSE SE In Practice (SEIP) + ICSE Journal-first Papers

ICSE Meetings and BOFs

ICSE Journal-first Papers + ICSE Research Track

ICSE Research Track

Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change

Gamify Gamification in Development + V & V

Gamify Gamification in Development + V & V

Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change

Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change

Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change

Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change

Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change