CAKC 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
VenueVienna University of Technology (TU Wien) - Campus Gusshaus
Room nameEI 3 Sahulka
Floor2
Capacity182
Room InformationNo extra information available

Information for Participants
Program

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
UI-Level TestingISSTA Technical Papers at EI 3 Sahulka
Chair(s): Chunyang Chen TU Munich
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 William & Mary, Junayed Mahmud University of Central Florida, Ying Zhou George Mason University, Kevin Moran University of Central Florida, Oscar Chaparro William & Mary
DOI
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, Yongjiang Wang Fudan University, Abhishek Tiwari University of Passau, Xin Peng Fudan University
DOI
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 University of British Columbia
DOI
11:30
20m
Talk
Guardian: A Runtime Framework for LLM-Based UI Exploration
ISSTA Technical Papers
Dezhi Ran Peking University, Hao Wang Peking University, 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
DOI
13:30 - 14:50
Vulnerability DetectionISSTA Technical Papers at EI 3 Sahulka
Chair(s): Cuiyun Gao Harbin Institute of Technology
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 Zhejiang 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
DOI
13:50
20m
Talk
SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection
ISSTA Technical Papers
Xin-Cheng Wen Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Shuzheng Gao Chinese University of Hong Kong, Yang Xiao 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 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, 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
Chair(s): Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
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, Junming Qiu Sun Yat-sen University, Polong Chen Sun Yat-sen University, Hai Wan Sun Yat-sen University, Jianfeng Du Guangdong University of Foreign Studies, Weiyuan Fang Sun Yat-sen University
DOI
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
DOI Pre-print
16:30
20m
Talk
Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
ISSTA Technical Papers
Huaien Zhang Hong Kong Polytechnic University; Southern University of Science and Technology, Yu Pei 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
DOI
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
BlockchainISSTA Technical Papers at EI 3 Sahulka
Chair(s): Konstantinos (Kostis) Sagonas Uppsala University and Nat. Tech. Univ. of Athens
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 Ant Group, Yi Zhen Independent
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 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
DOI File Attached
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 Hong Kong Polytechnic University, Hao Zhou Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University, Jianfeng Li Xi’an Jiaotong University, Haoyu Wang Huazhong University of Science and Technology
DOI
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 Nanyang Technological 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
DatabasesISSTA Technical Papers at EI 3 Sahulka
Chair(s): Manuel Rigger National University of Singapore
13:30
20m
Talk
Testing Gremlin-Based Graph Database Systems via Query Disassembling
ISSTA Technical Papers
Yingying Zheng Institute of Software at Chinese Academy of Sciences, Wensheng Dou Institute of Software at Chinese Academy of Sciences, Lei Tang Institute of Software at Chinese Academy of Sciences, Ziyu Cui Institute of Software at Chinese Academy of Sciences, Yu Gao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jiansen Song Institute of Software at Chinese Academy of Sciences, Liang Xu Jinling Institute of Technology, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Wei Wang Institute of Software at Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Hua Zhong Institute of Software at Chinese Academy of Sciences, Tao Huang Institute of Software at Chinese Academy of Sciences
DOI
13:50
20m
Talk
SQLess: Dialect-Agnostic SQL Query Simplification
ISSTA Technical Papers
Li Lin Xiamen University, Zongyin Hao Xiamen University, Chengpeng Wang Hong Kong University of Science and Technology, Zhuangda Wang Xiamen University, Rongxin Wu Xiamen University, Gang Fan Ant Group
DOI
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, Jiyuan Li Tianjin University, China, Wei Lu Renmin University of China, China, Jiajun Jiang Tianjin University, Xiaoyong Du Renmin University of China
DOI
15:30 - 16:50
DebuggingISSTA Technical Papers at EI 3 Sahulka
Chair(s): Andreas Zeller CISPA Helmholtz Center for Information Security
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
DOI

Fri 20 Sep

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

10:30 - 11:50
Android and ARISSTA Technical Papers at EI 3 Sahulka
Chair(s): René Just University of Washington
10:30
20m
Talk
Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
ISSTA Technical Papers
Hao Xiong Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation Center, Qinming Dai Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation Center, Rui Chang Zhejiang University, Mingran Qiu Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation Center, Renxiang Wang Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation Center, Wenbo Shen Zhejiang University, Yajin Zhou Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation Center
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 Cincinnati, Sidong Feng Monash University, Zhaoxu Zhang University of Southern California, William G.J. Halfond University of Southern California, Chunyang Chen TU Munich, Xiaoxia Sun China Mobile (Suzhou) Software Technology, Jiangfan Shi Zhejiang University, Tingting Yu University of Connecticut
DOI
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
DOI
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
DOI
13:30 - 14:50
Safety-Critical SystemsISSTA Technical Papers at EI 3 Sahulka
Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign
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
DOI
13:50
20m
Talk
Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)ACM SIGSOFT Distinguished Paper Award
ISSTA Technical Papers
DOI
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 Nanjing University, Zhenyu Chen Nanjing University, Yuan Xiao Nanjing University, Jiakai Liu Nanjing University, Xiuting Ge Nanjing University, Weisong Sun Nanjing University, Chunrong Fang Nanjing University
DOI Pre-print

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