Eugénio de Andrade

VenueCentro Cultural de Belém

Room nameEugénio de Andrade

Capacity45

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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 14 Apr
Displayed time zone: Lisbon change

09:00 - 10:30	Opening and KeynoteFormaliSE at Eugénio de Andrade Chair(s): Antónia Lopes University of Lisbon

09:00 10m Day opening		Opening FormaliSE
09:10 80m Keynote		FormalISE: Reflections on Formal and Informal Methods in Software Engineering FormaliSE Cristian Cadar Imperial College London

11:00 - 12:30	Automata and applicationsFormaliSE at Eugénio de Andrade Chair(s): Domenico Bianculli University of Luxembourg

11:00 30m Talk		Contract Automata: A Specification Language for Mode-Based Systems FormaliSE Alexander Weigl Karlsruhe Institute for Technology, Joshua Bachmeier FZI Forschungszentrum Informatik, Bernhard Beckert Karlsruhe Institute of Technology, Mattias Ulbrich Karlsruhe Institute of Technology
11:30 30m Talk		Finite Automata synthesis from Interactions FormaliSE Erwan Mahe Université Paris-Saclay, CEA, List, Boutheina Bannour Université Paris-Saclay, CEA, List, Christophe Gaston Université Paris-Saclay, CEA, List, Arnault Lapitre Université Paris-Saclay, CEA, List, Pascale Le Gall CentraleSupelec
12:00 30m Talk		Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling FormaliSE Olivier Zeyen University of Luxembourg, SnT, Maxime Cordy University of Luxembourg, Luxembourg, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France

14:00 - 15:30	Timed behavior specification and verificationFormaliSE at Eugénio de Andrade Chair(s): João F. Ferreira INESC-ID and IST, University of Lisbon

14:00 30m Talk		Diagnosing Violations of Time-based Properties Captured in iCFTL FormaliSE Cristina Stratan University of Luxembourg, Joshua Heneage Dawes University of Luxembourg, Domenico Bianculli University of Luxembourg
14:30 30m Talk		Time for Networks: Mutation Testing for Timed Automata Networks FormaliSE David Cortés Universidad del Valle, James Ortiz Université de Namur, Davide Basile Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy, Jesus Aranda Universidad del Valle, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Pierre Yves Schobbens Université de Namur
15:00 30m Talk		Verifying Opacity of Discrete-Timed Automata FormaliSE Julian Klein Technische Universität Berlin, Paul Kogel Technische Universität Berlin, Sabine Glesner Technische Universität Berlin

16:00 - 17:30	Formal methods for cyber-physical systems and requirements engineeringFormaliSE at Eugénio de Andrade Chair(s): Cristian Cadar Imperial College London

16:00 30m Talk		Automated Repair of Violated Eventually Properties in Concurrent Programs FormaliSE Irman Faqrizal Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France, Quentin Nivon Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France, Gwen Salaün University of Grenoble Alpes
16:30 30m Talk		Compositional Analysis of Parametric Cooperative Cyber-Physical Systems FormaliSE Raniah Alghamdi University of Waterloo and King Abdulaziz University, Richard Trefler University of Waterloo
17:00 30m Talk		Formal Methods in Requirements Engineering: Survey and Future Directions FormaliSE Robert Lorch GE Research, Baoluo Meng GE Research, Kit Siu GE Research, Abha Moitra General Electric Research, Michael Durling GE Research, Saswata Paul GE Research, Sarat Chandra Varanasi GE Research, Craig McMillan GE Aerospace

Mon 15 Apr
Displayed time zone: Lisbon change

09:00 - 10:30	KeynoteFormaliSE at Eugénio de Andrade Chair(s): Carlo A. Furia Università della Svizzera italiana (USI)

09:00 90m Keynote		Two-way collaboration between flow and proof in SPARKBA FormaliSE Claire Dross AdaCore

11:00 - 12:30	Theorem proving and applicationsFormaliSE at Eugénio de Andrade Chair(s): Claire Dross AdaCore

11:00 30m Talk		A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification FormaliSE Louis Gauthier Université Paris-Saclay, CEA, List, Virgile Prevosto Université Paris-Saclay, CEA, List, Julien Signoles Université Paris-Saclay, CEA, List
11:30 30m Talk		Formally Verified Interval Arithmetic and Its Application to Program Verification FormaliSE Achim D. Brucker University of Exeter, Teddy Cameron-Burke University of Exeter, Amy Stell University of Exeter
12:00 30m Talk		Towards Verifiable Multi-Agent Interaction Pattern Specification FormaliSE Alberto Tagliaferro Politecnico di Milano, Italy, Livia Lestingi DEIB, Politecnico di Milano, Matteo Rossi Politecnico di Milano

14:00 - 15:30	Machine learning and formal methodsFormaliSE at Eugénio de Andrade Chair(s): Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

14:00 30m Talk		Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets FormaliSE Preston K. Robinette Vanderbilt University, Diego Manzanas Lopez Vanderbilt University, Serena Serbinowska Vanderbilt University, Kevin Leach Vanderbilt University, Taylor T Johnson Vanderbilt University Pre-print
14:30 30m Talk		Leveraging Large Language Models to Boost Dafny’s Developers Productivity FormaliSE Álvaro F. Silva Independent Researcher, Alexandra Mendes University of Porto and HASLab, INESC TEC, João F. Ferreira INESC-ID and IST, University of Lisbon
15:00 10m Day closing		Closing FormaliSE

Tue 16 Apr
Displayed time zone: Lisbon change

09:00 - 10:30	Session 1 - Keynote & MSR StudiesWSESE at Eugénio de Andrade Chair(s): Andreas Jedlitschka Fraunhofer IESE

09:00 15m		Welcome WSESE Sira Vegas Universidad Politecnica de Madrid, Andreas Jedlitschka Fraunhofer IESE
09:15 45m Keynote		Are we Getting Reliable Evidence? Methodology is Critical in Empirical Studies WSESE Natalia Juristo Universidad Politecnica de Madrid
10:00 15m Talk		Lessons Learned from Mining the Hugging Face Repository WSESE Joel Castaño Fernández Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech, Xavier Franch Universitat Politècnica de Catalunya Link to publication Pre-print
10:15 15m Talk		The Role of Data Filtering in Open Source Software Ranking and Selection WSESE Addi Malviya-Thakur The University of Tennessee, Knoxville / Oak Ridge National Laboratory, Audris Mockus The University of Tennessee, Knoxville / Vilnius University

11:00 - 12:30	Session 2 - Quality of evidence generated & Secondary StudiesWSESE at Eugénio de Andrade Chair(s): Andreas Jedlitschka Fraunhofer IESE

11:00 12m Talk		Evidence Tetris in the Pixelated World of Validity Threats WSESE Marvin Wyrich Saarland University, Sven Apel Saarland University Pre-print
11:12 12m Talk		Revisiting the construct and assessment of industrial relevance in software engineering research WSESE Kai Petersen Blekinge Institute of Technology/Ericsson AB, J�rgen B�rstler Blekinge Institute of Technology, Nauman Bin Ali Blekinge Institute of Technology, Emelie Engstrom Lund University
11:24 15m Talk		Grounded Theory in Software Engineering: Challenges and Lessons Learned from the Trenches WSESE Pilar Rodriguez Universidad Politécnica de Madrid
11:39 18m Talk		A Second Look at the Impact of Passive Voice Requirements on Domain Modeling: Bayesian Reanalysis of an Experiment WSESE Julian Frattini Blekinge Institute of Technology, Davide Fucci Blekinge Institute of Technology, Richard Torkar Chalmers and the University of Gothenburg, Daniel Mendez Blekinge Institute of Technology and fortiss DOI Pre-print
11:57 18m Talk		Emerging Results on Automated Support for Searching and Selecting Evidence for Systematic Literature Review Updates WSESE Bianca Minetto Napoleão Université du Québec à Chicoutimi, Ritika Sarkar Université du Québec à Chicoutimi, Sylvain Hallé Université du Québec à Chicoutimi, Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
12:15 15m Talk		Apples, Oranges, and Software Engineering: Study Selection Challenges for Secondary Research on Latent Variables WSESE Marvin Wyrich Saarland University, Marvin Muñoz Barón University of Stuttgart, Justus Bogner Vrije Universiteit Amsterdam Pre-print

14:00 - 15:30	Session 3 - Keynote & ParticipantsWSESE at Eugénio de Andrade Chair(s): Sira Vegas Universidad Politecnica de Madrid

14:00 45m Keynote		Applications of Language Models to Software Engineering: An Empirical Perspective WSESE Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
14:45 12m Talk		Who's actually being Studied? A Call for Population Analysis in Software Engineering Research WSESE Jefferson Seide Molléri Kristiania University
14:57 15m Talk		Are You a Real Software Engineer? Best Practices in Online Recruitment for Software Engineering Studies WSESE Adam Alami Aalborg University, Mansooreh Zahedi The Univeristy of Melbourne, Neil Ernst University of Victoria
15:12 15m Talk		Hidden Populations in Software Engineering: Challenges, Lessons Learned, and Opportunities WSESE Ronnie de Souza Santos University of Calgary, Kiev Gama Federal University of Pernambuco (UFPE)

16:00 - 17:30	Session 4 - Presentation and Packaging & Panel & ConclusionsWSESE at Eugénio de Andrade Chair(s): Sira Vegas Universidad Politecnica de Madrid

16:00 12m Talk		FAIR enough: a Vision for Research Objects in Empirical Software Engineering Studies WSESE Davide Fucci Blekinge Institute of Technology
16:12 18m Talk		A Conceptual Model and Recommendations for Open Data and Artifacts in Empirical Software Engineering WSESE Per Runeson Lund University, Emma Söderberg Lund University, Martin Höst Malmö University
16:30 12m Talk		Insights Towards Better Case Study Reporting in Software Engineering WSESE Sergio Rico Mid Sweden University Pre-print
16:42 33m Panel		Fishbowl panel: Future Directions for Emprical Software Engineering WSESE Per Runeson Lund University, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Jefferson Seide Molléri Kristiania University, Audris Mockus The University of Tennessee, Knoxville / Vilnius University
17:15 15m		Conclusions WSESE Sira Vegas Universidad Politecnica de Madrid, Andreas Jedlitschka Fraunhofer IESE

Wed 17 Apr
Displayed time zone: Lisbon change

11:00 - 12:30	Testing 1Research Track / Journal-first Papers / Software Engineering in Practice / Software Engineering Education and Training at Eugénio de Andrade Chair(s): Ajitha Rajan University of Edinburgh

11:00 15m Talk		A First Look at the Inheritance-Induced Redundant Test Execution Research Track Dong Jae Kim Concordia University, Jinqiu Yang Concordia University, Tse-Hsun (Peter) Chen Concordia University
11:15 15m Talk		Hypertesting of Programs: Theoretical Foundation and Automated Test Generation Research Track Michele Pasqua University of Verona, Mariano Ceccato University of Verona, Paolo Tonella USI Lugano Pre-print
11:30 15m Talk		Gamifying a Software Testing Course with Continuous Integration Software Engineering Education and Training Philipp Straubinger University of Passau, Gordon Fraser University of Passau Pre-print
11:45 15m Talk		Enhancing Testing at Meta with Rich-State Simulated Populations Software Engineering in Practice Kinga Bojarczuk Meta, Mark Harman Meta Platforms, Inc. and UCL, Nadia Alshahwan Meta Platforms, Arianna Blasi Meta Platforms, Inc., Andrea Ciancone Meta, Natalija Gucevska Meta, Michal Krolikowski Meta, Rubmary Rojas Meta, Dragos Martac Meta, Simon Schellaert Meta, Kate Ustiuzhanina Meta, Inna Harper Meta, Yue Jia Meta, Will Lewis Meta
12:00 15m Talk		The Impact Of Bug Localization Based on Crash Report Mining: A Developers' Perspective Software Engineering in Practice Marcos Medeiros Federal University of Rio Grande do Norte, Uirá Kulesza Federal University of Rio Grande do Norte, Roberta Coelho , Rodrigo Bonifácio Computer Science Department - University of Brasília, Christoph Treude Singapore Management University, Eiji Adachi Barbosa Federal University of Rio Grande do Norte (UFRN) Pre-print
12:15 7m Talk		Stress Testing Control Loops in Cyber-Physical Systems Journal-first Papers Claudio Mandrioli University of Luxembourg, Seung Yeob Shin University of Luxembourg, Martina Maggio Saarland University, Germany / Lund University, Sweden, Domenico Bianculli University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland Pre-print

12:30 - 14:00	TCSE executive committee meetingSocial Events at Eugénio de Andrade Chair(s): Ladan Tahvildari University of Waterloo

12:30 90m Meeting		TCSE executive committee meeting Social Events

14:00 - 15:30	Testing 2Research Track / Software Engineering Education and Training / Software Engineering in Practice / Demonstrations / Journal-first Papers at Eugénio de Andrade Chair(s): Jonathan Bell Northeastern University

14:00 15m Talk		Ripples of a Mutation — An Empirical Study of Propagation Effects in Mutation Testing Research Track Hang Du University of California at Irvine, Vijay Krishna Palepu Microsoft, James Jones University of California at Irvine DOI
14:15 15m Talk		Fast Deterministic Black-box Context-free Grammar Inference Research Track Mohammad Rifat Arefin The University of Texas at Arlington, Suraj Shetiya University of Texas at Arlington, Zili Wang Iowa State University, Christoph Csallner University of Texas at Arlington Pre-print Media Attached
14:30 15m Talk		Bridging Theory to Practice in Software Testing Teaching through Team-based Learning (TBL) and Open Source Software (OSS) Contribution Software Engineering Education and Training Elaine Venson University of Brasilia, Reem Alfayez King Saud University
14:45 15m Talk		Productive Coverage: Improving the Actionability of Code Coverage Software Engineering in Practice Marko Ivanković Google; Universität Passau, Goran Petrović Google Inc, Yana Kulizhskaya Google Inc, Mateusz Lewko Google Inc, Luka Kalinovčić No affiliation, René Just University of Washington, Gordon Fraser University of Passau
15:00 15m Talk		Taming Timeout Flakiness: An Empirical Study of SAP HANA Software Engineering in Practice Alexander Berndt University of Mannheim, Sebastian Baltes University of Bayreuth, Thomas Bach SAP Pre-print
15:15 7m Talk		Testing Abstractions for Cyber-Physical Control Systems Journal-first Papers Claudio Mandrioli University of Luxembourg, Max Nyberg Carlsson Lund University, Martina Maggio Saarland University, Germany / Lund University, Sweden Pre-print
15:22 7m Talk		FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems Demonstrations Wenhan Feng Institute of Software, Chinese Academy of Sciences, Qiugen Pei Joint Laboratory on Cyberspace Security China Southern Power Grid, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Dong Wang Institute of software, Chinese academy of sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Zheheng Liang Joint Laboratory on Cyberspace Security of China Southern Power Grid, Zhenyue Long Joint Laboratory on Cyberspace Security China Southern Power Grid Pre-print

16:00 - 17:30	Testing: various bug types 1Research Track / Software Engineering in Practice at Eugénio de Andrade Chair(s): June Sallou Delft University of Technology

16:00 15m Talk		CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation Research Track Jinsheng Ba National University of Singapore, Manuel Rigger National University of Singapore Pre-print
16:15 15m Talk		Optimistic Prediction of Synchronization-Reversal Data Races Research Track Zheng Shi National University of Singapore, Umang Mathur National University of Singapore, Andreas Pavlogiannis Aarhus University
16:30 15m Talk		Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation Research Track Jie Liang , Zhiyong Wu Tsinghua University, China, Jingzhou Fu School of Software, Tsinghua University, Mingzhe Wang Tsinghua University, Chengnian Sun University of Waterloo, Yu Jiang Tsinghua University
16:45 15m Talk		FlakeSync: Automatically Repairing Async Flaky Tests Research Track Shanto Rahman University of Texas at Austin, August Shi The University of Texas at Austin
17:00 15m Talk		Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash Detection with Large Language Model Research Track Zhe Liu Institute of Software, Chinese Academy of Sciences, Chunyang Chen Technical University of Munich (TUM), Junjie Wang Institute of Software, Chinese Academy of Sciences, Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Boyu Wu University of Chinese Academy of Sciences, Beijing, China, Zhilin Tian Pennsylvania State University, Yuekai Huang Institute of Software, Chinese Academy of Sciences, Jun Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software, Chinese Academy of Sciences
17:15 15m Talk		AutoConsis: Automatic GUI-driven Data Inconsistency Detection of Mobile Apps Software Engineering in Practice Yongxiang Hu Fudan University, Hailiang Jin Meituan Inc., Xuan Wang Fudan University, Jiazhen Gu The Chinese University of Hong Kong, Shiyu Guo Meituan, Chaoyi Chen Meituan, Xin Wang Fudan University, Yangfan Zhou Fudan University

Thu 18 Apr
Displayed time zone: Lisbon change

11:00 - 12:30	Technical Briefings 4Technical Briefings at Eugénio de Andrade Chair(s): Rashina Hoda Monash University

11:00 90m Paper		Technical Briefing on Socio-Technical Grounded Theory for Qualitative Data Analysis Technical Briefings Rashina Hoda Monash University

12:30 - 14:00	Women@ICSE LunchSocial Events at Eugénio de Andrade Chair(s): Alvine Boaye Belle York University

12:30 90m Lunch		Women@ICSE Lunch Social Events

14:00 - 15:30	Technical Briefings 5Technical Briefings at Eugénio de Andrade Chair(s): Fatemeh Hendijani Fard University of British Columbia

14:00 90m Paper		Technical Briefing on Parameter Efficient Fine-Tuning of (Large) Language Models for Code-Intelligence Technical Briefings Fatemeh Hendijani Fard University of British Columbia

15:30 - 16:00	BIPOC@ICSE CaféSocial Events at Eugénio de Andrade Chair(s): Alvine Boaye Belle York University, Ronnie de Souza Santos University of Calgary

15:30 30m Social Event		BIPOC@ICSE Café Social Events

Fri 19 Apr
Displayed time zone: Lisbon change

11:00 - 12:30	Security 4Research Track / Software Engineering in Practice at Eugénio de Andrade Chair(s): Liliana Pasquale University College Dublin & Lero

11:00 15m Talk		A User-centered Security Evaluation of Copilot Research Track Owura Asare University of Waterloo, Mei Nagappan University of Waterloo, N. Asokan University of Waterloo
11:15 15m Talk		Identifying Affected Libraries and Their Ecosystems for Open Source Software Vulnerabilities Research Track Susheng Wu Fudan University, Wenyan Song Fudan University, Kaifeng Huang Tongji University, Bihuan Chen Fudan University, Xin Peng Fudan University
11:30 15m Talk		Understanding Transaction Bugs in Database Systems Research Track Ziyu Cui Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Dong Wang Institute of software, Chinese academy of sciences, Jiansen Song Institute of Software Chinese Academy of Sciences, Yingying Zheng Institute of Software Chinese Academy of Sciences, Tao Wang Institute of Software at Chinese Academy of Sciences, Rui Yang Institute of Software, Chinese Academy of Sciences, Kang Xu University of Chinese Academy of Sciences, Nanjing, Yixin Hu Sun Yat-sen University, 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
11:45 15m Talk		When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs Research Track Jiashuo Zhang Peking University, China, Jiachi Chen Sun Yat-sen University, Zhiyuan Wan Zhejiang University, Ting Chen University of Electronic Science and Technology of China, Jianbo Gao Peking University, Zhong Chen
12:00 15m Talk		Industrial Challenges in Secure Continuous Development Software Engineering in Practice Fabiola Moyón Siemens Technology and Technical University of Munich, Florian Angermeir fortiss GmbH, Daniel Mendez Blekinge Institute of Technology and fortiss Pre-print
12:15 15m Talk		Automated Security Findings Management: A Case Study in Industrial DevOps Software Engineering in Practice Markus Voggenreiter Siemens Technology / LMU Munich, Florian Angermeir fortiss GmbH, Fabiola Moyón Siemens Technology and Technical University of Munich, Ulrich Schöpp fortiss GmbH, Pierre Bonvin Munich University of Applied Sciences Pre-print

14:00 - 15:30	Vulnerability DetectionResearch Track at Eugénio de Andrade Chair(s): Caroline Lemieux University of British Columbia

14:00 15m Talk		GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis Research Track Yuqiang Sun Nanyang Technological University, Daoyuan Wu Nanyang Technological University, Yue Xue MetaTrust Labs, Han Liu East China Normal University, Haijun Wang Xi'an Jiaotong University, Zhengzi Xu Nanyang Technological University, Xiaofei Xie Singapore Management University, Yang Liu Nanyang Technological University DOI Pre-print
14:15 15m Talk		PrettySmart: Detecting Permission Re-delegation Vulnerability for Token Behaviors in Smart Contracts Research Track Zhijie Zhong School of Software Engineering, Sun Yat-sen University, Hong-Ning Dai Hong Kong Baptist University, Zibin Zheng Sun Yat-sen University, Qing Xue Sun Yat-sen University, Junjia Chen Sun Yat-sen University, Yuhong Nan Sun Yat-sen University
14:30 15m Talk		Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction Research Track Huanting Wang University of Leeds, UK, Zhanyong Tang Northwest University, Shin Hwei Tan Concordia University, Jie Wang NorthWest University, Yuzhe Liu NorthWest University, Hejun Fang NorthWest University, Chunwei Xia University of Leeds, Zheng Wang University of Leeds
14:45 15m Talk		SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network Research Track Feng Luo University of Electronic Science and Technology of China, Ruijie Luo University of Electronic Science and Technology of China, Ting Chen University of Electronic Science and Technology of China, Ao Qiao University of Electronic Science and Technology of China, Zheyuan He University of Electronic Science and Technology of China, Shuwei Song University of Electronic Science and Technology of China, Yu Jiang Tsinghua university, Sixing Li University of Electronic Science and Technology of China
15:00 15m Talk		PS3: Precise Patch Presence Test based on Semantic Symbolic Signature Research Track Qi Zhan Zhejiang University, Xing Hu Zhejiang University, Zhiyang Li Zhejiang University, Xin Xia Huawei Technologies, David Lo Singapore Management University, Shanping Li Zhejiang University
15:15 15m Talk		Safeguarding DeFi Smart Contracts against Oracle Deviations Research Track Xun Deng University of Toronto, Sidi Mohamed Beillahi University of Toronto, Cyrus Minwalla Bank of Canada, Han Du Bank of Canada, Andreas Veneris University of Toronto, Fan Long University of Toronto

16:00 - 17:30	Static Detection TechniquesSoftware Engineering in Practice / Research Track at Eugénio de Andrade Chair(s): Valentina Lenarduzzi University of Oulu

16:00 15m Talk		MalwareTotal: Multi-Faceted and Sequence-Aware Bypass Tactics against Static Malware Detection Research Track Shuai He Huazhong University of Science and Technology, Cai Fu Huazhong University of Science and Technology, Hong Hu Pennsylvania State University, Jiahe Chen Huazhong University of Science and Technology, Jianqiang Lv Huazhong University of Science and Technology, Shuai Jiang Huazhong University of Science and Technology Link to publication
16:15 15m Talk		Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware Research Track Yiming Liu Institute of Information Engineering, Chinese Academy of Sciences, Cen Zhang Nanyang Technological University, Feng Li Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China, Yeting Li Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jianhua Zhou Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China, Jian Wang Institute of Information Engineering, Chinese Academy of Sciences, Lanlan Zhan Institute of Information Engineering, Chinese Academy of Sciences, Yang Liu Nanyang Technological University, Wei Huo Institute of Information Engineering at Chinese Academy of Sciences
16:30 15m Talk		CSChecker: Revisiting GDPR and CCPA Compliance of Cookie Banners on the Web Research Track Mingxue Zhang Zhejiang University, Wei Meng Chinese University of Hong Kong, You Zhou Zhejiang University, Kui Ren Zhejiang University
16:45 15m Talk		Raisin: Identifying Rare Sensitive Functions for Bug Detection Research Track Jianjun Huang Renmin University of China, Jianglei Nie Renmin University of China, Yuanjun Gong Renmin University of China, Wei You Renmin University of China, Bin Liang Renmin University of China, China, Pan Bian Huawei Technologies CO., LTD., China
17:00 15m Talk		Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust Software Engineering in Practice Ying Zhang Virginia Tech, Peng Li Zoox, Yu Ding Google, Wang Lingxiang Microsoft, Dan Williams Virginia Tech, Na Meng Virginia Tech Pre-print
17:15 15m Talk		Inference for Ever-Changing Policy of Taint Analysis Software Engineering in Practice Wen-Hao Chiang Amazon Web Services, Peixuan Li Amazon Web Services, Qiang Zhou Amazon Web Services, Subarno Banerjee Amazon Web Services, Martin Schäf Amazon Web Services, Yingjun Lyu Amazon Web Services, Hoan Nguyen Amazon Web Services, Omer Tripp Amazon Web Services

Sat 20 Apr
Displayed time zone: Lisbon change

09:00 - 10:30	Opening + TutorialsDeepTest at Eugénio de Andrade Chair(s): Nicolás Cardozo Universidad de los Andes

09:00 30m Day opening		Opening DeepTest
09:30 30m Tutorial		Tutorial: TestSpark DeepTest Pouria Derakhshanfar JetBrains Research, Arkadii Sapozhnikov JetBrains Research
10:00 30m Tutorial		Tutorial: OpenSBT DeepTest Lev Sorokin fortiss GmbH \| Technische Universität München Link to publication Authorizer link Pre-print

11:00 - 12:30	Research TalksDeepTest at Eugénio de Andrade Chair(s): Matteo Biagiola Università della Svizzera italiana

11:00 30m Paper		Data vs. Model Machine Learning Fairness Testing: An Empirical Study DeepTest Arumoy Shome Delft University of Technology, Luís Cruz Delft University of Technology, Arie van Deursen Delft University of Technology Pre-print
11:30 30m Paper		Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines DeepTest Lev Sorokin fortiss GmbH \| Technische Universität München, Niklas Kerscher Technische Universität München \| Ludwig-Maximilians-Universität München Pre-print
12:00 30m Paper		A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers DeepTest Wasim Essbai Technische Universität Wien, Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Angelo Gargantini University of Bergamo Pre-print

14:00 - 15:30	Keynote + Invited TalkDeepTest at Eugénio de Andrade Chair(s): Foutse Khomh École Polytechnique de Montréal

14:00 45m Keynote		Mobile Application Testing with Large Language Models: Landscape and Vision DeepTest Chunyang Chen Technical University of Munich (TUM)
14:45 45m Talk		A Controlled Experiment of Different Code Representations for Learning-Based Program Repair DeepTest Marjane Namavar , Noor Nashid University of British Columbia, Ali Mesbah University of British Columbia (UBC) Pre-print

16:00 - 17:30	Research Talks + ClosingDeepTest at Eugénio de Andrade Chair(s): Andrea Stocco Technical University of Munich, fortiss

16:00 30m Paper		More is Not Always Better: Exploring Early Repair of DNNs DeepTest Andrei Mancu Technical University of Munich, Thomas Laurent Lero@Trinity College Dublin, Franz Rieger Max Planck Institute for Biological Intelligence and Technical University of Munich, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics, Daniel Rueckert Pre-print
16:30 30m Paper		Federated Repair of Deep Neural Networks DeepTest Davide Li Calsi Politecnico di Milano, Thomas Laurent Lero@Trinity College Dublin, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics Pre-print
17:00 30m Day closing		Closing DeepTest

Sun 14 Apr
Displayed time zone: Lisbon 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
Eugénio de Andrade	FormaliSE Opening and Keynote																								FormaliSE Automata and applications																																				FormaliSE Timed behavior specification and verification																								FormaliSE Formal methods for cyber-physical systems and requirements engineering

Mon 15 Apr
Displayed time zone: Lisbon change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Eugénio de Andrade	FormaliSE Keynote																								FormaliSE Theorem proving and applications																																				FormaliSE Machine learning and formal methods

Tue 16 Apr
Displayed time zone: Lisbon 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
Eugénio de Andrade	WSESE Session 1 - Keynote & MSR Studies																								WSESE Session 2 - Quality of evidence generated & Secondary Studies																																				WSESE Session 3 - Keynote & Participants																								WSESE Session 4 - Presentation and Packaging & Panel & Conclusions

Wed 17 Apr
Displayed time zone: Lisbon change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Eugénio de Andrade	Research Track + Journal-first Papers + Software Engineering in Practice + Software Engineering Education and Training Testing 1																		Social Events TCSE executive committee meeting																		Research Track + Software Engineering Education and Training + Software Engineering in Practice + Demonstrations + Journal-first Papers Testing 2																								Research Track + Software Engineering in Practice Testing: various bug types 1

Thu 18 Apr
Displayed time zone: Lisbon change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Eugénio de Andrade	Technical Briefings Technical Briefings 4																		Social Events Women@ICSE Lunch																		Technical Briefings Technical Briefings 5																		Social Events BIPOC@ICSE Café

Fri 19 Apr
Displayed time zone: Lisbon change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Eugénio de Andrade	Research Track + Software Engineering in Practice Security 4																																				Research Track Vulnerability Detection																								Software Engineering in Practice + Research Track Static Detection Techniques

Sat 20 Apr
Displayed time zone: Lisbon 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
Eugénio de Andrade	DeepTest Opening + Tutorials																								DeepTest Research Talks																																				DeepTest Keynote + Invited Talk																								DeepTest Research Talks + Closing

Sun 14 Apr
Displayed time zone: Lisbon 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
Eugénio de Andrade	FormaliSE Opening 09:00 - 09:10		FormaliSE FormalISE: Reflections on Formal and Informal Methods in Software Engin ... 09:10 - 10:30																						FormaliSE Contract Automata: A Specification Language for Mode-Based Systems 11:00 - 11:30						FormaliSE Finite Automata synthesis from Interactions 11:30 - 12:00						FormaliSE Preprocessing is What You Need: Understanding and Predicting the Comple ... 12:00 - 12:30																								FormaliSE Diagnosing Violations of Time-based Properties Captured in iCFTL 14:00 - 14:30						FormaliSE Time for Networks: Mutation Testing for Timed Automata Networks 14:30 - 15:00						FormaliSE Verifying Opacity of Discrete-Timed Automata 15:00 - 15:30												FormaliSE Automated Repair of Violated Eventually Properties in Concurrent Programs 16:00 - 16:30						FormaliSE Compositional Analysis of Parametric Cooperative Cyber-Physical Systems 16:30 - 17:00						FormaliSE Formal Methods in Requirements Engineering: Survey and Future Directions 17:00 - 17:30

Mon 15 Apr
Displayed time zone: Lisbon 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
Eugénio de Andrade	FormaliSE Two-way collaboration between flow and proof in SPARKBA 09:00 - 10:30																								FormaliSE A Semantics of Structures, Unions, and Underspecified Terms for Formal ... 11:00 - 11:30						FormaliSE Formally Verified Interval Arithmetic and Its Application to Program Ve ... 11:30 - 12:00						FormaliSE Towards Verifiable Multi-Agent Interaction Pattern Specification 12:00 - 12:30																								FormaliSE Case Study: Neural Network Malware Detection Verification for Feature a ... 14:00 - 14:30						FormaliSE Leveraging Large Language Models to Boost Dafny’s Developers Productivity 14:30 - 15:00						FormaliSE Closing 15:00 - 15:10

Tue 16 Apr
Displayed time zone: Lisbon 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
Eugénio de Andrade	WSESE Welcome 09:00 - 09:15			WSESE Are we Getting Reliable Evidence? Methodology is Critical in Empirical ... 09:15 - 10:00									WSESE Lessons Learned from Mining the Hugging Face Repository 10:00 - 10:15			WSESE The Role of Data Filtering in Open Source Software Ranking and Selection 10:15 - 10:30									WSESE Evidence Tetris in the Pixelated World of Validity Threats 11:00 - 11:12		WSESE Revisiting the construct and assessment of industrial relevance in soft ... 11:12 - 11:24			WSESE Grounded Theory in Software Engineering: Challenges and Lessons Learned ... 11:24 - 11:39			WSESE A Second Look at the Impact of Passive Voice Requirements on Domain Mod ... 11:39 - 11:57			WSESE Emerging Results on Automated Support for Searching and Selecting Evide ... 11:57 - 12:15				WSESE Apples, Oranges, and Software Engineering: Study Selection Challenges f ... 12:15 - 12:30																					WSESE Applications of Language Models to Software Engineering: An Empirical P ... 14:00 - 14:45									WSESE Who's actually being Studied? A Call for Population Analysis in Softwar ... 14:45 - 14:57		WSESE Are You a Real Software Engineer? Best Practices in Online Recruitment ... 14:57 - 15:12			WSESE Hidden Populations in Software Engineering: Challenges, Lessons Learned ... 15:12 - 15:27										WSESE FAIR enough: a Vision for Research Objects in Empirical Software Engine ... 16:00 - 16:12		WSESE A Conceptual Model and Recommendations for Open Data and Artifacts in E ... 16:12 - 16:30				WSESE Insights Towards Better Case Study Reporting in Software Engineering 16:30 - 16:42		WSESE Fishbowl panel: Future Directions for Emprical Software Engineering 16:42 - 17:15							WSESE Conclusions 17:15 - 17:30

Wed 17 Apr
Displayed time zone: Lisbon 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
Eugénio de Andrade	ICSE Research Track A First Look at the Inheritance-Induced Redundant Test Execution 11:00 - 11:15			ICSE Research Track Hypertesting of Programs: Theoretical Foundation and Automated Test Gen ... 11:15 - 11:30			ICSE Software Engineering Education and Training Gamifying a Software Testing Course with Continuous Integration 11:30 - 11:45			ICSE Software Engineering in Practice Enhancing Testing at Meta with Rich-State Simulated Populations 11:45 - 12:00			ICSE Software Engineering in Practice The Impact Of Bug Localization Based on Crash Report Mining: A Develope ... 12:00 - 12:15			ICSE Journal-first Papers Stress Testing Control Loops in Cyber-Physical Systems 12:15 - 12:22			ICSE Social Events TCSE executive committee meeting 12:30 - 14:00																		ICSE Research Track Ripples of a Mutation — An Empirical Study of Propagation Effects in Mu ... 14:00 - 14:15			ICSE Research Track Fast Deterministic Black-box Context-free Grammar Inference 14:15 - 14:30			ICSE Software Engineering Education and Training Bridging Theory to Practice in Software Testing Teaching through Team-b ... 14:30 - 14:45			ICSE Software Engineering in Practice Productive Coverage: Improving the Actionability of Code Coverage 14:45 - 15:00			ICSE Software Engineering in Practice Taming Timeout Flakiness: An Empirical Study of SAP HANA 15:00 - 15:15			ICSE Journal-first Papers Testing Abstractions for Cyber-Physical Control Systems 15:15 - 15:22	ICSE Demonstrations FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems 15:22 - 15:29								ICSE Research Track CERT: Finding Performance Issues in Database Systems Through the Lens o ... 16:00 - 16:15			ICSE Research Track Optimistic Prediction of Synchronization-Reversal Data Races 16:15 - 16:30			ICSE Research Track Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transfor ... 16:30 - 16:45			ICSE Research Track FlakeSync: Automatically Repairing Async Flaky Tests 16:45 - 17:00			ICSE Research Track Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash ... 17:00 - 17:15			ICSE Software Engineering in Practice AutoConsis: Automatic GUI-driven Data Inconsistency Detection of Mobile ... 17:15 - 17:30

Thu 18 Apr
Displayed time zone: Lisbon 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
Eugénio de Andrade	ICSE Technical Briefings Technical Briefing on Socio-Technical Grounded Theory for Qualitative D ... 11:00 - 12:30																		ICSE Social Events Women@ICSE Lunch 12:30 - 14:00																		ICSE Technical Briefings Technical Briefing on Parameter Efficient Fine-Tuning of (Large) Langua ... 14:00 - 15:30																		ICSE Social Events BIPOC@ICSE Café 15:30 - 16:00

Fri 19 Apr
Displayed time zone: Lisbon 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
Eugénio de Andrade	ICSE Research Track A User-centered Security Evaluation of Copilot 11:00 - 11:15			ICSE Research Track Identifying Affected Libraries and Their Ecosystems for Open Source Sof ... 11:15 - 11:30			ICSE Research Track Understanding Transaction Bugs in Database Systems 11:30 - 11:45			ICSE Research Track When Contracts Meets Crypto: Exploring Developers' Struggles with Ether ... 11:45 - 12:00			ICSE Software Engineering in Practice Industrial Challenges in Secure Continuous Development 12:00 - 12:15			ICSE Software Engineering in Practice Automated Security Findings Management: A Case Study in Industrial DevOps 12:15 - 12:30																					ICSE Research Track GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combinin ... 14:00 - 14:15			ICSE Research Track PrettySmart: Detecting Permission Re-delegation Vulnerability for Token ... 14:15 - 14:30			ICSE Research Track Combining Structured Static Code Information and Dynamic Symbolic Trace ... 14:30 - 14:45			ICSE Research Track SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneou ... 14:45 - 15:00			ICSE Research Track PS3: Precise Patch Presence Test based on Semantic Symbolic Signature 15:00 - 15:15			ICSE Research Track Safeguarding DeFi Smart Contracts against Oracle Deviations 15:15 - 15:30									ICSE Research Track MalwareTotal: Multi-Faceted and Sequence-Aware Bypass Tactics against S ... 16:00 - 16:15			ICSE Research Track Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware 16:15 - 16:30			ICSE Research Track CSChecker: Revisiting GDPR and CCPA Compliance of Cookie Banners on the Web 16:30 - 16:45			ICSE Research Track Raisin: Identifying Rare Sensitive Functions for Bug Detection 16:45 - 17:00			ICSE Software Engineering in Practice Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust 17:00 - 17:15			ICSE Software Engineering in Practice Inference for Ever-Changing Policy of Taint Analysis 17:15 - 17:30

Sat 20 Apr
Displayed time zone: Lisbon 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
Eugénio de Andrade	DeepTest Opening 09:00 - 09:30						DeepTest Tutorial: TestSpark 09:30 - 10:00						DeepTest Tutorial: OpenSBT 10:00 - 10:30												DeepTest Data vs. Model Machine Learning Fairness Testing: An Empirical Study 11:00 - 11:30						DeepTest Guiding the Search Towards Failure-Inducing Test Inputs Using Support V ... 11:30 - 12:00						DeepTest A Framework for Including Uncertainty in Robustness Evaluation of Bayes ... 12:00 - 12:30																								DeepTest Mobile Application Testing with Large Language Models: Landscape and Vision 14:00 - 14:45									DeepTest A Controlled Experiment of Different Code Representations for Learning- ... 14:45 - 15:30															DeepTest More is Not Always Better: Exploring Early Repair of DNNs 16:00 - 16:30						DeepTest Federated Repair of Deep Neural Networks 16:30 - 17:00						DeepTest Closing 17:00 - 17:30

Room information: Eugénio de Andrade

Program Display Configuration

Sun 14 AprDisplayed time zone: Lisbon change

Mon 15 AprDisplayed time zone: Lisbon change

Tue 16 AprDisplayed time zone: Lisbon change

Wed 17 AprDisplayed time zone: Lisbon change

Thu 18 AprDisplayed time zone: Lisbon change

Fri 19 AprDisplayed time zone: Lisbon change

Sat 20 AprDisplayed time zone: Lisbon change

Sun 14 AprDisplayed time zone: Lisbon change

FormaliSE

FormaliSE

FormaliSE

FormaliSE

Mon 15 AprDisplayed time zone: Lisbon change

FormaliSE

FormaliSE

FormaliSE

Tue 16 AprDisplayed time zone: Lisbon change

WSESE

WSESE

WSESE

WSESE

Wed 17 AprDisplayed time zone: Lisbon change

Research Track + Journal-first Papers + Software Engineering in Practice + Software Engineering Education and Training

Social Events

Research Track + Software Engineering Education and Training + Software Engineering in Practice + Demonstrations + Journal-first Papers

Research Track + Software Engineering in Practice

Thu 18 AprDisplayed time zone: Lisbon change

Technical Briefings

Social Events

Technical Briefings

Social Events

Fri 19 AprDisplayed time zone: Lisbon change

Research Track + Software Engineering in Practice

Research Track

Software Engineering in Practice + Research Track

Sat 20 AprDisplayed time zone: Lisbon change

DeepTest

DeepTest

DeepTest

DeepTest

Sun 14 AprDisplayed time zone: Lisbon change

Mon 15 AprDisplayed time zone: Lisbon change

Tue 16 AprDisplayed time zone: Lisbon change

Wed 17 AprDisplayed time zone: Lisbon change

Thu 18 AprDisplayed time zone: Lisbon change

Fri 19 AprDisplayed time zone: Lisbon change

Sat 20 AprDisplayed time zone: Lisbon change

Sun 14 Apr
Displayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Wed 17 Apr
Displayed time zone: Lisbon change

Thu 18 Apr
Displayed time zone: Lisbon change

Fri 19 Apr
Displayed time zone: Lisbon change

Sat 20 Apr
Displayed time zone: Lisbon change

Sun 14 Apr
Displayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Wed 17 Apr
Displayed time zone: Lisbon change

Thu 18 Apr
Displayed time zone: Lisbon change

Fri 19 Apr
Displayed time zone: Lisbon change

Sat 20 Apr
Displayed time zone: Lisbon change

Sun 14 Apr
Displayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Wed 17 Apr
Displayed time zone: Lisbon change

Thu 18 Apr
Displayed time zone: Lisbon change

Fri 19 Apr
Displayed time zone: Lisbon change

Sat 20 Apr
Displayed time zone: Lisbon change