MET 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
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

Wed 18 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 11:50
10:30
20m
Talk
Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
ISSTA Technical Papers
Antu Saha William & Mary, Yang Song College of William and Mary, Junayed Mahmud University of Central Florida, Ying Zhou George Mason University, USA, Kevin Moran University of Central Florida, Oscar Chaparro William & Mary
10:50
20m
Talk
Reproducing Timing-dependent GUI Flaky Tests in Android Apps via A Single Event Delay
ISSTA Technical Papers
Xiaobao Cai Fudan University, Zhen Dong Fudan University, China, Yongjiang Wang Fudan University, Abhishek Tiwari Software Institute - USI, Lugano, Switzerland, Xin Peng Fudan University
11:10
20m
Talk
Semantic Constraint Inference for Web Form Test Generation
ISSTA Technical Papers
Parsa Alian University of British Columbia, Noor Nashid University of British Columbia, Mobina Shahbandeh University of British Columbia, Ali Mesbah The University of British Columbia
11:30
20m
Talk
Guardian: A Runtime Framework for LLM-based UI Exploration
ISSTA Technical Papers
Dezhi Ran Peking University, Hao Wang Peking University, China, Zihe Song University of Texas at Dallas, Mengzhou Wu Peking University, Yuan Cao Peking University, Ying Zhang Peking University, Wei Yang University of Texas at Dallas, Tao Xie Peking University
13:30 - 14:50
Vulnerability DetectionISSTA Technical Papers at EI 3 Sahulka
13:30
20m
Talk
Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
ISSTA Technical Papers
Xiaoyong Yan Zhejiang University, Biao He Ant Group, Wenbo Shen Zhejing University, Yu Ouyang Ant Group, Kaihang Zhou Zhejiang University, Xingjian Zhang Zhejiang University, Xingyu Wang Zhejiang University, Yukai Cao Zhejiang University, Rui Chang Zhejiang University
13:50
20m
Talk
SCALE: Constructing Symbolic Comment Trees for Software Vulnerability Detection
ISSTA Technical Papers
Xin-Cheng Wen Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Shuzheng Gao The Chinese University of Hong Kong, Yang Xiao Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Michael Lyu Chinese University of Hong Kong
DOI
14:10
20m
Talk
CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
ISSTA Technical Papers
Hao Wang Tsinghua University, Zeyu Gao Tsinghua University, Chao Zhang Tsinghua University, Mingyang Sun University of Electronic Science and Technology of China, Yuchen Zhou Beijing University of Technology, Han Qiu Tsinghua University, Xi Xiao Tsinghua Shenzhen International Graduate School, Tsinghua University
DOI
14:30
20m
Talk
Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
ISSTA Technical Papers
Zhaoyang Chu Huazhong University of Science and Technology, Yao Wan Huazhong University of Science and Technology, Qian Li Curtin University, Yang Wu Huazhong University of Science and Technology, Hongyu Zhang Chongqing University, Yulei Sui UNSW, Guandong Xu University of Technology Sydney, Hai Jin Huazhong University of Science and Technology
DOI Pre-print
15:30 - 17:10
Static Analysis and VerificationISSTA Technical Papers at EI 3 Sahulka
15:30
20m
Talk
Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
ISSTA Technical Papers
Weilin Luo Sun Yat-Sen University, Pingjia Liang Sun Yat-Sen University, Qiu Junming SUN YAT-SEN UNIVERSITY, Polong Chen Sun Yat-Sen University, Hai Wan School of Data and Computer Science, Sun Yat-sen University, Jianfeng Du Guangdong University of Foreign Studies, Weiyuan Fang SUN YAT-SEN UNIVERSITY
15:50
20m
Talk
Interprocedural Path Complexity Analysis
ISSTA Technical Papers
Mira Kaniyur Harvey Mudd College, Ana Cavalcante-Studart Harvey Mudd College, Yihan Yang Harvey Mudd College, Sangeon Park Harvey Mudd College, David Chen Harvey Mudd College, Duy Lam Harvey Mudd College, Lucas Bang Harvey Mudd College
DOI
16:10
20m
Talk
VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
ISSTA Technical Papers
Thanh-Dat Nguyen University of Melbourne, Tung Do-Viet Cinnamon AI, Hung Nguyen-Duy Independent Researcher, Tuan-Hai Luu Cinnamon AI, Hung Le Deakin University, Xuan-Bach D. Le University of Melbourne, Patanamon Thongtanunam University of Melbourne
Pre-print
16:30
20m
Talk
Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
ISSTA Technical 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, Zezhong Xing Southern University of Science and Technology, Shin Hwei Tan Concordia University
16:50
20m
Talk
API Misuse Detection via Probabilistic Graphical Model
ISSTA Technical Papers
Yunlong Ma Beihang University, Wentong Tian Beihang University, Xiang Gao Beihang University, Hailong Sun Beihang University, Li Li Beihang University
DOI

Thu 19 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 11:50
10:30
20m
Talk
DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
ISSTA Technical Papers
Zhiying Wu Sun Yat-sen University, Jiajing Wu Sun Yat-sen University, Hui Zhang Sun Yat-sen University, Ziwei Li Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Zibin Zheng Sun Yat-sen University, Qing Xia Institute of Software at Chinese Academy of Sciences, Gang Fan n, n, Yi Zhen n.n.
DOI
10:50
20m
Talk
LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts
ISSTA Technical Papers
Peilin Zheng Sun Yat-sen University, Bowei Su Sun Yat-sen University, Xiapu Luo The Hong Kong Polytechnic University, Ting Chen University of Electronic Science and Technology of China, Neng Zhang Sun Yat-sen University, Zibin Zheng Sun Yat-sen University
11:10
20m
Talk
Following the "Thread": Toward Finding Manipulatable Bottlenecks In Blockchain Clients
ISSTA Technical Papers
Shuohan Wu Hong Kong Polytechnic University, zihao li The Hong Kong Polytechnic Universituy, Hao Zhou Hong Kong Polytechnic University, Xiapu Luo The Hong Kong Polytechnic University, Jianfeng Li Xi'an Jiaotong University, Haoyu Wang Huazhong University of Science and Technology
11:30
20m
Talk
DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
ISSTA Technical Papers
Maoyi Xie Nanyang Technological University, Ming Hu Singapore Management University, Ziqiao Kong Nanyang Technological University, Cen Zhang Nanyang Technological University, Yebo Feng Nanyang Technological University, Haijun Wang Xi'an Jiaotong University, YUE XUE MetaTrust Labs, Hao Zhang MetaTrust Labs, Ye Liu Nanyang Technological University, Yang Liu Nanyang Technological University
DOI
13:30 - 14:50
13:30
20m
Talk
Testing Gremlin-Based Graph Database Systems via Query Disassembling
ISSTA Technical Papers
Yingying Zheng Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Lei Tang Institute of Software Chinese Academy of Sciences, Ziyu Cui Institute of Software Chinese Academy of Sciences, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Jiansen Song Institute of Software Chinese Academy of Sciences, Liang Xu , Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Wei Wang , Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Hua Zhong Institute of Software Chinese Academy of Sciences, Tao Huang Institute of Software Chinese Academy of Sciences
13:50
20m
Talk
SQLess: Dialect-Agnostic SQL Query Simplification
ISSTA Technical Papers
Li Lin School of Informatics, Xiamen University, Zongyin Hao School of Informatics, Xiamen University, Chengpeng Wang The Hong Kong University of Science and Technology, Zhuangda Wang School of Informatics, Xiamen University, Rongxin Wu School of Informatics, Xiamen University, Gang Fan n, n
14:10
20m
Talk
Testing Graph Database Systems with Graph-State Persistence Oracle
ISSTA Technical Papers
Shuang Liu Renmin University of China, Junhao Lan Tianjin University, China, Xiaoning Du Monash University, Australia, Jiyuan Li Tianjin University, China, Wei Lu Renmin University of China, China, Jiajun Jiang Tianjin University, Xiaoyong Du Renmin University of China
14:30
20m
Talk
DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
ISSTA Technical Papers
Keqiang Li East China Normal University, Siyang Weng East China Normal University, Lyu Ni East China Normal University, Chengcheng Yang East China Normal University, Rong Zhang East China Normal University, Xuan Zhou East China Normal University, Aoying Zhou East China Normal University
15:30 - 16:30
15:30
20m
Talk
Traceback: A Fault Localization Technique for Molecular Programs
ISSTA Technical Papers
Michael C. Gerten Iowa State University, James I. Lathrop Iowa State University, Myra Cohen Iowa State University
DOI
15:50
20m
Talk
C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging
ISSTA Technical Papers
Xuezhi Song Fudan University, Yijian Wu Fudan University, Shuning Liu Fudan University, Bihuan Chen Fudan University, Yun Lin Shanghai Jiao Tong University, Xin Peng Fudan University
DOI
16:10
20m
Talk
Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-call Bugs
ISSTA Technical Papers
Arooba Shahoor Kyungpook National University, Jooyong Yi UNIST, Dongsun Kim Korea University, South Korea

Fri 20 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 11:50
10:30
20m
Talk
Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
ISSTA Technical Papers
Hao Xiong Zhejiang University, Qinming Dai Zhejiang University, Rui Chang Zhejiang University, Mingran Qiu Zhejiang University, Renxiang Wang Zhejiang University, Wenbo Shen Zhejing University, Yajin Zhou Zhejiang University
DOI
10:50
20m
Talk
Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
ISSTA Technical Papers
Dingbang Wang University of Connecticut, Yu Zhao University of Central Missouri, Sidong Feng Monash University, Zhaoxu Zhang University of Southern California, William G.J. Halfond University of Southern California, Chunyang Chen Technical University of Munich (TUM), Xiaoxia Sun China Mobile (Suzhou) Software Technology Co., Ltd., Jiangfan Shi , Tingting Yu University of Connecticut
11:10
20m
Talk
NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps
ISSTA Technical Papers
Jikai Wang Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
11:30
20m
Talk
Towards Automatic Oracle Prediction for AR testing: Assessing Virtual Object Placement Quality under Real-world Scenes
ISSTA Technical Papers
Xiaoyi Yang Rochester Institute of Technology, Yuxing Wang Rochester Institute of Technology, Tahmid Rafi University of Texas at San Antonio, Dongfang Liu Rochester Institute of Technology, Xiaoyin Wang University of Texas at San Antonio, Xueling Zhang Rochester Institute of Technology
13:30 - 14:50
Safety-Critical SystemsISSTA Technical Papers at EI 3 Sahulka
13:30
20m
Talk
VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-guided Simulation Testing
ISSTA Technical Papers
Zhongrui Li Fudan University, Jiarun Dai Fudan University, Zongan Huang Fudan University, Nianhao You Fudan University, Yuan Zhang Fudan University, Min Yang Fudan University
13:50
20m
Talk
Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
ISSTA Technical Papers
14:10
20m
Talk
DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing
ISSTA Technical Papers
You Lu Fudan University, Yifan Tian Fudan University, Yuyang Bi Fudan University, Bihuan Chen Fudan University, Xin Peng Fudan University
DOI
14:30
20m
Talk
CooTest: An Automated Testing Approach for V2X Communication Systems
ISSTA Technical Papers
An Guo Nanjing University, Xinyu Gao , Zhenyu Chen Nanjing University, Yuan Xiao Nanjing University, Jiakai Liu Nanjing University, Xiuting Ge Nanjing University, Weisong Sun Nanjing University, Chunrong Fang Nanjing University

Wed 18 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change