| 2022 | 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, Raheem Beyah |
| 2022 | A large-scale study of usability criteria addressed by static analysis tools. Marcus Nachtigall, Michael Schlichtig, Eric Bodden |
| 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 | ASRTest: automated testing for deep-neural-network-driven speech recognition systems. Pin Ji, Yang Feng, Jia Liu, Zhihong Zhao, Zhenyu Chen |
| 2022 | ATR: template-based repair for Alloy specifications. Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri |
| 2022 | ATUA: an update-driven app testing tool. Chanh Duc Ngo, Fabrizio Pastore, Lionel C. Briand |
| 2022 | Almost correct invariants: synthesizing inductive invariants by fuzzing proofs. Sumit Lahiri, Subhajit Roy |
| 2022 | An empirical study on the effectiveness of static C code analyzers for vulnerability detection. Stephan Lipp, Sebastian Banescu, Alexander Pretschner |
| 2022 | An extensive study on pre-trained models for program understanding and generation. Zhengran Zeng, Hanzhuo Tan, Haotian Zhang, Jing Li, Yuqun Zhang, Lingming Zhang |
| 2022 | Automated test generation for REST APIs: no time to rest yet. Myeongsoo Kim, Qi Xin, Saurabh Sinha, Alessandro Orso |
| 2022 | Automated testing of image captioning systems. Boxi Yu, Zhiqing Zhong, Xinran Qin, Jiayi Yao, Yuancheng Wang, Pinjia He |
| 2022 | Automatic generation of smoke test suites for kubernetes. Cecilio Cannavacciuolo, Leonardo Mariani |
| 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 | BET: black-box efficient testing for convolutional neural networks. Jialai Wang, Han Qiu, Yi Rong, Hengkai Ye, Qi Li, Zongpeng Li, Chao Zhang |
| 2022 | CIRCLE: continual repair across programming languages. Wei Yuan, Quanjun Zhang, Tieke He, Chunrong Fang, Nguyen Quoc Viet Hung, Xiaodong Hao, Hongzhi Yin |
| 2022 | Combining solution reuse and bound tightening for efficient analysis of evolving systems. Clay Stevens, Hamid Bagheri |
| 2022 | Combining static analysis error traces with dynamic symbolic execution (experience paper). Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson |
| 2022 | Cross-lingual transfer learning for statistical type inference. Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, Yang Liu |
| 2022 | Deadlock prediction via generalized dependency. Jinpeng Zhou, Hanmei Yang, John Lange, Tongping Liu |
| 2022 | Detecting and fixing data loss issues in Android apps. Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, Xin Peng |
| 2022 | Detecting multi-sensor fusion errors in advanced driver-assistance systems. Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, Baishakhi Ray |
| 2022 | Detecting resource utilization bugs induced by variant lifecycles in Android. Yifei Lu, Minxue Pan, Yu Pei, Xuandong Li |
| 2022 | DocTer: documentation-guided fuzzing for testing deep learning API functions. Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael W. Godfrey |
| 2022 | 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, Lucas C. Cordeiro |
| 2022 | ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro |
| 2022 | 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, Limin Sun |
| 2022 | Evolution-aware detection of order-dependent flaky tests. Chengpeng Li, August Shi |
| 2022 | FDG: a precise measurement of fault diagnosability gain of test cases. Gabin An, Shin Yoo |
| 2022 | Faster mutation analysis with MeMu. Ali Ghanbari, Andrian Marcus |
| 2022 | 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, Jun Wei |
| 2022 | Finding permission bugs in smart contracts with role mining. Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho |
| 2022 | Human-in-the-loop oracle learning for semantic bugs in string processing programs. Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, Marcel Böhme |
| 2022 | Hunting bugs with accelerated optimal graph vertex matching. Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang, Wei You, Wenchang Shi, Jian Zhang |
| 2022 | HybridRepair: towards annotation-efficient repair for deep learning models. Yu Li, Muxi Chen, Qiang Xu |
| 2022 | ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022 Sukyoung Ryu, Yannis Smaragdakis |
| 2022 | Improving cross-platform binary analysis using representation learning via graph alignment. Geunwoo Kim, Sanghyun Hong, Michael Franz, Dokyung Song |
| 2022 | LiRTest: augmenting LiDAR point clouds for automated testing of autonomous driving systems. An Guo, Yang Feng, Zhenyu Chen |
| 2022 | MDPFuzz: testing models solving Markov decision processes. Qi Pang, Yuanyuan Yuan, Shuai Wang |
| 2022 | Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities. Eduard Pinconschi, Quang-Cuong Bui, Rui Abreu, Pedro Adão, Riccardo Scandariato |
| 2022 | 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, Maria Christakis |
| 2022 | NCScope: hardware-assisted analyzer for native code in Android apps. Hao Zhou, Shuohan Wu, Xiapu Luo, Ting Wang, Yajin Zhou, Chao Zhang, Haipeng Cai |
| 2022 | On the use of evaluation measures for defect prediction studies. Rebecca Moussa, Federica Sarro |
| 2022 | On the use of mutation analysis for evaluating student test suite quality. James Perretta, Andrew DeOrio, Arjun Guha, Jonathan Bell |
| 2022 | One step further: evaluating interpreters using metamorphic testing. Ming Fan, Jiali Wei, Wuxia Jin, Zhou Xu, Wenying Wei, Ting Liu |
| 2022 | Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution. Peilin Zheng, Zibin Zheng, Xiapu Luo |
| 2022 | Patch correctness assessment in automated program repair based on the impact of patches on production and test code. Ali Ghanbari, Andrian Marcus |
| 2022 | Path-sensitive code embedding via contrastive learning for software vulnerability detection. Xiao Cheng, Guanqin Zhang, Haoyu Wang, Yulei Sui |
| 2022 | PermDroid: automatically testing permission-related behaviour of Android applications. Shuaihao Yang, Zigang Zeng, Wei Song |
| 2022 | PrIntFuzz: fuzzing Linux drivers via automated virtual device simulation. Zheyu Ma, Bodong Zhao, Letu Ren, Zheming Li, Siqi Ma, Xiapu Luo, Chao Zhang |
| 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 | Program vulnerability repair via inductive inference. Yuntong Zhang, Xiang Gao, Gregory J. Duck, Abhik Roychoudhury |
| 2022 | Pytest-Smell: a smell detection tool for Python unit tests. Alexandru Bodea |
| 2022 | QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit. Daniel Fortunato, José Campos, Rui Abreu |
| 2022 | 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, Hong Mei |
| 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 | Simple techniques work surprisingly well for neural network test prioritization and active learning (replicability study). Michael Weiss, Paolo Tonella |
| 2022 | SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability. Zeqin Liao, Zibin Zheng, Xiao Chen, Yuhong Nan |
| 2022 | SnapFuzz: high-throughput fuzzing of network applications. Anastasios Andronidis, Cristian Cadar |
| 2022 | SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software. Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, Mengfei Yang |
| 2022 | TeLL: log level suggestions via modeling multi-level code block information. Jiahao Liu, Jun Zeng, Xiang Wang, Kaihang Ji, Zhenkai Liang |
| 2022 | TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving. Xuwei Liu, Wei You, Zhuo Zhang, Xiangyu Zhang |
| 2022 | Test mimicry to assess the exploitability of library vulnerabilities. Hong Jin Kang, Truong Giang Nguyen, Bach Le, Corina S. Pasareanu, David Lo |
| 2022 | Testing Dafny (experience paper). Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak |
| 2022 | The raise of machine learning hyperparameter constraints in Python code. Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby |
| 2022 | Understanding device integration bugs in smart home system. Tao Wang, Kangkang Zhang, Wei Chen, Wensheng Dou, Jiaxin Zhu, Jun Wei, Tao Huang |
| 2022 | UniRLTest: universal platform-independent testing with reinforcement learning via image understanding. Ziqian Zhang, Yulei Liu, Shengcheng Yu, Xin Li, Yexiao Yun, Chunrong Fang, Zhenyu Chen |
| 2022 | Unicorn: detect runtime errors in time-series databases with hybrid input synthesis. Zhiyong Wu, Jie Liang, Mingzhe Wang, Chijin Zhou, Yu Jiang |
| 2022 | Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri |
| 2022 | WASAI: uncovering vulnerabilities in Wasm smart contracts. Weimin Chen, Zihan Sun, Haoyu Wang, Xiapu Luo, Haipeng Cai, Lei Wu |
| 2022 | eTainter: detecting gas-related vulnerabilities in smart contracts. Asem Ghaleb, Julia Rubin, Karthik Pattabiraman |
| 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 | jTrans: jump-aware transformer for binary code similarity detection. Hao Wang, Wenjie Qu, Gilad Katz, Wenyu Zhu, Zeyu Gao, Han Qiu, Jianwei Zhuge, Chao Zhang |
| 2022 | ε-weakened robustness of deep neural networks. Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang |