Pitanga - PROMISE 2024

VenueHotel Armação

Room namePitanga

Floor0

Capacity105

Room InformationNo extra information available

Program

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 Pitanga

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 Pitanga

14:00 - 15:30	Teamwork2030 Software Engineering at Pitanga

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 Pitanga

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

	09:00 - 10:30	Teamwork2030 Software Engineering at Pitanga

	11:00 - 12:30	Teamwork2030 Software Engineering at Pitanga

	14:00 - 15:30	Teamwork2030 Software Engineering at Pitanga

	16:00 - 18:00	Concluding Remarks2030 Software Engineering at Pitanga

18:00 - 19:30	TOSEM Editorial Board MeetingFSE Social Events at Pitanga Chair(s): Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology

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

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 Pitanga Chair(s): Yunja Choi Kyungpook National University

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 DOI Media Attached
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 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 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 Pitanga Chair(s): Xi Zheng Macquarie University

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 Yale 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 University of Sheffield, Michael Foster The University of Sheffield, José Miguel Rojas The University of Sheffield, Robert Hierons The University of Sheffield Pre-print
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 Pitanga Chair(s): Wing Lam George Mason University

16:00 18m Talk		Metamorphic Testing of Secure Multi-Party Computation (MPC) Compilers FSE 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 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 Pre-print Media Attached
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 DOI Pre-print
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 Pre-print
17:21 9m Talk		Predicting Test Results without Execution FSE Ideas, Visions and Reflections Andre Hora UFMG Pre-print Media Attached
17:30 9m Talk		Py-holmes: Causal Testing for Deep Neural Networks in Python FSE Demonstrations Wren McQueary George Mason University, sadia afrin mim George Mason University, 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 DOI Pre-print
17:48 9m Talk		PathSpotter: Exploring Tested Paths to Discover Missing Tests FSE Demonstrations Andre Hora UFMG Pre-print Media Attached

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

11:00 - 12:30	Program Analysis and Performance 2FSE Research Papers at Pitanga Chair(s): Rahul Purandare University of Nebraska-Lincoln

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 Massachusetts Amherst, Sarah Fakhoury Microsoft Research, Saikat Chakraborty Microsoft Research, Shuvendu K. 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 Industry Papers / FSE Research Papers at Pitanga Chair(s): Gias Uddin York University, Canada

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 9m Talk		AgraBOT: Accelerating Third-Party Security Risk Management in Enterprise Setting FSE 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 3FSE Ideas, Visions and Reflections / FSE Demonstrations / FSE Research Papers / FSE Journal First at Pitanga Chair(s): Qi Xin Wuhan University

16:00 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:18 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 Media Attached
16:36 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:54 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.
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		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
17:30 9m Talk		Test Polarity: Detecting Positive and Negative Tests FSE Ideas, Visions and Reflections Andre Hora UFMG Pre-print Media Attached
17:39 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 DOI Pre-print

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

11:00 - 12:30	Testing 4FSE Research Papers / FSE Industry Papers at Pitanga Chair(s): Antonia Bertolino National Research Council, Italy

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 College of Computer, National University of Defense Technology, 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		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 Pre-print
11:36 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
11:54 18m Talk		Observation-based unit test generation at Meta FSE 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
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 Research Papers / FSE Industry Papers at Pitanga Chair(s): Xi Zheng Macquarie University

14:00 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 DOI File Attached
14:18 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:36 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

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
Pitanga	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
Pitanga	2030 Software Engineering Teamwork																								2030 Software Engineering Teamwork																																				2030 Software Engineering Teamwork																								2030 Software Engineering Concluding Remarks																								FSE Social Events 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
Pitanga	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
Pitanga	FSE Research Papers Program Analysis and Performance 2																																				FSE Ideas, Visions and Reflections + FSE Industry Papers + FSE Research 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
Pitanga	FSE Research Papers + FSE Industry Papers Testing 4																																				FSE Research Papers + FSE Industry 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
Pitanga	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
Pitanga	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
Pitanga	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
Pitanga	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:36 - 16:54				FSE Research Papers A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Oper ... 16:54 - 17:12			FSE Demonstrations ExLi : An Inline-Test Generation Tool for Java 17:12 - 17:21		FSE Demonstrations ATheNA-S: a Testing Tool for Simulink Models Driven by Software Require ... 17:21 - 17:30		FSE Ideas, Visions and Reflections Test Polarity: Detecting Positive and Negative Tests 17:30 - 17:39		FSE Research Papers Java JIT Testing with Template Extraction 17:39 - 17:57

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
Pitanga	FSE Research Papers Partial Solution Based Constraint Solving Cache in Symbolic Execution 11:00 - 11:18				FSE Research Papers Natural Symbolic Execution-based Testing for Big Data Analytics 11:18 - 11:36			FSE Research Papers MTAS: A Reference-Free Approach for Evaluating Abstractive Summarizatio ... 11:36 - 11:54				FSE Industry Papers Observation-based unit test generation at Meta 11:54 - 12:12			FSE Industry Papers Property-based Testing for Validating User Privacy-Related Functionalit ... 12:12 - 12:30																						FSE Industry Papers Illuminating the Gray Zone: Non-Intrusive Gray Failure Localization in ... 14:00 - 14:18				FSE Research Papers Towards Better Graph Neural Network-based Fault Localization Through En ... 14:18 - 14:36			FSE Industry Papers Easy over Hard: A Simple Baseline for Test Failures Causes Prediction 14:36 - 14:54

Room information: Pitanga

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

FSE Social Events

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 Industry Papers + FSE Research 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 Research Papers + FSE Industry 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

Room information: Pitanga

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

FSE Social Events

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 Industry Papers + FSE Research 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 Research Papers + FSE Industry 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