| 2025 | 25th International Conference on Software Quality, Reliability and Security, QRS 2025, Hangzhou, China, July 16-20, 2025 |
| 2025 | A Hybrid Framework for Inconsistency Detection in Diversity Requirements: Combining Multi-Graph Merging and Llm. Zhiguo Liu, Chunhui Wang, Ye Zhai |
| 2025 | A Reinforcement Learning Algorithm for Safety Decision Making in Autonomous Driving Systems with Reward Machine Guidance. Junge Huang, Yi Zhu, Jinyong Wang, Ying Zhao, Miaoer Li |
| 2025 | AT-DETR: A Multispectral Detector with Adaptive Feature Fusion and Scene Enhancement for Complex Road Scenes. Quan Wang, Ye Shen, Hao Wu, Deji Chen |
| 2025 | AUG: an Interactive Tool for Clarifying and Generating UML Models Based on Large Language Models. Jia Lu, Peiling Sun, Yi Chen, Gege Yin, Peng Ye |
| 2025 | Adversarial Generation of Deep Neural Network Image Test Cases Based on Multi-Conditional Constraints. Qingxia Yu, Chuanqi Tao |
| 2025 | An Empirical Study of Logging Practice in CUDA-Based Deep Learning Systems. An Chen, Kundi Yao, Haonan Zhang, Yiming Tang, Weiyi Shang |
| 2025 | An Empirical Study of the Root Causes and Consequences in Real-World App Compatibility Issues. Sen Yang, Zhanwei Hui, Xiaojuan Wang, Song Huang |
| 2025 | An Empirical Study on Machine Learning-Based Risk Prediction for Petroleum Pipelines. Haikang Gao, Ye Shang, Gaolei Yi, Yuan Zhao, Zhenyu Chen |
| 2025 | An Empirical Study on the Short-Term Self-Admitted Technical Debt. Qiao Huang, Weijun Liu, Zixuan Dai, Ye Wang, Chengyi Lin |
| 2025 | An Empirical Study: Mems as a Static Performance Metric. Liwei Zhang, Baoquan Cui, Xutong Ma, Jian Zhang |
| 2025 | An Integrated Metric for Modularity in a Microservice System. Claudia Cahya Primadani, Seonah Lee |
| 2025 | Automated Bug Report Classification Using BERT: A Transformer-Based Approach for Efficient Bug Triage in Large-Scale Software Projects. Beatriz Caldeira, Nuno Pombo |
| 2025 | BFGen: Basic Flow Generation for Refining Requirements via LLM and Relational Graph Attention Networks. Guangyu Wang, Bangqi Li, Ji Wu, Zhijun Shao |
| 2025 | Backdoor Attacks with Hybrid Triggers: A Dual-Feature Injection Approach for Code Summarization Models. Peng Nie, Song Huang, Changyou Zheng, Min Gu |
| 2025 | Beyond Decomposition: A LLM-Powered Automated Approach to Refactoring Monoliths Into Microservices. Khaled Sellami, Oussama Jebbar, Ayyoub Gannoun, Mohamed Aymen Saied |
| 2025 | BloP: A Trusted Computing Scheme Integrating Blockchain and Privacy-Preserving Computation. Zhihao Zhang, Zhonghao Pan, Yang Feng, Qingni Shen |
| 2025 | Boosting the Cost-Effectiveness of Metamorphic Test Case Pair Selection for DNN Testing with Surrogate Model. Jialin Fan, Jingling Wang, Shengyou Hu, Huayao Wu, Changhai Nie |
| 2025 | CAFEM: Context-Aware Feature Enhancement with Multi-Stage Sampling for Statement-Level Defect Prediction. Ziyang Liu, Yi Zhu, Jianhao Li, Guosheng Hao |
| 2025 | Chat4seed: Semantic-Awareness Highly Structured Seed Generation for Fuzzing. Jiarui Chen, Bin Zhang, Jiongyi Chen, Runhao Li, Chaojing Tang |
| 2025 | Chattss: Improving Test Suite Simplification Via Large Language Models. Gaolei Yi, Yuan Zhao, Runkang Feng, Quanjun Zhang, Zhenyu Chen |
| 2025 | Class-Wise Representation Based Federated Learning for Non-IID Graph Data. Shihao Zheng, Yong Li, Qianren Yang |
| 2025 | Cross-Modal Contrast with Image Jigsaw for Self-Supervised Representation Learning of 3D Point Clouds. Yuehui Han, Xinpeng Yu, Yao Wang, Can Xu, Qi Liu |
| 2025 | Defending LLMs Against Jailbreak Prompts Through Key Information Protection and Selective Compression. Siyu Li, Yu Zhou, Xiangyu Zhang, Tingting Han |
| 2025 | Determination of Hands-Off Detection Timespan Based on Asymmetric Nash Bargaining. Zhijie Feng, Siwei Zhou, Luyao Ye, Enrico Vicario, Jianwen Xiang |
| 2025 | DiFuzzNMT: A Differential Fuzzing Framework for Neural Machine Translation. Haibo Chen, Jinfu Chen, Saihua Cai, Shengran Wang, Jingyi Chen |
| 2025 | Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples. Kaicheng Shao, Yuteng Lu, Ai Liu, Meng Sun |
| 2025 | Dual-Temporal Dynamic Fusion with Motion-Aware Priors for Robust Object Tracking. Jiangqin Fu, Ruiqi Luo, Ran Jin |
| 2025 | Evaluating Static Mutant Selection Techniques for Accurate Mutation Score Approximation. Magdalene Ashong, Thomas Laurent, Anthony Ventresque |
| 2025 | Federated Non-IID Graph Learning Based on Graph Optimization. Pan Deng, Xuefeng Liu, Jianwei Niu, Chunming Hu |
| 2025 | Flash Loan Attack is More Than Just Price Oracle Manipulation: A Comprehensive Empirical Study. Cuifeng Gao, Jiajun Ye, Wenzhang Yang, Yinxing Xue |
| 2025 | Formal Methods for Residual Risk Reduction in Cyber-Physical Systems. David Kaufmann, Radu Mateescu, Lucie Muller, Wendelin Serwe, Franz Wotawa |
| 2025 | Formal Verification of Preemptive Interrupt-Driven Programs Based on Partial Order Modeling. Junzhe Zhao, Meng Wang, Bin Yu, Zixuan Yuan, Qianchen Yang |
| 2025 | GLMFuzz: Vulnerability Knowledge Guided Prompting for Efficient Network Protocol Fuzzing. Shengkai Zhu, Shuitao Gan, Xiaofeng Wang, Yan Nan |
| 2025 | Generation, Migration and Optimization of Cross-Language Static-Analysis Rules Based on Large Language Models. Zhanyi Hou, Zhiyu Duan, Minghao Yang, Mengdan Wu, Shunkun Yang |
| 2025 | How Security Coding Knowledge Impact Software Quality: An Empirical Study of Stack Overflow Security Issues. Shuqi Zuo, Qi Yang, Tianyi Gao, Zarin Tasnim Progga, Jinjin Shen |
| 2025 | Hybrid Introspection for JIT-Compilers and Interpreters in Attack Surface Analysis. Pavel Dovgalyuk, Vladislav Stepanov, Arkadiy Ivanov, Natalia Fursova |
| 2025 | Improving Qa System Testing Efficiency Through White-Box Test Prioritization. Hanying Shao, Zishuo Ding, Kundi Yao, Haonan Zhang, Weiyi Shang |
| 2025 | JasLoad: Dynamically Analyzing Javascript Bytecode via a Load-Time Instrumentation Approach. Hao Jiang, Baojian Hua |
| 2025 | KI-GCNN: Knowledge-Informed Graph Convolutional Neural Network for Multiclass Trajectory Prediction at Signalized Intersections. Zhuangzhuang Chen, Xi Wang |
| 2025 | LLM-Empowered Scriptless Functional Testing. Colin Van Hooren, Fernando Pastor Ricós, Stefano Bromuri, Tanja E. J. Vos, Beatriz Marín |
| 2025 | Leveraging Retrieval Augmented Generation to Enhance LLM-Based Fault Localization for Novice Programs. Bin Du, Xiaolan Kang, Hexiang Xu, Yonghao Wu, Yong Liu |
| 2025 | Method Name Recommendation Based on Large Language Model. Qianguo Chen, Kui Liu, Zhe Liu |
| 2025 | Multi-Objective Search-Based Repair of Deep Neural Networks. Yao Yao, Dongcheng Li, Man Zhao, Qijia Chen |
| 2025 | PCBFen: Bug Detection in PCB Design Tool Chain Through Functionally Equivalent Netlist Mutation. Xu Zhao, Xiaochen Li, Peiyu Zou, Lukai Liu |
| 2025 | Patterns that Break Memory: SEU Characterization of COTS LPDDR2 and LPDDR4 SDRAM via Stress Testing Under 60 MeV Proton Beam. Saad Memon, Rafal Graczyk, Tomasz Rajkowski, Jan Swakon, Mike Papadakis |
| 2025 | Peft: Multiline Complex Patch Correctness Assessment Based on Fine-Tuning Large Language Model with "Golden Data". Xiaoxi Zheng, Ruilian Zhao, Junxia Guo |
| 2025 | PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs. Yuxuan Dai, Yang Feng |
| 2025 | PrivGraph: Modeling Personal Privacy Information Using Knowledge Graph. Jinhui Zuo, Seok-Won Lee |
| 2025 | Prompt Learning for Source Code Summarization. Tingting Xu, Chunrong Fang, Hanwei Qian, Xia Feng, Weisong Sun |
| 2025 | QuAInth: A Code Comment Approach for Application-Oriented Quantum Programs via N-Version LLMs. Xiaohan Yu, Yuechen Li, Jinlong Wen, Kai-Yuan Cai, Beibei Yin |
| 2025 | Quantitative Comparison of System Architectures for an SAE Level 4 Highway Pilot. Manuel Drago, Andrea Bondavalli, Paolo Lollini, Georg Niedrist, Moritz Antlanger |
| 2025 | Refactoring Revisited: An Expanded Study on Refactoring Practices. Yangyang Zhao, Xinyang Li, Jiaming Guo, Chenglin Li, Liming Nie |
| 2025 | Retrieval-Augmented Generation for Software Requirement-Based Test Case Generation. Zhiyao Wang, Xiujing Guo, Tatsuhiro Tsuchiya |
| 2025 | RoFuBERT: Guiding Robust Fine-Tuning using Fuzz Testing for Chinese BERT-based PLMs. Lichao Feng, Xingya Wang, Shiyu Zhang, Zhihong Zhao |
| 2025 | SPlice: Automated Testing for Speech Translation via Syntactic Analysis. Zongtai Li, Ji Qi, Pin Ji, Jia Liu, Yang Feng |
| 2025 | SURec: A Semantic-Driven and User Behavior Collaborative Bug Report Recommendation Method. Xin Qiu, Chunli Xie, Yuanfa Hu, You Zeng |
| 2025 | Scalable Detection of Floating-Point Errors via Adaptive Parallel Subdomain Search. Zuoyan Zhang, Shihan Yuan, Hongru Yang, Jie Zhao, Jinchen Xu |
| 2025 | Scalable and Precise Patch Robustness Certification for Deep Learning Models with Top- $k$ Predictions. Qilin Zhou, Haipeng Wang, Zhengyuan Wei, Wing Kwong Chan |
| 2025 | Self-Exciting Software Reliability Models with Pareto Base Intensity Function and Their Applications. Nanxiang Qiu, Tadashi Dohi, Junjun Zheng, Hiroyuki Okamura |
| 2025 | Shard: Securing GPU Kernels with Lightweight Formal Methods. Jiacheng Zhao, Baojian Hua |
| 2025 | Software Defect Prediction Method Based on Multi-Feature Fusion. Zijian Zhou, Yi Zhu, Qiao Yu, Jianhao Li |
| 2025 | Testing Autonomous Driving Systems with Irregular Junctions Extracted from OpenStreetMap. Tiantian Sun, Changwen Li, Rongjie Yan, Yan Cai |
| 2025 | TimeSAST: Cloud Workload Sequence Prediction Method Based on CLEC-SSA. Qiang Liu, Xin Lin, Xinpan Yuan, Ying Jiang, Xianchao Zhou |
| 2025 | Towards Automated and Accurate Understanding of ARINC Standard in Heterogeneous Data Formats. Cuifeng Gao, Wenzhang Yang, Xianchang Luo, Yinxing Xue |
| 2025 | Towards Fault-Tolerant Deep Reinforcement Learning Systems: A Framework Based on N-Version Programming. Wenting Yang, Yuhuan Fan, Xiaohui Wan, Zheng Zheng |
| 2025 | Trustworthy Vision in Fog: Enhancing Detection Quality and System Reliability for Autonomous Driving. Litao Ruan, Zuohua Ding, HongYun Huang |
| 2025 | Using Prompt Tuning to Identify Relevant API Knowledge from API Tutorial and Stack Overflow. Di Wu, Wanyu Liu, Yanfei Sun |
| 2025 | Value of Sensing: a Novel Sensor Selection Metric for Remaining Useful Life Prognostics. Yunlong Zhong, Zhenlin Liang |
| 2025 | Verifying Neural Network Controlled Systems by Combining Forward and Backward Reachability Analysis. Xinyu Wang, Liqian Chen, Zengyu Liu, Minghao Li, Banghu Yin |
| 2025 | WASDAM: Effectively Detecting Vulnerabilities in Wasm Smart Contracts Based on the Data Access Model. Chu Chen, Xuan Wang, Pinghong Ren, Bin Yu, Jin Liu |
| 2025 | WasmSepa: Effectively Protecting WebAssembly Through Privilege Separation. Zhuochen Jiang, Baojian Hua |
| 2025 | Yet Another Trace-Based Approach for the Cause of Software Regressions in JavaScript and Python. Feng Dai, Yuefeng Hu, Tetsuro Yamazaki, Shigeru Chiba |