SEA4DQ 2024
Mon 15 - Fri 19 July 2024
Porto de Galinhas, Brazil, Brazil
co-located with
FSE 2024
Toggle navigation
Attending
Venue: Hotel Armação
Program
Complete Program
Your Program
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Track/Call
Organization
SEA4DQ 2024 Committees
Not available
Contributors
People Index
Search
Series
Series
SEA4DQ 2024
SEA4DQ 2023
SEA4DQ 2022
Sign in
Sign up
FSE 2024
(
series
) /
SEA4DQ 2024 (
series
) /
Hotel Armação
/
Room information: Pitanga
Venue
Hotel Armação
Room name
Pitanga
Floor
0
Capacity
105
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Brazil
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Teamwork
2030 Software Engineering
at
Pitanga
14:00 - 15:30
Teamwork
2030 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
Teamwork
2030 Software Engineering
at
Pitanga
Tue 16 Jul
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
09:00 - 10:30
Teamwork
2030 Software Engineering
at
Pitanga
11:00 - 12:30
Teamwork
2030 Software Engineering
at
Pitanga
14:00 - 15:30
Teamwork
2030 Software Engineering
at
Pitanga
16:00 - 18:00
Concluding Remarks
2030 Software Engineering
at
Pitanga
18:00 - 19:30
TOSEM Editorial Board Meeting
FSE 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 Verification
FSE 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 1
FSE 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 2
FSE 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
,
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
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 2
FSE 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 1
FSE 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 3
FSE 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 4
FSE 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 2
FSE 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
x
Fri 8 Nov 22:50