ISSTA 2022 – Proceedings

Frontmatter

Technical Papers

Oracles, Models, and Measurement

jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Hao Wang , Wenjie Qu, Gilad Katz, Wenyu Zhu, Zeyu Gao, Han Qiu , Jianwei Zhuge, and Chao Zhang 
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Huazhong University of Science and Technology, China; Ben-Gurion University of the Negev, Israel; University of Science and Technology of China, China)

Publisher's Version

FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases
Gabin An  and Shin Yoo 
(KAIST, South Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

TeLL: Log Level Suggestions via Modeling Multi-level Code Block Information
Jiahao Liu, Jun Zeng, Xiang Wang, Kaihang Ji, and Zhenkai Liang
(National University of Singapore, Singapore; University of Science and Technology of China, China)

Publisher's Version

An Extensive Study on Pre-trained Models for Program Understanding and Generation
Zhengran Zeng, Hanzhuo Tan , Haotian Zhang, Jing Li, Yuqun Zhang , and Lingming Zhang 
(Southern University of Science and Technology, China; Hong Kong Polytechnic University, China; Kwai, China; University of Illinois at Urbana-Champaign, USA)

Publisher's Version

Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
Hasan Ferit Eniser , Timo P. Gros, Valentin Wüstholz , Jörg Hoffmann, and Maria Christakis 
(MPI-SWS, Germany; Saarland University, Germany; ConsenSys, Germany; DFKI, Germany)

Publisher's Version

Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Xiaohui Zhang , Yuanjun Gong , Bin Liang, Jianjun Huang , Wei You , Wenchang Shi , and Jian Zhang 
(Renmin University of China, China; University of Chinese Academy of Sciences, China)

Publisher's Version

Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac , and Shuvendu K. Lahiri
(Yale University, USA; Microsoft Research, USA; Microsoft, USA)

Publisher's Version

Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving Systems
Clay Stevens  and Hamid Bagheri 
(University of Nebraska-Lincoln, USA)

Publisher's Version

On the Use of Evaluation Measures for Defect Prediction Studies
Rebecca Moussa  and Federica Sarro 
(University College London, UK)

Publisher's Version Info

Evolution-Aware Detection of Order-Dependent Flaky Tests
Chengpeng Li  and August Shi 
(University of Texas at Austin, USA)

Publisher's Version

Neural Networks, Learning, NLP

𝜀-Weakened Robustness of Deep Neural Networks
Pei Huang , Yuting Yang , Minghao Liu , Fuqi Jia , Feifei Ma , and Jian Zhang 
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Simple Techniques Work Surprisingly Well for Neural Network Test Prioritization and Active Learning (Replicability Study)
Michael Weiss  and Paolo Tonella 
(USI Lugano, Switzerland)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment
Geunwoo Kim , Sanghyun Hong , Michael Franz, and Dokyung Song 
(University of California at Irvine, USA; Oregon State University, USA; Yonsei University, South Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

BET: Black-Box Efficient Testing for Convolutional Neural Networks
Jialai Wang , Han Qiu , Yi Rong , Hengkai Ye , Qi Li , Zongpeng Li , and Chao Zhang 
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Purdue University, USA)

Publisher's Version

DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Danning Xie , Yitong Li , Mijung Kim , Hung Viet Pham , Lin Tan , Xiangyu Zhang , and Michael W. Godfrey 
(Purdue University, USA; University of Waterloo, Canada; Ulsan National Institute of Science and Technology, South Korea)

Publisher's Version

ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems
Pin Ji, Yang Feng , Jia Liu, Zhihong Zhao, and Zhenyu Chen 
(Nanjing University, China)

Publisher's Version

AEON: A Method for Automatic Evaluation of NLP Test Cases
Jen-tse Huang , Jianping Zhang , Wenxuan Wang , Pinjia He , Yuxin Su , and Michael R. Lyu 
(Chinese University of Hong Kong, China; Chinese University of Hong Kong at Shenzhen, China; Sun Yat-sen University, China)

Publisher's Version

Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs
Charaka Geethal Kapugama , Van-Thuan Pham , Aldeida Aleti , and Marcel Böhme 
(Monash University, Australia; University of Melbourne, Australia; MPI-SP, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models
Yu Li , Muxi Chen , and Qiang Xu 
(Chinese University of Hong Kong, China)

Publisher's Version Published Artifact Artifacts Available

Cross-Lingual Transfer Learning for Statistical Type Inference
Zhiming Li, Xiaofei Xie , Haoliang Li, Zhengzi Xu , Yi Li , and Yang Liu 
(Nanyang Technological University, Singapore; Singapore Management University, Singapore; City University of Hong Kong, China)

Publisher's Version Published Artifact Artifacts Available

Test Generation and Mutation

Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis
Zhiyong Wu , Jie Liang , Mingzhe Wang , Chijin Zhou , and Yu Jiang 
(Tsinghua University, China; ShuimuYulin, China)

Publisher's Version

On the Use of Mutation Analysis for Evaluating Student Test Suite Quality
James Perretta, Andrew DeOrio, Arjun Guha , and Jonathan Bell 
(Northeastern University, USA; University of Michigan, USA)

Publisher's Version Published Artifact Artifacts Available

Test Mimicry to Assess the Exploitability of Library Vulnerabilities
Hong Jin Kang , Truong Giang Nguyen , Bach Le , Corina S. Păsăreanu, and David Lo 
(Singapore Management University, Singapore; University of Melbourne, Australia; Carnegie Mellon University, USA; NASA Ames Research Center, USA)

Publisher's Version

Automated Test Generation for REST APIs: No Time to Rest Yet
Myeongsoo Kim , Qi Xin , Saurabh Sinha , and Alessandro Orso 
(Georgia Institute of Technology, USA; Wuhan University, China; IBM Research, USA)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional

Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, and Jun Wei 
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, and Hong Mei 
(Fudan University, China; Shanghai Jiao Tong University, China; National University of Singapore, Singapore; Peking University, China)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional

One Step Further: Evaluating Interpreters using Metamorphic Testing
Ming Fan , Jiali Wei, Wuxia Jin, Zhou Xu, Wenying Wei, and Ting Liu
(Xi'an Jiaotong University, China; Chongqing University, China)

Publisher's Version

Fuzzing and Friends

SnapFuzz: High-Throughput Fuzzing of Network Applications
Anastasios Andronidis  and Cristian Cadar 
(Imperial College London, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs
Sumit Lahiri  and Subhajit Roy 
(IIT Kanpur, India)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable

SLIME: Program-Sensitive Energy Allocation for Fuzzing
Chenyang Lyu , Hong Liang , Shouling Ji , Xuhong Zhang , Binbin Zhao , Meng Han , Yun Li , Zhe Wang , Wenhai Wang , and Raheem Beyah 
(Zhejiang University, China; Georgia Institute of Technology, USA; Huawei Technologies, China; Institute of Computing Technology at Chinese Academy of Sciences, China)

Publisher's Version

MDPFuzz: Testing Models Solving Markov Decision Processes
Qi Pang , Yuanyuan Yuan , and Shuai Wang 
(Hong Kong University of Science and Technology, China)

Publisher's Version Published Artifact Artifacts Available

TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving
Xuwei Liu, Wei You , Zhuo Zhang , and Xiangyu Zhang 
(Purdue University, USA; Renmin University of China, China)

Publisher's Version

PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Zheyu Ma , Bodong Zhao , Letu Ren , Zheming Li , Siqi Ma , Xiapu Luo , and Chao Zhang 
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; UNSW, Australia; Hong Kong Polytechnic University, China)

Publisher's Version

Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation
Yaowen Zheng , Yuekang Li , Cen Zhang, Hongsong Zhu , Yang Liu , and Limin Sun 
(Nanyang Technological University, Singapore; Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Concurrency, IoT, Embedded

Understanding Device Integration Bugs in Smart Home System
Tao Wang, Kangkang Zhang, Wei Chen, Wensheng Dou, Jiaxin Zhu, Jun Wei , and Tao Huang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanjing Institute of Software Technology, China)

Publisher's Version Published Artifact Artifacts Available

A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware
Binbin Zhao , Shouling Ji , Jiacheng Xu , Yuan Tian , Qiuyang Wei , Qinying Wang , Chenyang Lyu , Xuhong Zhang , Changting Lin , Jingzheng Wu , and Raheem Beyah 
(Zhejiang University, China; Georgia Institute of Technology, USA; University of Virginia, USA; Institute of Software at Chinese Academy of Sciences, China)

Publisher's Version

Deadlock Prediction via Generalized Dependency
Jinpeng Zhou, Hanmei Yang , John Lange, and Tongping Liu 
(University of Pittsburgh, USA; University of Massachusetts at Amherst, USA; Oak Ridge National Laboratory, USA)

Publisher's Version

Automated Testing of Image Captioning Systems
Boxi Yu , Zhiqing Zhong , Xinran Qin , Jiayi Yao , Yuancheng Wang , and Pinjia He 
(Chinese University of Hong Kong at Shenzhen, China; South China University of Technology, China)

Publisher's Version Archive submitted (410 kB)

LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems
An Guo, Yang Feng , and Zhenyu Chen 
(Nanjing University, China)

Publisher's Version

Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems
Ziyuan Zhong , Zhisheng Hu , Shengjian Guo , Xinyang Zhang , Zhenyu Zhong , and Baishakhi Ray 
(Columbia University, USA; Baidu Security, USA)

Publisher's Version Published Artifact Artifacts Available

Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning
Chao Li , Rui Chen , Boxiang Wang , Tingting Yu , Dongdong Gao , and Mengfei Yang 
(Beijing Institute of Control Engineering, China; Beijing Sunwise Information Technology, China; Xidian University, China; China Academy of Space Technology, China)

Publisher's Version

Static Analysis and Specifications Testing

Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection
Xiao Cheng , Guanqin Zhang, Haoyu Wang , and Yulei Sui 
(University of Technology Sydney, Australia; Huazhong University of Science and Technology, China)

Publisher's Version

A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools
Marcus Nachtigall, Michael Schlichtig , and Eric Bodden 
(Paderborn University, Germany; Fraunhofer IEM, Germany)

Publisher's Version Archive submitted (36 kB)

An Empirical Study on the Effectiveness of Static C Code Analyzers for Vulnerability Detection
Stephan Lipp , Sebastian Banescu , and Alexander Pretschner 
(TU Munich, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Testing Dafny (Experience Paper)
Ahmed Irfan , Sorawee Porncharoenwase , Zvonimir Rakamarić , Neha Rungta , and Emina Torlak 
(Amazon Web Services, USA; University of Washington, USA)

Publisher's Version

Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Frank Busse , Pritam Gharat , Cristian Cadar , and Alastair F. Donaldson 
(Imperial College London, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

The Raise of Machine Learning Hyperparameter Constraints in Python Code
Ingkarat Rak-amnouykit , Ana Milanova, Guillaume Baudart , Martin Hirzel, and Julian Dolby 
(Rensselaer Polytechnic Institute, USA; Inria, France; ENS-PSL University, France; IBM Research, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Android

PermDroid: Automatically Testing Permission-Related Behaviour of Android Applications
Shuaihao Yang, Zigang Zeng, and Wei Song 
(Nanjing University of Science and Technology, China)

Publisher's Version Published Artifact Artifacts Available

Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo , Zhen Dong, Liwei Shen, Wei Tian, Ting Su , and Xin Peng
(Fudan University, China; East China Normal University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
Pei Liu, Yanjie Zhao, Haipeng Cai , Mattia Fazzini, John Grundy , and Li Li 
(Monash University, Australia; Washington State University, USA; University of Minnesota, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Hao Zhou , Shuohan Wu, Xiapu Luo , Ting Wang, Yajin Zhou , Chao Zhang , and Haipeng Cai 
(Hong Kong Polytechnic University, China; Pennsylvania State University, USA; Zhejiang University, China; Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Washington State University, USA)

Publisher's Version Published Artifact Artifacts Available

Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android
Yifei Lu , Minxue Pan , Yu Pei , and Xuandong Li 
(Nanjing University, China; Hong Kong Polytechnic University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Program Repair

Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Code
Ali Ghanbari  and Andrian Marcus 
(Iowa State University, USA; University of Texas at Dallas, USA)

Publisher's Version

ATR: Template-Based Repair for Alloy Specifications
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, and Hamid Bagheri 
(University of Nebraska-Lincoln, USA; George Mason University, USA; University of Rio Cuarto, Argentina; CONICET, Argentina; Buenos Aires Institute of Technology, Argentina)

Publisher's Version

CIRCLE: Continual Repair across Programming Languages
Wei Yuan, Quanjun Zhang, Tieke He, Chunrong Fang , Nguyen Quoc Viet Hung, Xiaodong Hao, and Hongzhi Yin
(University of Queensland, Australia; Nanjing University, China; Griffith University, Australia)

Publisher's Version

Program Vulnerability Repair via Inductive Inference
Yuntong Zhang, Xiang Gao , Gregory J. Duck, and Abhik Roychoudhury 
(National University of Singapore, Singapore; Beihang University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Smart Contracts

WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts
Weimin Chen , Zihan Sun, Haoyu Wang , Xiapu Luo , Haipeng Cai , and Lei Wu 
(Hong Kong Polytechnic University, China; Beijing University of Posts and Telecommunications, China; Huazhong University of Science and Technology, China; Washington State University, USA; Zhejiang University, China)

Publisher's Version Published Artifact Artifacts Available

Finding Permission Bugs in Smart Contracts with Role Mining
Ye Liu, Yi Li , Shang-Wei Lin , and Cyrille Artho
(Nanyang Technological University, Singapore; KTH, Sweden)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable

eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts
Asem Ghaleb , Julia Rubin , and Karthik Pattabiraman 
(University of British Columbia, Canada)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Park: Accelerating Smart Contract Vulnerability Detection via Parallel-Fork Symbolic Execution
Peilin Zheng , Zibin Zheng , and Xiapu Luo 
(Sun Yat-sen University, China; Hong Kong Polytechnic University, China)

Publisher's Version

SmartDagger: A Bytecode-Based Static Analysis Approach for Detecting Cross-Contract Vulnerability
Zeqin Liao , Zibin Zheng , Xiao Chen , and Yuhong Nan 
(Sun Yat-sen University, China)

Publisher's Version

Tool Demos

ATUA: An Update-Driven App Testing Tool
Chanh-Duc Ngo , Fabrizio Pastore , and Lionel C. Briand 
(University of Luxembourg, Luxembourg; University of Ottawa, Canada)

Publisher's Version Published Artifact Video Info Artifacts Available

Automatic Generation of Smoke Test Suites for Kubernetes
Cecilio Cannavacciuolo and Leonardo Mariani 
(Anoki, Italy; University of Milano-Bicocca, Italy)

Publisher's Version Video

ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Franz Brauße , Fedor Shmarov , Rafael Menezes , Mikhail R. Gadelha , Konstantin Korovin , Giles Reger , and Lucas C. Cordeiro 
(University of Manchester, UK; Igalia, Brazil)

Publisher's Version Video

ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
Rafael Menezes , Daniel Moura , Helena Cavalcante , Rosiane de Freitas , and Lucas C. Cordeiro 
(University of Manchester, UK; Federal University of Amazonas, Brazil)

Publisher's Version Video

Faster Mutation Analysis with MeMu
Ali Ghanbari  and Andrian Marcus 
(Iowa State University, USA; University of Texas at Dallas, USA)

Publisher's Version

iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo , Zhen Dong, Liwei Shen, Wei Tian, Ting Su , and Xin Peng
(Fudan University, China; East China Normal University, China)

Publisher's Version

Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities
Eduard Pinconschi , Quang-Cuong Bui , Rui Abreu , Pedro Adão , and Riccardo Scandariato 
(INESC-ID, Portugal; University of Porto, Portugal; Hamburg University of Technology, Germany; IST-ULisboa, Portugal; Instituto de Telecomunicações, Portugal)

Publisher's Version Video

Pytest-Smell: A Smell Detection Tool for Python Unit Tests
Alexandru Bodea 
(Babeș-Bolyai University, Romania)

Publisher's Version Video

QMutPy: A Mutation Testing Tool for Quantum Algorithms and Applications in Qiskit
Daniel Fortunato , José Campos , and Rui Abreu 
(University of Porto, Portugal; INESC-ID, Portugal; LASIGE, Portugal)

Publisher's Version Video

SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software
Boxiang Wang , Rui Chen , Chao Li , Tingting Yu , Dongdong Gao , and Mengfei Yang 
(Xidian University, China; Beijing Sunwise Information Technology, China; Beijing Institute of Control Engineering, China; China Academy of Space Technology, China)

Publisher's Version

UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Ziqian Zhang, Yulei Liu, Shengcheng Yu , Xin Li, Yexiao Yun, Chunrong Fang , and Zhenyu Chen 
(Nanjing University, China)

Publisher's Version Info

proc time: 17.53