| 2023 | Guided Retraining to Enhance the Detection of Difficult Android Malware. | Nadia Daoudi, Kevin Allix, Tegawend F. Bissyand, Jacques Klein |
| 2023 | Beware of the Unexpected: Bimodal Taint Analysis. | Yiu Wai Chow, Max Schfer, Michael Pradel |
| 2023 | Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing. | Michael Chesser, Surya Nepal, Damith C. Ranasinghe |
| 2023 | Transforming Test Suites into Croissants. | Yang Chen, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand |
| 2023 | DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization. | Simin Chen, Shiyi Wei, Cong Liu, Wei Yang |
| 2023 | SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. | Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu |
| 2023 | DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity. | Zhuo Chen, Jie Liu, Yubo Hu, Lei Wu, Yajin Zhou, Yiling He, Xianhao Liao, Ke Wang, Jinku Li, Zhan Qin |
| 2023 | BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems. | Mingfei Cheng, Yuan Zhou, Xiaofei Xie |
| 2023 | Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis. | Kai Cheng, Yaowen Zheng, Tao Liu, Le Guan, Peng Liu, Hong Li, Hongsong Zhu, Kejiang Ye, Limin Sun |
| 2023 | Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. | Dylan Callaghan, Bernd Fischer |
| 2023 | Security Checking of Trigger-Action-Programming Smart Home Integrations. | Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li |
| 2023 | June: A Type Testability Transformation for Improved ATG Performance. | Dan Bruce, David A. Kelly, Hctor D. Menndez, Earl T. Barr, David Clark |
| 2023 | In Defense of Simple Techniques for Neural Network Test Case Selection. | Shenglin Bao, Chaofeng Sha, Bihuan Chen, Xin Peng, Wenyun Zhao |
| 2023 | TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break. | Ziyad Alsaeed, Michal Young |
| 2023 | Finding Short Slow Inputs Faster with Grammar-Based Search. | Ziyad Alsaeed, Michal Young |
| 2023 | AGORA: Automated Generation of Test Oracles for REST APIs. | Juan C. Alonso, Sergio Segura, Antonio Ruiz-Corts |
| 2023 | API2Vec: Learning Representations of API Sequences for Malware Detection. | Lei Cui, Jiancong Cui, Yuede Ji, Zhiyu Hao, Lun Li, Zhenquan Ding |
| 2023 | That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. | Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel |
| 2022 | Deadlock prediction via generalized dependency. | Jinpeng Zhou, Hanmei Yang, John Lange, Tongping Liu |
| 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 | Detecting multi-sensor fusion errors in advanced driver-assistance systems. | Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, Baishakhi Ray |
| 2022 | Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution. | Peilin Zheng, Zibin Zheng, Xiapu Luo |
| 2022 | ATR: template-based repair for Alloy specifications. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri |
| 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 | 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 |