Baobá 2 - FSE 2024

VenueHotel Armação

Room nameBaobá 2

Floor0

Capacity105

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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

Mon 15 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30	Introduction and flash keynotes 2030 Software Engineering at Baobá 2

09:00 90m Meeting		Overall Program 2030 Software Engineering Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology

	11:00 - 12:30	Teamwork2030 Software Engineering at Baobá 2

14:00 - 15:30	Teamwork2030 Software Engineering at Baobá 2

14:00 90m Meeting		Overall Program 2030 Software Engineering Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology

	16:00 - 18:00	Teamwork2030 Software Engineering at Baobá 2

Tue 16 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

	09:00 - 10:30	Teamwork2030 Software Engineering at Baobá 2

	11:00 - 12:30	Teamwork2030 Software Engineering at Baobá 2

	14:00 - 15:30	Teamwork2030 Software Engineering at Baobá 2

	16:00 - 18:00	Concluding Remarks2030 Software Engineering at Baobá 2

18:00 - 19:30	TOSEM Editorial Board MeetingSocial Events / Posters at Baobá 2 Chair(s): Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology

18:00 90m Meeting		TOSEM Editorial Board Meeting Social Events

Wed 17 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30	Formal VerificationDemonstrations / Journal First / Research Papers / Industry Papers at Baobá 2

11:00 18m Talk		A Transferability Study of Interpolation-Based Hardware Model Checking to Software Verification Research Papers Dirk Beyer LMU Munich, Po-Chun Chien LMU Munich, Marek Jankola LMU Munich, Nian-Ze Lee LMU Munich DOI Pre-print Media Attached
11:18 9m Talk		CoqPyt: Proof Navigation in Python in the Era of LLMs Demonstrations Pedro Carrott Imperial College London, Nuno Saavedra INESC-ID and IST, University of Lisbon, Kyle Thompson University of California, San Diego, Sorin Lerner University of California at San Diego, João F. Ferreira INESC-ID and IST, University of Lisbon, Emily First University of California, San Diego DOI Pre-print
11:27 9m Talk		How We Built Cedar: A Verification-Guided Approach Industry Papers Craig Disselkoen Amazon Web Services, Aaron Eline Amazon, Shaobo He Amazon Web Services, Kyle Headley Unaffiliated, MIchael Hicks Amazon, Kesha Hietala Amazon Web Services, John Kastner Amazon Web Services, Anwar Mamat University of Maryland, Matt McCutchen , Neha Rungta Amazon Web Services, Bhakti Shah University of St. Andrews, Emina Torlak Amazon Web Services, USA, Andrew Wells Amazon Web Services
11:36 18m Talk		Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties Journal First Claudio Menghi University of Bergamo; McMaster University, Christos Tsigkanos University of Bern, Switzerland, Mehrnoosh Askarpour McMaster University, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Gricel Vázquez University of York, UK, Radu Calinescu University of York, UK, Sergio García Volvo Cars Corporation, Sweden
11:54 18m Talk		Rigorous Assessment of Model Inference Accuracy using Language Cardinality Journal First Donato Clun Imperial College London, Donghwan Shin University of Sheffield, Antonio Filieri AWS and Imperial College London, Domenico Bianculli University of Luxembourg
12:12 18m Talk		Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks Journal First Federico Formica McMaster University, Tony Fan McMaster University, Akshay Rajhans Mathworks, Vera Pantelic McMaster University, Mark Lawford McMaster University, Claudio Menghi University of Bergamo; McMaster University

14:00 - 15:30	Testing 1Research Papers / Journal First at Baobá 2

14:00 18m Talk		Test Input Prioritization for 3D Point Clouds Journal First Yinghua LI University of Luxembourg, Xueqi Dang University of Luxembourg, Lei Ma The University of Tokyo & University of Alberta, Jacques Klein University of Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg
14:18 18m Talk		Evaluating and Improving ChatGPT for Unit Test Generation Research Papers Zhiqiang Yuan Fudan University, Mingwei Liu Fudan University, Shiji Ding Fudan University, Kaixin Wang Fudan University, Yixuan Chen Fudan University, Xin Peng Fudan University, Yiling Lou Fudan University
14:36 18m Talk		Bounding Random Test Set Size with Computational Learning Theory Research Papers Neil Walkinshaw The University of Sheffield, Michael Foster The University of Sheffield, José Miguel Rojas The University of Sheffield, Robert Hierons The University of Sheffield
14:54 18m Talk		COSTELLO: Contrastive Testing for Embedding-based Large Language Model as a Service Embeddings Research Papers Weipeng Jiang Xi'an Jiaotong University, Juan Zhai University of Massachusetts, Amherst, Shiqing Ma University of Massachusetts, Amherst, Xiaoyu Zhang Xi'an Jiaotong University, Chao Shen Xi'an Jiaotong University
15:12 18m Talk		FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution Research Papers Jaehan Yoon Sungkyunkwan University, Sooyoung Cha Sungkyunkwan University

16:00 - 18:00	Testing 2Demonstrations / Ideas, Visions and Reflections / Research Papers / Industry Papers at Baobá 2

16:00 18m Talk		Metamorphic Testing of Secure Multi-Party Computation (MPC) Compilers Research Papers Dongwei Xiao Hong Kong University of Science and Technology, Zhibo Liu The Hong Kong University of Science and Technology, Qi Pang Carnegie Mellon University, Shuai Wang The Hong Kong University of Science and Technology, Yichen LI Hong Kong University of Science and Technology
16:18 18m Talk		Mobile Bug Report Reproduction via Global Search on the App UI Model Research Papers Zhaoxu Zhang University of Southern California, Fazle Mohammed Tawsif University of Southern California, Komei Ryu University of Southern California, Tingting Yu University of Connecticut, William G.J. Halfond University of Southern California
16:36 18m Talk		FinHunter: Improved Search-based Test Generation for Structural Testing of FinTech Systems Industry Papers Xuanwen Ding East China Normal University, Qingshun Wang East China Normal University, Dan Liu East China Normal University, Lihua Xu New York University Shanghai, Jun Xiao Ant Group Co. Ltd., Bojun Zhang Ant Group Co. Ltd., Xue Li Ant Group Co. Ltd., Liang Dou East China Normal University, Liang He East China Normal University, Tao Xie Peking University
16:54 9m Talk		Tests4Py: A Benchmark for System Testing Demonstrations Marius Smytzek CISPA Helmholtz Center for Information Security, Martin Eberlein Humboldt University of Berlin, Batuhan Serce CISPA Helmholtz Center for Information Security, Lars Grunske Humboldt-Universität zu Berlin, Andreas Zeller CISPA Helmholtz Center for Information Security Pre-print Media Attached
17:03 9m Talk		On Polyglot Program Testing Ideas, Visions and Reflections Philémon Houdaille DIVERSE Team, IRISA-INRIA, CNRS, Université Rennes 1, Djamel Eddine Khelladi CNRS, IRISA, University of Rennes, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Gunter Mussbacher McGill University DOI Pre-print
17:12 9m Talk		Ctest4J: A Practical Configuration Testing Framework for Java Demonstrations Shuai Wang University of Illinois at Urbana-Champaign, Xinyu Lian University of Illinois at Urbana-Champaign, Qingyu Li University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign, Tianyin Xu University of Illinois at Urbana-Champaign
17:21 9m Talk		Predicting Test Results without Execution Ideas, Visions and Reflections Andre Hora UFMG Pre-print
17:30 9m Talk		Py-holmes: Causal Testing for Deep Neural Networks in Python Demonstrations Wren McQueary George Mason University, sadia afrin mim George Mason University, Md Nishat Raihan George Mason University, Justin Smith Lafayette College, Brittany Johnson George Mason University Pre-print
17:39 9m Talk		AndroLog: Android Instrumentation and Code Coverage Analysis Demonstrations Jordan Samhi CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print
17:48 9m Talk		PathSpotter: Exploring Tested Paths to Discover Missing Tests Demonstrations Andre Hora UFMG Pre-print

Thu 18 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30	Program Analysis and Performance 2Research Papers at Baobá 2

11:00 18m Talk		Adapting Multi-objectivized Software Configuration Tuning Research Papers Tao Chen University of Birmingham, Miqing Li University of Birmingham Pre-print
11:18 18m Talk		Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? Research Papers Madeline Endres University of Michgain, Sarah Fakhoury Microsoft Research, Saikat Chakraborty Microsoft Research, Shuvendu Lahiri Microsoft Research
11:36 18m Talk		Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit Research Papers Matteo Paltenghi University of Stuttgart, Michael Pradel University of Stuttgart Pre-print
11:54 18m Talk		Abstraction-Aware Inference of Metamorphic Relations Research Papers Agustin Nolasco University of Rio Cuarto, Facundo Molina IMDEA Software Institute, Renzo Degiovanni Luxembourg Institute of Science and Technology, Alessandra Gorla IMDEA Software Institute, Diego Garbervetsky Departamento de Computación, FCEyN, UBA, Mike Papadakis University of Luxembourg, Sebastian Uchitel Imperial College and University of Buenos Aires, Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
12:12 18m Talk		Predicting Configuration Performance in Multiple Environments with Sequential Meta-Learning Research Papers Jingzhi Gong Loughborough University, Tao Chen University of Birmingham Pre-print

14:00 - 15:30	Security and Privacy 1Ideas, Visions and Reflections / Industry Papers / Research Papers at Baobá 2

14:00 18m Talk		Investigating Documented Privacy Changes in Android OS Research Papers Chuan Yan University of Queensland, Mark Huasong Meng National University of Singapore, Fuman Xie University of Queensland, Guangdong Bai University of Queensland
14:18 9m Talk		A Preliminary Study on the Privacy Concerns of Using IP Addresses in Log Data Ideas, Visions and Reflections Issam Sedki Concordia University
14:27 9m Talk		Personal Data-Less Personalized Software Applications Ideas, Visions and Reflections Sana Belguith University of Bristol, Inah Omoronyia University of Bristol, Ruzanna Chitchyan University of Bristol
14:36 18m Talk		Your Code Secret Belongs to Me: Neural Code Completion Tools Can Memorize Hard-coded Credentials Research Papers Yizhan Huang The Chinese University of Hong Kong, Yichen LI The Chinese University of Hong Kong, Weibin Wu Sun Yat-sen University, Jianping Zhang The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
14:54 18m Talk		Unveil the Mystery of Critical Software Vulnerabilities Industry Papers Shengyi Pan Zhejiang University, Lingfeng Bao Zhejiang University, Jiayuan Zhou Huawei, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Shanping Li Zhejiang University
15:12 9m Talk		AgraBOT: Accelerating Third-Party Security Risk Management in Enterprise Setting Industry Papers Mert Toslali IBM Research, Edward Snible IBM Research, Jing Chen IBM Research, Alan Cha IBM Research, USA, Sandeep Singh IBM, Michael Kalantar IBM Research, Srinivasan Parthasarathy IBM Research

16:00 - 18:00	Testing 3Ideas, Visions and Reflections / Demonstrations / Industry Papers / Journal First / Research Papers at Baobá 2

16:00 18m Talk		Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions Journal First Federico Formica McMaster University, Tony Fan McMaster University, Claudio Menghi University of Bergamo; McMaster University
16:18 9m Talk		Monitoring the Execution of 14K Tests: Methods Tend to Have One Path that Is Significantly More Executed Ideas, Visions and Reflections Andre Hora UFMG Pre-print
16:27 18m Talk		Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles Research Papers weigang he East China Normal University / University of Technology Sydney, Peng Di Ant Group, Mengli Ming East China Normal University, Chengyu Zhang ETH Zurich, Ting Su East China Normal University, Shijie Li Ant Group, Yulei Sui UNSW
16:45 18m Talk		A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators Research Papers Jinyin Chen Zhejiang University of Technology, Chengyu Jia Zhejiang University of Technology, Yunjie Yan Zhejiang University of Technology, Jie Ge Zhejiang University of Technology, haibin zheng Zhejiang University of Technology, Yao Cheng TÜV SÜD Asia Pacific Pte. Ltd.
17:03 18m Talk		Observation-based unit test generation at Meta Industry Papers Mark Harman Meta Platforms, Inc. and UCL, Rotem Tal Meta platforms, Alexandru Marginean Meta platforms, Eddy Wang Meta platforms, Nadia Alshahwan Meta Platforms
17:21 9m Talk		ExLi : An Inline-Test Generation Tool for Java Demonstrations Yu Liu University of Texas at Austin, Aditya Thimmaiah The University of Texas at Austin, Owolabi Legunsen Cornell University, Milos Gligoric The University of Texas at Austin
17:30 9m Talk		ATheNA-S: a Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise Demonstrations Federico Formica McMaster University, Mohammad Mahdi Mahboob McMaster University, Mehrnoosh Askarpour McMaster University, Claudio Menghi University of Bergamo; McMaster University
17:39 9m Talk		Test Polarity: Detecting Positive and Negative Tests Ideas, Visions and Reflections Andre Hora UFMG Pre-print

Fri 19 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30	Testing 4Research Papers / Industry Papers at Baobá 2

11:00 18m Talk		Partial Solution Based Constraint Solving Cache in Symbolic Execution Research Papers Ziqi Shuai School of Computer, National University of Defense Technology, China, Zhenbang Chen School of Computer, National University of Defense Technology, China, Kelin Ma School of Computer, National University of Defense Technology, China, Kunlin Liu School of Computer, National University of Defense Technology, China, Yufeng Zhang Hunan University, Jun Sun School of Information Systems, Singapore Management University, Singapore, Ji Wang School of Computer, National University of Defense Technology, China Pre-print
11:18 18m Talk		Java JIT Testing with Template Extraction Research Papers Zhiqiang Zang The University of Texas at Austin, Fu-Yao Yu The University of Texas at Austin, Aditya Thimmaiah The University of Texas at Austin, August Shi The University of Texas at Austin, Milos Gligoric The University of Texas at Austin
11:36 18m Talk		Natural Symbolic Execution-based Testing for Big Data Analytics Research Papers Yaoxuan Wu UCLA, Ahmad Humayun Virginia Tech, Muhammad Ali Gulzar Virginia Tech, Miryung Kim UCLA and Amazon Web Services Pre-print
11:54 18m Talk		MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems Research Papers Xiaoyan Zhu Zhejiang Sci-Tech University, Mingyue Jiang Zhejiang Sci-Tech University, Xiao-Yi Zhang University of Science and Technology Beijing, Liming Nie Nanyang Technological University, Zuohua Ding Zhejiang Sci-Tech University
12:12 18m Talk		Property-based Testing for Validating User Privacy-Related Functionalities in Social Media Apps Industry Papers Jingling Sun University of Electronic Science and Technology of China, Ting Su East China Normal University, Jun Sun School of Information Systems, Singapore Management University, Singapore, Jianwen Li East China Normal University, China, Mengfei Wang ByteDance, Geguang Pu East China Normal University, China

14:00 - 15:30	Fault Diagnosis and Root Cause Analysis 2Industry Papers / Research Papers at Baobá 2

14:00 18m Talk		Exploring LLM-based Agents for Root Cause Analysis Industry Papers Devjeet Roy Washington State University, Xuchao Zhang Microsoft, Rashi Bhave Microsoft Research, Chetan Bansal Microsoft Research, Pedro Las-Casas Microsoft, Rodrigo Fonseca Microsoft Research, Saravan Rajmohan Microsoft
14:18 18m Talk		Illuminating the Gray Zone: Non-Intrusive Gray Failure Localization in Server Operating Systems Industry Papers Shenglin Zhang Nankai University, Yongxin Zhao Nankai University, Xiao Xiong Nankai University, Yongqian Sun Nankai University, Xiaohui Nie CNIC, CAS, Jiacheng Zhang Nankai University, Fenglai Wang Huawei Technologies Ltd., Xian Zheng Huawei Technologies Ltd., Yuzhi Zhang Nankai University, Dan Pei Tsinghua University DOI
14:36 18m Talk		Towards Better Graph Neural Network-based Fault Localization Through Enhanced Code Representation Research Papers Md Nakhla Rafi Concordia University, Dong Jae Kim Concordia University, An Ran Chen University of Alberta, Tse-Hsun (Peter) Chen Concordia University, Shaowei Wang Department of Computer Science, University of Manitoba, Canada
14:54 18m Talk		Easy over Hard: A Simple Baseline for Test Failures Causes Prediction Industry Papers Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Zhipeng Xue , Xing Hu Zhejiang University, Weiyi Shang University of Waterloo, Xin Xia Huawei Technologies
15:12 18m Talk		Automated Root Causing of Cloud Incidents using In-Context Learning with GPT-4 Industry Papers Xuchao Zhang Microsoft, Supriyo Ghosh Microsoft, Chetan Bansal Microsoft Research, Rujia Wang Microsoft, Minghua Ma Microsoft Research, Yu Kang Microsoft Research, Saravan Rajmohan Microsoft

Mon 15 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Baobá 2	2030 Software Engineering Introduction and flash keynotes																								2030 Software Engineering Teamwork																																				2030 Software Engineering Teamwork																								2030 Software Engineering Teamwork

Tue 16 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Baobá 2	2030 Software Engineering Teamwork																								2030 Software Engineering Teamwork																																				2030 Software Engineering Teamwork																								2030 Software Engineering Concluding Remarks																								Social Events + Posters TOSEM Editorial Board Meeting

Wed 17 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Baobá 2	Demonstrations + Journal First + Research Papers + Industry Papers Formal Verification																																				Research Papers + Journal First Testing 1																								Demonstrations + Ideas, Visions and Reflections + Research Papers + Industry Papers Testing 2

Thu 18 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Baobá 2	Research Papers Program Analysis and Performance 2																																				Ideas, Visions and Reflections + Industry Papers + Research Papers Security and Privacy 1																								Ideas, Visions and Reflections + Demonstrations + Industry Papers + Journal First + Research Papers Testing 3

Fri 19 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Baobá 2	Research Papers + Industry Papers Testing 4																																				Industry Papers + Research Papers Fault Diagnosis and Root Cause Analysis 2

Mon 15 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Baobá 2	2030 Software Engineering Overall Program 09:00 - 10:30																																																												2030 Software Engineering Overall Program 14:00 - 15:30

Tue 16 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	18:00			15			30			45			19:00			15			30			45
Baobá 2	FSE Social Events TOSEM Editorial Board Meeting 18:00 - 19:30

Wed 17 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Baobá 2	FSE Research Papers A Transferability Study of Interpolation-Based Hardware Model Checking ... 11:00 - 11:18				FSE Demonstrations CoqPyt: Proof Navigation in Python in the Era of LLMs 11:18 - 11:27	FSE Industry Papers How We Built Cedar: A Verification-Guided Approach 11:27 - 11:36		FSE Journal First Mission Specification Patterns for Mobile Robots: Providing Support for ... 11:36 - 11:54				FSE Journal First Rigorous Assessment of Model Inference Accuracy using Language Cardinality 11:54 - 12:12			FSE Journal First Simulation-based Testing of Simulink Models with Test Sequence and Test ... 12:12 - 12:30																						FSE Journal First Test Input Prioritization for 3D Point Clouds 14:00 - 14:18				FSE Research Papers Evaluating and Improving ChatGPT for Unit Test Generation 14:18 - 14:36			FSE Research Papers Bounding Random Test Set Size with Computational Learning Theory 14:36 - 14:54				FSE Research Papers COSTELLO: Contrastive Testing for Embedding-based Large Language Model ... 14:54 - 15:12			FSE Research Papers FeatMaker: Automated Feature Engineering for Search Strategy of Symboli ... 15:12 - 15:30										FSE Research Papers Metamorphic Testing of Secure Multi-Party Computation (MPC) Compilers 16:00 - 16:18				FSE Research Papers Mobile Bug Report Reproduction via Global Search on the App UI Model 16:18 - 16:36			FSE Industry Papers FinHunter: Improved Search-based Test Generation for Structural Testing ... 16:36 - 16:54				FSE Demonstrations Tests4Py: A Benchmark for System Testing 16:54 - 17:03		FSE Ideas, Visions and Reflections On Polyglot Program Testing 17:03 - 17:12	FSE Demonstrations Ctest4J: A Practical Configuration Testing Framework for Java 17:12 - 17:21		FSE Ideas, Visions and Reflections Predicting Test Results without Execution 17:21 - 17:30		FSE Demonstrations Py-holmes: Causal Testing for Deep Neural Networks in Python 17:30 - 17:39		FSE Demonstrations AndroLog: Android Instrumentation and Code Coverage Analysis 17:39 - 17:48		FSE Demonstrations PathSpotter: Exploring Tested Paths to Discover Missing Tests 17:48 - 17:57

Thu 18 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Baobá 2	FSE Research Papers Adapting Multi-objectivized Software Configuration Tuning 11:00 - 11:18				FSE Research Papers Can Large Language Models Transform Natural Language Intent into Formal ... 11:18 - 11:36			FSE Research Papers Analyzing Quantum Programs with LintQ: A Static Analysis Framework for ... 11:36 - 11:54				FSE Research Papers Abstraction-Aware Inference of Metamorphic Relations 11:54 - 12:12			FSE Research Papers Predicting Configuration Performance in Multiple Environments with Sequ ... 12:12 - 12:30																						FSE Research Papers Investigating Documented Privacy Changes in Android OS 14:00 - 14:18				FSE Ideas, Visions and Reflections A Preliminary Study on the Privacy Concerns of Using IP Addresses in Lo ... 14:18 - 14:27	FSE Ideas, Visions and Reflections Personal Data-Less Personalized Software Applications 14:27 - 14:36		FSE Research Papers Your Code Secret Belongs to Me: Neural Code Completion Tools Can Memori ... 14:36 - 14:54				FSE Industry Papers Unveil the Mystery of Critical Software Vulnerabilities 14:54 - 15:12			FSE Industry Papers AgraBOT: Accelerating Third-Party Security Risk Management in Enterpris ... 15:12 - 15:21										FSE Journal First Search-based Software Testing Driven by Automatically Generated and Man ... 16:00 - 16:18				FSE Ideas, Visions and Reflections Monitoring the Execution of 14K Tests: Methods Tend to Have One Path th ... 16:18 - 16:27	FSE Research Papers Finding and Understanding Defects in Static Analyzers by Constructing A ... 16:27 - 16:45				FSE Research Papers A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Oper ... 16:45 - 17:03				FSE Industry Papers Observation-based unit test generation at Meta 17:03 - 17:21			FSE Demonstrations ExLi : An Inline-Test Generation Tool for Java 17:21 - 17:30		FSE Demonstrations ATheNA-S: a Testing Tool for Simulink Models Driven by Software Require ... 17:30 - 17:39		FSE Ideas, Visions and Reflections Test Polarity: Detecting Positive and Negative Tests 17:39 - 17:48

Fri 19 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Baobá 2	FSE Research Papers Partial Solution Based Constraint Solving Cache in Symbolic Execution 11:00 - 11:18				FSE Research Papers Java JIT Testing with Template Extraction 11:18 - 11:36			FSE Research Papers Natural Symbolic Execution-based Testing for Big Data Analytics 11:36 - 11:54				FSE Research Papers MTAS: A Reference-Free Approach for Evaluating Abstractive Summarizatio ... 11:54 - 12:12			FSE Industry Papers Property-based Testing for Validating User Privacy-Related Functionalit ... 12:12 - 12:30																						FSE Industry Papers Exploring LLM-based Agents for Root Cause Analysis 14:00 - 14:18				FSE Industry Papers Illuminating the Gray Zone: Non-Intrusive Gray Failure Localization in ... 14:18 - 14:36			FSE Research Papers Towards Better Graph Neural Network-based Fault Localization Through En ... 14:36 - 14:54				FSE Industry Papers Easy over Hard: A Simple Baseline for Test Failures Causes Prediction 14:54 - 15:12			FSE Industry Papers Automated Root Causing of Cloud Incidents using In-Context Learning wit ... 15:12 - 15:30

Room information: Baobá 2

This program is tentative and subject to change.

Mon 15 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 16 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 17 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 18 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 19 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 15 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

2030 Software Engineering

2030 Software Engineering

2030 Software Engineering

2030 Software Engineering

Tue 16 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

2030 Software Engineering

2030 Software Engineering

2030 Software Engineering

2030 Software Engineering

Social Events + Posters

Wed 17 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Demonstrations + Journal First + Research Papers + Industry Papers

Research Papers + Journal First

Demonstrations + Ideas, Visions and Reflections + Research Papers + Industry Papers

Thu 18 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Research Papers

Ideas, Visions and Reflections + Industry Papers + Research Papers

Ideas, Visions and Reflections + Demonstrations + Industry Papers + Journal First + Research Papers

Fri 19 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Research Papers + Industry Papers

Industry Papers + Research Papers

Mon 15 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 16 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 17 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 18 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 19 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Baobá 2

This program is tentative and subject to change.

Program Display Configuration

Mon 15 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 16 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 17 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 18 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 19 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 15 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

2030 Software Engineering

2030 Software Engineering

2030 Software Engineering

2030 Software Engineering

Tue 16 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

2030 Software Engineering

2030 Software Engineering

2030 Software Engineering

2030 Software Engineering

Social Events + Posters

Wed 17 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Demonstrations + Journal First + Research Papers + Industry Papers

Research Papers + Journal First

Demonstrations + Ideas, Visions and Reflections + Research Papers + Industry Papers

Thu 18 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Research Papers

Ideas, Visions and Reflections + Industry Papers + Research Papers

Ideas, Visions and Reflections + Demonstrations + Industry Papers + Journal First + Research Papers

Fri 19 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Research Papers + Industry Papers

Industry Papers + Research Papers

Mon 15 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 16 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 17 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 18 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 19 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 15 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 16 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 17 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 18 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 19 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 15 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 16 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 17 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 18 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 19 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 15 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 16 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 17 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 18 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 19 Jul
Displayed time zone: Brasilia, Distrito Federal, Brazil change