VenueHotel Armação
Room nameBaobá 4
Floor0
Capacity87
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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
Opening sessionSSBSE RENE/NIER / SSBSE Keynote at Baobá 4
Chair(s): Marcio Barros UNIRIO
09:00
10m
Day opening
Opening session
SSBSE Keynote
09:10
60m
Keynote
Keynote speaker- Search-based Software Engineering and Quantum Computing
SSBSE Keynote
Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
10:10
20m
Short-paper
Danger is My Middle Lane: Simulations From Real-World Dangerous Roads
SSBSE RENE/NIER
Antony Bartlett TU Delft, The Netherlands, Annibale Panichella Delft University of Technology
11:00 - 12:30
SSBSE Research TrackSSBSE Research Papers at Baobá 4
11:00
30m
Research paper
Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function
SSBSE Research Papers
Jianghao Wang University of Nebraska-Lincoln, Clay Stevens University of Nebraska-Lincoln, Brooke Kidmose , Myra Cohen Iowa State University, Hamid Bagheri University of Nebraska-Lincoln
11:30
30m
Research paper
Higher Fault Detection Through Novel Density Estimators in Unit Test Generation
SSBSE Research Papers
Annibale Panichella Delft University of Technology, Mitchell Olsthoorn Delft University of Technology
12:00
30m
Research paper
Many Independent Objective Estimation of Distribution Search for Android Testing
SSBSE Research Papers
Michael Auer University of Passau, Andreas Strobl , Gordon Fraser University of Passau
14:00 - 15:30
SSBSE Challenge TrackSSBSE Challenge at Baobá 4
14:00
22m
Short-paper
Iterative Refactoring of Real-World Open-Source Programs with Large Language Models
SSBSE Challenge
Jinsu Choi , Gabin An Korea Advanced Institute of Science and Technology, Shin Yoo Korea Advanced Institute of Science and Technology
14:22
22m
Short-paper
Approximating Stochastic Quantum Noise through Genetic Programming
SSBSE Challenge
Asmar Muqeet Simula Research Laboratory and University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Paolo Arcaini National Institute of Informatics
14:45
22m
Short-paper
Fuzzing-Based Differential Testing For Quantum Simulators
SSBSE Challenge
Daniel Blackwell University College London, Justyna Petke University College London, Yazhuo cao , Avner Bensoussan
15:07
22m
Short-paper
GreenStableYolo: Optimizing Inference Time and Image Quality of Text-to-Image Generation
SSBSE Challenge
Jingzhi Gong Loughborough University, Sisi Li , Giordano d'Aloisio University of L'Aquila, Zishuo Ding University of Waterloo, Yulong Ye , William B. Langdon University College London, Federica Sarro University College London
16:00 - 18:00
Hot off the PressSSBSE Hot off the Press at Baobá 4
16:00
20m
Research paper
SSBSE Summary of Adaptive Search-based Repair of Deep Neural Networks
SSBSE Hot off the Press
Davide Li Calsi Politecnico di Milano, Matias Duran Trinity College Dublin, Ireland, Thomas Laurent Lero@Trinity College Dublin, Xiao-Yi Zhang University of Science and Technology Beijing, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics, Anthony Ventresque Trinity College Dublin & Lero, Ireland
16:20
20m
Research paper
SSBSE Summary of EvoCLINICAL: Evolving Cyber-cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System
SSBSE Hot off the Press
Chengjie Lu Simula Research Laboratory and University of Oslo, Xu Qinghua , Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway
16:40
20m
Research paper
Single and Multi-objective Test Cases Prioritization for Self-driving Cars in Virtual Environments
SSBSE Hot off the Press
Christian Birchler Zurich University of Applied Sciences & University of Bern, Sajad Khatiri USI-Lugnao & Zurich University of Applied Sciences, Pouria Derakhshanfar JetBrains Research, Sebastiano Panichella Zurich University of Applied Sciences, Annibale Panichella Delft University of Technology
17:00
30m
Day closing
Announcements and closing
SSBSE Hot off the Press

17:30
30m
Meeting
SBSE Steering Committee meeting
SSBSE Hot off the Press

Wed 17 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
Software Maintenance and Comprehension 1Research Papers / Ideas, Visions and Reflections / Demonstrations at Baobá 4
11:00
18m
Talk
Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-Task Learning
Research Papers
Xiaoling Zhang Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,, Zhengzi Xu Nanyang Technological University, shouguo yang Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China, Zhi Li Institute of Information Engineering, Chinese Academy of Sciences, China, zhiqiang shi Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,, Limin Sun Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,
DOI
11:18
18m
Talk
Only diff is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model
Research Papers
Jiawei Li University of California, Irvine, David Faragó Innoopract GmbH & QPR Technologies, Christian Petrov Innoopract GmbH, Iftekhar Ahmed University of California, Irvine
11:36
18m
Talk
Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations
Research Papers
Jun Lyu Nanjing University, Shanshan Li Software Institute, Nanjing University, He Zhang Nanjing University, Lanxin Yang Nanjing University, Bohan Liu Nanjing University, Manuel Rigger National University of Singapore
11:54
18m
Talk
Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example
Research Papers
Malinda Dilhara University of Colorado Boulder, Abhiram Bellur University of Colorado Boulder, Timofey Bryksin JetBrains Research, Danny Dig University of Colorado Boulder, JetBrains Research
Pre-print
12:12
9m
Talk
Variability-Aware Differencing with DiffDetective
Demonstrations
Paul Maximilian Bittner Paderborn University, Alexander Schultheiß Paderborn University, Benjamin Moosherr University of Ulm, Timo Kehrer University of Bern, Thomas Thüm Paderborn University
12:21
9m
Talk
From Models to Practice: Enhancing OSS Project Sustainability with Evidence-Based Advice
Ideas, Visions and Reflections
Nafiz Imtiaz Khan Department of Computer Science, University of California, Davis, Vladimir Filkov University of California at Davis, USA
14:00 - 15:30
Processes, Requirements, and ArchitectureIdeas, Visions and Reflections / Industry Papers / Journal First / Demonstrations at Baobá 4
14:00
18m
Talk
An LGPD Compliance Inspection Checklist to Assess IoT Solutions
Industry Papers
Ivonildo Pereira Gomes Neto Federal University of Pernambuco, João Mendes Federal University of Maranhão, Waldemar Pires Ferreira Neto Rural Federal University of Pernambuco, Luis Jorge Enrique Rivero Cabrejos Federal University of Maranhão, Brazil, Davi Viana Federal University of Maranhão, Sérgio Soares Universidade Federal de Pernambuco
14:18
18m
Talk
On the Usefulness of Automatically Generated Microservice Architectures
Journal First
Luiz Carvalho Pontifical Catholic University of Rio de Janeiro, Brazil, Thelma Elita Colanzi State University of Maringa, Brazil, Wesley Assunção North Carolina State University, Alessandro Garcia Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Juliana Alves Pereira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael de Mello Federal University of Rio de Janeiro (UFRJ), Maria Julia de Lima Tecgraf Institute, Pontifical Catholic University of Rio de Janeiro, Brazil, Carlos Lucena Pontifical Catholic University of Rio de Janeiro, Brazil
14:36
18m
Talk
Automated Smell Detection and Recommendation in Natural Language Requirements
Journal First
Alvaro Veizaga University of Luxembourg, Seung Yeob Shin University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
14:54
9m
Talk
Supporting Early Architectural Decision-Making Through Tradeoff Analysis: A Study with Volvo Cars
Industry Papers
Karl Öqvist Chalmers | University of Gothenburg, Jacob Messinger Chalmers | University of Gothenburg, Rebekka Wohlrab Chalmers University of Technology
15:03
9m
Talk
AutoOffAB: Toward Automated Offline A/B Testing for Data-Driven Requirement Engineering
Ideas, Visions and Reflections
Jie JW Wu University of British Columbia (UBC)
Pre-print
15:12
9m
Talk
A Vision on Open Science for the Evolution of Software Engineering Research and Practice
Ideas, Visions and Reflections
Edson OliveiraJr State University of Maringá, Fernanda Madeiral Vrije Universiteit Amsterdam, Alcemir Rodrigues Santos State University of Piauí, Christina von Flach Federal University of Bahia, Sérgio Soares Universidade Federal de Pernambuco
Pre-print
15:21
9m
Talk
MicroKarta: Visualising Microservice Architectures
Demonstrations
Oscar Manglaras University of Adelaide, Alex Farkas University of Adelaide, Peter Fule Swordfish Computing, Christoph Treude Singapore Management University, Markus Wagner Monash University, Australia
16:00 - 18:00
16:00
18m
Talk
DyPyBench: A Benchmark of Executable Python Software
Research Papers
Islem BOUZENIA University of Stuttgart, Bajaj Piyush Krishan University of Stuttgart, Michael Pradel University of Stuttgart
16:18
18m
Talk
Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing
Research Papers
16:36
18m
Talk
PBE-based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
Research Papers
Yoel Kim Kyungpook National University, Yunja Choi Kyungpook National University
Pre-print
16:54
18m
Talk
Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning
Research Papers
Aashish Yadavally University of Texas at Dallas, Yi Li University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas
Pre-print
17:12
18m
Talk
Checking Complex Source Code-level Constraints using Runtime Verification
Industry Papers
Joshua Heneage Dawes University of Luxembourg, Domenico Bianculli University of Luxembourg
17:30
9m
Talk
XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges
Demonstrations
Ke Wang Peking University, Yue Li Peking University, Che Wang Peking University, China, Jianbo Gao Peking University, Zhi Guan Peking University, Zhong Chen
17:39
9m
Talk
Rapid Taint Assisted Concolic Execution (TACE)
Demonstrations
Ridhi Jain Technology Innovation Institute (TII), Abu Dhabi, UAE, Norbert Tihanyi Technology Innovation Institute, Mthandazo Ndhlovu Technology Innovation Institute, Mohamed Amine Ferrag Technology Innovation Institute, Lucas C. Cordeiro University of Manchester, UK
17:48
9m
Talk
Verification of Programs with Common Fragments
Ideas, Visions and Reflections
Ivan Postolski University of Buenos Aires, Víctor Braberman ICC (UBA-CONICET), Diego Garbervetsky Departamento de Computación, FCEyN, UBA, Sebastian Uchitel Imperial College and University of Buenos Aires

Thu 18 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
11:00
18m
Talk
State Reconciliation Defects in Infrastructure as Code
Research Papers
Md Mahadi Hassan Auburn University, John Salvador Auburn University, Shubhra Kanti Karmaker Santu Auburn University, Akond Rahman Auburn University
Pre-print
11:18
18m
Talk
Understanding and Detecting Annotation-induced Faults of Static Analyzers
Research Papers
Huaien Zhang The Hong Kong Polytechnic University, Southern University of Science and Technology, Yu Pei The Hong Kong Polytechnic University, Shuyun Liang Southern University of Science and Technology, Shin Hwei Tan Concordia University
11:36
18m
Talk
Practitioners' Challenges and Perceptions of CI Build Failure Predictions at Atlassian
Industry Papers
Yang Hong Monash University, Kla Tantithamthavorn Monash University, Jirat Pasuksmit Atlassian, Patanamon Thongtanunam University of Melbourne, Arik Friedman Atlassian, Xing Zhao Atlassian, Anton Krasikov Atlassian
11:54
18m
Talk
What Makes a Code Review Useful to OpenDev Developers? An Empirical Investigation
Journal First
Asif Kamal Turzo Wayne State University, Amiangshu Bosu Wayne State University
12:12
9m
Talk
Reproducibility Debt: Challenges and Future Pathways
Ideas, Visions and Reflections
Zara Hassan Australian National University, Christoph Treude Singapore Management University, Michael Norrish Australian National University, Graham Williams Australian National University, Alex Potanin Australian National University
12:21
9m
Talk
Automating Issue Reporting in Software Testing: Lessons Learned from Using the Template Generator Tool
Industry Papers
Lennon Chaves SIDIA Institute of Science and Technology, Flávia Oliveira Sidia Institute of Science and Technology, Leonardo Tiago Sidia Institute of Science and Technology
14:00 - 15:30
14:00
18m
Talk
Understanding the Impact of APIs Behavioral Breaking Changes on Client Applications
Research Papers
Dhanushka Jayasuriya University of Auckland, Valerio Terragni University of Auckland, Jens Dietrich Victoria University of Wellington, Kelly Blincoe University of Auckland
14:18
18m
Talk
How Well Industry-level Cause Bisection Works in Real-world - A Study on Linux Kernel
Industry Papers
Kangzheng Gu Fudan University, Yuan Zhang Fudan University, Jiajun Cao Fudan University, Xin Tan Fudan University, Min Yang Fudan University
14:36
18m
Talk
Analyzing the BizDev Interface in an Enterprise Context: A Case of Developers Acting in Business
Journal First
Breno de França UNICAMP, Caique Moreira Instituto de Computação - Universidade Estadual de Campinas, Tayana Conte Universidade Federal do Amazonas
14:54
18m
Talk
Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow
Journal First
Florian Tambon Polytechnique Montréal, Amin Nikanjam École Polytechnique de Montréal, Le An Polytechnique Montreal, Foutse Khomh Polytechnique Montréal, Giuliano Antoniol Polytechnique Montréal
Link to publication DOI Authorizer link
15:12
18m
Talk
AROMA: Automatic Reproduction of Maven Artifacts
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
Log Analysis and DebuggingResearch Papers / Industry Papers at Baobá 4
16:00
18m
Talk
Go Static: Contextualized Logging Statement Generation
Research Papers
Yichen LI The Chinese University of Hong Kong, Yintong Huo The Chinese University of Hong Kong, Renyi Zhong The Chinese University of Hong Kong, Zhihan Jiang The Chinese University of Hong Kong, Jinyang Liu The Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Jiazhen Gu The Chinese University of Hong Kong, Pinjia He Chinese University of Hong Kong, Shenzhen, Michael Lyu The Chinese University of Hong Kong
16:18
18m
Talk
DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing
Research Papers
Sabaat Haroon Virginia tech, Chris Brown Virginia Tech, Muhammad Ali Gulzar Virginia Tech
16:36
18m
Talk
DTD: Comprehensive and Scalable Testing for Debuggers
Research Papers
Hongyi Lu Southern University of Science and Technology/Hong Kong University of Science and Technology, Zhibo Liu The Hong Kong University of Science and Technology, Shuai Wang The Hong Kong University of Science and Technology, Fengwei Zhang Southern University of Science and Technology
16:54
9m
Talk
Decoding Anomalies! Unraveling Operational Challenges in Human-in-the-Loop Anomaly Validation
Industry Papers
Dong Jae Kim Concordia University, Dong Jae Kim Concordia University, Tse-Hsun (Peter) Chen Concordia University, Dong Jae Kim Concordia University, Dong Jae Kim Concordia University, Dong Jae Kim Concordia University, Dong Jae Kim Concordia University
17:03
18m
Talk
A Critical Review of Common Log Data Sets Used for Evaluation of Sequence-based Anomaly Detection Techniques
Research Papers
Max Landauer AIT Austrian Institute of Technology, Florian Skopik AIT Austrian Institute of Technology, Markus Wurzenberger AIT Austrian Institute of Technology
17:21
18m
Research paper
LILAC: Log Parsing using LLMs with Adaptive Parsing Cache
Research Papers
Zhihan Jiang The Chinese University of Hong Kong, Jinyang Liu The Chinese University of Hong Kong, Zhuangbin Chen School of Software Engineering, Sun Yat-sen University, Yichen LI The Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Yintong Huo The Chinese University of Hong Kong, Pinjia He Chinese University of Hong Kong, Shenzhen, Jiazhen Gu The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
DOI Pre-print
17:39
18m
Talk
TraStrainer: Adaptive Sampling for Distributed Traces with System Runtime State
Research Papers
Haiyu Huang Sun Yat-sen University, Xiaoyu Zhang HUAWEI CLOUD COMPUTING TECHNOLOGIES CO. LTD., Pengfei Chen Sun Yat-sen University, Zilong He Sun Yat-sen University, Zhiming Chen Sun Yat-sen University, Guangba  Yu Sun Yat-sen University, Hongyang Chen Sun Yat-sen University, Chen Sun Huawei
Pre-print

Fri 19 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
11:00
18m
Talk
Come for syntax, stay for speed, understand defects: An Empirical Study of Defects in Julia Programs
Journal First
Akond Rahman Auburn University, Dibyendu Brinto Bose Graduate Student, Raunak Shakya Mineral Worths, Rahul Pandita GitHub, Inc.
Link to publication DOI Authorizer link Pre-print
11:18
18m
Talk
Understanding Developers' Discussions and Perceptions on Non-Functional Requirements: The Case of the Spring Ecosystem
Research Papers
Anderson Oliveira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), João Lucas Correia Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Wesley Assunção North Carolina State University, Juliana Alves Pereira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael de Mello Federal University of Rio de Janeiro (UFRJ), Daniel Coutinho Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Caio Barbosa Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Paulo Vítor C. F. Libório Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Alessandro Garcia Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
11:36
18m
Talk
Leveraging Large Language Models for the Auto-remediation of Microservice Applications - An Experimental Study
Industry Papers
Komal Sarda York University, Zakeya Namrud York University, Marin Litoiu York University, Canada, Larisa Shwartz IBM T.J. Watson Research, Ian Watts IBM Canada
11:54
18m
Talk
An Empirical Study of Task Infections in Ansible Scripts
Journal First
Akond Rahman Auburn University, Dibyendu Brinto Bose Graduate Student, Yue Zhang Auburn University, Rahul Pandita GitHub, Inc.
Link to publication Authorizer link Pre-print
12:12
9m
Talk
Automated End-to-End Dynamic Taint Analysis for WhatsApp
Industry Papers
14:00 - 15:30
Security and Privacy 2Industry Papers / Research Papers at Baobá 4
14:00
18m
Talk
Demystifying Invariant Effectiveness for Securing Smart Contracts
Research Papers
Zhiyang Chen University of Toronto, Ye Liu Nanyang Technological University, Sidi Mohamed Beillahi University of Toronto, Yi Li Nanyang Technological University, Fan Long University of Toronto
14:18
18m
Talk
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Research Papers
Kaixuan Li East China Normal University, Yue Xue Metatrust Labs, Sen Chen Tianjin University, Han Liu East China Normal University, Kairan Sun Nanyang Technological University, Ming Hu Singapore Management University, Haijun Wang Xi'an Jiaotong University, Yang Liu Nanyang Technological University, Yixiang Chen East China Normal University
Pre-print
14:36
18m
Talk
On the Contents and Utility of IoT Cybersecurity Guidelines
Research Papers
Jesse Chen University of Arizona, Dharun Anandayuvaraj Purdue University, James C. Davis Purdue University, Sazzadur Rahaman University of Arizona
14:54
18m
Talk
PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
Research Papers
Simin Chen University of Texas at Dallas, XiaoNing Feng Taiyuan University of Technology, Xiaohong Han Taiyuan University of Technology, Cong Liu University of California, Riverside, Wei Yang University of Texas at Dallas
15:12
18m
Talk
CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community
Industry Papers
Jing Luo Central South University, Heyuan Shi Central South University, Yongchao Zhang Alibaba, Runzhe Wang Alibaba Group, Yuheng Shen Tsinghua University, Yuao Chen Alibaba, Rongkai Liu Central South University, Xiaohai Shi Alibaba Group, Chao Hu Central South University, Yu Jiang Tsinghua University

Mon 15 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 16 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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Baobá 4

Wed 17 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Baobá 4

Thu 18 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Baobá 4