| 2023 | Using Problem Frames Approach for Key Information Extraction from Natural Language Requirements. | Shangzhi Tang, Xuan Chen, Hongbin Xiao, Jiahao Wei, Zhi Li |
| 2023 | Online Data Drift Detection for Anomaly Detection Services based on Deep Learning towards Multivariate Time Series. | Gou Tan, Pengfei Chen, Min Li |
| 2023 | Test Generation for Mutation Testing by Symbolic Execution. | Rui Su, Zhiyi Zhang, Yuqian Zhou, Yongming Yao |
| 2023 | OpenMP Program Verification Based on Bounded Model Checking. | Liang Sun, Bailin Lu, Liangze Yin, Zhe Bu, Wenjing Jin |
| 2023 | Test Case Generation for Autonomous Driving Based on Improved Genetic Algorithm. | Lele Sun, Song Huang, Changyou Zheng, Tongtong Bai, Zhe Hu |
| 2023 | Integrating Extractive and Abstractive Models for Code Comment Generation. | Weisong Sun, Yuling Hu, Yingfei Xu, Yuchen Chen, Chunrong Fang |
| 2023 | AI Ethics in Healthcare - A Survey. | Bhavraaj Singh, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, Jie Zhao |
| 2023 | Git Merge Conflict Resolution Leveraging Strategy Classification and LLM. | Chaochao Shen, Wenhua Yang, Minxue Pan, Yu Zhou |
| 2023 | Privacy Policy Compliance Inspection of Financial Apps. | Jiyun Shen, Yue Wang, Qingheng Wu, Yuan Zhao |
| 2023 | JITBoost: Boosting Just-In-Time Defect Prediction using Boolean Combination of Classifiers. | Mohammed A. Shehab, Abdelwahab Hamou-Lhadj, Venkata Sai Gunda |
| 2023 | Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges. | Satyam Sharma, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, Tairan Liu |
| 2023 | Reconsideration of Risk Communication and Risk Assessment Support Methods for Security. | Ryichi Sasaki |
| 2023 | AI and Security - What Changes with Generative AI. | Ryichi Sasaki |
| 2023 | A Security Compliance-by-Design Framework Utilizing Reusable Formal Models. | Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka |
| 2023 | Fitting and Peak Searching of Spectrum for Fourier Transform Infrared Spectrometer. | Wanjie Ren, Guojun Wang, Qi Liu, Xia Li, Rui Tuo |
| 2023 | Scope-based Compiler Differential Testing. | Rong Qu, Jiangang Huang, Long Zhang, Tianlu Qiao, Jian Zhang |
| 2023 | CHEMFUZZ: Large Language Models-Assisted Fuzzing for Quantum Chemistry Software Bug Detection. | Feng Qiu, Pu Ji, Baojian Hua, Yang Wang |
| 2023 | Code Quality Evaluation in IT Communities Based on Sentiment Analysis of User Comments. | Hongwu Qin, Peiming Xue, Xiuqin Ma, Bin Gao |
| 2023 | Abstract Syntax Tree for Method Name Prediction: How Far Are We? | Hanwei Qian, Wei Liu, Ziqi Ding, Weisong Sun, Chunrong Fang |
| 2023 | Metamorphic Testing for the Deepfake Detection Model. | ChenXin Pang, Ya Pan, Hanli Bai |
| 2023 | SRRA: A Novel Skewness-Based Algorithm for Cloudlet Scheduling. | Sanjaya Kumar Panda, Shidhanta Sen |
| 2023 | Solar Energy-Based Virtual Machine Placement Algorithm for Geo-Distributed Datacenters. | Sanjaya Kumar Panda, Sahil Chopra, Slokashree Padhi |
| 2023 | Explainable Multimodal Fake Posts Detection Using Feature Extraction with Attention Mechanisms. | Tomoaki Ohkawa, Hiroshi Yoshiura, Takayasu Yamaguchi |
| 2023 | The Study on the Blocking Time Reduction of the IDS/SON Cooperative Firewall System. | Perakorn Nimitkul, Akihiro Takai, Nariyoshi Yamai, Rei Nakagawa, Songpon Teerakanok |
| 2023 | Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis. | Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili |