| 2022 | 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, Raheem Beyah |
| 2022 | Detecting resource utilization bugs induced by variant lifecycles in Android. | Yifei Lu, Minxue Pan, Yu Pei, Xuandong Li |
| 2022 | Cross-lingual transfer learning for statistical type inference. | |
| 2022 | TeLL: log level suggestions via modeling multi-level code block information. | Jiahao Liu, Jun Zeng, Xiang Wang, Kaihang Ji, Zhenkai Liang |
| 2022 | Automatically detecting API-induced compatibility issues in Android apps: a comparative analysis (replicability study). | Pei Liu, Yanjie Zhao, Haipeng Cai, Mattia Fazzini, John C. Grundy, Li Li |
| 2022 | TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving. | Xuwei Liu, Wei You, Zhuo Zhang, Xiangyu Zhang |
| 2022 | Finding permission bugs in smart contracts with role mining. | Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho |
| 2022 | Evolution-aware detection of order-dependent flaky tests. | Chengpeng Li, August Shi |
| 2022 | An empirical study on the effectiveness of static C code analyzers for vulnerability detection. | Stephan Lipp, Sebastian Banescu, Alexander Pretschner |
| 2022 | Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning. | Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, Mengfei Yang |
| 2022 | HybridRepair: towards annotation-efficient repair for deep learning models. | Yu Li, Muxi Chen, Qiang Xu |
| 2022 | SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability. | Zeqin Liao, Zibin Zheng, Xiao Chen, Yuhong Nan |
| 2022 | Almost correct invariants: synthesizing inductive invariants by fuzzing proofs. | Sumit Lahiri, Subhajit Roy |
| 2022 | Automated test generation for REST APIs: no time to rest yet. | Myeongsoo Kim, Qi Xin, Saurabh Sinha, Alessandro Orso |
| 2022 | Improving cross-platform binary analysis using representation learning via graph alignment. | Geunwoo Kim, Sanghyun Hong, Michael Franz, Dokyung Song |
| 2022 | Human-in-the-loop oracle learning for semantic bugs in string processing programs. | Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, Marcel Bhme |
| 2022 | Test mimicry to assess the exploitability of library vulnerabilities. | Hong Jin Kang, Truong Giang Nguyen, Bach Le, Corina S. Pasareanu, David Lo |
| 2022 | ASRTest: automated testing for deep-neural-network-driven speech recognition systems. | Pin Ji, Yang Feng, Jia Liu, Zhihong Zhao, Zhenyu Chen |
| 2022 | Testing Dafny (experience paper). | Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak |
| 2022 | AEON: a method for automatic evaluation of NLP test cases. | Jen-tse Huang, Jianping Zhang, Wenxuan Wang, Pinjia He, Yuxin Su, Michael R. Lyu |
| 2022 | LiRTest: augmenting LiDAR point clouds for automated testing of autonomous driving systems. | An Guo, Yang Feng, Zhenyu Chen |
| 2022 | iFixDataloss: a tool for detecting and fixing data loss issues in Android apps. | Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, Xin Peng |
| 2022 | Detecting and fixing data loss issues in Android apps. | Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, Xin Peng |
| 2022 | eTainter: detecting gas-related vulnerabilities in smart contracts. | Asem Ghaleb, Julia Rubin, Karthik Pattabiraman |
| 2022 | QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit. | Daniel Fortunato, Jos Campos, Rui Abreu |