Baobá 2 - MODAL@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

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

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

11:00 18m Talk		A Transferability Study of Interpolation-Based Hardware Model Checking to Software Verification FSE Research Papers Dirk Beyer LMU Munich, Po-Chun Chien LMU Munich, Marek Jankola LMU Munich, Nian-Ze Lee LMU Munich
11:18 9m Talk		CoqPyt: Proof Navigation in Python in the Era of LLMs FSE 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 FSE 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 Chicago, 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 FSE 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 FSE 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 FSE 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 1FSE Research Papers / FSE Journal First at Baobá 2

14:00 18m Talk		Test Input Prioritization for 3D Point Clouds FSE 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 FSE 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 FSE 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 FSE 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 FSE Research Papers Jaehan Yoon Sungkyunkwan University, Sooyoung Cha Sungkyunkwan University

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

16:00 18m Talk		Metamorphic Testing of Secure Multi-Party Computation (MPC) Compilers FSE Research Papers Yichen LI The Chinese University of Hong Kong, 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
16:18 18m Talk		Mobile Bug Report Reproduction via Global Search on the App UI Model FSE 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 FSE 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 FSE 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
17:03 9m Talk		On Polyglot Program Testing FSE 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
17:12 9m Talk		Ctest4J: A Practical Configuration Testing Framework for Java FSE 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 FSE Ideas, Visions and Reflections Andre Hora UFMG Pre-print
17:30 9m Talk		Py-holmes: Causal Testing for Deep Neural Networks in Python FSE Demonstrations Wren McQueary , 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 FSE Demonstrations Jordan Samhi CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
17:48 9m Talk		PathSpotter: Exploring Tested Paths to Discover Missing Tests FSE 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 2FSE Research Papers at Baobá 2

11:00 18m Talk		Adapting Multi-objectivized Software Configuration Tuning FSE 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? FSE 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 FSE Research Papers Matteo Paltenghi University of Stuttgart, Michael Pradel University of Stuttgart Pre-print
11:54 18m Talk		Abstraction-Aware Inference of Metamorphic Relations FSE 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 FSE Research Papers Jingzhi Gong Loughborough University, Tao Chen University of Birmingham Pre-print

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

14:00 18m Talk		Investigating Documented Privacy Changes in Android OS FSE 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 FSE Ideas, Visions and Reflections Issam Sedki Concordia University
14:27 9m Talk		Personal Data-Less Personalized Software Applications FSE 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 FSE 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 FSE 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 18m Talk		AROMA: Automatic Reproduction of Maven Artifacts FSE Research Papers Mehdi Keshani Delft University of Technology, Tudor-Gabriel Velican Delft University of Technology, Gideon Bot Delft University of Technology, Sebastian Proksch Delft University of Technology

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

16:00 18m Talk		A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators FSE 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.
16:18 18m Talk		Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles FSE 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:36 18m Talk		Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions FSE Journal First Federico Formica McMaster University, Tony Fan McMaster University, Claudio Menghi University of Bergamo; McMaster University
16:54 9m Talk		Monitoring the Execution of 14K Tests: Methods Tend to Have One Path that Is Significantly More Executed FSE Ideas, Visions and Reflections Andre Hora UFMG Pre-print
17:03 9m Talk		MineCPP: Mining Bug Fix Pairs and Their Structures FSE Demonstrations Sai Krishna Avula IIT Gandhinagar, Shouvick Mondal IIT Gandhinagar, India DOI Pre-print Media Attached
17:12 9m Talk		ExLi : An Inline-Test Generation Tool for Java FSE 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:21 9m Talk		Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach FSE Ideas, Visions and Reflections Xi Zheng Macquarie University, Aloysius K. Mok University of Texas at Austin, Ruzica Piskac Yale University, Yong Jae Lee University of Wisconsin Madison, Bhaskar Krishnamachari University of Southern California, Dakai Zhu The University of Texas at San Antonio, Oleg Sokolsky University of Pennsylvania, USA, Insup Lee University of Pennsylvania
17:30 9m Talk		Test Polarity: Detecting Positive and Negative Tests FSE Ideas, Visions and Reflections Andre Hora UFMG Pre-print
17:39 9m Talk		ATheNA-S: a Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise FSE Demonstrations Federico Formica McMaster University, Mohammad Mahdi Mahboob McMaster University, Mehrnoosh Askarpour McMaster University, Claudio Menghi University of Bergamo; McMaster University

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

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

11:00 18m Talk		Partial Solution Based Constraint Solving Cache in Symbolic Execution FSE 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 FSE 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 FSE Research Papers Yaoxuan Wu UCLA, Ahmad Humayun Virginia Tech, Muhammad Ali Gulzar Virginia Tech, Miryung Kim UCLA and Amazon Web Services
11:54 18m Talk		MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems FSE 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 FSE 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 2FSE Industry Papers / FSE Research Papers at Baobá 2

14:00 18m Talk		Exploring LLM-based Agents for Root Cause Analysis FSE 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 FSE 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
14:36 18m Talk		Towards Better Graph Neural Network-based Fault Localization Through Enhanced Code Representation FSE 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 FSE 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 FSE 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
Baobá 2	2030 Software Engineering Teamwork																								2030 Software Engineering Teamwork																																				2030 Software Engineering Teamwork																								2030 Software Engineering Concluding Remarks

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	FSE Demonstrations + FSE Journal First + FSE Research Papers + FSE Industry Papers Formal Verification																																				FSE Research Papers + FSE Journal First Testing 1																								FSE Demonstrations + FSE Ideas, Visions and Reflections + FSE Research Papers + FSE 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	FSE Research Papers Program Analysis and Performance 2																																				FSE Ideas, Visions and Reflections + FSE Research Papers + FSE Industry Papers Security and Privacy 1																								FSE Ideas, Visions and Reflections + FSE Demonstrations + FSE Research Papers + FSE Journal First 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	FSE Research Papers + FSE Industry Papers Testing 4																																				FSE Industry Papers + FSE 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

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 Research Papers AROMA: Automatic Reproduction of Maven Artifacts 15:12 - 15:30										FSE Research Papers A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Oper ... 16:00 - 16:18				FSE Research Papers Finding and Understanding Defects in Static Analyzers by Constructing A ... 16:18 - 16:36			FSE Journal First Search-based Software Testing Driven by Automatically Generated and Man ... 16:36 - 16:54				FSE Ideas, Visions and Reflections Monitoring the Execution of 14K Tests: Methods Tend to Have One Path th ... 16:54 - 17:03		FSE Demonstrations MineCPP: Mining Bug Fix Pairs and Their Structures 17:03 - 17:12	FSE Demonstrations ExLi : An Inline-Test Generation Tool for Java 17:12 - 17:21		FSE Ideas, Visions and Reflections Testing Learning-Enabled Cyber-Physical Systems with Large-Language Mod ... 17:21 - 17:30		FSE Ideas, Visions and Reflections Test Polarity: Detecting Positive and Negative Tests 17:30 - 17:39		FSE Demonstrations ATheNA-S: a Testing Tool for Simulink Models Driven by Software Require ... 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

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

FSE Demonstrations + FSE Journal First + FSE Research Papers + FSE Industry Papers

FSE Research Papers + FSE Journal First

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

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

FSE Research Papers

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

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

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

FSE Research Papers + FSE Industry Papers

FSE Industry Papers + FSE Research Papers

Mon 15 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

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

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

FSE Demonstrations + FSE Journal First + FSE Research Papers + FSE Industry Papers

FSE Research Papers + FSE Journal First

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

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

FSE Research Papers

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

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

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

FSE Research Papers + FSE Industry Papers

FSE Industry Papers + FSE Research Papers

Mon 15 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

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