| 2025 | Random Resampling of Training Data for Effective Verification Strategy Prediction. | Bharti Chimdyalwar, Priyanka Darke, R. Venkatesh, Supratik Chakraborty |
| 2025 | Maximizing Long-Term Task Completion Ratio of 3D-UAV-Enabled Wirelessly Powered MEC System. | Tixin Chen, Guanqun Shen, Xinnan Zhu, Shaojun Zhu, Bincheng Zhu, Kaikai Chi |
| 2025 | LiCoVer: LLM-Powered Automated OSS License Compliance Verification. | Shuhao Chang, Xin Li, Jigang Xie, Hao Wu, Haijun Wang |
| 2025 | AMF-GCN: An Adaptive Graph Convolution Network for Pull-up Evaluation. | Xianglong Cao, Xin Li, Jijun Tong |
| 2025 | RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM. | Xuemeng Cai, Jiakun Liu, Xiping Huang, Yijun Yu, Haitao Wu, Chunmiao Li, Bo Wang, Imam Nur Bani Yusuf, Lingxiao Jiang |
| 2025 | Uncover the Risks of Outdated Dependencies in Software Supply Chains: Insights from the npm Ecosystem. | Fenglin Bi, Cheng Liang, Yanbin Zhang, Yang Chen, Wei Wang |
| 2025 | TestCaseMig: LLM-Driven Test Case Migration for Evolving Codebases. | Wuhe Axi, Xin Li, Jigang Xie, Xitao Li, Haijun Wang |
| 2024 | QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models. | Yiwei Zhu, Jing Liu, Haiying Sun, Wei Yin, Jiexiang Kang |
| 2024 | AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance. | Fei Zheng, Qingguo Xu, Zhou Lei, Huaikou Miao |
| 2024 | Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain. | Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang |
| 2024 | An Iterative Formal Model-Driven Approach to Railway Systems Validation. | Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germn Vega |
| 2024 | Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review. | Yuexi Xu, Zhenyuan Li, Naipeng Dong, Veronika Kuchta, Zhe Hou, Dongxi Liu |
| 2024 | Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification. | Xiaoyong Xue, Meng Sun |
| 2024 | Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report. | Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu |
| 2024 | Analyzing Excessive Permission Requests in Google Workspace Add-Ons. | Liuhuo Wan, Chuan Yan, Mark Huasong Meng, Kailong Wang, Haoyu Wang |
| 2024 | Test Architecture Generation by Leveraging BERT and Control and Data Flows. | Guangyu Wang, Ji Wu, Haiyan Yang, Qing Sun, Tao Yue |
| 2024 | A Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection. | Jiale Quan, Qin Li |
| 2024 | An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control. | Fang Qi, Rui Wang, Yong Guan, Xiaoyu Song |
| 2024 | Reachability Analysis of Concurrent Self-modifying Code. | Walid Messahel, Tayssir Touili |
| 2024 | AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation. | Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li, Lin Gao |
| 2024 | Word2Vec-BERT-bmu:Classification of RISC-V Architecture Software Package Build Failures. | Shitian Ma, Hui Li, Jiaxin Zhu, Xiaohui He, Shuyang Zhang, Junfeng Zeng |
| 2024 | Less is More: An Empirical Study of Undersampling Techniques for Technical Debt Prediction. | Gichan Lee, Scott Uk-Jin Lee |
| 2024 | DashChef: A Metric Recommendation Service for Online Systems Using Graph Learning. | Zilong He, Tao Huang, Pengfei Chen, Ruipeng Li, Rui Wang, Zibin Zheng |
| 2024 | Validation of RailML Using ProB. | Jan Gruteser, Michael Leuschel |
| 2024 | SafePtrX: Research on Mitigation of Heap-Based Memory Safety Violations for Intel x86-64. | LiLie Chen, JunYu Wu, Yuan Liu |