| 2022 | Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. | Hasan Ferit Eniser, Timo P. Gros, Valentin Wstholz, Jrg Hoffmann, Maria Christakis |
| 2022 | WASAI: uncovering vulnerabilities in Wasm smart contracts. | Weimin Chen, Zihan Sun, Haoyu Wang, Xiapu Luo, Haipeng Cai, Lei Wu |
| 2022 | Path-sensitive code embedding via contrastive learning for software vulnerability detection. | Xiao Cheng, Guanqin Zhang, Haoyu Wang, Yulei Sui |
| 2022 | Automatic generation of smoke test suites for kubernetes. | Cecilio Cannavacciuolo, Leonardo Mariani |
| 2022 | Combining static analysis error traces with dynamic symbolic execution (experience paper). | Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson |
| 2022 | ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. | Franz Braue, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro |
| 2022 | Pytest-Smell: a smell detection tool for Python unit tests. | Alexandru Bodea |
| 2022 | FDG: a precise measurement of fault diagnosability gain of test cases. | Gabin An, Shin Yoo |
| 2022 | SnapFuzz: high-throughput fuzzing of network applications. | Anastasios Andronidis, Cristian Cadar |
| 2022 | Simple techniques work surprisingly well for neural network test prioritization and active learning (replicability study). | Michael Weiss, Paolo Tonella |
| 2022 | One step further: evaluating interpreters using metamorphic testing. | Ming Fan, Jiali Wei, Wuxia Jin, Zhou Xu, Wenying Wei, Ting Liu |
| 2022 | ε-weakened robustness of deep neural networks. | Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang |
| 2022 | Program vulnerability repair via inductive inference. | Yuntong Zhang, Xiang Gao, Gregory J. Duck, Abhik Roychoudhury |
| 2022 | Faster mutation analysis with MeMu. | Ali Ghanbari, Andrian Marcus |
| 2022 | Patch correctness assessment in automated program repair based on the impact of patches on production and test code. | Ali Ghanbari, Andrian Marcus |
| 2021 | DeepHyperion: exploring the feature space of deep learning-based systems through illumination search. | Tahereh Zohdinasab, Vincenzo Riccio, Alessio Gambi, Paolo Tonella |
| 2021 | Attack as defense: characterizing adversarial examples using robustness. | Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun |
| 2021 | Efficient white-box fairness testing through gradient search. | Lingfeng Zhang, Yueling Zhang, Min Zhang |
| 2021 | Predoo: precision testing of deep learning operators. | Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, Zhenyu Chen |
| 2021 | Semantic table structure identification in spreadsheets. | Yakun Zhang, Xiao Lv, Haoyu Dong, Wensheng Dou, Shi Han, Dongmei Zhang, Jun Wei, Dan Ye |
| 2021 | AdvDoor: adversarial backdoor attack of deep learning system. | Quan Zhang, Yifeng Ding, Yongqiang Tian, Jianmin Guo, Min Yuan, Yu Jiang |
| 2021 | Deep just-in-time defect prediction: how far are we? | Zhengran Zeng, Yuqun Zhang, Haotian Zhang, Lingming Zhang |
| 2021 | RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis. | Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, Bodong Zhao |
| 2021 | Fuzzing SMT solvers via two-dimensional input space exploration. | Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang |
| 2021 | GUIDER: GUI structure and vision co-guided test script repair for Android apps. | Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li |