SANER 2024
Tue 12 - Fri 15 March 2024
Rovaniemi , Finland
Toggle navigation
Attending
Venue: Santa’s Hotel Santa Claus
Travelling to Rovaniemi
Registration
Attendance Policy
Meet Santa (Social Event)
Program
SANER Program
Your Program
Keynote
Tue 12 Mar
Wed 13 Mar
Thu 14 Mar
Fri 15 Mar
Tracks
SANER 2024
Research Papers
Industrial Track
Early Research Achievement (ERA) Track
Short Papers and Posters Track
Reproducibility Studies and Negative Results (RENE) Track
Journal First Track
Tools Demo Track
Workshops and Tutorials Track
Registered Report Track
Organization
SANER 2024 Committees
Organizing Committee
Track Committees
Research Papers
Industrial Track
Early Research Achievement (ERA) Track
Short Papers and Posters Track
Reproducibility Studies and Negative Results (RENE) Track
Journal First Track
Tools Demo Track
Workshops and Tutorials Track
Registered Report Track
Contributors
People Index
Search
Series
Series
SANER 2025
SANER 2024
Sign in
Sign up
SANER 2024
(
series
) /
Santa’s Hotel Santa Claus
/
Room information: KURU
Venue
Santa’s Hotel Santa Claus
Room name
KURU
Capacity
50
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+02:00) Athens
.
Use conference time zone: (GMT+02:00) Athens
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-05: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-03: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-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Tue 12 Mar
Displayed time zone:
Athens
change
09:10 - 09:30
VST2024 - Welcome & Opening Message
Workshops and Tutorials Track
at
KURU
09:30 - 10:30
VST2024 - Keynote
Workshops and Tutorials Track
at
KURU
09:30
60m
Keynote
Software Testing and Software Log Analysis: When Will They Meet?
Workshops and Tutorials Track
Mika Mäntylä
University of Helsinki and University of Oulu
11:00 - 12:30
VST2024 - Session I
Workshops and Tutorials Track
at
KURU
11:00
20m
Talk
Test Case Generation for Python Libraries using Dependent Projects' Test-Suites
Workshops and Tutorials Track
Keita Morisaki
Nara Institute of Science and Technology
,
Kazumasa Shimari
Nara Institute of Science and Technology
,
Takashi Ishio
Future University Hakodate
,
Kenichi Matsumoto
Nara Institute of Science and Technology
11:20
20m
Talk
Statement Types and Error Rates: How Are They Related for Boosting Fault Localization?
Workshops and Tutorials Track
Guangjie Li
National Innovation Institute of Defense Technology
,
Yi Tang
National Innovation Institute of Defense Technology
,
Biyi Yi
National Innovation Institute of Defense Technology
,
Yan He
National Innovation Institute of Defense Technology
,
Junchao Li
National Innovation Institute of Defense Technology
,
Fei Ren
National Innovation Institute of Defense Technology
,
Zhongwu Lin
National Innovation Institute of Defense Technology
,
Leping Li
Beijing Institute of Technology
11:40
20m
Talk
Introducing a Linter in an Industrial Lua Code Base
Workshops and Tutorials Track
Andrea Walchshofer
Software Competence Center Hagenberg GmbH
,
Stefan Fischer
Software Competence Center Hagenberg
,
Albrecht Wöß
Signum Plus GmbH
,
Alejandra Duque-Torres
University of Tartu
,
Markus Löberbauer
Signum Plus GmbH
,
Georg Koll
Trumpf Maschinen Austria GmbH & Co. KG
12:00
20m
Talk
An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing
Workshops and Tutorials Track
Tannaz Zameni
University of Twente
,
Petra van den Bos
University of Twente, The Netherlands
,
Arend Rensink
University of Twente, The Netherlands
,
Jan Tretmans
Radboud University Nijmegen, TNO-ESI
13:30 - 14:40
VST2024 - Session II
Workshops and Tutorials Track
at
KURU
13:30
20m
Talk
Leveraging Rough Sets for Enhanced Test Case Prioritization in a Continuous Integration Context
Workshops and Tutorials Track
Radu Găceanu
Babes-Bolyai University, Cluj-Napoca, Romania
,
Arnold Szederjesi
Babes-Bolyai University, Cluj-Napoca, Romania
,
Andreea Vescan
Babes-Bolyai University
13:50
20m
Talk
SCVD-SA: A Smart Contract Vulnerability Detection Method based on Hybrid Deep Learning Model and Self-Attention Mechanism
Workshops and Tutorials Track
Dongjie Wang
Jiangsu University
,
Jinfu Chen
Jiangsu University
,
Saihua Cai
Jiangsu University
,
Qiaowei Feng
Jiangsu University
,
Yuhao Chen
Jiangsu University
,
Xinyi Hu
Jiangsu University
14:10
10m
Talk
MUT4SLX: Extensions for Mutation Testing of Stateflow Models
Workshops and Tutorials Track
Sien Nuyens
Universiteit Antwerpen
,
Halil Ibrahim Ceylan
Universiteit Antwerpen
,
Onur Kilincceker
University of Antwerp and Flanders Make vzw
,
Mutlu Beyazıt
University of Antwerp and Flanders Make vzw
,
Serge Demeyer
University of Antwerp; Flanders Make
14:20
10m
Talk
MetaExploreX: A Visualisation Tool for Selecting and Constraining Metamorphic Relations
Workshops and Tutorials Track
Alejandra Duque-Torres
University of Tartu
,
Dietmar Pfahl
University of Tartu
,
Claus Klammer
Software Competence Center Hagenberg
,
Stefan Fischer
Software Competence Center Hagenberg
14:30
10m
Talk
Logging - The Missing Component For GCC Plugin Testing
Workshops and Tutorials Track
Nimantha Kariyakarawana
imec-DistriNet KU Leuven
,
Tom Holvoet
imec-DistriNet KU Leuven
14:40 - 15:10
VST2024 - Open Session - Work in Progress, Tool Demos, New Ideas
Workshops and Tutorials Track
at
KURU
15:10 - 15:30
VST2024 - Discussion & Closing
Workshops and Tutorials Track
at
KURU
Wed 13 Mar
Displayed time zone:
Athens
change
11:00 - 12:30
Software Architectures
Research Papers
/
Tools Demo Track
/
Early Research Achievement (ERA) Track
at
KURU
Chair(s):
Henry Muccini
University of L'Aquila, Italy
11:00
15m
Talk
Fast Choreography of DevOps Reconfiguration with Ballet
Research Papers
Jolan Philippe
IMT Atlantique
,
Antoine Omond
IMT Atlantique, UiT The Arctic University of Norway
,
Helene Coullon
INRIA
,
Charles Prud'Homme
IMT Atlantique
,
Issam Rais
UiT The Arctic University of Norway
Pre-print
11:15
15m
Talk
Software Architecture Reconstruction for Microservice Systems Using GraalVM Native Image
Research Papers
Richard Hutcheson
Baylor University
,
Austin Blanchard
Baylor University
,
Noah Lambaria
Baylor University
,
Jack Hale
Baylor University
,
David Kozak
Brno University of Technology
,
Amr Elsayed
Baylor University
,
Tomas Cerny
University of Arizona
11:30
15m
Talk
On the Prevalence, Co-occurrence, and Impact of Infrastructure-as-Code Smells
Research Papers
Narjes Bessghaier
ETS Montreal, University of Quebec
,
Mahi Begoug
,
Chemseddine Mebarki
ETS Montreal, University of Quebec
,
Ali Ouni
ETS Montreal, University of Quebec
,
Mohammed Sayagh
ETS Montreal, University of Quebec
,
Mohamed Wiem Mkaouer
University of Michigan - Flint
11:45
15m
Talk
Towards Minimum Latency in Cloud-Native Applications via Service-Characteristic-Aware Microservice Deployment
Research Papers
Ru Xie
Institute of Information Engineering,Chinese Academy of Sciences
,
Liming Wang
Institute of Information Engineering,Chinese Academy of Sciences
,
Chen Song
Institute of Information Engineering,Chinese Academy of Sciences
12:00
7m
Talk
Immersive Software Archaeology: Exploring Software Architecture and Design in Virtual Reality
Tools Demo Track
Adrian Hoff
IT University of Copenhagen
,
Christoph Seidl
IT University of Copenhagen
,
Michele Lanza
Software Institute - USI, Lugano
Media Attached
12:07
7m
Talk
MicroOps: Rapid Microservice Data Simulation and AIOps Model Development Platform
Tools Demo Track
Yuewei Li
Beijing University of Posts and Telecommunications
,
Zhigang Wang
Beijing University of Posts and Telecommunications
,
Qi Qi
,
Yuhan Jing
Beijing University of Posts and Telecommunications
,
Jinming Wu
Beijing University of Posts and Telecommunications
,
Zhikang Wu
Beijing University of Post and Telecomunications
,
Yan Lu
Beijing University of Posts and Telecommunications.
,
Chengsen Wang
Beijing University of Posts and Telecommunications
,
Xingyu Wang
Beijing University of Posts and Telecommunications
,
Jingyu Wang
12:14
7m
Talk
gFaaS: Enabling Generic Functions in Serverless Computing
Tools Demo Track
Mohak Chadha
Chair of Computer Architecture and Parallel Systems, Technical University of Munich
,
Paul Wieland
Technical University of Munich
,
Michael Gerndt
TUM
12:21
7m
Talk
Semantic Modeling of Architecture Decision Records to Enable AI-based Analysis
Early Research Achievement (ERA) Track
Aleksei Karetnikov
Software Competence Center Hagenberg
,
Lisa Ehrlinger
Software Competence Center Hagenberg GmbH and Johannes Kepler University
,
Georg Buchgeher
no affiliation
,
Verena Geist
Software Competence Center Hagenberg GmbH
14:00 - 15:30
Mobile Apps
Research Papers
/
Tools Demo Track
/
Early Research Achievement (ERA) Track
at
KURU
Chair(s):
Daniel Feitosa
University of Groningen
14:00
15m
Talk
Accurate and Efficient Code Matching Across Android Application Versions against Obfuscation
Research Papers
Runhan Feng
Shanghai Jiao Tong University
,
Zhuohao Zhang
University of Electronic Science and Technology of China
,
Yetong Zhou
Shanghai Jiao Tong University
,
Ziyang Yan
Shanghai Jiao Tong University
,
Yuanyuan Zhang
Shanghai Jiao Tong University
14:15
15m
Talk
Understanding Android OS Forward Compatibility Support for Legacy Apps: A Data-Driven Analysis
Research Papers
Shuang Li
Shandong University
,
Rui Li
Shandong University
,
Yifan Yu
Shandong University
,
Kailun Yan
Shandong University
,
Shishuai Yang
Shandong University
,
Wenrui Diao
Shandong University
14:30
15m
Talk
T-FREX: A Transformer-based Feature Extraction Method from Mobile App Reviews
Research Papers
Quim Motger
Universitat Politècnica de Catalunya
,
Alessio Miaschi
ItaliaNLP Lab, Institute for Computational Linguistics “A. Zampolli” (CNR-ILC), Pisa
,
Felice Dell'Orletta
ItaliaNLP Lab, Istituto di Linguistica Computazionale “Antonio Zampolli”
,
Xavier Franch
Universitat Politècnica de Catalunya
,
Jordi Marco
Universitat Politècnica de Catalunya
Pre-print
14:45
15m
Talk
PredRacer: Predictively detecting data races in android applications
Research Papers
Xin Guo
School of Computer Science and Engineering, Southeast University
,
Xiaofang Qi
School of Computer Science and Engineering, Southeast University
,
Yanhui Li
Nanjing University
,
Chao Wu
School of Computer Science and Engineering, Southeast University
15:00
7m
Talk
PMDET: Automated Detection Tool of Android Parcel Mismatch
Tools Demo Track
Yunfan Zhan
Shanghai Jiao Tong University
,
Qidan He
Jingdong Group
,
Yijun Wang
Shanghai Jiao Tong University
,
Xiuzhen Chen
Shanghai Jiao Tong University
15:07
15m
Talk
JNFuzz-Droid: A Lightweight Fuzzing and Taint Analysis Framework for Android Native Code
Research Papers
Jianchao Cao
Jiangxi Normal University
,
Fan Guo
Jiangxi Normal University
,
Yanwen Qu
Jiangxi Normal University
15:22
7m
Talk
Extending Refactoring Detection to Kotlin: A Dataset and Comparative Study
Early Research Achievement (ERA) Track
Iman Hemati Moghadam
Formal Methods and Tools, University of Twente
,
Mohammad Mehdi Afkhami
Computer Engineering Department, Vali-e-Asr University of Rafsanjan
,
Parsa Kamalipour
Computer Engineering Department, Vali-e-Asr University of Rafsanjan
,
Vadim Zaytsev
University of Twente, Netherlands
Thu 14 Mar
Displayed time zone:
Athens
change
11:00 - 12:30
Software Testing and Debugging I
Early Research Achievement (ERA) Track
/
Industrial Track
at
KURU
Chair(s):
Sigrid Eldh
Ericsson AB, Mälardalen University, Carleton Unviersity
11:00
7m
Talk
Scopeo: an Object-Centric Debugging Approach for Exploring Object-Oriented Programs
Early Research Achievement (ERA) Track
Valentin Bourcier
INRIA
,
Steven Costiou
INRIA Lille
11:07
15m
Talk
Navigating Confidentiality in Test Automation: A Case Study in LLM Driven Test Data Generation
Industrial Track
Hrishikesh Karmarkar
TCS Research
,
Supriya Agrawal
Tata Consultancy Services Ltd. (TCS)
,
Avriti Chauhan
Synopsys
,
Pranav Shete
TCS Research
11:22
15m
Talk
PatchBert: Continuous Stable Patch Identification for Linux Kernel via Pre-trained Model Fine-tuning
Industrial Track
Liu Rongkai
Central South University
,
Heyuan Shi
Central South University
,
Yongchao Zhang
Alibaba
,
Runzhe Wang
Alibaba Group
,
Yuheng Shen
Tsinghua University
,
Yuao Chen
Alibaba
,
Jing Luo
Central South University
,
Xiaohai Shi
Alibaba Group
,
Chao Hu
Central South University
,
Yu Jiang
Tsinghua University
11:37
15m
Talk
RADig-X: a Tool for Regressions Analysis of User Digital Experience
Industrial Track
Federico Di Menna
University of L'Aquila
,
Vittorio Cortellessa
University of L'Aquila
,
Maurizio Lucianelli
MICRON
,
Luca Sardo
MICRON
,
Luca Traini
University of L'Aquila
11:52
15m
Talk
CEDAR: Continuous Testing of Deep Learning Libraries
Industrial Track
Danning Xie
Purdue University
,
Jiannan Wang
Purdue University
,
Hung Viet Pham
York University
,
Lin Tan
Purdue University
,
Yu Guo
Meta Inc.
,
Adnan Aziz
Meta Inc.
,
Erik Meijer
Facebook
14:00 - 15:30
Defect Prediction and Analysis II
Research Papers
/
Industrial Track
/
Reproducibility Studies and Negative Results (RENE) Track
at
KURU
Chair(s):
Masud Rahman
Dalhousie University
14:00
15m
Talk
Online Contrastive Learning for Business Fault Root Cause Localization Based on Incident Tickets
Industrial Track
Xiaosong Huang
Peking university
,
Hongyi Liu
Peking university
,
Yifan Wu
Peking University
,
Yujin Zhao
Peking university
,
Changlong Wu
Alibaba Group
,
Songlin Zhang
Alibaba Group
,
Ling Jiang
Alibaba Group
,
Tong Jia
Institute for Artificial Intelligence, Peking University, Beijing, China
,
Ying Li
School of Software and Microelectronics, Peking University, Beijing, China
,
Zhonghai Wu
Peking University
14:15
15m
Talk
On The Effectiveness of One-Class Support Vector Machine in Different Defect Prediction Scenarios
Reproducibility Studies and Negative Results (RENE) Track
Rebecca Moussa
University College London
,
Danielle Azar
Lebanese American University
,
Federica Sarro
University College London
14:30
15m
Talk
On the Stability and Applicability of Deep Learning in Fault Localization
Reproducibility Studies and Negative Results (RENE) Track
Viktor Csuvik
Department of Software Engineering, MTA-SZTE Research Group on Artificial Intelligence, University of Szeged, Szeged, Hungary
,
Roland Aszmann
University of Szeged, Department of Software Engineering
,
Árpád Beszédes
Department of Software Engineering, University of Szeged
,
Ferenc Horv�th
University of Szeged, Department of Software Engineering
,
Tibor Gyimóthy
University of Szeged, Hungary
14:45
15m
Talk
Learning Defect Prediction from Unrealistic Data
Research Papers
Kamel Alrashedy
,
Vincent J. Hellendoorn
Carnegie Mellon University
,
Alessandro Orso
Georgia Institute of Technology
Pre-print
15:00
15m
Talk
Demystifying Faulty Code: Step-by-Step Reasoning for Explainable Fault Localization
Research Papers
Ratnadira Widyasari
Singapore Management University, Singapore
,
Jia Wei Ang
Singapore Management University
,
Truong Giang Nguyen
Singapore Management University
,
Neil Sharma
Singapore Management University
,
David Lo
Singapore Management University
15:15
15m
Talk
TraceJIT: Evaluating the Impact of Behavioral Code Change on JIT Defect Prediction
Research Papers
Issei Morita
Kyushu University
,
Yutaro Kashiwa
Nara Institute of Science and Technology
,
Masanari Kondo
Kyushu University
,
Jeongju Sohn
University of Luxembourg
,
Shane McIntosh
University of Waterloo
,
Yasutaka Kamei
Kyushu University
,
Naoyasu Ubayashi
Kyushu University
Pre-print
16:00 - 17:00
Short Papers and Posters
Short Papers and Posters Track
at
KURU
Chair(s):
Luca Pascarella
ETH Zurich
16:00
8m
Talk
Engineering Formality and Software Risk in Debian Python Packages
Short Papers and Posters Track
Matthew Gaughan
Northwestern University
,
Kaylea Champion
University of Washington
,
Sohyeon Hwang
Northwestern University
Pre-print
16:08
8m
Talk
LogPM: Character-based Log Parser Benchmark
Short Papers and Posters Track
Shayan Hashemi
,
Jesse Nyyssölä
University of Helsinki
,
Mika Mäntylä
University of Helsinki and University of Oulu
16:16
8m
Talk
On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants
Short Papers and Posters Track
Jan H. Boockmann
University of Bamberg
,
Gerald Luettgen
University of Bamberg
16:24
8m
Talk
OppropBERL: A GNN and BERT-style Reinforcement Learning-based Type Inference System
Short Papers and Posters Track
Piyush Jha
University of Waterloo
,
Werner Dietl
University of Waterloo
16:32
8m
Talk
Debloating Feature-Rich Closed-Source Software
Short Papers and Posters Track
Zhen Huang
DePaul University
16:40
8m
Talk
Web API Change-Proneness Prediction
Short Papers and Posters Track
Rediana Koçi
Universitat Politècnica de Catalunya
,
Xavier Franch
Universitat Politècnica de Catalunya
,
Petar Jovanovic
Universitat Politècnica De Catalunya - Barcelona Tech
,
Alberto Abello
Universitat Politècnica de Catalunya
16:48
8m
Talk
Towards Efficient Program Repair with APR Tools Based on Genetic Algorithms
Short Papers and Posters Track
Kanon Harada
Ritsumeikan University
,
Katsuhisa Maruyama
Ritsumeikan University
Fri 15 Mar
Displayed time zone:
Athens
change
09:00 - 10:30
Program Analysis
Short Papers and Posters Track
/
Research Papers
/
Early Research Achievement (ERA) Track
at
KURU
Chair(s):
Xiaozhou Li
University of Oulu
09:00
7m
Talk
Comparing Execution Trace Using Merkle-Tree to Detect Backward Incompatibilities
Early Research Achievement (ERA) Track
Atsuhito Yamaoka
Nara Institute of Science and Technology
,
Teyon Son
Nara Institute of Science and Technology
,
Kazumasa Shimari
Nara Institute of Science and Technology
,
Takashi Ishio
Future University Hakodate
,
Kenichi Matsumoto
Nara Institute of Science and Technology
09:07
7m
Talk
Towards Inter-service Data Flow Analysis of Serverless Applications
Early Research Achievement (ERA) Track
Giuseppe Raffa
Royal Holloway, University of London
,
Jorge Blasco
Universidad Politécnica de Madrid
,
Dan O'Keeffe
Royal Holloway University of London
,
Santanu Dash
Royal Holloway, University of London
09:14
15m
Talk
Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction
Research Papers
Mingyue Yang
University of Toronto, Canada
,
David Lie
University of Toronto, Canada
,
Nicolas Papernot
University of Toronto, Canada
09:29
15m
Talk
ReIFunc: Identifying Recurring Inline Functions in Binary Code
Research Papers
Wei Lin
Institute of Information Engineering, Chinese Academy of Sciences
,
Qingli Guo
Institute of Information Engineering, Chinese Academy of Sciences
,
DongSong Yu
Zhongguancun Laboratory
,
Jiawei Yin
Institute of Information Engineering, Chinese Academy of Sciences
,
Qi Gong
Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China
,
Xiaorui Gong
Institute of Information Engineering, Chinese Academy of Science
09:44
15m
Talk
Reducing False Positives of Static Bug Detectors through Code Representation Learning
Research Papers
Yixin Yang
Beihang University
,
Ming Wen
Huazhong University of Science and Technology
,
Xiang Gao
Beihang University
,
Yuting Zhang
Huazhong University of Science and Technology
,
Hailong Sun
Beihang University
09:59
15m
Talk
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
Research Papers
Anna-Katharina Wickert
TU Darmstadt, Germany
,
Michael Schlichtig
Heinz Nixdorf Institut and Paderborn University
,
Marvin Vogel
Uni Hamburg
,
Lukas Winter
unaffiliated
,
Mira Mezini
TU Darmstadt
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
Media Attached
10:14
7m
Talk
LogPM: Character-based Log Parser Benchmark
Short Papers and Posters Track
Shayan Hashemi
,
Jesse Nyyssölä
University of Helsinki
,
Mika Mäntylä
University of Helsinki and University of Oulu
10:21
7m
Talk
On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants
Short Papers and Posters Track
Jan H. Boockmann
University of Bamberg
,
Gerald Luettgen
University of Bamberg
11:00 - 12:30
Code Quality and Refactoring
Tools Demo Track
/
Early Research Achievement (ERA) Track
/
Research Papers
/
Reproducibility Studies and Negative Results (RENE) Track
/
Industrial Track
at
KURU
Chair(s):
Davide Taibi
University of Oulu and Tampere University
11:00
7m
Talk
Autorepairability: A New Software Quality Characteristic
Early Research Achievement (ERA) Track
Pongpop Lapvikai
Mahidol University
,
Yoshiki Higo
Osaka University
,
Chaiyong Ragkhitwetsagul
Mahidol University
,
Morakot Choetkiertikul
Mahidol University, Thailand
Pre-print
11:07
15m
Talk
A Multivocal Mapping Study of MongoDB Smells
Research Papers
Boris Cherry
University of Namur
,
Jehan Bernard
University of Namur
,
Thomas Kintziger
UNamur
,
Csaba Nagy
Software Institute - USI, Lugano
,
Anthony Cleve
University of Namur
,
Michele Lanza
Software Institute - USI, Lugano
11:22
15m
Talk
Self-Admitted Technical Debts Identification: How Far Are We?
Research Papers
Hao Gu
Central South University
,
zhang.shichao
Central South University
,
Qiao Huang
Zhejiang Gongshang University
,
Zhifang Liao
Central South University
,
Jiakun Liu
Singapore Management University
,
David Lo
Singapore Management University
11:37
7m
Talk
SMEAGOL: A Static Code Smell Detector for MongoDB
Tools Demo Track
Boris Cherry
University of Namur
,
Csaba Nagy
Software Institute - USI, Lugano
,
Michele Lanza
Software Institute - USI, Lugano
,
Anthony Cleve
University of Namur
11:44
15m
Talk
Sentiment of Technical Debt Security Questions on Stack Overflow: A Replication Study
Reproducibility Studies and Negative Results (RENE) Track
Jarl Jansen
Eindhoven University of Technology
,
Nathan Cassee
Eindhoven University of Technology
,
Alexander Serebrenik
Eindhoven University of Technology
11:59
7m
Talk
Towards Generating Maintainable and Comprehensible API Code Examples
Early Research Achievement (ERA) Track
Seham Alharbi
University of York
,
Dimitris Kolovos
University of York
,
Nicholas Matragkas
Université Paris-Saclay, CEA, List.
12:06
7m
Talk
Visual Assurance in Refactoring through Trace Equivalence of Control Flow Graphs
Tools Demo Track
Céline Deknop
UCLouvain
,
Johan Fabry
Raincode Labs, Belgium
,
Kim Mens
Université catholique de Louvain, ICTEAM institute, Belgium
,
Vadim Zaytsev
University of Twente, Netherlands
Link to publication
Media Attached
12:13
15m
Talk
From Refactoring to Migration: a Quality-Driven Strategy for Microservices Adoption
Industrial Track
Roberta Capuano
University of L'Aquila, Italy
,
Henry Muccini
University of L'Aquila, Italy
,
Fabio Vaccaro
BIM Italia
14:00 - 15:30
Software Security
Research Papers
/
Tools Demo Track
at
KURU
Chair(s):
Andrea Janes
Free University of Bozen-Bolzano
14:00
15m
Talk
Multiple Targets Directed Greybox Fuzzing: From Reachable to Exploited
Research Papers
Xinglin Yu
Beijing University of Posts and Telecommunications
,
Hongliang Liang
beijing university of posts and telecommunication
,
Chunlin Wang
Beijing University of Posts and Telecommunications
14:15
15m
Talk
TLS-DeepDiffer: Message Tuples-Based Deep Differential Fuzzing for TLS Protocol Implementations
Research Papers
Zhen Zhao
Shandong University
,
Xiangpu Song
Shandong University
,
Qiuyu Zhong
Shandong University
,
Yingpei Zeng
Hangzhou Dianzi University
,
Chengyu Hu
Shandong University
,
Shanqing Guo
Shandong University
14:30
15m
Talk
SWAT4J: Generating System Call Allowlist for Java Container Attack Surface
Research Papers
Yijiang Xu
Peking University
,
Muxian Zhou
Peking University
,
Qing Gao
Peking University
,
Shikun Zhang
Peking University
,
Zhonghai Wu
Peking University
14:45
15m
Talk
Dual Prompt-Based Few-Shot Learning for Automated Vulnerability Patch Localization
Research Papers
Junwei Zhang
Zhejiang University
,
Xing Hu
Zhejiang University
,
Lingfeng Bao
Zhejiang University
,
Xin Xia
Huawei Technologies
,
Shanping Li
Zhejiang University
15:00
15m
Talk
How Dataflow Diagrams Impact Software Security Analysis: an Empirical Experiment
Research Papers
Simon Schneider
Hamburg University of Technology
,
Nicolás E. Díaz Ferreyra
Hamburg University of Technology
,
Pierre-Jean Quéval
University of Vienna
,
Georg Simhandl
University of Vienna
,
Uwe Zdun
University of Vienna
,
Riccardo Scandariato
Hamburg University of Technology
15:15
15m
Talk
Essential or Excessive? MINDAEXT: Measuring Data Minimization Practices among Browser Extensions
Research Papers
Yuxi Ling
National University of Singapore
,
Yun Hao
National University of Singapore
,
Yuyan Wang
Fujian Normal University
,
Kailong Wang
Huazhong University of Science and Technology
,
Guangdong Bai
The University of Queensland
,
Jin Song Dong
National University of Singapore
15:30
7m
Talk
CRYPTCODER: An Automatic Code Generator for Cryptographic Tasks in Ethereum Smart Contracts
Tools Demo Track
Libin Xia
Peking University
,
Jiashuo Zhang
Peking University, China
,
Che Wang
,
Zezhong Tan
Peking University
,
Jianbo Gao
Peking University
,
Zhi Guan
Peking University
,
Zhong Chen
16:00 - 17:00
Managing Workflows and People
Reproducibility Studies and Negative Results (RENE) Track
/
Industrial Track
at
KURU
Chair(s):
Ipek Ozkaya
Carnegie Mellon University
16:00
15m
Talk
PIPELINEASCODE: A CI/CD Workflow Management System through Configuration Files at ByteDance
Industrial Track
Xianhao Jin
https://jxianhao.github.io/
,
Yifei Feng
ByteDance
,
Chen Wang
ByteDance
,
Yongning Hu
ByteDance
,
Yufei Gao
ByteDance
,
Kun Xia
ByteDance
,
Yang Liu
ByteDance
,
Luchuan Guo
ByteDance
16:15
15m
Talk
Practical Software Development: Leveraging AI for Precise Cost Estimation in Lump-Sum EPC Projects
Industrial Track
Rimma Dzhusupova
McDermott
,
Mina Ya-Alimadad
McDermott
,
Vasil Shteriyanov
McDermott
,
Jan Bosch
Chalmers University of Technology
,
Helena Holmström Olsson
Malmö University
16:30
15m
Talk
Agile Effort Estimation: Have We Solved the Problem Yet? Insights From A Second Replication Study (GPT2SP Replication Report)
Reproducibility Studies and Negative Results (RENE) Track
Vali Tawosi
J.P. Morgan AI Research
,
Rebecca Moussa
University College London
,
Federica Sarro
University College London
Tue 12 Mar
Displayed time zone:
Athens
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
KURU
Workshops and Tutorials Track
VST2024 - Welcome & Opening Message
Workshops and Tutorials Track
VST2024 - Keynote
Workshops and Tutorials Track
VST2024 - Session I
Workshops and Tutorials Track
VST2024 - Session II
Workshops and Tutorials Track
VST2024 - Open Session - Work in Progress, Tool Demos, New Ideas
Workshops and Tutorials Track
VST2024 - Discussion & Closing
Wed 13 Mar
Displayed time zone:
Athens
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
KURU
Research Papers + Tools Demo Track + Early Research Achievement (ERA) Track
Software Architectures
Research Papers + Tools Demo Track + Early Research Achievement (ERA) Track
Mobile Apps
Thu 14 Mar
Displayed time zone:
Athens
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
KURU
Early Research Achievement (ERA) Track + Industrial Track
Software Testing and Debugging I
Research Papers + Industrial Track + Reproducibility Studies and Negative Results (RENE) Track
Defect Prediction and Analysis II
Short Papers and Posters Track
Short Papers and Posters
Fri 15 Mar
Displayed time zone:
Athens
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
KURU
Short Papers and Posters Track + Research Papers + Early Research Achievement (ERA) Track
Program Analysis
Tools Demo Track + Early Research Achievement (ERA) Track + Research Papers + Reproducibility Studies and Negative Results (RENE) Track + Industrial Track
Code Quality and Refactoring
Research Papers + Tools Demo Track
Software Security
Reproducibility Studies and Negative Results (RENE) Track + Industrial Track
Managing Workflows and People
Tue 12 Mar
Displayed time zone:
Athens
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
KURU
SANER Workshops and Tutorials Track
Software Testing and Software Log Analysis: When Will They Meet?
09:30 - 10:30
SANER Workshops and Tutorials Track
Test Case Generation for Python Libraries using Dependent Projects' Tes ...
11:00 - 11:20
SANER Workshops and Tutorials Track
Statement Types and Error Rates: How Are They Related for Boosting Faul ...
11:20 - 11:40
SANER Workshops and Tutorials Track
Introducing a Linter in an Industrial Lua Code Base
11:40 - 12:00
SANER Workshops and Tutorials Track
An Intermediate Language to Integrate Behavior-Driven Development Scena ...
12:00 - 12:20
SANER Workshops and Tutorials Track
Leveraging Rough Sets for Enhanced Test Case Prioritization in a Contin ...
13:30 - 13:50
SANER Workshops and Tutorials Track
SCVD-SA: A Smart Contract Vulnerability Detection Method based on Hybri ...
13:50 - 14:10
SANER Workshops and Tutorials Track
MUT4SLX: Extensions for Mutation Testing of Stateflow Models
14:10 - 14:20
SANER Workshops and Tutorials Track
MetaExploreX: A Visualisation Tool for Selecting and Constraining Metam ...
14:20 - 14:30
SANER Workshops and Tutorials Track
Logging - The Missing Component For GCC Plugin Testing
14:30 - 14:40
Wed 13 Mar
Displayed time zone:
Athens
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
KURU
SANER Research Papers
Fast Choreography of DevOps Reconfiguration with Ballet
11:00 - 11:15
SANER Research Papers
Software Architecture Reconstruction for Microservice Systems Using Gra ...
11:15 - 11:30
SANER Research Papers
On the Prevalence, Co-occurrence, and Impact of Infrastructure-as-Code ...
11:30 - 11:45
SANER Research Papers
Towards Minimum Latency in Cloud-Native Applications via Service-Charac ...
11:45 - 12:00
SANER Tools Demo Track
Immersive Software Archaeology: Exploring Software Architecture and Des ...
12:00 - 12:07
SANER Tools Demo Track
MicroOps: Rapid Microservice Data Simulation and AIOps Model Developmen ...
12:07 - 12:14
SANER Tools Demo Track
gFaaS: Enabling Generic Functions in Serverless Computing
12:14 - 12:21
SANER Early Research Achievement (ERA) Track
Semantic Modeling of Architecture Decision Records to Enable AI-based A ...
12:21 - 12:28
SANER Research Papers
Accurate and Efficient Code Matching Across Android Application Version ...
14:00 - 14:15
SANER Research Papers
Understanding Android OS Forward Compatibility Support for Legacy Apps: ...
14:15 - 14:30
SANER Research Papers
T-FREX: A Transformer-based Feature Extraction Method from Mobile App R ...
14:30 - 14:45
SANER Research Papers
PredRacer: Predictively detecting data races in android applications
14:45 - 15:00
SANER Tools Demo Track
PMDET: Automated Detection Tool of Android Parcel Mismatch
15:00 - 15:07
SANER Research Papers
JNFuzz-Droid: A Lightweight Fuzzing and Taint Analysis Framework for An ...
15:07 - 15:22
SANER Early Research Achievement (ERA) Track
Extending Refactoring Detection to Kotlin: A Dataset and Comparative Study
15:22 - 15:29
Thu 14 Mar
Displayed time zone:
Athens
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
KURU
SANER Early Research Achievement (ERA) Track
Scopeo: an Object-Centric Debugging Approach for Exploring Object-Orien ...
11:00 - 11:07
SANER Industrial Track
Navigating Confidentiality in Test Automation: A Case Study in LLM Driv ...
11:07 - 11:22
SANER Industrial Track
PatchBert: Continuous Stable Patch Identification for Linux Kernel via ...
11:22 - 11:37
SANER Industrial Track
RADig-X: a Tool for Regressions Analysis of User Digital Experience
11:37 - 11:52
SANER Industrial Track
CEDAR: Continuous Testing of Deep Learning Libraries
11:52 - 12:07
SANER Industrial Track
Online Contrastive Learning for Business Fault Root Cause Localization ...
14:00 - 14:15
SANER Reproducibility Studies and Negative Results (RENE) Track
On The Effectiveness of One-Class Support Vector Machine in Different D ...
14:15 - 14:30
SANER Reproducibility Studies and Negative Results (RENE) Track
On the Stability and Applicability of Deep Learning in Fault Localization
14:30 - 14:45
SANER Research Papers
Learning Defect Prediction from Unrealistic Data
14:45 - 15:00
SANER Research Papers
Demystifying Faulty Code: Step-by-Step Reasoning for Explainable Fault ...
15:00 - 15:15
SANER Research Papers
TraceJIT: Evaluating the Impact of Behavioral Code Change on JIT Defect ...
15:15 - 15:30
SANER Short Papers and Posters Track
Engineering Formality and Software Risk in Debian Python Packages
16:00 - 16:08
SANER Short Papers and Posters Track
LogPM: Character-based Log Parser Benchmark
16:08 - 16:16
SANER Short Papers and Posters Track
On the Hunt for Invalid Objects: Exploring the Object State Space with ...
16:16 - 16:24
SANER Short Papers and Posters Track
OppropBERL: A GNN and BERT-style Reinforcement Learning-based Type Infe ...
16:24 - 16:32
SANER Short Papers and Posters Track
Debloating Feature-Rich Closed-Source Software
16:32 - 16:40
SANER Short Papers and Posters Track
Web API Change-Proneness Prediction
16:40 - 16:48
SANER Short Papers and Posters Track
Towards Efficient Program Repair with APR Tools Based on Genetic Algorithms
16:48 - 16:56
Fri 15 Mar
Displayed time zone:
Athens
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
16:00
15
30
45
KURU
SANER Early Research Achievement (ERA) Track
Comparing Execution Trace Using Merkle-Tree to Detect Backward Incompat ...
09:00 - 09:07
SANER Early Research Achievement (ERA) Track
Towards Inter-service Data Flow Analysis of Serverless Applications
09:07 - 09:14
SANER Research Papers
Exploring Strategies for Guiding Symbolic Analysis with Machine Learnin ...
09:14 - 09:29
SANER Research Papers
ReIFunc: Identifying Recurring Inline Functions in Binary Code
09:29 - 09:44
SANER Research Papers
Reducing False Positives of Static Bug Detectors through Code Represent ...
09:44 - 09:59
SANER Research Papers
Supporting Error Chains in Static Analysis for Precise Evaluation Resul ...
09:59 - 10:14
SANER Short Papers and Posters Track
LogPM: Character-based Log Parser Benchmark
10:14 - 10:21
SANER Short Papers and Posters Track
On the Hunt for Invalid Objects: Exploring the Object State Space with ...
10:21 - 10:28
SANER Early Research Achievement (ERA) Track
Autorepairability: A New Software Quality Characteristic
11:00 - 11:07
SANER Research Papers
A Multivocal Mapping Study of MongoDB Smells
11:07 - 11:22
SANER Research Papers
Self-Admitted Technical Debts Identification: How Far Are We?
11:22 - 11:37
SANER Tools Demo Track
SMEAGOL: A Static Code Smell Detector for MongoDB
11:37 - 11:44
SANER Reproducibility Studies and Negative Results (RENE) Track
Sentiment of Technical Debt Security Questions on Stack Overflow: A Rep ...
11:44 - 11:59
SANER Early Research Achievement (ERA) Track
Towards Generating Maintainable and Comprehensible API Code Examples
11:59 - 12:06
SANER Tools Demo Track
Visual Assurance in Refactoring through Trace Equivalence of Control Fl ...
12:06 - 12:13
SANER Industrial Track
From Refactoring to Migration: a Quality-Driven Strategy for Microservi ...
12:13 - 12:28
SANER Research Papers
Multiple Targets Directed Greybox Fuzzing: From Reachable to Exploited
14:00 - 14:15
SANER Research Papers
TLS-DeepDiffer: Message Tuples-Based Deep Differential Fuzzing for TLS ...
14:15 - 14:30
SANER Research Papers
SWAT4J: Generating System Call Allowlist for Java Container Attack Surface
14:30 - 14:45
SANER Research Papers
Dual Prompt-Based Few-Shot Learning for Automated Vulnerability Patch L ...
14:45 - 15:00
SANER Research Papers
How Dataflow Diagrams Impact Software Security Analysis: an Empirical E ...
15:00 - 15:15
SANER Research Papers
Essential or Excessive? MINDAEXT: Measuring Data Minimization Practices ...
15:15 - 15:30
SANER Tools Demo Track
CRYPTCODER: An Automatic Code Generator for Cryptographic Tasks in Ethe ...
15:30 - 15:37
SANER Industrial Track
PIPELINEASCODE: A CI/CD Workflow Management System through Configuratio ...
16:00 - 16:15
SANER Industrial Track
Practical Software Development: Leveraging AI for Precise Cost Estimati ...
16:15 - 16:30
SANER Reproducibility Studies and Negative Results (RENE) Track
Agile Effort Estimation: Have We Solved the Problem Yet? Insights From ...
16:30 - 16:45
x
Thu 21 Nov 15:36