Research Track Program

 

Presentation Guidelines: Each research track paper is assigned a 25-minute time slot, which includes questions. Authors are encouraged to limit their presentation to a maximum of 20 minutes and leave at least 5 minutes for questions and discussion.

Tuesday, October 10th

10:30-12:00; Room: Aula Magna -- Best Paper Candidates
Session Chairs: Nuno Laranjeiro and Patrizio Pelliccione

• AutoKAD: Empowering KPI Anomaly Detection with Label-Free Deployment
  Zhaoyang Yu, Changhua Pei, Shenglin Zhang, Wen Xidao, Jianhui Li, Gaogang Xie, and Dan Pei

• Mind Your Enclave Pointers! Detecting Privacy Leaks for SGX Apps via Sparse Taint Analysis
  Yang Chen, Jianfeng Jiang, Shoumeng Yan and Hui Xu

• [Remote] On the Vulnerabilities of Text-to-SQL Models
  Xutan Peng, Yipeng Zhang, Jingfeng Yang and Mark Stevenson

13:30-15:10; Room: Aula Magna -- Anomaly Detection I
Session Chair: Long Wang

• Practical Anomaly Detection over Multivariate Monitoring Metrics for Online Services
  Jinyang Liu, Tianyi Yang, Zhuangbin Chen, Yuxin Su, Cong Feng, Zengyin Yang and Michael R. Lyu

• AFALog: A General Augmentation Framework for Log-based Anomaly Detection with Active Learning
  Chiming Duan, Tong Jia, Huaqian Cai, Ying Li and Gang Huang

• An Empirical Analysis of Anomaly Detection Methods for Multivariate Time Series
  Dongwen Li, Shenglin Zhang, Yongqian Sun, Yang Guo, Zeyu Che, Shiqi Chen, Zhenyu Zhong, Minghan Liang, Minyi Shao, Mingjie Li, Shuyang Liu, Yuzhi Zhang and Dan Pei

• Efficient and Robust Trace Anomaly Detection for Large-Scale Microservice Systems
  Shenglin Zhang, Zhongjie Pan, Heng Liu, Pengxiang Jin, Yongqian Sun, Qianyu Ouyang, Jiaju Wang, Xueying Jia, Yuzhi Zhang, Hui Yang, Yongqiang Zou and Dan Pei

13:30-15:10; Room: Community Space -- Software Testing I
Session Chair: Helene Waeselynck

• A Survey on What Developers Think About Testing
  Philipp Straubinger and Gordon Fraser

• Towards the Implementation of a Mobile Application Testing Infrastructure at Von Braun Labs
  Pedro Henrique Kuroishi, José Carlos Maldonado and Auri Marcelo Rizzo Vincenzi

• Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts
  Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues and Alex Groce

• Do Mutations of Strongly Subsuming Second-Order Mutants Really Mask Each Other?
  João Paulo Diniz, Fischer Ferreira, Fabiano Ferrari and Eduardo Figueiredo

13:30-15:10; Room: Lorenzo II Magnifico -- Security
Session Chair: Roberto Natella

• Intrusion detection without attack knowledge: generating Out-of-Distribution tabular data
  Andrea Ceccarelli and Tommaso Zoppi

• An Approach to Characterize the Security of Open-Source Functions using LSP
  José D'Abruzzo Pereira and Marco Vieira

• Lark: Verified Cross-Domain Access Control for Trusted Execution Environments
  Fanlang Zeng, Zhuoruo Zhang, Rui Chang, Chenyang Yu, Zijun Zhang and Yongwang Zhao

• [Remote] SAPPX: Securing COTS Binaries with Automatic Program Partitioning for Intel SGX
  Jiawei Huang, Hao Han, Fengyuan Xu and Bing Chen

15:40-17:20; Room: Aula Magna -- Anomaly Detection II
Session Chair: Michael R. Lyu

• DeepUserLog: Deep Anomaly Detection on User Log Using Semantic Analysis and Key-Value Data
  Wenjing Wang, Shida Lu, Jianhui Luo and Chengrong Wu

• fKPISelect: Fault-Injection Based Automated KPI Selection for Practical Multivariate Anomaly Detection
  Xingjian Zhang, Yinqin Zhao, Chang Liu, Long Wang, Xin Yang, Yefei Hou, Zhongwen Lan, Xining Hu, Beibei Miao, Ming Yang, Xiangyi Jing and Sijie Li

• LogRep: Log-based Anomaly Detection by Representing both Semantic and Numeric Information in Raw Messages
  Xiaoda Xie, Songlei Jian, Chenlin Huang, Fengyuan Yu and Yujia Deng

• Parameter-Efficient Log Anomaly Detection based on Pre-training model and LORA
  Shiming He, Ying Lei, Ying Zhang, Kun Xie and Pradip Kumar Sharma

15:40-17:20; Room: Community Space -- Software Testing II
Session Chair: Antonia Bertolino

• Crucible: Graphical Test Cases for Alloy Models (TAR)
  Adam Emerson and Allison Sullivan

• Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs
  Miriam Ugarte Querejeta, Eunkyoung Jee, Lingjun Liu, Pablo Valle, Aitor Arrieta and Miren Illarramendi Rezabal

• Can Code Representation Boost IR-Based Test Case Prioritization?
  Lin Yang, Junjie Chen, Hanmo You, Jiachen Han, Jiajun Jiang, Zhe Sun, Xinqi Lin, Fang Liang and Yuning Kang

• Contrastive Coincidental Correctness Representation Learning
  Maojin Li, Yan Lei, Huan Xie, Jiaguo Wang, Chunyan Liu and Zhengxiong Deng

15:40-17:20; Room: Lorenzo II Magnifico -- Software Engineering for Reliability
Session Chair: Roberto Verdecchia

• How to Manage Change-Induced Incidents? Lessons from the Study of Incident Life Cycle
  Yujin Zhao, Ling Jiang, Ye Tao, Songlin Zhang, Changlong Wu, Yifan Wu, Tong Jia, Ying Li and Zhonghai Wu

• A Two-Stage Framework for Ambiguous Classification in Software Engineering
  Jiaying Li, Yan Lei, Shanshan Li, Haifang Zhou, Yue Yu, Zhouyang Jia, Yingwei Ma and Teng Wang

• Identifying Root-Cause Changes for User-Reported Incidents in Online Service Systems
  Yujin Zhao, Ling Jiang, Ye Tao, Songlin Zhang, Changlong Wu, Tong Jia, Xiaosong Huang, Ying Li and Zhonghai Wu

• [Remote] CODEC: Cost-Effective Duration Prediction System for Deadline Scheduling in the Cloud
  Haozhe Li, Minghua Ma, Yudong Liu, Si Qin, Bo Qiao, Randolph Yao, Harshwardhan Chaturvedi, Tri Tran, Murali Chintalapati, Saravan Rajmohan, Qingwei Lin and Dongmei Zhang

 

Wednesday, October 11th

13:30-15:10; Room: Aula Magna -- Autonomous Systems
Session Chair: Bojan Cukic

• EvoScenario: Integrating Road Structures into Critical Scenario Generation for Autonomous Driving System Testing
  Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Yuan Zhou, Yan-Fu Li and Yinxing Xue

• From Collision to Verdict: Responsibility Attribution for Autonomous Driving Systems Testing
  Jixiang Zhou, Shuncheng Tang, Yan Guo, Yanfu Li and Yinxing Xue

• Characterizing Reliability of Three-version Traffic Sign Classifier System through Diversity Metrics
  Qiang Wen and Fumio Machida

• Risk-driven Online Testing and Test Case Diversity Analysis for ML-enabled Critical Systems
  Jubril Gbolahan Adigun, Tom Philip Huck, Matteo Camilli and Michael Felderer

13:30-15:10; Room: Lorenzo II Magnifico -- Log Analysis
Session Chair: Domenico Cotroneo

• Using Transformer Models and Textual Analysis for Log Parsing
  Vithor Bertalan and Daniel Aloise

• Log Parsing Evaluation in the Era of Modern Software Systems
  Stefan Petrescu, Floris den Hengst, Alexandru Uta and Jan S. Rellermeyer

• EvLog: Identifying Anomalous Logs over Software Evolution
  Yintong Huo, Cheryl Lee, Yuxin Su, Shiwen Shan, Jinyang Liu and Michael Lyu

• Loghub: A Large Collection of System Log Datasets for AI-driven Log Analytics
  Jieming Zhu, Shilin He, Pinjia He, Jinyang Liu and Michael R. Lyu

15:40-17:20; Room: Aula Magna -- Reliability of Mobile Software Systems
Session Chair: Imre Kocsis

• Demand-driven Information Flow Analysis of WebView in Android Hybrid Apps
  Abhishek Tiwari, Jyoti Prakash and Christian Hammer

• APIMind: API-driven Assessment of Runtime Description-to-permission Fidelity in Android Apps
  Shaokun Zhang, Hanwen Lei, Yuanpeng Wang, Ding Li, Yao Guo and Xiangqun Chen

• ReSPlay: Improving Cross-Platform Record-and-Replay with GUI Sequence Matching
  Shaokun Zhang, Linna Wu, Yuanchun Li, Ziqi Zhang, Hanwen Lei, Ding Li, Yao Guo and Xiangqun Chen

• [Remote] Effectively Finding ICC-related Bugs in Android Apps via Reinforcement Learning
  Hui Guo, Ting Su, Xiaoqiang Liu, Siyi Gu and Jingling Sun

15:40-17:20; Room: Lorenzo II Magnifico -- Fault Injection and Root Cause Analysis
Session Chair: Katinka Wolter

• Online Failure Prediction Through Fault Injection and Machine Learning: Methodology and Case Study
  João R. Campos, Ernesto Costa and Marco Vieira

• Evaluating and Enhancing the Robustness of Federated Learning System against Realistic Data Corruption
  Chen Yang, Yuanchun Li, Hao Lu, Jinliang Yuan, Qibo Sun, Shangguang Wang and Mengwei Xu

• Evaluating the Effect of Common Annotation Faults on Object Detection Techniques
  Abraham Chan, Arpan Gujarati, Karthik Pattabiraman and Sathish Gopalakrishnan

• [Remote] ServerRCA: Root Cause Analysis for Server Failure using Operating System Logs
  Jiahao Shi, Sihang Jiang, Bo Xu and Yanghua Xiao

 

Thursday, October 12th

10:30-12:10; Room: Aula Magna -- Deep Learning and Deep Neural Networks
Session Chair: Fumio Machida

• Assessing and Improving Dataset and Evaluation Methodology in Deep Learning for Code Clone Detection
  Haiyang Li, Qing Gao and Shikun Zhang

• Why Do Deep Learning Projects Differ in Compatible Framework Versions? An Exploratory Study
  Huashan Lei, Shuai Zhang, Jun Wang, Guanping Xiao, Yepang Liu and Yulei Sui

• Multi-Objective White-Box Test Input Selection for Deep Neural Network Model Enhancement
  Hongjing Guo, Chuanqi Tao and Zhiqiu Huang

• Fixing Robust Out-of-distribution Detection for Deep Neural Networks
  Zhiyang Zhou, Jie Liu, Wensheng Dou, Shuo Shuo Li, Liangyi Kang, Muzi Qu and Dan Ye

10:30-12:10; Room: Community Space -- Smart Contract Vulnerability Detection
Session Chair: Hui Xu

• Evaluating Ethereum Reentrancy Detection Tools via Mutation Testing
  Kaitai Zhu, Xingya Wang, Zhenyu Chen, Song Huang and Junhua Wu

• PSCVFinder: A Prompt-Tuning Based Framework for Smart Contract Vulnerability Detection
  Lei Yu, Junyi Lu, Xianglong Liu, Li Yang, Fengjun Zhang and Jiajia Ma

• [Remote] GraBit: A Sequential Model-Based Framework for Smart Contract Vulnerability Detection
  Huijuan Zhu, Kaixuan Yang, Liangmin Wang, Zhicheng Xu and Victor S. Sheng

• [Remote] ConvMHSA-SCVD: Enhancing Smart Contract Vulnerability Detection through a Knowledge-Driven and Data-Driven Framework
  Mengliang Li, Xiaoxue Ren, Han Fu, Zhuo Li and Jianling Sun

10:30-12:10; Room: Lorenzo II Magnifico -- Fault Detection, Localization, and Prediction
Session Chair: Laura Carnevali

• TraceStream: Anomalous Service Localization based on Trace Stream Clustering with Online Feedback
  Tong Zhou, Chenxi Zhang, Xin Peng, Zhenghui Yan, Pairui Li, Jianming Liang, Haibing Zheng, Wujie Zheng and Yuetang Deng

• Enabling Efficient Assertion Inference
  Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis and Yves Le Traon

• IFCM: An improved Fuzzy C-means clustering method to handle Class Overlap on Aging-related Software Bug Prediction
  Chen Zhang, Shuo Feng, Wenzhi Xie, Dongdong Zhao, Jianwen Xiang, Roberto Pietrantuono, Roberto Natella and Domenico Cotroneo

• [Remote] Detecting Interpreter Bugs via Filling Function Calls in Skeletal Program Enumeration
  Xinmeng Xia and Yang Feng

13:40-15:20; Room: Aula Magna -- Large Language Models and Reliability
Session Chair: Pietro Liguori

• LLaMA-Reviewer: Advancing Code Review Automation with Large Language Models through Parameter-Efficient Fine-Tuning
  Junyi Lu, Lei Yu, Xiaojia Li, Li Yang and Chun Zuo

• Resilience Assessment of Large Language Models under Transient Hardware Faults
  Udit Kumar Agarwal, Abraham Chan and Karthik Pattabiraman

• [Remote] Method-Level Bug Severity Prediction using Source Code Metrics and LLMs
  Ehsan Mashhadi, Hossein Ahmadvand and Hadi Hemmati

• [Remote] ShellGPT: Generative Pre-trained Transformer Model for Shell Language Understanding
  Jie Shi, Sihang Jiang, Bo Xu, Jiaqing Liang, Yanghua Xiao and Wei Wang

13:40-15:20; Room: Community Space -- Vulnerability Analysis & Fuzzing
Session Chair: Katinka Wolter

• Efficient Avoidance of Vulnerabilities in Auto-completed Smart Contract Code Using Vulnerability-constrained Decoding
  Andre Storhaug, Jingyue Li and Tianyuan Hu

• foREST: A Tree-based Black-box Fuzzing Approach for RESTful APIs
  Jiaxian Lin, Tianyu Li, Yang Chen, Jiadong Lin, Guangsheng Wei, Sen Zhang and Hui Xu

• [Remote] Fuzzing with Sequence Diversity Inference for Sequential Decision-making Model Testing
  Kairui Wang, Yawen Wang, Junjie Wang and Qing Wang

• [Remote] Value Peripheral Register Values for Fuzzing MCU Firmware
  Chunlin Wang and Hongliang Liang

13:40-15:20; Room: Lorenzo II Magnifico -- Program Analysis
Session Chair: Christian Hammer

• Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing
  Chukri Soueidi, Yliès Falcone and Sylvain Hallé

• Precise Lazy Initialization for Programs with Complex Heap Inputs
  Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla and Pablo Ponzio

• A Probabilistic Delta Debugging Approach for Abstract Syntax Trees
  Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong, Xin Zhang and Lu Zhang

• [Remote] Characterizing Runtime Performance Variation in Error Detection by Duplicating Instructions
  Yafan Huang, Zhengyang He, Lingda Li and Guanpeng Li

15:50-17:30; Room: Aula Magna -- AI and Reliability
Session Chair: Karthik Pattabiraman

• OPTango: Multi-central Representation Learning against Innumerable Compiler Optimization for Binary Diffing
  Hongna Geng, Ming Zhong, Peihua Zhang, Fang Lv and Xiaobing Feng

• Hidden-in-Wave: A Novel Idea to Camouflage AI-Synthesized Voices Based on Speaker-Irrelative Features
  Xin Liu, Yuan Tan, Xuan Hai, Qingchen Yu and Qingguo Zhou

• Automatic Static Vulnerability Detection for Machine Learning Libraries: Are We There Yet?
  Nima Shiri Harzevili, Jiho Shin, Junjie Wang, Song Wang and Nachiappan Nagappan