Research Track Program

 

Check out the Distinguished Reviewers of the research track here.

Best Paper Candidates (Session Chairs: Fabrizio Pastore and Lingming Zhang)

TaintSQL: Dynamically Tracking Fine-Grained Implicit Flows for SQL Statements
Wei Lin, Lu Zhang, Haotian Zhang, Kailai Shao, Mingming Zhang and Tao Xie

Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection
Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu and Ping Yu

Share or Not Share? Towards the Practicability of Deep Models for Unsupervised Anomaly Detection in Modern Online Systems
Zilong He, Pengfei Chen and Tao Huang

Session 1: Autonomous Systems (Session Chair: Lorenzo Strigini)

StellaUAV: A Tool for Testing the Safe Behavior of UAVs with Scenario-Based Testing (TAR)
Tabea Schmidt and Alexander Pretschner

What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki and Marsha Chechik

Verifiable Obstacle Detection
Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo and Lui Sha

Session 2: Machine Learning for Security (Session Chair: Michael Lyu)

Explainable AI for Android Malware Detection: Towards Understanding Why the Models Perform So Well?
Yue Liu, Chakkrit Tantithamthavorn, Li Li and Yepang Liu

Automatic Mapping of Unstructured Cyber Threat Intelligence: An Experimental Study (PER)
Vittorio Orbinato, Mariarosaria Barbaraci, Roberto Natella and Domenico Cotroneo

Federated Learning on Tabular Data: Exploring Potential Privacy Risk
Han Wu, Zilong Zhao, Lydia Chen and Aad van Moorsel

Session 3: Error Handling & Fast Abstract (Session Chair: Domenico Cotroneo)

Graceful ECC-uncorrectable Error Handling in the Operating System Kernel
Takumi Iguchi and Hiroshi Yamada

Going through the Life Cycle of Faults in Clouds: Guidelines on Fault Handling
Xiaoyun Li, Guangba Yu, Pengfei Chen, Hongyang Chen and Zhekang Chen

(Fast Abstract) LogVM: Variable Semantics Miner for Log Messages
Yintong Huo, Yuxin Su, and Michael Lyu

Session 4: Autonomous Systems 2 (Session Chair: Marco Vieira)

A Framework for Trusted and Resilient Autonomous Vehicles (PER)
Kevin Leach, Christopher S. Timperley, Kevin Angstadt, Anh Nguyen-Tuong, Jason Hiser, Aaron Paulos, Partha Pal, Patrick Hurley, Carl Thomas, Jack W. Davidson, Stephanie Forrest, Claire Le Goues and Westley Weimer

BRAUM: Analyzing and Protecting Autonomous Machine Software Stack
Yiming Gan, Paul Whatmough, Jingwen Leng, Bo Yu, Shaoshan Liu and Yuhao Zhu

Bootstrapping confidence in future safety based on past safe operation
Peter Bishop, Andrey Povyakalo and Lorenzo Strigini

Session 5: Functional and Security Testing (Session Chair: Nuno Antunes)

CEMENT: On the use of Evolutionary Coupling between tests and code units. A case study on fault localization
Jeongju Sohn and Mike Papadakis

Search-based Testing for Accurate Fault Localization in CPS
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic and Drishti Yadav

Covariate Software Vulnerability Discovery Model to Support Cybersecurity Test & Evaluation (PER)
Julia Sorrentino, Priscila Silva, Gaspard Baye, Gokhan Kul and Lance Fiondella

Session 6: Models and Analysis (Session Chair: Nuno Laranjeiro)

Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach
Matheus Torquato, Paulo Maciel and Marco Vieira

An Empirical Analysis of Compatibility Issues for Industrial Mobile Games (PER)
Zihe Song, Yingfeng Chen, Lei Ma, Shangjie Lu, Honglei Lin, Changjie Fan and Wei Yang

REACH: Refining Alloy Scenarios by Size (TAR)
Ana Jovanovic and Allison Sullivan

Session 7: Fault Injection (Session Chair: Aitor Arrieta)

SlowCoach: Mutating Code to Simulate Performance Bugs
Yiqun Chen, Oliver Schwahn, Roberto Natella, Matthew Bradbury and Neeraj Suri

LLTFI: Framework Agnostic Fault Injection for Machine Learning Applications (TAR)
Udit Agarwal, Abraham Chan and Karthik Pattabiraman

VECROsim: A Versatile Metric-oriented Microservice Fault Simulation System (TAR)
Tingzhu Bi, Yicheng Pan, Xinrui Jiang, Meng Ma and Ping Wang

Session 8: Software Evolution and Re-engineering (Session Chair: Junjie Chen)

Enhancing Traceability Link Recovery with Unlabeled Data
Jianfei Zhu, Guanping Xiao, Zheng Zheng and Yulei Sui

Detecting and Refactoring Feature Envy Based on Graph Neural Network
Dongjin Yu, Yihang Xu, Lehui Weng, Jie Chen, Xin Chen and Quanxin Yang

AexPy: Detecting API Breaking Changes in Python Packages
Xingliang Du and Jun Ma

Session 9: Anomaly Detection and Data generation (Session Chair: Guanping Xiao)

PUTraceAD: Trace Anomaly Detection with Partial Labels based on GNN and PU Learning
Ke Zhang, Chenxi Zhang, Xin Peng and Chaofeng Sha

String Test Data Generation for Java Programs
Miaomiao Wang, Baoquan Cui, Jiwei Yan, Jun Yan and Jian Zhang

A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation
Mi Ding, Kaipeng Lin, Wang Lin and Zuohua Ding

Session 10: Program Analysis (Session Chair: Karthik Pattabiraman)

A Naming Pattern Based Approach for Method Name Recommendation
Yanping Yang, Ling Xu, Meng Yan, Zhou Xu and Zhongyang Deng

A Sanitizer-centric Analysis to Detect Cross-Site Scripting in PHP Programs
He Su, Lili Xu, Huina Chao, Feng Li, Zimu Yuan, Jianhua Zhou and Wei Huo

Identifying Erroneous Software Changes through Self-Supervised Contrastive Learning on Time Series Data
Xuanrun Wang, Kanglin Yin, Qianyu Ouyang, Xidao Wen, Shenglin Zhang, Wenchi Zhang, Li Cao, Jiuxue Han, Xing Jin and Dan Pei

Session 11: Software Testing 1 (Session Chair: Valerio Terragni)

DALT: Deep Activity Launching Test via Intent-constraint Extraction
Ao Liu, Chenkai Guo, Naipeng Dong, Yinjie Wang and Jing Xu

Learning to Prune Infeasible Paths in Generalized Symbolic Execution
Facundo Molina, Pablo Ponzio, Nazareno Aguirre and Marcelo Frias

Feedback-Driven Incremental Symbolic Execution
Qiuping Yi and Guowei Yang

Session 12: Software Testing 2 (Session Chair: August Shi)

Failure Classification For System-Level Testing Using Only Test Step Results (PER)
Claudius Jordan, Philipp Foth, Matthias Fruth and Alexander Pretschner

RemGen: Remanufacturing A Random Program Generator for Compiler Testing
Haoxin Tu, He Jiang, Xiaochen Li, Zhilei Ren, Zhide Zhou and Lingxiao Jiang

Multi-Objective Metamorphic Test Case Selection: an Industrial Case Study (PER)
Jon Ayerdi, Aitor Arrieta, Ernest Pobee and Maite Arratibel

Session 13: Software Aging and Monitoring (Session Chair: Ming Wen)

Unifying Evaluation of Machine Learning Safety Monitors
Joris Guerin, Raul Sena Ferreira, Kevin Delmas and Jérémie Guiochet

Taxonomy of Aging-related Bugs in Deep Learning Libraries
Zhihao Liu, Yang Zheng, Xiaoting Du, Zheng Hu, Wenjie Ding, Yanming Miao and Zheng Zheng

The Impact of Software Aging and Rejuvenation on the User Experience for Android System
Kai Jia, Xiao Yu, Chen Zhang, Wenhua Hu, Dongdong Zhao and Jianwen Xiang

Session 14: Fault Localization and Root Cause Analysis (Session Chair: Shenglin Zhang)

Improving the Performance of Mutation-based Fault Localization via Mutant Bias
Bin Du, Yuxiaoyang Cai, Haifeng Wang, Yong Liu and Xiang Chen

Effective Attribute Selection for Multi-dimensional Root Cause Analysis
Yiran Cheng, Bo Cheng, Pengxiang Jin, Yongqian Sun, Xiaohui Nie, Nengwen Zhao, Zhang Shenglin and Dan Pei

MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking
Ning Ge and Yuchen Liu

Session 15: Reliability of AI-based Software (Session Chair: Zheng Zheng)

Resilient Mechanism Against Byzantine Failure for Distributed Deep Reinforcement Learning
Mingyue Zhang, Zhi Jin, Jian Hou and Renwei Luo

Adversarial Input Detection Based on Critical Transformation Robustness
Jing Su, Zhen Zhang, Peng Wu, Xuran Li and Jian Zhang

Towards the Robustness of Multiple Object Tracking Systems
Xiaoyuan Xie, Ying Duan, Songqiang Chen and Jifeng Xuan